Mercurial > hg > graal-jvmci-8
comparison src/share/vm/oops/constantPool.hpp @ 6948:e522a00b91aa
Merge with http://hg.openjdk.java.net/hsx/hsx25/hotspot/ after NPG - C++ build works
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Mon, 12 Nov 2012 23:14:12 +0100 |
parents | src/share/vm/oops/constantPoolOop.hpp@957c266d8bc5 src/share/vm/oops/constantPoolOop.hpp@18fb7da42534 |
children | 3ac7d10a6572 |
comparison
equal
deleted
inserted
replaced
6711:ae13cc658b80 | 6948:e522a00b91aa |
---|---|
1 /* | |
2 * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved. | |
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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
20 * or visit www.oracle.com if you need additional information or have any | |
21 * questions. | |
22 * | |
23 */ | |
24 | |
25 #ifndef SHARE_VM_OOPS_CONSTANTPOOLOOP_HPP | |
26 #define SHARE_VM_OOPS_CONSTANTPOOLOOP_HPP | |
27 | |
28 #include "oops/arrayOop.hpp" | |
29 #include "oops/cpCache.hpp" | |
30 #include "oops/objArrayOop.hpp" | |
31 #include "oops/symbol.hpp" | |
32 #include "oops/typeArrayOop.hpp" | |
33 #include "runtime/handles.hpp" | |
34 #include "utilities/constantTag.hpp" | |
35 #ifdef TARGET_ARCH_x86 | |
36 # include "bytes_x86.hpp" | |
37 #endif | |
38 #ifdef TARGET_ARCH_sparc | |
39 # include "bytes_sparc.hpp" | |
40 #endif | |
41 #ifdef TARGET_ARCH_zero | |
42 # include "bytes_zero.hpp" | |
43 #endif | |
44 #ifdef TARGET_ARCH_arm | |
45 # include "bytes_arm.hpp" | |
46 #endif | |
47 #ifdef TARGET_ARCH_ppc | |
48 # include "bytes_ppc.hpp" | |
49 #endif | |
50 | |
51 // A constantPool is an array containing class constants as described in the | |
52 // class file. | |
53 // | |
54 // Most of the constant pool entries are written during class parsing, which | |
55 // is safe. For klass types, the constant pool entry is | |
56 // modified when the entry is resolved. If a klass constant pool | |
57 // entry is read without a lock, only the resolved state guarantees that | |
58 // the entry in the constant pool is a klass object and not a Symbol*. | |
59 | |
60 class SymbolHashMap; | |
61 | |
62 class CPSlot VALUE_OBJ_CLASS_SPEC { | |
63 intptr_t _ptr; | |
64 public: | |
65 CPSlot(intptr_t ptr): _ptr(ptr) {} | |
66 CPSlot(Klass* ptr): _ptr((intptr_t)ptr) {} | |
67 CPSlot(Symbol* ptr): _ptr((intptr_t)ptr | 1) {} | |
68 | |
69 intptr_t value() { return _ptr; } | |
70 bool is_resolved() { return (_ptr & 1) == 0; } | |
71 bool is_unresolved() { return (_ptr & 1) == 1; } | |
72 | |
73 Symbol* get_symbol() { | |
74 assert(is_unresolved(), "bad call"); | |
75 return (Symbol*)(_ptr & ~1); | |
76 } | |
77 Klass* get_klass() { | |
78 assert(is_resolved(), "bad call"); | |
79 return (Klass*)_ptr; | |
80 } | |
81 }; | |
82 | |
83 class ConstantPool : public Metadata { | |
84 friend class VMStructs; | |
85 friend class BytecodeInterpreter; // Directly extracts an oop in the pool for fast instanceof/checkcast | |
86 friend class Universe; // For null constructor | |
87 private: | |
88 Array<u1>* _tags; // the tag array describing the constant pool's contents | |
89 ConstantPoolCache* _cache; // the cache holding interpreter runtime information | |
90 InstanceKlass* _pool_holder; // the corresponding class | |
91 Array<u2>* _operands; // for variable-sized (InvokeDynamic) nodes, usually empty | |
92 | |
93 // Array of resolved objects from the constant pool and map from resolved | |
94 // object index to original constant pool index | |
95 jobject _resolved_references; | |
96 Array<u2>* _reference_map; | |
97 | |
98 int _flags; // a few header bits to describe contents for GC | |
99 int _length; // number of elements in the array | |
100 | |
101 bool _on_stack; // Redefined method still executing refers to this constant pool. | |
102 | |
103 union { | |
104 // set for CDS to restore resolved references | |
105 int _resolved_reference_length; | |
106 // only set to non-zero if constant pool is merged by RedefineClasses | |
107 int _orig_length; | |
108 } _saved; | |
109 | |
110 Monitor* _lock; | |
111 | |
112 void set_tags(Array<u1>* tags) { _tags = tags; } | |
113 void tag_at_put(int which, jbyte t) { tags()->at_put(which, t); } | |
114 void release_tag_at_put(int which, jbyte t) { tags()->release_at_put(which, t); } | |
115 | |
116 void set_operands(Array<u2>* operands) { _operands = operands; } | |
117 | |
118 enum FlagBit { | |
119 FB_has_invokedynamic = 1, | |
120 FB_has_pseudo_string = 2, | |
121 FB_has_preresolution = 3 | |
122 }; | |
123 | |
124 int flags() const { return _flags; } | |
125 void set_flags(int f) { _flags = f; } | |
126 bool flag_at(FlagBit fb) const { return (_flags & (1 << (int)fb)) != 0; } | |
127 void set_flag_at(FlagBit fb); | |
128 // no clear_flag_at function; they only increase | |
129 | |
130 private: | |
131 intptr_t* base() const { return (intptr_t*) (((char*) this) + sizeof(ConstantPool)); } | |
132 | |
133 CPSlot slot_at(int which) { | |
134 assert(is_within_bounds(which), "index out of bounds"); | |
135 // Uses volatile because the klass slot changes without a lock. | |
136 volatile intptr_t adr = (intptr_t)OrderAccess::load_ptr_acquire(obj_at_addr_raw(which)); | |
137 assert(adr != 0 || which == 0, "cp entry for klass should not be zero"); | |
138 return CPSlot(adr); | |
139 } | |
140 | |
141 void slot_at_put(int which, CPSlot s) const { | |
142 assert(is_within_bounds(which), "index out of bounds"); | |
143 assert(s.value() != 0, "Caught something"); | |
144 *(intptr_t*)&base()[which] = s.value(); | |
145 } | |
146 intptr_t* obj_at_addr_raw(int which) const { | |
147 assert(is_within_bounds(which), "index out of bounds"); | |
148 return (intptr_t*) &base()[which]; | |
149 } | |
150 | |
151 jint* int_at_addr(int which) const { | |
152 assert(is_within_bounds(which), "index out of bounds"); | |
153 return (jint*) &base()[which]; | |
154 } | |
155 | |
156 jlong* long_at_addr(int which) const { | |
157 assert(is_within_bounds(which), "index out of bounds"); | |
158 return (jlong*) &base()[which]; | |
159 } | |
160 | |
161 jfloat* float_at_addr(int which) const { | |
162 assert(is_within_bounds(which), "index out of bounds"); | |
163 return (jfloat*) &base()[which]; | |
164 } | |
165 | |
166 jdouble* double_at_addr(int which) const { | |
167 assert(is_within_bounds(which), "index out of bounds"); | |
168 return (jdouble*) &base()[which]; | |
169 } | |
170 | |
171 ConstantPool(Array<u1>* tags); | |
172 ConstantPool() { assert(DumpSharedSpaces || UseSharedSpaces, "only for CDS"); } | |
173 public: | |
174 static ConstantPool* allocate(ClassLoaderData* loader_data, int length, TRAPS); | |
175 | |
176 bool is_constantPool() const volatile { return true; } | |
177 | |
178 Array<u1>* tags() const { return _tags; } | |
179 Array<u2>* operands() const { return _operands; } | |
180 | |
181 bool has_pseudo_string() const { return flag_at(FB_has_pseudo_string); } | |
182 bool has_invokedynamic() const { return flag_at(FB_has_invokedynamic); } | |
183 bool has_preresolution() const { return flag_at(FB_has_preresolution); } | |
184 void set_pseudo_string() { set_flag_at(FB_has_pseudo_string); } | |
185 void set_invokedynamic() { set_flag_at(FB_has_invokedynamic); } | |
186 void set_preresolution() { set_flag_at(FB_has_preresolution); } | |
187 | |
188 // Redefine classes support. If a method refering to this constant pool | |
189 // is on the executing stack, or as a handle in vm code, this constant pool | |
190 // can't be removed from the set of previous versions saved in the instance | |
191 // class. | |
192 bool on_stack() const { return _on_stack; } | |
193 void set_on_stack(const bool value); | |
194 | |
195 // Klass holding pool | |
196 InstanceKlass* pool_holder() const { return _pool_holder; } | |
197 void set_pool_holder(InstanceKlass* k) { _pool_holder = k; } | |
198 InstanceKlass** pool_holder_addr() { return &_pool_holder; } | |
199 | |
200 // Interpreter runtime support | |
201 ConstantPoolCache* cache() const { return _cache; } | |
202 void set_cache(ConstantPoolCache* cache){ _cache = cache; } | |
203 | |
204 // Create object cache in the constant pool | |
205 void initialize_resolved_references(ClassLoaderData* loader_data, | |
206 intStack reference_map, | |
207 int constant_pool_map_length, | |
208 TRAPS); | |
209 | |
210 // resolved strings, methodHandles and callsite objects from the constant pool | |
211 objArrayOop resolved_references() const; | |
212 // mapping resolved object array indexes to cp indexes and back. | |
213 int object_to_cp_index(int index) { return _reference_map->at(index); } | |
214 int cp_to_object_index(int index); | |
215 | |
216 // Invokedynamic indexes. | |
217 // They must look completely different from normal indexes. | |
218 // The main reason is that byte swapping is sometimes done on normal indexes. | |
219 // Finally, it is helpful for debugging to tell the two apart. | |
220 static bool is_invokedynamic_index(int i) { return (i < 0); } | |
221 static int decode_invokedynamic_index(int i) { assert(is_invokedynamic_index(i), ""); return ~i; } | |
222 static int encode_invokedynamic_index(int i) { assert(!is_invokedynamic_index(i), ""); return ~i; } | |
223 | |
224 | |
225 // The invokedynamic points at a CP cache entry. This entry points back | |
226 // at the original CP entry (CONSTANT_InvokeDynamic) and also (via f2) at an entry | |
227 // in the resolved_references array (which provides the appendix argument). | |
228 int invokedynamic_cp_cache_index(int index) const { | |
229 assert (is_invokedynamic_index(index), "should be a invokedynamic index"); | |
230 int cache_index = decode_invokedynamic_index(index); | |
231 return cache_index; | |
232 } | |
233 ConstantPoolCacheEntry* invokedynamic_cp_cache_entry_at(int index) const { | |
234 // decode index that invokedynamic points to. | |
235 int cp_cache_index = invokedynamic_cp_cache_index(index); | |
236 return cache()->entry_at(cp_cache_index); | |
237 } | |
238 | |
239 // Assembly code support | |
240 static int tags_offset_in_bytes() { return offset_of(ConstantPool, _tags); } | |
241 static int cache_offset_in_bytes() { return offset_of(ConstantPool, _cache); } | |
242 static int pool_holder_offset_in_bytes() { return offset_of(ConstantPool, _pool_holder); } | |
243 static int resolved_references_offset_in_bytes() { return offset_of(ConstantPool, _resolved_references); } | |
244 static int reference_map_offset_in_bytes() { return offset_of(ConstantPool, _reference_map); } | |
245 | |
246 // Storing constants | |
247 | |
248 void klass_at_put(int which, Klass* k) { | |
249 assert(k != NULL, "resolved class shouldn't be null"); | |
250 assert(is_within_bounds(which), "index out of bounds"); | |
251 OrderAccess::release_store_ptr((Klass* volatile *)obj_at_addr_raw(which), k); | |
252 // The interpreter assumes when the tag is stored, the klass is resolved | |
253 // and the Klass* is a klass rather than a Symbol*, so we need | |
254 // hardware store ordering here. | |
255 release_tag_at_put(which, JVM_CONSTANT_Class); | |
256 } | |
257 | |
258 // For temporary use while constructing constant pool | |
259 void klass_index_at_put(int which, int name_index) { | |
260 tag_at_put(which, JVM_CONSTANT_ClassIndex); | |
261 *int_at_addr(which) = name_index; | |
262 } | |
263 | |
264 // Temporary until actual use | |
265 void unresolved_klass_at_put(int which, Symbol* s) { | |
266 release_tag_at_put(which, JVM_CONSTANT_UnresolvedClass); | |
267 slot_at_put(which, s); | |
268 } | |
269 | |
270 void method_handle_index_at_put(int which, int ref_kind, int ref_index) { | |
271 tag_at_put(which, JVM_CONSTANT_MethodHandle); | |
272 *int_at_addr(which) = ((jint) ref_index<<16) | ref_kind; | |
273 } | |
274 | |
275 void method_type_index_at_put(int which, int ref_index) { | |
276 tag_at_put(which, JVM_CONSTANT_MethodType); | |
277 *int_at_addr(which) = ref_index; | |
278 } | |
279 | |
280 void invoke_dynamic_at_put(int which, int bootstrap_specifier_index, int name_and_type_index) { | |
281 tag_at_put(which, JVM_CONSTANT_InvokeDynamic); | |
282 *int_at_addr(which) = ((jint) name_and_type_index<<16) | bootstrap_specifier_index; | |
283 } | |
284 | |
285 void unresolved_string_at_put(int which, Symbol* s) { | |
286 release_tag_at_put(which, JVM_CONSTANT_String); | |
287 *symbol_at_addr(which) = s; | |
288 } | |
289 | |
290 void int_at_put(int which, jint i) { | |
291 tag_at_put(which, JVM_CONSTANT_Integer); | |
292 *int_at_addr(which) = i; | |
293 } | |
294 | |
295 void long_at_put(int which, jlong l) { | |
296 tag_at_put(which, JVM_CONSTANT_Long); | |
297 // *long_at_addr(which) = l; | |
298 Bytes::put_native_u8((address)long_at_addr(which), *((u8*) &l)); | |
299 } | |
300 | |
301 void float_at_put(int which, jfloat f) { | |
302 tag_at_put(which, JVM_CONSTANT_Float); | |
303 *float_at_addr(which) = f; | |
304 } | |
305 | |
306 void double_at_put(int which, jdouble d) { | |
307 tag_at_put(which, JVM_CONSTANT_Double); | |
308 // *double_at_addr(which) = d; | |
309 // u8 temp = *(u8*) &d; | |
310 Bytes::put_native_u8((address) double_at_addr(which), *((u8*) &d)); | |
311 } | |
312 | |
313 Symbol** symbol_at_addr(int which) const { | |
314 assert(is_within_bounds(which), "index out of bounds"); | |
315 return (Symbol**) &base()[which]; | |
316 } | |
317 | |
318 void symbol_at_put(int which, Symbol* s) { | |
319 assert(s->refcount() != 0, "should have nonzero refcount"); | |
320 tag_at_put(which, JVM_CONSTANT_Utf8); | |
321 *symbol_at_addr(which) = s; | |
322 } | |
323 | |
324 void string_at_put(int which, int obj_index, oop str) { | |
325 resolved_references()->obj_at_put(obj_index, str); | |
326 } | |
327 | |
328 void set_object_tag_at(int which) { | |
329 release_tag_at_put(which, JVM_CONSTANT_Object); | |
330 } | |
331 | |
332 void object_at_put(int which, oop obj) { | |
333 resolved_references()->obj_at_put(cp_to_object_index(which), obj); | |
334 } | |
335 | |
336 // For temporary use while constructing constant pool | |
337 void string_index_at_put(int which, int string_index) { | |
338 tag_at_put(which, JVM_CONSTANT_StringIndex); | |
339 *int_at_addr(which) = string_index; | |
340 } | |
341 | |
342 void field_at_put(int which, int class_index, int name_and_type_index) { | |
343 tag_at_put(which, JVM_CONSTANT_Fieldref); | |
344 *int_at_addr(which) = ((jint) name_and_type_index<<16) | class_index; | |
345 } | |
346 | |
347 void method_at_put(int which, int class_index, int name_and_type_index) { | |
348 tag_at_put(which, JVM_CONSTANT_Methodref); | |
349 *int_at_addr(which) = ((jint) name_and_type_index<<16) | class_index; | |
350 } | |
351 | |
352 void interface_method_at_put(int which, int class_index, int name_and_type_index) { | |
353 tag_at_put(which, JVM_CONSTANT_InterfaceMethodref); | |
354 *int_at_addr(which) = ((jint) name_and_type_index<<16) | class_index; // Not so nice | |
355 } | |
356 | |
357 void name_and_type_at_put(int which, int name_index, int signature_index) { | |
358 tag_at_put(which, JVM_CONSTANT_NameAndType); | |
359 *int_at_addr(which) = ((jint) signature_index<<16) | name_index; // Not so nice | |
360 } | |
361 | |
362 // Tag query | |
363 | |
364 constantTag tag_at(int which) const { return (constantTag)tags()->at_acquire(which); } | |
365 | |
366 // Fetching constants | |
367 | |
368 Klass* klass_at(int which, TRAPS) { | |
369 constantPoolHandle h_this(THREAD, this); | |
370 return klass_at_impl(h_this, which, CHECK_NULL); | |
371 } | |
372 | |
373 Symbol* klass_name_at(int which); // Returns the name, w/o resolving. | |
374 | |
375 Klass* resolved_klass_at(int which) { // Used by Compiler | |
376 guarantee(tag_at(which).is_klass(), "Corrupted constant pool"); | |
377 // Must do an acquire here in case another thread resolved the klass | |
378 // behind our back, lest we later load stale values thru the oop. | |
379 return CPSlot((Klass*)OrderAccess::load_ptr_acquire(obj_at_addr_raw(which))).get_klass(); | |
380 } | |
381 | |
382 // This method should only be used with a cpool lock or during parsing or gc | |
383 Symbol* unresolved_klass_at(int which) { // Temporary until actual use | |
384 Symbol* s = CPSlot((Symbol*)OrderAccess::load_ptr_acquire(obj_at_addr_raw(which))).get_symbol(); | |
385 // check that the klass is still unresolved. | |
386 assert(tag_at(which).is_unresolved_klass(), "Corrupted constant pool"); | |
387 return s; | |
388 } | |
389 | |
390 // RedefineClasses() API support: | |
391 Symbol* klass_at_noresolve(int which) { return klass_name_at(which); } | |
392 | |
393 jint int_at(int which) { | |
394 assert(tag_at(which).is_int(), "Corrupted constant pool"); | |
395 return *int_at_addr(which); | |
396 } | |
397 | |
398 jlong long_at(int which) { | |
399 assert(tag_at(which).is_long(), "Corrupted constant pool"); | |
400 // return *long_at_addr(which); | |
401 u8 tmp = Bytes::get_native_u8((address)&base()[which]); | |
402 return *((jlong*)&tmp); | |
403 } | |
404 | |
405 jfloat float_at(int which) { | |
406 assert(tag_at(which).is_float(), "Corrupted constant pool"); | |
407 return *float_at_addr(which); | |
408 } | |
409 | |
410 jdouble double_at(int which) { | |
411 assert(tag_at(which).is_double(), "Corrupted constant pool"); | |
412 u8 tmp = Bytes::get_native_u8((address)&base()[which]); | |
413 return *((jdouble*)&tmp); | |
414 } | |
415 | |
416 Symbol* symbol_at(int which) { | |
417 assert(tag_at(which).is_utf8(), "Corrupted constant pool"); | |
418 return *symbol_at_addr(which); | |
419 } | |
420 | |
421 oop string_at(int which, int obj_index, TRAPS) { | |
422 constantPoolHandle h_this(THREAD, this); | |
423 return string_at_impl(h_this, which, obj_index, THREAD); | |
424 } | |
425 oop string_at(int which, TRAPS) { | |
426 int obj_index = cp_to_object_index(which); | |
427 return string_at(which, obj_index, THREAD); | |
428 } | |
429 | |
430 // Version that can be used before string oop array is created. | |
431 oop uncached_string_at(int which, TRAPS); | |
432 | |
433 oop object_at(int which) { | |
434 assert(tag_at(which).is_object(), "Corrupted constant pool"); | |
435 int obj_index = cp_to_object_index(which); | |
436 return resolved_references()->obj_at(obj_index); | |
437 } | |
438 | |
439 // A "pseudo-string" is an non-string oop that has found is way into | |
440 // a String entry. | |
441 // Under EnableInvokeDynamic this can happen if the user patches a live | |
442 // object into a CONSTANT_String entry of an anonymous class. | |
443 // Method oops internally created for method handles may also | |
444 // use pseudo-strings to link themselves to related metaobjects. | |
445 | |
446 bool is_pseudo_string_at(int which) { | |
447 // A pseudo string is a string that doesn't have a symbol in the cpSlot | |
448 return unresolved_string_at(which) == NULL; | |
449 } | |
450 | |
451 oop pseudo_string_at(int which, int obj_index) { | |
452 assert(tag_at(which).is_string(), "Corrupted constant pool"); | |
453 assert(unresolved_string_at(which) == NULL, "shouldn't have symbol"); | |
454 oop s = resolved_references()->obj_at(obj_index); | |
455 return s; | |
456 } | |
457 | |
458 void pseudo_string_at_put(int which, int obj_index, oop x) { | |
459 assert(EnableInvokeDynamic, ""); | |
460 set_pseudo_string(); // mark header | |
461 assert(tag_at(which).is_string(), "Corrupted constant pool"); | |
462 string_at_put(which, obj_index, x); // this works just fine | |
463 } | |
464 | |
465 // only called when we are sure a string entry is already resolved (via an | |
466 // earlier string_at call. | |
467 oop resolved_string_at(int which) { | |
468 assert(tag_at(which).is_string(), "Corrupted constant pool"); | |
469 // Must do an acquire here in case another thread resolved the klass | |
470 // behind our back, lest we later load stale values thru the oop. | |
471 // we might want a volatile_obj_at in ObjArrayKlass. | |
472 int obj_index = cp_to_object_index(which); | |
473 return resolved_references()->obj_at(obj_index); | |
474 } | |
475 | |
476 Symbol* unresolved_string_at(int which) { | |
477 assert(tag_at(which).is_string(), "Corrupted constant pool"); | |
478 Symbol* s = *symbol_at_addr(which); | |
479 return s; | |
480 } | |
481 | |
482 // Returns an UTF8 for a CONSTANT_String entry at a given index. | |
483 // UTF8 char* representation was chosen to avoid conversion of | |
484 // java_lang_Strings at resolved entries into Symbol*s | |
485 // or vice versa. | |
486 // Caller is responsible for checking for pseudo-strings. | |
487 char* string_at_noresolve(int which); | |
488 | |
489 jint name_and_type_at(int which) { | |
490 assert(tag_at(which).is_name_and_type(), "Corrupted constant pool"); | |
491 return *int_at_addr(which); | |
492 } | |
493 | |
494 int method_handle_ref_kind_at(int which) { | |
495 assert(tag_at(which).is_method_handle(), "Corrupted constant pool"); | |
496 return extract_low_short_from_int(*int_at_addr(which)); // mask out unwanted ref_index bits | |
497 } | |
498 int method_handle_index_at(int which) { | |
499 assert(tag_at(which).is_method_handle(), "Corrupted constant pool"); | |
500 return extract_high_short_from_int(*int_at_addr(which)); // shift out unwanted ref_kind bits | |
501 } | |
502 int method_type_index_at(int which) { | |
503 assert(tag_at(which).is_method_type(), "Corrupted constant pool"); | |
504 return *int_at_addr(which); | |
505 } | |
506 // Derived queries: | |
507 Symbol* method_handle_name_ref_at(int which) { | |
508 int member = method_handle_index_at(which); | |
509 return impl_name_ref_at(member, true); | |
510 } | |
511 Symbol* method_handle_signature_ref_at(int which) { | |
512 int member = method_handle_index_at(which); | |
513 return impl_signature_ref_at(member, true); | |
514 } | |
515 int method_handle_klass_index_at(int which) { | |
516 int member = method_handle_index_at(which); | |
517 return impl_klass_ref_index_at(member, true); | |
518 } | |
519 Symbol* method_type_signature_at(int which) { | |
520 int sym = method_type_index_at(which); | |
521 return symbol_at(sym); | |
522 } | |
523 | |
524 int invoke_dynamic_name_and_type_ref_index_at(int which) { | |
525 assert(tag_at(which).is_invoke_dynamic(), "Corrupted constant pool"); | |
526 return extract_high_short_from_int(*int_at_addr(which)); | |
527 } | |
528 int invoke_dynamic_bootstrap_specifier_index(int which) { | |
529 assert(tag_at(which).value() == JVM_CONSTANT_InvokeDynamic, "Corrupted constant pool"); | |
530 return extract_low_short_from_int(*int_at_addr(which)); | |
531 } | |
532 int invoke_dynamic_operand_base(int which) { | |
533 int bootstrap_specifier_index = invoke_dynamic_bootstrap_specifier_index(which); | |
534 return operand_offset_at(operands(), bootstrap_specifier_index); | |
535 } | |
536 // The first part of the operands array consists of an index into the second part. | |
537 // Extract a 32-bit index value from the first part. | |
538 static int operand_offset_at(Array<u2>* operands, int bootstrap_specifier_index) { | |
539 int n = (bootstrap_specifier_index * 2); | |
540 assert(n >= 0 && n+2 <= operands->length(), "oob"); | |
541 // The first 32-bit index points to the beginning of the second part | |
542 // of the operands array. Make sure this index is in the first part. | |
543 DEBUG_ONLY(int second_part = build_int_from_shorts(operands->at(0), | |
544 operands->at(1))); | |
545 assert(second_part == 0 || n+2 <= second_part, "oob (2)"); | |
546 int offset = build_int_from_shorts(operands->at(n+0), | |
547 operands->at(n+1)); | |
548 // The offset itself must point into the second part of the array. | |
549 assert(offset == 0 || offset >= second_part && offset <= operands->length(), "oob (3)"); | |
550 return offset; | |
551 } | |
552 static void operand_offset_at_put(Array<u2>* operands, int bootstrap_specifier_index, int offset) { | |
553 int n = bootstrap_specifier_index * 2; | |
554 assert(n >= 0 && n+2 <= operands->length(), "oob"); | |
555 operands->at_put(n+0, extract_low_short_from_int(offset)); | |
556 operands->at_put(n+1, extract_high_short_from_int(offset)); | |
557 } | |
558 static int operand_array_length(Array<u2>* operands) { | |
559 if (operands == NULL || operands->length() == 0) return 0; | |
560 int second_part = operand_offset_at(operands, 0); | |
561 return (second_part / 2); | |
562 } | |
563 | |
564 #ifdef ASSERT | |
565 // operand tuples fit together exactly, end to end | |
566 static int operand_limit_at(Array<u2>* operands, int bootstrap_specifier_index) { | |
567 int nextidx = bootstrap_specifier_index + 1; | |
568 if (nextidx == operand_array_length(operands)) | |
569 return operands->length(); | |
570 else | |
571 return operand_offset_at(operands, nextidx); | |
572 } | |
573 int invoke_dynamic_operand_limit(int which) { | |
574 int bootstrap_specifier_index = invoke_dynamic_bootstrap_specifier_index(which); | |
575 return operand_limit_at(operands(), bootstrap_specifier_index); | |
576 } | |
577 #endif //ASSERT | |
578 | |
579 // layout of InvokeDynamic bootstrap method specifier (in second part of operands array): | |
580 enum { | |
581 _indy_bsm_offset = 0, // CONSTANT_MethodHandle bsm | |
582 _indy_argc_offset = 1, // u2 argc | |
583 _indy_argv_offset = 2 // u2 argv[argc] | |
584 }; | |
585 int invoke_dynamic_bootstrap_method_ref_index_at(int which) { | |
586 assert(tag_at(which).is_invoke_dynamic(), "Corrupted constant pool"); | |
587 int op_base = invoke_dynamic_operand_base(which); | |
588 return operands()->at(op_base + _indy_bsm_offset); | |
589 } | |
590 int invoke_dynamic_argument_count_at(int which) { | |
591 assert(tag_at(which).is_invoke_dynamic(), "Corrupted constant pool"); | |
592 int op_base = invoke_dynamic_operand_base(which); | |
593 int argc = operands()->at(op_base + _indy_argc_offset); | |
594 DEBUG_ONLY(int end_offset = op_base + _indy_argv_offset + argc; | |
595 int next_offset = invoke_dynamic_operand_limit(which)); | |
596 assert(end_offset == next_offset, "matched ending"); | |
597 return argc; | |
598 } | |
599 int invoke_dynamic_argument_index_at(int which, int j) { | |
600 int op_base = invoke_dynamic_operand_base(which); | |
601 DEBUG_ONLY(int argc = operands()->at(op_base + _indy_argc_offset)); | |
602 assert((uint)j < (uint)argc, "oob"); | |
603 return operands()->at(op_base + _indy_argv_offset + j); | |
604 } | |
605 | |
606 // The following methods (name/signature/klass_ref_at, klass_ref_at_noresolve, | |
607 // name_and_type_ref_index_at) all expect to be passed indices obtained | |
608 // directly from the bytecode. | |
609 // If the indices are meant to refer to fields or methods, they are | |
610 // actually rewritten constant pool cache indices. | |
611 // The routine remap_instruction_operand_from_cache manages the adjustment | |
612 // of these values back to constant pool indices. | |
613 | |
614 // There are also "uncached" versions which do not adjust the operand index; see below. | |
615 | |
616 // FIXME: Consider renaming these with a prefix "cached_" to make the distinction clear. | |
617 // In a few cases (the verifier) there are uses before a cpcache has been built, | |
618 // which are handled by a dynamic check in remap_instruction_operand_from_cache. | |
619 // FIXME: Remove the dynamic check, and adjust all callers to specify the correct mode. | |
620 | |
621 // Lookup for entries consisting of (klass_index, name_and_type index) | |
622 Klass* klass_ref_at(int which, TRAPS); | |
623 Symbol* klass_ref_at_noresolve(int which); | |
624 Symbol* name_ref_at(int which) { return impl_name_ref_at(which, false); } | |
625 Symbol* signature_ref_at(int which) { return impl_signature_ref_at(which, false); } | |
626 | |
627 int klass_ref_index_at(int which) { return impl_klass_ref_index_at(which, false); } | |
628 int name_and_type_ref_index_at(int which) { return impl_name_and_type_ref_index_at(which, false); } | |
629 | |
630 // Lookup for entries consisting of (name_index, signature_index) | |
631 int name_ref_index_at(int which_nt); // == low-order jshort of name_and_type_at(which_nt) | |
632 int signature_ref_index_at(int which_nt); // == high-order jshort of name_and_type_at(which_nt) | |
633 | |
634 BasicType basic_type_for_signature_at(int which); | |
635 | |
636 // Resolve string constants (to prevent allocation during compilation) | |
637 void resolve_string_constants(TRAPS) { | |
638 constantPoolHandle h_this(THREAD, this); | |
639 resolve_string_constants_impl(h_this, CHECK); | |
640 } | |
641 | |
642 // CDS support | |
643 void remove_unshareable_info(); | |
644 void restore_unshareable_info(TRAPS); | |
645 bool resolve_class_constants(TRAPS); | |
646 // The ConstantPool vtable is restored by this call when the ConstantPool is | |
647 // in the shared archive. See patch_klass_vtables() in metaspaceShared.cpp for | |
648 // all the gory details. SA, dtrace and pstack helpers distinguish metadata | |
649 // by their vtable. | |
650 void restore_vtable() { guarantee(is_constantPool(), "vtable restored by this call"); } | |
651 | |
652 private: | |
653 enum { _no_index_sentinel = -1, _possible_index_sentinel = -2 }; | |
654 public: | |
655 | |
656 // Resolve late bound constants. | |
657 oop resolve_constant_at(int index, TRAPS) { | |
658 constantPoolHandle h_this(THREAD, this); | |
659 return resolve_constant_at_impl(h_this, index, _no_index_sentinel, THREAD); | |
660 } | |
661 | |
662 oop resolve_cached_constant_at(int cache_index, TRAPS) { | |
663 constantPoolHandle h_this(THREAD, this); | |
664 return resolve_constant_at_impl(h_this, _no_index_sentinel, cache_index, THREAD); | |
665 } | |
666 | |
667 oop resolve_possibly_cached_constant_at(int pool_index, TRAPS) { | |
668 constantPoolHandle h_this(THREAD, this); | |
669 return resolve_constant_at_impl(h_this, pool_index, _possible_index_sentinel, THREAD); | |
670 } | |
671 | |
672 oop resolve_bootstrap_specifier_at(int index, TRAPS) { | |
673 constantPoolHandle h_this(THREAD, this); | |
674 return resolve_bootstrap_specifier_at_impl(h_this, index, THREAD); | |
675 } | |
676 | |
677 // Klass name matches name at offset | |
678 bool klass_name_at_matches(instanceKlassHandle k, int which); | |
679 | |
680 // Sizing | |
681 int length() const { return _length; } | |
682 void set_length(int length) { _length = length; } | |
683 | |
684 // Tells whether index is within bounds. | |
685 bool is_within_bounds(int index) const { | |
686 return 0 <= index && index < length(); | |
687 } | |
688 | |
689 static int header_size() { return sizeof(ConstantPool)/HeapWordSize; } | |
690 static int size(int length) { return align_object_size(header_size() + length); } | |
691 int size() const { return size(length()); } | |
692 | |
693 friend class ClassFileParser; | |
694 friend class SystemDictionary; | |
695 | |
696 // Used by compiler to prevent classloading. | |
697 static Method* method_at_if_loaded (constantPoolHandle this_oop, int which); | |
698 static bool has_appendix_at_if_loaded (constantPoolHandle this_oop, int which); | |
699 static oop appendix_at_if_loaded (constantPoolHandle this_oop, int which); | |
700 static bool has_method_type_at_if_loaded (constantPoolHandle this_oop, int which); | |
701 static oop method_type_at_if_loaded (constantPoolHandle this_oop, int which); | |
702 static Klass* klass_at_if_loaded (constantPoolHandle this_oop, int which); | |
703 static Klass* klass_ref_at_if_loaded (constantPoolHandle this_oop, int which); | |
704 // Same as above - but does LinkResolving. | |
705 static Klass* klass_ref_at_if_loaded_check(constantPoolHandle this_oop, int which, TRAPS); | |
706 | |
707 // Routines currently used for annotations (only called by jvm.cpp) but which might be used in the | |
708 // future by other Java code. These take constant pool indices rather than | |
709 // constant pool cache indices as do the peer methods above. | |
710 Symbol* uncached_klass_ref_at_noresolve(int which); | |
711 Symbol* uncached_name_ref_at(int which) { return impl_name_ref_at(which, true); } | |
712 Symbol* uncached_signature_ref_at(int which) { return impl_signature_ref_at(which, true); } | |
713 int uncached_klass_ref_index_at(int which) { return impl_klass_ref_index_at(which, true); } | |
714 int uncached_name_and_type_ref_index_at(int which) { return impl_name_and_type_ref_index_at(which, true); } | |
715 | |
716 // Sharing | |
717 int pre_resolve_shared_klasses(TRAPS); | |
718 | |
719 // Debugging | |
720 const char* printable_name_at(int which) PRODUCT_RETURN0; | |
721 | |
722 #ifdef ASSERT | |
723 enum { CPCACHE_INDEX_TAG = 0x10000 }; // helps keep CP cache indices distinct from CP indices | |
724 #else | |
725 enum { CPCACHE_INDEX_TAG = 0 }; // in product mode, this zero value is a no-op | |
726 #endif //ASSERT | |
727 | |
728 static int decode_cpcache_index(int raw_index, bool invokedynamic_ok = false) { | |
729 if (invokedynamic_ok && is_invokedynamic_index(raw_index)) | |
730 return decode_invokedynamic_index(raw_index); | |
731 else | |
732 return raw_index - CPCACHE_INDEX_TAG; | |
733 } | |
734 | |
735 private: | |
736 | |
737 void set_resolved_references(jobject s) { _resolved_references = s; } | |
738 Array<u2>* reference_map() const { return _reference_map; } | |
739 void set_reference_map(Array<u2>* o) { _reference_map = o; } | |
740 | |
741 // patch JSR 292 resolved references after the class is linked. | |
742 void patch_resolved_references(GrowableArray<Handle>* cp_patches); | |
743 | |
744 Symbol* impl_name_ref_at(int which, bool uncached); | |
745 Symbol* impl_signature_ref_at(int which, bool uncached); | |
746 int impl_klass_ref_index_at(int which, bool uncached); | |
747 int impl_name_and_type_ref_index_at(int which, bool uncached); | |
748 | |
749 public: | |
750 int remap_instruction_operand_from_cache(int operand); // operand must be biased by CPCACHE_INDEX_TAG | |
751 | |
752 private: | |
753 // Used while constructing constant pool (only by ClassFileParser) | |
754 jint klass_index_at(int which) { | |
755 assert(tag_at(which).is_klass_index(), "Corrupted constant pool"); | |
756 return *int_at_addr(which); | |
757 } | |
758 | |
759 jint string_index_at(int which) { | |
760 assert(tag_at(which).is_string_index(), "Corrupted constant pool"); | |
761 return *int_at_addr(which); | |
762 } | |
763 | |
764 // Performs the LinkResolver checks | |
765 static void verify_constant_pool_resolve(constantPoolHandle this_oop, KlassHandle klass, TRAPS); | |
766 | |
767 // Implementation of methods that needs an exposed 'this' pointer, in order to | |
768 // handle GC while executing the method | |
769 static Klass* klass_at_impl(constantPoolHandle this_oop, int which, TRAPS); | |
770 static oop string_at_impl(constantPoolHandle this_oop, int which, int obj_index, TRAPS); | |
771 | |
772 // Resolve string constants (to prevent allocation during compilation) | |
773 static void resolve_string_constants_impl(constantPoolHandle this_oop, TRAPS); | |
774 | |
775 static oop resolve_constant_at_impl(constantPoolHandle this_oop, int index, int cache_index, TRAPS); | |
776 static void save_and_throw_exception(constantPoolHandle this_oop, int which, int tag_value, TRAPS); | |
777 static oop resolve_bootstrap_specifier_at_impl(constantPoolHandle this_oop, int index, TRAPS); | |
778 | |
779 public: | |
780 // Merging ConstantPool* support: | |
781 bool compare_entry_to(int index1, constantPoolHandle cp2, int index2, TRAPS); | |
782 void copy_cp_to(int start_i, int end_i, constantPoolHandle to_cp, int to_i, TRAPS) { | |
783 constantPoolHandle h_this(THREAD, this); | |
784 copy_cp_to_impl(h_this, start_i, end_i, to_cp, to_i, THREAD); | |
785 } | |
786 static void copy_cp_to_impl(constantPoolHandle from_cp, int start_i, int end_i, constantPoolHandle to_cp, int to_i, TRAPS); | |
787 static void copy_entry_to(constantPoolHandle from_cp, int from_i, constantPoolHandle to_cp, int to_i, TRAPS); | |
788 int find_matching_entry(int pattern_i, constantPoolHandle search_cp, TRAPS); | |
789 int orig_length() const { return _saved._orig_length; } | |
790 void set_orig_length(int orig_length) { _saved._orig_length = orig_length; } | |
791 | |
792 void set_resolved_reference_length(int length) { _saved._resolved_reference_length = length; } | |
793 int resolved_reference_length() const { return _saved._resolved_reference_length; } | |
794 void set_lock(Monitor* lock) { _lock = lock; } | |
795 Monitor* lock() { return _lock; } | |
796 | |
797 // Decrease ref counts of symbols that are in the constant pool | |
798 // when the holder class is unloaded | |
799 void unreference_symbols(); | |
800 | |
801 // Deallocate constant pool for RedefineClasses | |
802 void deallocate_contents(ClassLoaderData* loader_data); | |
803 void release_C_heap_structures(); | |
804 | |
805 // JVMTI accesss - GetConstantPool, RetransformClasses, ... | |
806 friend class JvmtiConstantPoolReconstituter; | |
807 | |
808 private: | |
809 jint cpool_entry_size(jint idx); | |
810 jint hash_entries_to(SymbolHashMap *symmap, SymbolHashMap *classmap); | |
811 | |
812 // Copy cpool bytes into byte array. | |
813 // Returns: | |
814 // int > 0, count of the raw cpool bytes that have been copied | |
815 // 0, OutOfMemory error | |
816 // -1, Internal error | |
817 int copy_cpool_bytes(int cpool_size, | |
818 SymbolHashMap* tbl, | |
819 unsigned char *bytes); | |
820 | |
821 public: | |
822 // Verify | |
823 void verify_on(outputStream* st); | |
824 | |
825 // Printing | |
826 void print_on(outputStream* st) const; | |
827 void print_value_on(outputStream* st) const; | |
828 void print_entry_on(int index, outputStream* st); | |
829 | |
830 const char* internal_name() const { return "{constant pool}"; } | |
831 | |
832 #ifndef PRODUCT | |
833 // Compile the world support | |
834 static void preload_and_initialize_all_classes(ConstantPool* constant_pool, TRAPS); | |
835 #endif | |
836 }; | |
837 | |
838 class SymbolHashMapEntry : public CHeapObj<mtSymbol> { | |
839 private: | |
840 unsigned int _hash; // 32-bit hash for item | |
841 SymbolHashMapEntry* _next; // Next element in the linked list for this bucket | |
842 Symbol* _symbol; // 1-st part of the mapping: symbol => value | |
843 u2 _value; // 2-nd part of the mapping: symbol => value | |
844 | |
845 public: | |
846 unsigned int hash() const { return _hash; } | |
847 void set_hash(unsigned int hash) { _hash = hash; } | |
848 | |
849 SymbolHashMapEntry* next() const { return _next; } | |
850 void set_next(SymbolHashMapEntry* next) { _next = next; } | |
851 | |
852 Symbol* symbol() const { return _symbol; } | |
853 void set_symbol(Symbol* sym) { _symbol = sym; } | |
854 | |
855 u2 value() const { return _value; } | |
856 void set_value(u2 value) { _value = value; } | |
857 | |
858 SymbolHashMapEntry(unsigned int hash, Symbol* symbol, u2 value) | |
859 : _hash(hash), _symbol(symbol), _value(value), _next(NULL) {} | |
860 | |
861 }; // End SymbolHashMapEntry class | |
862 | |
863 | |
864 class SymbolHashMapBucket : public CHeapObj<mtSymbol> { | |
865 | |
866 private: | |
867 SymbolHashMapEntry* _entry; | |
868 | |
869 public: | |
870 SymbolHashMapEntry* entry() const { return _entry; } | |
871 void set_entry(SymbolHashMapEntry* entry) { _entry = entry; } | |
872 void clear() { _entry = NULL; } | |
873 | |
874 }; // End SymbolHashMapBucket class | |
875 | |
876 | |
877 class SymbolHashMap: public CHeapObj<mtSymbol> { | |
878 | |
879 private: | |
880 // Default number of entries in the table | |
881 enum SymbolHashMap_Constants { | |
882 _Def_HashMap_Size = 256 | |
883 }; | |
884 | |
885 int _table_size; | |
886 SymbolHashMapBucket* _buckets; | |
887 | |
888 void initialize_table(int table_size) { | |
889 _table_size = table_size; | |
890 _buckets = NEW_C_HEAP_ARRAY(SymbolHashMapBucket, table_size, mtSymbol); | |
891 for (int index = 0; index < table_size; index++) { | |
892 _buckets[index].clear(); | |
893 } | |
894 } | |
895 | |
896 public: | |
897 | |
898 int table_size() const { return _table_size; } | |
899 | |
900 SymbolHashMap() { initialize_table(_Def_HashMap_Size); } | |
901 SymbolHashMap(int table_size) { initialize_table(table_size); } | |
902 | |
903 // hash P(31) from Kernighan & Ritchie | |
904 static unsigned int compute_hash(const char* str, int len) { | |
905 unsigned int hash = 0; | |
906 while (len-- > 0) { | |
907 hash = 31*hash + (unsigned) *str; | |
908 str++; | |
909 } | |
910 return hash; | |
911 } | |
912 | |
913 SymbolHashMapEntry* bucket(int i) { | |
914 return _buckets[i].entry(); | |
915 } | |
916 | |
917 void add_entry(Symbol* sym, u2 value); | |
918 SymbolHashMapEntry* find_entry(Symbol* sym); | |
919 | |
920 u2 symbol_to_value(Symbol* sym) { | |
921 SymbolHashMapEntry *entry = find_entry(sym); | |
922 return (entry == NULL) ? 0 : entry->value(); | |
923 } | |
924 | |
925 ~SymbolHashMap() { | |
926 SymbolHashMapEntry* next; | |
927 for (int i = 0; i < _table_size; i++) { | |
928 for (SymbolHashMapEntry* cur = bucket(i); cur != NULL; cur = next) { | |
929 next = cur->next(); | |
930 delete(cur); | |
931 } | |
932 } | |
933 delete _buckets; | |
934 } | |
935 }; // End SymbolHashMap class | |
936 | |
937 #endif // SHARE_VM_OOPS_CONSTANTPOOLOOP_HPP |