src/share/vm/classfile/placeholders.hpp

Tue, 23 Nov 2010 13:22:55 -0800

author
stefank
date
Tue, 23 Nov 2010 13:22:55 -0800
changeset 2314
f95d63e2154a
parent 1907
c18cbe5936b8
child 2325
c760f78e0a53
permissions
-rw-r--r--

6989984: Use standard include model for Hospot
Summary: Replaced MakeDeps and the includeDB files with more standardized solutions.
Reviewed-by: coleenp, kvn, kamg

duke@435 1 /*
stefank@2314 2 * Copyright (c) 2003, 2010, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_CLASSFILE_PLACEHOLDERS_HPP
stefank@2314 26 #define SHARE_VM_CLASSFILE_PLACEHOLDERS_HPP
stefank@2314 27
stefank@2314 28 #include "utilities/hashtable.hpp"
stefank@2314 29
duke@435 30 class PlaceholderEntry;
duke@435 31
duke@435 32 // Placeholder objects. These represent classes currently
duke@435 33 // being loaded, as well as arrays of primitives.
duke@435 34 //
duke@435 35
duke@435 36 class PlaceholderTable : public TwoOopHashtable {
duke@435 37 friend class VMStructs;
duke@435 38
duke@435 39 public:
duke@435 40 PlaceholderTable(int table_size);
duke@435 41
duke@435 42 PlaceholderEntry* new_entry(int hash, symbolOop name, oop loader, bool havesupername, symbolOop supername);
duke@435 43
duke@435 44 PlaceholderEntry* bucket(int i) {
duke@435 45 return (PlaceholderEntry*)Hashtable::bucket(i);
duke@435 46 }
duke@435 47
duke@435 48 PlaceholderEntry** bucket_addr(int i) {
duke@435 49 return (PlaceholderEntry**)Hashtable::bucket_addr(i);
duke@435 50 }
duke@435 51
duke@435 52 void add_entry(int index, PlaceholderEntry* new_entry) {
duke@435 53 Hashtable::add_entry(index, (HashtableEntry*)new_entry);
duke@435 54 }
duke@435 55
duke@435 56 void add_entry(int index, unsigned int hash, symbolHandle name,
duke@435 57 Handle loader, bool havesupername, symbolHandle supername);
duke@435 58
duke@435 59 // This returns a symbolOop to match type for SystemDictionary
duke@435 60 symbolOop find_entry(int index, unsigned int hash,
duke@435 61 symbolHandle name, Handle loader);
duke@435 62
duke@435 63 PlaceholderEntry* get_entry(int index, unsigned int hash,
duke@435 64 symbolHandle name, Handle loader);
duke@435 65
duke@435 66 // caller to create a placeholder entry must enumerate an action
duke@435 67 // caller claims ownership of that action
duke@435 68 // For parallel classloading:
duke@435 69 // multiple LOAD_INSTANCE threads can proceed in parallel
duke@435 70 // multiple LOAD_SUPER threads can proceed in parallel
duke@435 71 // LOAD_SUPER needed to check for class circularity
duke@435 72 // DEFINE_CLASS: ultimately define class must be single threaded
duke@435 73 // on a class/classloader basis
duke@435 74 // so the head of that queue owns the token
duke@435 75 // and the rest of the threads return the result the first thread gets
duke@435 76 enum classloadAction {
duke@435 77 LOAD_INSTANCE = 1, // calling load_instance_class
duke@435 78 LOAD_SUPER = 2, // loading superclass for this class
duke@435 79 DEFINE_CLASS = 3 // find_or_define class
duke@435 80 };
duke@435 81
duke@435 82 // find_and_add returns probe pointer - old or new
duke@435 83 // If no entry exists, add a placeholder entry and push SeenThread
duke@435 84 // If entry exists, reuse entry and push SeenThread for classloadAction
duke@435 85 PlaceholderEntry* find_and_add(int index, unsigned int hash,
duke@435 86 symbolHandle name, Handle loader,
duke@435 87 classloadAction action, symbolHandle supername,
duke@435 88 Thread* thread);
duke@435 89
duke@435 90 void remove_entry(int index, unsigned int hash,
duke@435 91 symbolHandle name, Handle loader);
duke@435 92
duke@435 93 // Remove placeholder information
duke@435 94 void find_and_remove(int index, unsigned int hash,
duke@435 95 symbolHandle name, Handle loader, Thread* thread);
duke@435 96
duke@435 97 // GC support.
duke@435 98 void oops_do(OopClosure* f);
duke@435 99
duke@435 100 // JVMTI support
duke@435 101 void entries_do(void f(symbolOop, oop));
duke@435 102
duke@435 103 #ifndef PRODUCT
duke@435 104 void print();
duke@435 105 #endif
duke@435 106 void verify();
duke@435 107 };
duke@435 108
duke@435 109 // SeenThread objects represent list of threads that are
duke@435 110 // currently performing a load action on a class.
duke@435 111 // For class circularity, set before loading a superclass.
duke@435 112 // For bootclasssearchpath, set before calling load_instance_class.
duke@435 113 // Defining must be single threaded on a class/classloader basis
duke@435 114 // For DEFINE_CLASS, the head of the queue owns the
duke@435 115 // define token and the rest of the threads wait to return the
duke@435 116 // result the first thread gets.
duke@435 117 class SeenThread: public CHeapObj {
duke@435 118 private:
duke@435 119 Thread *_thread;
duke@435 120 SeenThread* _stnext;
duke@435 121 SeenThread* _stprev;
duke@435 122 public:
duke@435 123 SeenThread(Thread *thread) {
duke@435 124 _thread = thread;
duke@435 125 _stnext = NULL;
duke@435 126 _stprev = NULL;
duke@435 127 }
duke@435 128 Thread* thread() const { return _thread;}
duke@435 129 void set_thread(Thread *thread) { _thread = thread; }
duke@435 130
duke@435 131 SeenThread* next() const { return _stnext;}
duke@435 132 void set_next(SeenThread *seen) { _stnext = seen; }
duke@435 133 void set_prev(SeenThread *seen) { _stprev = seen; }
duke@435 134
duke@435 135 #ifndef PRODUCT
duke@435 136 void printActionQ() {
duke@435 137 SeenThread* seen = this;
duke@435 138 while (seen != NULL) {
duke@435 139 seen->thread()->print_value();
duke@435 140 tty->print(", ");
duke@435 141 seen = seen->next();
duke@435 142 }
duke@435 143 }
duke@435 144 #endif // PRODUCT
duke@435 145 };
duke@435 146
duke@435 147 // Placeholder objects represent classes currently being loaded.
duke@435 148 // All threads examining the placeholder table must hold the
duke@435 149 // SystemDictionary_lock, so we don't need special precautions
duke@435 150 // on store ordering here.
duke@435 151 // The system dictionary is the only user of this class.
duke@435 152
duke@435 153 class PlaceholderEntry : public HashtableEntry {
duke@435 154 friend class VMStructs;
duke@435 155
duke@435 156
duke@435 157 private:
duke@435 158 oop _loader; // initiating loader
duke@435 159 bool _havesupername; // distinguish between null supername, and unknown
duke@435 160 symbolOop _supername;
duke@435 161 Thread* _definer; // owner of define token
duke@435 162 klassOop _instanceKlass; // instanceKlass from successful define
duke@435 163 SeenThread* _superThreadQ; // doubly-linked queue of Threads loading a superclass for this class
duke@435 164 SeenThread* _loadInstanceThreadQ; // loadInstance thread
duke@435 165 // can be multiple threads if classloader object lock broken by application
duke@435 166 // or if classloader supports parallel classloading
duke@435 167
duke@435 168 SeenThread* _defineThreadQ; // queue of Threads trying to define this class
duke@435 169 // including _definer
duke@435 170 // _definer owns token
duke@435 171 // queue waits for and returns results from _definer
duke@435 172
duke@435 173 public:
duke@435 174 // Simple accessors, used only by SystemDictionary
duke@435 175 symbolOop klass() const { return (symbolOop)literal(); }
duke@435 176 symbolOop* klass_addr() { return (symbolOop*)literal_addr(); }
duke@435 177
duke@435 178 oop loader() const { return _loader; }
duke@435 179 void set_loader(oop loader) { _loader = loader; }
duke@435 180 oop* loader_addr() { return &_loader; }
duke@435 181
duke@435 182 bool havesupername() const { return _havesupername; }
duke@435 183 void set_havesupername(bool havesupername) { _havesupername = havesupername; }
duke@435 184
duke@435 185 symbolOop supername() const { return _supername; }
duke@435 186 void set_supername(symbolOop supername) { _supername = supername; }
duke@435 187 symbolOop* supername_addr() { return &_supername; }
duke@435 188
duke@435 189 Thread* definer() const {return _definer; }
duke@435 190 void set_definer(Thread* definer) { _definer = definer; }
duke@435 191
duke@435 192 klassOop instanceKlass() const {return _instanceKlass; }
duke@435 193 void set_instanceKlass(klassOop instanceKlass) { _instanceKlass = instanceKlass; }
duke@435 194 klassOop* instanceKlass_addr() { return &_instanceKlass; }
duke@435 195
duke@435 196 SeenThread* superThreadQ() const { return _superThreadQ; }
duke@435 197 void set_superThreadQ(SeenThread* SeenThread) { _superThreadQ = SeenThread; }
duke@435 198
duke@435 199 SeenThread* loadInstanceThreadQ() const { return _loadInstanceThreadQ; }
duke@435 200 void set_loadInstanceThreadQ(SeenThread* SeenThread) { _loadInstanceThreadQ = SeenThread; }
duke@435 201
duke@435 202 SeenThread* defineThreadQ() const { return _defineThreadQ; }
duke@435 203 void set_defineThreadQ(SeenThread* SeenThread) { _defineThreadQ = SeenThread; }
duke@435 204
duke@435 205 PlaceholderEntry* next() const {
duke@435 206 return (PlaceholderEntry*)HashtableEntry::next();
duke@435 207 }
duke@435 208
duke@435 209 PlaceholderEntry** next_addr() {
duke@435 210 return (PlaceholderEntry**)HashtableEntry::next_addr();
duke@435 211 }
duke@435 212
duke@435 213 // Test for equality
duke@435 214 // Entries are unique for class/classloader name pair
duke@435 215 bool equals(symbolOop class_name, oop class_loader) const {
duke@435 216 return (klass() == class_name && loader() == class_loader);
duke@435 217 }
duke@435 218
duke@435 219 SeenThread* actionToQueue(PlaceholderTable::classloadAction action) {
duke@435 220 SeenThread* queuehead;
duke@435 221 switch (action) {
duke@435 222 case PlaceholderTable::LOAD_INSTANCE:
duke@435 223 queuehead = _loadInstanceThreadQ;
duke@435 224 break;
duke@435 225 case PlaceholderTable::LOAD_SUPER:
duke@435 226 queuehead = _superThreadQ;
duke@435 227 break;
duke@435 228 case PlaceholderTable::DEFINE_CLASS:
duke@435 229 queuehead = _defineThreadQ;
duke@435 230 break;
duke@435 231 default: Unimplemented();
duke@435 232 }
duke@435 233 return queuehead;
duke@435 234 }
duke@435 235
duke@435 236 void set_threadQ(SeenThread* seenthread, PlaceholderTable::classloadAction action) {
duke@435 237 switch (action) {
duke@435 238 case PlaceholderTable::LOAD_INSTANCE:
duke@435 239 _loadInstanceThreadQ = seenthread;
duke@435 240 break;
duke@435 241 case PlaceholderTable::LOAD_SUPER:
duke@435 242 _superThreadQ = seenthread;
duke@435 243 break;
duke@435 244 case PlaceholderTable::DEFINE_CLASS:
duke@435 245 _defineThreadQ = seenthread;
duke@435 246 break;
duke@435 247 default: Unimplemented();
duke@435 248 }
duke@435 249 return;
duke@435 250 }
duke@435 251
duke@435 252 bool super_load_in_progress() {
duke@435 253 return (_superThreadQ != NULL);
duke@435 254 }
duke@435 255
duke@435 256 bool instance_load_in_progress() {
duke@435 257 return (_loadInstanceThreadQ != NULL);
duke@435 258 }
duke@435 259
duke@435 260 bool define_class_in_progress() {
duke@435 261 return (_defineThreadQ != NULL);
duke@435 262 }
duke@435 263
duke@435 264 // Doubly-linked list of Threads per action for class/classloader pair
duke@435 265 // Class circularity support: links in thread before loading superclass
duke@435 266 // bootstrapsearchpath support: links in a thread before load_instance_class
duke@435 267 // definers: use as queue of define requestors, including owner of
duke@435 268 // define token. Appends for debugging of requestor order
duke@435 269 void add_seen_thread(Thread* thread, PlaceholderTable::classloadAction action) {
duke@435 270 assert_lock_strong(SystemDictionary_lock);
duke@435 271 SeenThread* threadEntry = new SeenThread(thread);
duke@435 272 SeenThread* seen = actionToQueue(action);
duke@435 273
duke@435 274 if (seen == NULL) {
duke@435 275 set_threadQ(threadEntry, action);
duke@435 276 return;
duke@435 277 }
duke@435 278 SeenThread* next;
duke@435 279 while ((next = seen->next()) != NULL) {
duke@435 280 seen = next;
duke@435 281 }
duke@435 282 seen->set_next(threadEntry);
duke@435 283 threadEntry->set_prev(seen);
duke@435 284 return;
duke@435 285 }
duke@435 286
duke@435 287 bool check_seen_thread(Thread* thread, PlaceholderTable::classloadAction action) {
duke@435 288 assert_lock_strong(SystemDictionary_lock);
duke@435 289 SeenThread* threadQ = actionToQueue(action);
duke@435 290 SeenThread* seen = threadQ;
duke@435 291 while (seen) {
duke@435 292 if (thread == seen->thread()) {
duke@435 293 return true;
duke@435 294 }
duke@435 295 seen = seen->next();
duke@435 296 }
duke@435 297 return false;
duke@435 298 }
duke@435 299
duke@435 300 // returns true if seenthreadQ is now empty
duke@435 301 // Note, caller must ensure probe still exists while holding
duke@435 302 // SystemDictionary_lock
duke@435 303 // ignores if cleanup has already been done
duke@435 304 // if found, deletes SeenThread
duke@435 305 bool remove_seen_thread(Thread* thread, PlaceholderTable::classloadAction action) {
duke@435 306 assert_lock_strong(SystemDictionary_lock);
duke@435 307 SeenThread* threadQ = actionToQueue(action);
duke@435 308 SeenThread* seen = threadQ;
duke@435 309 SeenThread* prev = NULL;
duke@435 310 while (seen) {
duke@435 311 if (thread == seen->thread()) {
duke@435 312 if (prev) {
duke@435 313 prev->set_next(seen->next());
duke@435 314 } else {
duke@435 315 set_threadQ(seen->next(), action);
duke@435 316 }
duke@435 317 if (seen->next()) {
duke@435 318 seen->next()->set_prev(prev);
duke@435 319 }
duke@435 320 delete seen;
duke@435 321 break;
duke@435 322 }
duke@435 323 prev = seen;
duke@435 324 seen = seen->next();
duke@435 325 }
duke@435 326 return (actionToQueue(action) == NULL);
duke@435 327 }
duke@435 328
duke@435 329 // GC support
duke@435 330 // Applies "f->do_oop" to all root oops in the placeholder table.
duke@435 331 void oops_do(OopClosure* blk);
duke@435 332
duke@435 333 // Print method doesn't append a cr
duke@435 334 void print() const PRODUCT_RETURN;
duke@435 335 void verify() const;
duke@435 336 };
stefank@2314 337
stefank@2314 338 #endif // SHARE_VM_CLASSFILE_PLACEHOLDERS_HPP

mercurial