Mercurial > hg > truffle
annotate src/share/vm/memory/universe.hpp @ 487:80206b8a9128
6758234: if (k cond (a ? : b: c)) returns reversed answer if k is constant and b and c are longs
Reviewed-by: kvn, jrose
author | never |
---|---|
date | Fri, 12 Dec 2008 19:55:26 -0800 |
parents | 7d7a7c599c17 |
children | d593294016c3 |
rev | line source |
---|---|
0 | 1 /* |
196 | 2 * Copyright 1997-2008 Sun Microsystems, Inc. All Rights Reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
22 * | |
23 */ | |
24 | |
25 // Universe is a name space holding known system classes and objects in the VM. | |
26 // | |
27 // Loaded classes are accessible through the SystemDictionary. | |
28 // | |
29 // The object heap is allocated and accessed through Universe, and various allocation | |
30 // support is provided. Allocation by the interpreter and compiled code is done inline | |
31 // and bails out to Scavenge::invoke_and_allocate. | |
32 | |
33 class CollectedHeap; | |
34 class DeferredObjAllocEvent; | |
35 | |
36 | |
37 // Common parts of a methodOop cache. This cache safely interacts with | |
38 // the RedefineClasses API. | |
39 // | |
40 class CommonMethodOopCache : public CHeapObj { | |
41 // We save the klassOop and the idnum of methodOop in order to get | |
42 // the current cached methodOop. | |
43 private: | |
44 klassOop _klass; | |
45 int _method_idnum; | |
46 | |
47 public: | |
48 CommonMethodOopCache() { _klass = NULL; _method_idnum = -1; } | |
49 ~CommonMethodOopCache() { _klass = NULL; _method_idnum = -1; } | |
50 | |
51 void init(klassOop k, methodOop m, TRAPS); | |
52 klassOop klass() const { return _klass; } | |
53 int method_idnum() const { return _method_idnum; } | |
54 | |
55 // GC support | |
56 void oops_do(OopClosure* f) { f->do_oop((oop*)&_klass); } | |
57 }; | |
58 | |
59 | |
60 // A helper class for caching a methodOop when the user of the cache | |
61 // cares about all versions of the methodOop. | |
62 // | |
63 class ActiveMethodOopsCache : public CommonMethodOopCache { | |
64 // This subclass adds weak references to older versions of the | |
65 // methodOop and a query method for a methodOop. | |
66 | |
67 private: | |
68 // If the cached methodOop has not been redefined, then | |
69 // _prev_methods will be NULL. If all of the previous | |
70 // versions of the method have been collected, then | |
71 // _prev_methods can have a length of zero. | |
72 GrowableArray<jweak>* _prev_methods; | |
73 | |
74 public: | |
75 ActiveMethodOopsCache() { _prev_methods = NULL; } | |
76 ~ActiveMethodOopsCache(); | |
77 | |
78 void add_previous_version(const methodOop method); | |
79 bool is_same_method(const methodOop method) const; | |
80 }; | |
81 | |
82 | |
83 // A helper class for caching a methodOop when the user of the cache | |
84 // only cares about the latest version of the methodOop. | |
85 // | |
86 class LatestMethodOopCache : public CommonMethodOopCache { | |
87 // This subclass adds a getter method for the latest methodOop. | |
88 | |
89 public: | |
90 methodOop get_methodOop(); | |
91 }; | |
92 | |
93 | |
94 class Universe: AllStatic { | |
481
7d7a7c599c17
6578152: fill_region_with_object has usability and safety issues
jcoomes
parents:
196
diff
changeset
|
95 // Ugh. Universe is much too friendly. |
0 | 96 friend class MarkSweep; |
97 friend class oopDesc; | |
98 friend class ClassLoader; | |
99 friend class Arguments; | |
100 friend class SystemDictionary; | |
101 friend class VMStructs; | |
102 friend class CompactingPermGenGen; | |
103 friend class VM_PopulateDumpSharedSpace; | |
104 | |
105 friend jint universe_init(); | |
106 friend void universe2_init(); | |
107 friend bool universe_post_init(); | |
108 | |
109 private: | |
110 // Known classes in the VM | |
111 static klassOop _boolArrayKlassObj; | |
112 static klassOop _byteArrayKlassObj; | |
113 static klassOop _charArrayKlassObj; | |
114 static klassOop _intArrayKlassObj; | |
115 static klassOop _shortArrayKlassObj; | |
116 static klassOop _longArrayKlassObj; | |
117 static klassOop _singleArrayKlassObj; | |
118 static klassOop _doubleArrayKlassObj; | |
119 static klassOop _typeArrayKlassObjs[T_VOID+1]; | |
120 | |
121 static klassOop _objectArrayKlassObj; | |
122 | |
123 static klassOop _symbolKlassObj; | |
124 static klassOop _methodKlassObj; | |
125 static klassOop _constMethodKlassObj; | |
126 static klassOop _methodDataKlassObj; | |
127 static klassOop _klassKlassObj; | |
128 static klassOop _arrayKlassKlassObj; | |
129 static klassOop _objArrayKlassKlassObj; | |
130 static klassOop _typeArrayKlassKlassObj; | |
131 static klassOop _instanceKlassKlassObj; | |
132 static klassOop _constantPoolKlassObj; | |
133 static klassOop _constantPoolCacheKlassObj; | |
134 static klassOop _compiledICHolderKlassObj; | |
135 static klassOop _systemObjArrayKlassObj; | |
481
7d7a7c599c17
6578152: fill_region_with_object has usability and safety issues
jcoomes
parents:
196
diff
changeset
|
136 static klassOop _fillerArrayKlassObj; |
0 | 137 |
138 // Known objects in the VM | |
139 | |
140 // Primitive objects | |
141 static oop _int_mirror; | |
142 static oop _float_mirror; | |
143 static oop _double_mirror; | |
144 static oop _byte_mirror; | |
145 static oop _bool_mirror; | |
146 static oop _char_mirror; | |
147 static oop _long_mirror; | |
148 static oop _short_mirror; | |
149 static oop _void_mirror; | |
150 | |
151 static oop _main_thread_group; // Reference to the main thread group object | |
152 static oop _system_thread_group; // Reference to the system thread group object | |
153 | |
154 static typeArrayOop _the_empty_byte_array; // Canonicalized byte array | |
155 static typeArrayOop _the_empty_short_array; // Canonicalized short array | |
156 static typeArrayOop _the_empty_int_array; // Canonicalized int array | |
157 static objArrayOop _the_empty_system_obj_array; // Canonicalized system obj array | |
158 static objArrayOop _the_empty_class_klass_array; // Canonicalized obj array of type java.lang.Class | |
159 static objArrayOop _the_array_interfaces_array; // Canonicalized 2-array of cloneable & serializable klasses | |
160 static LatestMethodOopCache* _finalizer_register_cache; // static method for registering finalizable objects | |
161 static LatestMethodOopCache* _loader_addClass_cache; // method for registering loaded classes in class loader vector | |
162 static ActiveMethodOopsCache* _reflect_invoke_cache; // method for security checks | |
163 static oop _out_of_memory_error_java_heap; // preallocated error object (no backtrace) | |
164 static oop _out_of_memory_error_perm_gen; // preallocated error object (no backtrace) | |
165 static oop _out_of_memory_error_array_size;// preallocated error object (no backtrace) | |
166 static oop _out_of_memory_error_gc_overhead_limit; // preallocated error object (no backtrace) | |
167 | |
168 // array of preallocated error objects with backtrace | |
169 static objArrayOop _preallocated_out_of_memory_error_array; | |
170 | |
171 // number of preallocated error objects available for use | |
172 static volatile jint _preallocated_out_of_memory_error_avail_count; | |
173 | |
174 static oop _null_ptr_exception_instance; // preallocated exception object | |
175 static oop _arithmetic_exception_instance; // preallocated exception object | |
176 static oop _virtual_machine_error_instance; // preallocated exception object | |
177 // The object used as an exception dummy when exceptions are thrown for | |
178 // the vm thread. | |
179 static oop _vm_exception; | |
180 | |
181 static oop _emptySymbol; // Canonical empty string ("") symbol | |
182 | |
183 // The particular choice of collected heap. | |
184 static CollectedHeap* _collectedHeap; | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
185 // Base address for oop-within-java-object materialization. |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
186 // NULL if using wide oops. Doubles as heap oop null value. |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
187 static address _heap_base; |
0 | 188 |
189 // array of dummy objects used with +FullGCAlot | |
190 debug_only(static objArrayOop _fullgc_alot_dummy_array;) | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
191 // index of next entry to clear |
0 | 192 debug_only(static int _fullgc_alot_dummy_next;) |
193 | |
194 // Compiler/dispatch support | |
195 static int _base_vtable_size; // Java vtbl size of klass Object (in words) | |
196 | |
197 // Initialization | |
198 static bool _bootstrapping; // true during genesis | |
199 static bool _fully_initialized; // true after universe_init and initialize_vtables called | |
200 | |
201 // the array of preallocated errors with backtraces | |
202 static objArrayOop preallocated_out_of_memory_errors() { return _preallocated_out_of_memory_error_array; } | |
203 | |
204 // generate an out of memory error; if possible using an error with preallocated backtrace; | |
205 // otherwise return the given default error. | |
206 static oop gen_out_of_memory_error(oop default_err); | |
207 | |
208 // Historic gc information | |
209 static size_t _heap_capacity_at_last_gc; | |
210 static size_t _heap_used_at_last_gc; | |
211 | |
212 static jint initialize_heap(); | |
213 static void initialize_basic_type_mirrors(TRAPS); | |
214 static void fixup_mirrors(TRAPS); | |
215 | |
216 static void reinitialize_vtable_of(KlassHandle h_k, TRAPS); | |
217 static void reinitialize_itables(TRAPS); | |
218 static void compute_base_vtable_size(); // compute vtable size of class Object | |
219 | |
220 static void genesis(TRAPS); // Create the initial world | |
221 | |
222 // Mirrors for primitive classes (created eagerly) | |
223 static oop check_mirror(oop m) { | |
224 assert(m != NULL, "mirror not initialized"); | |
225 return m; | |
226 } | |
227 | |
228 // Debugging | |
229 static int _verify_count; // number of verifies done | |
230 // True during call to verify(). Should only be set/cleared in verify(). | |
231 static bool _verify_in_progress; | |
232 | |
233 static void compute_verify_oop_data(); | |
234 | |
235 public: | |
236 // Known classes in the VM | |
237 static klassOop boolArrayKlassObj() { return _boolArrayKlassObj; } | |
238 static klassOop byteArrayKlassObj() { return _byteArrayKlassObj; } | |
239 static klassOop charArrayKlassObj() { return _charArrayKlassObj; } | |
240 static klassOop intArrayKlassObj() { return _intArrayKlassObj; } | |
241 static klassOop shortArrayKlassObj() { return _shortArrayKlassObj; } | |
242 static klassOop longArrayKlassObj() { return _longArrayKlassObj; } | |
243 static klassOop singleArrayKlassObj() { return _singleArrayKlassObj; } | |
244 static klassOop doubleArrayKlassObj() { return _doubleArrayKlassObj; } | |
245 | |
246 static klassOop objectArrayKlassObj() { | |
247 return _objectArrayKlassObj; | |
248 } | |
249 | |
250 static klassOop typeArrayKlassObj(BasicType t) { | |
251 assert((uint)t < T_VOID+1, "range check"); | |
252 assert(_typeArrayKlassObjs[t] != NULL, "domain check"); | |
253 return _typeArrayKlassObjs[t]; | |
254 } | |
255 | |
256 static klassOop symbolKlassObj() { return _symbolKlassObj; } | |
257 static klassOop methodKlassObj() { return _methodKlassObj; } | |
258 static klassOop constMethodKlassObj() { return _constMethodKlassObj; } | |
259 static klassOop methodDataKlassObj() { return _methodDataKlassObj; } | |
260 static klassOop klassKlassObj() { return _klassKlassObj; } | |
261 static klassOop arrayKlassKlassObj() { return _arrayKlassKlassObj; } | |
262 static klassOop objArrayKlassKlassObj() { return _objArrayKlassKlassObj; } | |
263 static klassOop typeArrayKlassKlassObj() { return _typeArrayKlassKlassObj; } | |
264 static klassOop instanceKlassKlassObj() { return _instanceKlassKlassObj; } | |
265 static klassOop constantPoolKlassObj() { return _constantPoolKlassObj; } | |
266 static klassOop constantPoolCacheKlassObj() { return _constantPoolCacheKlassObj; } | |
267 static klassOop compiledICHolderKlassObj() { return _compiledICHolderKlassObj; } | |
268 static klassOop systemObjArrayKlassObj() { return _systemObjArrayKlassObj; } | |
481
7d7a7c599c17
6578152: fill_region_with_object has usability and safety issues
jcoomes
parents:
196
diff
changeset
|
269 static klassOop fillerArrayKlassObj() { return _fillerArrayKlassObj; } |
0 | 270 |
271 // Known objects in tbe VM | |
272 static oop int_mirror() { return check_mirror(_int_mirror); | |
273 } | |
274 static oop float_mirror() { return check_mirror(_float_mirror); } | |
275 static oop double_mirror() { return check_mirror(_double_mirror); } | |
276 static oop byte_mirror() { return check_mirror(_byte_mirror); } | |
277 static oop bool_mirror() { return check_mirror(_bool_mirror); } | |
278 static oop char_mirror() { return check_mirror(_char_mirror); } | |
279 static oop long_mirror() { return check_mirror(_long_mirror); } | |
280 static oop short_mirror() { return check_mirror(_short_mirror); } | |
281 static oop void_mirror() { return check_mirror(_void_mirror); } | |
282 | |
283 // table of same | |
284 static oop _mirrors[T_VOID+1]; | |
285 | |
286 static oop java_mirror(BasicType t) { | |
287 assert((uint)t < T_VOID+1, "range check"); | |
288 return check_mirror(_mirrors[t]); | |
289 } | |
290 static oop main_thread_group() { return _main_thread_group; } | |
291 static void set_main_thread_group(oop group) { _main_thread_group = group;} | |
292 | |
293 static oop system_thread_group() { return _system_thread_group; } | |
294 static void set_system_thread_group(oop group) { _system_thread_group = group;} | |
295 | |
296 static typeArrayOop the_empty_byte_array() { return _the_empty_byte_array; } | |
297 static typeArrayOop the_empty_short_array() { return _the_empty_short_array; } | |
298 static typeArrayOop the_empty_int_array() { return _the_empty_int_array; } | |
299 static objArrayOop the_empty_system_obj_array () { return _the_empty_system_obj_array; } | |
300 static objArrayOop the_empty_class_klass_array () { return _the_empty_class_klass_array; } | |
301 static objArrayOop the_array_interfaces_array() { return _the_array_interfaces_array; } | |
302 static methodOop finalizer_register_method() { return _finalizer_register_cache->get_methodOop(); } | |
303 static methodOop loader_addClass_method() { return _loader_addClass_cache->get_methodOop(); } | |
304 static ActiveMethodOopsCache* reflect_invoke_cache() { return _reflect_invoke_cache; } | |
305 static oop null_ptr_exception_instance() { return _null_ptr_exception_instance; } | |
306 static oop arithmetic_exception_instance() { return _arithmetic_exception_instance; } | |
307 static oop virtual_machine_error_instance() { return _virtual_machine_error_instance; } | |
308 static oop vm_exception() { return _vm_exception; } | |
309 static oop emptySymbol() { return _emptySymbol; } | |
310 | |
311 // OutOfMemoryError support. Returns an error with the required message. The returned error | |
312 // may or may not have a backtrace. If error has a backtrace then the stack trace is already | |
313 // filled in. | |
314 static oop out_of_memory_error_java_heap() { return gen_out_of_memory_error(_out_of_memory_error_java_heap); } | |
315 static oop out_of_memory_error_perm_gen() { return gen_out_of_memory_error(_out_of_memory_error_perm_gen); } | |
316 static oop out_of_memory_error_array_size() { return gen_out_of_memory_error(_out_of_memory_error_array_size); } | |
317 static oop out_of_memory_error_gc_overhead_limit() { return gen_out_of_memory_error(_out_of_memory_error_gc_overhead_limit); } | |
318 | |
319 // Accessors needed for fast allocation | |
320 static klassOop* boolArrayKlassObj_addr() { return &_boolArrayKlassObj; } | |
321 static klassOop* byteArrayKlassObj_addr() { return &_byteArrayKlassObj; } | |
322 static klassOop* charArrayKlassObj_addr() { return &_charArrayKlassObj; } | |
323 static klassOop* intArrayKlassObj_addr() { return &_intArrayKlassObj; } | |
324 static klassOop* shortArrayKlassObj_addr() { return &_shortArrayKlassObj; } | |
325 static klassOop* longArrayKlassObj_addr() { return &_longArrayKlassObj; } | |
326 static klassOop* singleArrayKlassObj_addr() { return &_singleArrayKlassObj; } | |
327 static klassOop* doubleArrayKlassObj_addr() { return &_doubleArrayKlassObj; } | |
328 | |
329 // The particular choice of collected heap. | |
330 static CollectedHeap* heap() { return _collectedHeap; } | |
331 | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
332 // For UseCompressedOops |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
333 static address heap_base() { return _heap_base; } |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
334 static address* heap_base_addr() { return &_heap_base; } |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
335 |
0 | 336 // Historic gc information |
337 static size_t get_heap_capacity_at_last_gc() { return _heap_capacity_at_last_gc; } | |
338 static size_t get_heap_free_at_last_gc() { return _heap_capacity_at_last_gc - _heap_used_at_last_gc; } | |
339 static size_t get_heap_used_at_last_gc() { return _heap_used_at_last_gc; } | |
340 static void update_heap_info_at_gc(); | |
341 | |
342 // Testers | |
343 static bool is_bootstrapping() { return _bootstrapping; } | |
344 static bool is_fully_initialized() { return _fully_initialized; } | |
345 | |
346 static inline bool element_type_should_be_aligned(BasicType type); | |
347 static inline bool field_type_should_be_aligned(BasicType type); | |
348 static bool on_page_boundary(void* addr); | |
349 static bool should_fill_in_stack_trace(Handle throwable); | |
350 static void check_alignment(uintx size, uintx alignment, const char* name); | |
351 | |
352 // Finalizer support. | |
353 static void run_finalizers_on_exit(); | |
354 | |
355 // Iteration | |
356 | |
357 // Apply "f" to the addresses of all the direct heap pointers maintained | |
358 // as static fields of "Universe". | |
359 static void oops_do(OopClosure* f, bool do_all = false); | |
360 | |
361 // Apply "f" to all klasses for basic types (classes not present in | |
362 // SystemDictionary). | |
363 static void basic_type_classes_do(void f(klassOop)); | |
364 | |
365 // Apply "f" to all system klasses (classes not present in SystemDictionary). | |
366 static void system_classes_do(void f(klassOop)); | |
367 | |
368 // For sharing -- fill in a list of known vtable pointers. | |
369 static void init_self_patching_vtbl_list(void** list, int count); | |
370 | |
371 // Debugging | |
372 static bool verify_in_progress() { return _verify_in_progress; } | |
373 static void verify(bool allow_dirty = true, bool silent = false); | |
374 static int verify_count() { return _verify_count; } | |
375 static void print(); | |
376 static void print_on(outputStream* st); | |
377 static void print_heap_at_SIGBREAK(); | |
378 static void print_heap_before_gc() { print_heap_before_gc(gclog_or_tty); } | |
379 static void print_heap_after_gc() { print_heap_after_gc(gclog_or_tty); } | |
380 static void print_heap_before_gc(outputStream* st); | |
381 static void print_heap_after_gc(outputStream* st); | |
382 | |
383 // Change the number of dummy objects kept reachable by the full gc dummy | |
384 // array; this should trigger relocation in a sliding compaction collector. | |
385 debug_only(static bool release_fullgc_alot_dummy();) | |
386 // The non-oop pattern (see compiledIC.hpp, etc) | |
387 static void* non_oop_word(); | |
388 | |
389 // Oop verification (see MacroAssembler::verify_oop) | |
390 static uintptr_t verify_oop_mask() PRODUCT_RETURN0; | |
391 static uintptr_t verify_oop_bits() PRODUCT_RETURN0; | |
392 static uintptr_t verify_mark_bits() PRODUCT_RETURN0; | |
393 static uintptr_t verify_mark_mask() PRODUCT_RETURN0; | |
394 static uintptr_t verify_klass_mask() PRODUCT_RETURN0; | |
395 static uintptr_t verify_klass_bits() PRODUCT_RETURN0; | |
396 | |
397 // Flushing and deoptimization | |
398 static void flush_dependents_on(instanceKlassHandle dependee); | |
399 #ifdef HOTSWAP | |
400 // Flushing and deoptimization in case of evolution | |
401 static void flush_evol_dependents_on(instanceKlassHandle dependee); | |
402 #endif // HOTSWAP | |
403 // Support for fullspeed debugging | |
404 static void flush_dependents_on_method(methodHandle dependee); | |
405 | |
406 // Compiler support | |
407 static int base_vtable_size() { return _base_vtable_size; } | |
408 }; | |
409 | |
410 class DeferredObjAllocEvent : public CHeapObj { | |
411 private: | |
412 oop _oop; | |
413 size_t _bytesize; | |
414 jint _arena_id; | |
415 | |
416 public: | |
417 DeferredObjAllocEvent(const oop o, const size_t s, const jint id) { | |
418 _oop = o; | |
419 _bytesize = s; | |
420 _arena_id = id; | |
421 } | |
422 | |
423 ~DeferredObjAllocEvent() { | |
424 } | |
425 | |
426 jint arena_id() { return _arena_id; } | |
427 size_t bytesize() { return _bytesize; } | |
428 oop get_oop() { return _oop; } | |
429 }; |