Thu, 15 Jul 2010 18:40:45 -0700
6964498: JSR 292 invokedynamic sites need local bootstrap methods
Summary: Add JVM_CONSTANT_InvokeDynamic records to constant pool to determine per-instruction BSMs.
Reviewed-by: twisti
1 /*
2 * Copyright (c) 1997, 2009, 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 */
25 # include "incls/_precompiled.incl"
26 # include "incls/_constantPoolKlass.cpp.incl"
28 constantPoolOop constantPoolKlass::allocate(int length, bool is_conc_safe, TRAPS) {
29 int size = constantPoolOopDesc::object_size(length);
30 KlassHandle klass (THREAD, as_klassOop());
31 constantPoolOop c =
32 (constantPoolOop)CollectedHeap::permanent_obj_allocate(klass, size, CHECK_NULL);
34 c->set_length(length);
35 c->set_tags(NULL);
36 c->set_cache(NULL);
37 c->set_pool_holder(NULL);
38 c->set_flags(0);
39 // only set to non-zero if constant pool is merged by RedefineClasses
40 c->set_orig_length(0);
41 // if constant pool may change during RedefineClasses, it is created
42 // unsafe for GC concurrent processing.
43 c->set_is_conc_safe(is_conc_safe);
44 // all fields are initialized; needed for GC
46 // initialize tag array
47 // Note: cannot introduce constant pool handle before since it is not
48 // completely initialized (no class) -> would cause assertion failure
49 constantPoolHandle pool (THREAD, c);
50 typeArrayOop t_oop = oopFactory::new_permanent_byteArray(length, CHECK_NULL);
51 typeArrayHandle tags (THREAD, t_oop);
52 for (int index = 0; index < length; index++) {
53 tags()->byte_at_put(index, JVM_CONSTANT_Invalid);
54 }
55 pool->set_tags(tags());
57 return pool();
58 }
60 klassOop constantPoolKlass::create_klass(TRAPS) {
61 constantPoolKlass o;
62 KlassHandle h_this_klass(THREAD, Universe::klassKlassObj());
63 KlassHandle k = base_create_klass(h_this_klass, header_size(), o.vtbl_value(), CHECK_NULL);
64 // Make sure size calculation is right
65 assert(k()->size() == align_object_size(header_size()), "wrong size for object");
66 java_lang_Class::create_mirror(k, CHECK_NULL); // Allocate mirror
67 return k();
68 }
70 int constantPoolKlass::oop_size(oop obj) const {
71 assert(obj->is_constantPool(), "must be constantPool");
72 return constantPoolOop(obj)->object_size();
73 }
76 void constantPoolKlass::oop_follow_contents(oop obj) {
77 assert (obj->is_constantPool(), "obj must be constant pool");
78 constantPoolOop cp = (constantPoolOop) obj;
79 // Performance tweak: We skip iterating over the klass pointer since we
80 // know that Universe::constantPoolKlassObj never moves.
82 // If the tags array is null we are in the middle of allocating this constant pool
83 if (cp->tags() != NULL) {
84 // gc of constant pool contents
85 oop* base = (oop*)cp->base();
86 for (int i = 0; i < cp->length(); i++) {
87 if (cp->is_pointer_entry(i)) {
88 if (*base != NULL) MarkSweep::mark_and_push(base);
89 }
90 base++;
91 }
92 // gc of constant pool instance variables
93 MarkSweep::mark_and_push(cp->tags_addr());
94 MarkSweep::mark_and_push(cp->cache_addr());
95 MarkSweep::mark_and_push(cp->pool_holder_addr());
96 }
97 }
99 #ifndef SERIALGC
100 void constantPoolKlass::oop_follow_contents(ParCompactionManager* cm,
101 oop obj) {
102 assert (obj->is_constantPool(), "obj must be constant pool");
103 constantPoolOop cp = (constantPoolOop) obj;
104 // Performance tweak: We skip iterating over the klass pointer since we
105 // know that Universe::constantPoolKlassObj never moves.
107 // If the tags array is null we are in the middle of allocating this constant
108 // pool.
109 if (cp->tags() != NULL) {
110 // gc of constant pool contents
111 oop* base = (oop*)cp->base();
112 for (int i = 0; i < cp->length(); i++) {
113 if (cp->is_pointer_entry(i)) {
114 if (*base != NULL) PSParallelCompact::mark_and_push(cm, base);
115 }
116 base++;
117 }
118 // gc of constant pool instance variables
119 PSParallelCompact::mark_and_push(cm, cp->tags_addr());
120 PSParallelCompact::mark_and_push(cm, cp->cache_addr());
121 PSParallelCompact::mark_and_push(cm, cp->pool_holder_addr());
122 }
123 }
124 #endif // SERIALGC
127 int constantPoolKlass::oop_adjust_pointers(oop obj) {
128 assert (obj->is_constantPool(), "obj must be constant pool");
129 constantPoolOop cp = (constantPoolOop) obj;
130 // Get size before changing pointers.
131 // Don't call size() or oop_size() since that is a virtual call.
132 int size = cp->object_size();
133 // Performance tweak: We skip iterating over the klass pointer since we
134 // know that Universe::constantPoolKlassObj never moves.
136 // If the tags array is null we are in the middle of allocating this constant
137 // pool.
138 if (cp->tags() != NULL) {
139 oop* base = (oop*)cp->base();
140 for (int i = 0; i< cp->length(); i++) {
141 if (cp->is_pointer_entry(i)) {
142 MarkSweep::adjust_pointer(base);
143 }
144 base++;
145 }
146 }
147 MarkSweep::adjust_pointer(cp->tags_addr());
148 MarkSweep::adjust_pointer(cp->cache_addr());
149 MarkSweep::adjust_pointer(cp->pool_holder_addr());
150 return size;
151 }
154 int constantPoolKlass::oop_oop_iterate(oop obj, OopClosure* blk) {
155 assert (obj->is_constantPool(), "obj must be constant pool");
156 // Performance tweak: We skip iterating over the klass pointer since we
157 // know that Universe::constantPoolKlassObj never moves.
158 constantPoolOop cp = (constantPoolOop) obj;
159 // Get size before changing pointers.
160 // Don't call size() or oop_size() since that is a virtual call.
161 int size = cp->object_size();
163 // If the tags array is null we are in the middle of allocating this constant
164 // pool.
165 if (cp->tags() != NULL) {
166 oop* base = (oop*)cp->base();
167 for (int i = 0; i < cp->length(); i++) {
168 if (cp->is_pointer_entry(i)) {
169 blk->do_oop(base);
170 }
171 base++;
172 }
173 }
174 blk->do_oop(cp->tags_addr());
175 blk->do_oop(cp->cache_addr());
176 blk->do_oop(cp->pool_holder_addr());
177 return size;
178 }
181 int constantPoolKlass::oop_oop_iterate_m(oop obj, OopClosure* blk, MemRegion mr) {
182 assert (obj->is_constantPool(), "obj must be constant pool");
183 // Performance tweak: We skip iterating over the klass pointer since we
184 // know that Universe::constantPoolKlassObj never moves.
185 constantPoolOop cp = (constantPoolOop) obj;
186 // Get size before changing pointers.
187 // Don't call size() or oop_size() since that is a virtual call.
188 int size = cp->object_size();
190 // If the tags array is null we are in the middle of allocating this constant
191 // pool.
192 if (cp->tags() != NULL) {
193 oop* base = (oop*)cp->base();
194 for (int i = 0; i < cp->length(); i++) {
195 if (mr.contains(base)) {
196 if (cp->is_pointer_entry(i)) {
197 blk->do_oop(base);
198 }
199 }
200 base++;
201 }
202 }
203 oop* addr;
204 addr = cp->tags_addr();
205 blk->do_oop(addr);
206 addr = cp->cache_addr();
207 blk->do_oop(addr);
208 addr = cp->pool_holder_addr();
209 blk->do_oop(addr);
210 return size;
211 }
213 bool constantPoolKlass::oop_is_conc_safe(oop obj) const {
214 assert(obj->is_constantPool(), "must be constantPool");
215 return constantPoolOop(obj)->is_conc_safe();
216 }
218 #ifndef SERIALGC
219 int constantPoolKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) {
220 assert (obj->is_constantPool(), "obj must be constant pool");
221 constantPoolOop cp = (constantPoolOop) obj;
223 // If the tags array is null we are in the middle of allocating this constant
224 // pool.
225 if (cp->tags() != NULL) {
226 oop* base = (oop*)cp->base();
227 for (int i = 0; i < cp->length(); ++i, ++base) {
228 if (cp->is_pointer_entry(i)) {
229 PSParallelCompact::adjust_pointer(base);
230 }
231 }
232 }
233 PSParallelCompact::adjust_pointer(cp->tags_addr());
234 PSParallelCompact::adjust_pointer(cp->cache_addr());
235 PSParallelCompact::adjust_pointer(cp->pool_holder_addr());
236 return cp->object_size();
237 }
239 int
240 constantPoolKlass::oop_update_pointers(ParCompactionManager* cm, oop obj,
241 HeapWord* beg_addr, HeapWord* end_addr) {
242 assert (obj->is_constantPool(), "obj must be constant pool");
243 constantPoolOop cp = (constantPoolOop) obj;
245 // If the tags array is null we are in the middle of allocating this constant
246 // pool.
247 if (cp->tags() != NULL) {
248 oop* base = (oop*)cp->base();
249 oop* const beg_oop = MAX2((oop*)beg_addr, base);
250 oop* const end_oop = MIN2((oop*)end_addr, base + cp->length());
251 const size_t beg_idx = pointer_delta(beg_oop, base, sizeof(oop*));
252 const size_t end_idx = pointer_delta(end_oop, base, sizeof(oop*));
253 for (size_t cur_idx = beg_idx; cur_idx < end_idx; ++cur_idx, ++base) {
254 if (cp->is_pointer_entry(int(cur_idx))) {
255 PSParallelCompact::adjust_pointer(base);
256 }
257 }
258 }
260 oop* p;
261 p = cp->tags_addr();
262 PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
263 p = cp->cache_addr();
264 PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
265 p = cp->pool_holder_addr();
266 PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
268 return cp->object_size();
269 }
271 void constantPoolKlass::oop_copy_contents(PSPromotionManager* pm, oop obj) {
272 assert(obj->is_constantPool(), "should be constant pool");
273 constantPoolOop cp = (constantPoolOop) obj;
274 if (AnonymousClasses && cp->has_pseudo_string() && cp->tags() != NULL) {
275 oop* base = (oop*)cp->base();
276 for (int i = 0; i < cp->length(); ++i, ++base) {
277 if (cp->tag_at(i).is_string()) {
278 if (PSScavenge::should_scavenge(base)) {
279 pm->claim_or_forward_breadth(base);
280 }
281 }
282 }
283 }
284 }
286 void constantPoolKlass::oop_push_contents(PSPromotionManager* pm, oop obj) {
287 assert(obj->is_constantPool(), "should be constant pool");
288 constantPoolOop cp = (constantPoolOop) obj;
289 if (AnonymousClasses && cp->has_pseudo_string() && cp->tags() != NULL) {
290 oop* base = (oop*)cp->base();
291 for (int i = 0; i < cp->length(); ++i, ++base) {
292 if (cp->tag_at(i).is_string()) {
293 if (PSScavenge::should_scavenge(base)) {
294 pm->claim_or_forward_depth(base);
295 }
296 }
297 }
298 }
299 }
300 #endif // SERIALGC
302 #ifndef PRODUCT
304 // Printing
306 void constantPoolKlass::oop_print_on(oop obj, outputStream* st) {
307 EXCEPTION_MARK;
308 oop anObj;
309 assert(obj->is_constantPool(), "must be constantPool");
310 Klass::oop_print_on(obj, st);
311 constantPoolOop cp = constantPoolOop(obj);
312 if (cp->flags() != 0) {
313 st->print(" - flags: 0x%x", cp->flags());
314 if (cp->has_pseudo_string()) st->print(" has_pseudo_string");
315 if (cp->has_invokedynamic()) st->print(" has_invokedynamic");
316 st->cr();
317 }
318 st->print_cr(" - cache: " INTPTR_FORMAT, cp->cache());
320 for (int index = 1; index < cp->length(); index++) { // Index 0 is unused
321 st->print(" - %3d : ", index);
322 cp->tag_at(index).print_on(st);
323 st->print(" : ");
324 switch (cp->tag_at(index).value()) {
325 case JVM_CONSTANT_Class :
326 { anObj = cp->klass_at(index, CATCH);
327 anObj->print_value_on(st);
328 st->print(" {0x%lx}", (address)anObj);
329 }
330 break;
331 case JVM_CONSTANT_Fieldref :
332 case JVM_CONSTANT_Methodref :
333 case JVM_CONSTANT_InterfaceMethodref :
334 st->print("klass_index=%d", cp->uncached_klass_ref_index_at(index));
335 st->print(" name_and_type_index=%d", cp->uncached_name_and_type_ref_index_at(index));
336 break;
337 case JVM_CONSTANT_UnresolvedString :
338 case JVM_CONSTANT_String :
339 if (cp->is_pseudo_string_at(index)) {
340 anObj = cp->pseudo_string_at(index);
341 } else {
342 anObj = cp->string_at(index, CATCH);
343 }
344 anObj->print_value_on(st);
345 st->print(" {0x%lx}", (address)anObj);
346 break;
347 case JVM_CONSTANT_Integer :
348 st->print("%d", cp->int_at(index));
349 break;
350 case JVM_CONSTANT_Float :
351 st->print("%f", cp->float_at(index));
352 break;
353 case JVM_CONSTANT_Long :
354 st->print_jlong(cp->long_at(index));
355 index++; // Skip entry following eigth-byte constant
356 break;
357 case JVM_CONSTANT_Double :
358 st->print("%lf", cp->double_at(index));
359 index++; // Skip entry following eigth-byte constant
360 break;
361 case JVM_CONSTANT_NameAndType :
362 st->print("name_index=%d", cp->name_ref_index_at(index));
363 st->print(" signature_index=%d", cp->signature_ref_index_at(index));
364 break;
365 case JVM_CONSTANT_Utf8 :
366 cp->symbol_at(index)->print_value_on(st);
367 break;
368 case JVM_CONSTANT_UnresolvedClass : // fall-through
369 case JVM_CONSTANT_UnresolvedClassInError: {
370 // unresolved_klass_at requires lock or safe world.
371 oop entry = *cp->obj_at_addr(index);
372 entry->print_value_on(st);
373 }
374 break;
375 case JVM_CONSTANT_MethodHandle :
376 st->print("ref_kind=%d", cp->method_handle_ref_kind_at(index));
377 st->print(" ref_index=%d", cp->method_handle_index_at(index));
378 break;
379 case JVM_CONSTANT_MethodType :
380 st->print("signature_index=%d", cp->method_type_index_at(index));
381 break;
382 case JVM_CONSTANT_InvokeDynamic :
383 st->print("bootstrap_method_index=%d", cp->invoke_dynamic_bootstrap_method_ref_index_at(index));
384 st->print(" name_and_type_index=%d", cp->invoke_dynamic_name_and_type_ref_index_at(index));
385 break;
386 default:
387 ShouldNotReachHere();
388 break;
389 }
390 st->cr();
391 }
392 st->cr();
393 }
395 #endif
397 void constantPoolKlass::oop_print_value_on(oop obj, outputStream* st) {
398 assert(obj->is_constantPool(), "must be constantPool");
399 constantPoolOop cp = constantPoolOop(obj);
400 st->print("constant pool [%d]", cp->length());
401 if (cp->has_pseudo_string()) st->print("/pseudo_string");
402 if (cp->has_invokedynamic()) st->print("/invokedynamic");
403 cp->print_address_on(st);
404 st->print(" for ");
405 cp->pool_holder()->print_value_on(st);
406 if (cp->cache() != NULL) {
407 st->print(" cache=" PTR_FORMAT, cp->cache());
408 }
409 }
411 const char* constantPoolKlass::internal_name() const {
412 return "{constant pool}";
413 }
415 // Verification
417 void constantPoolKlass::oop_verify_on(oop obj, outputStream* st) {
418 Klass::oop_verify_on(obj, st);
419 guarantee(obj->is_constantPool(), "object must be constant pool");
420 constantPoolOop cp = constantPoolOop(obj);
421 guarantee(cp->is_perm(), "should be in permspace");
422 if (!cp->partially_loaded()) {
423 oop* base = (oop*)cp->base();
424 for (int i = 0; i< cp->length(); i++) {
425 if (cp->tag_at(i).is_klass()) {
426 guarantee((*base)->is_perm(), "should be in permspace");
427 guarantee((*base)->is_klass(), "should be klass");
428 }
429 if (cp->tag_at(i).is_unresolved_klass()) {
430 guarantee((*base)->is_perm(), "should be in permspace");
431 guarantee((*base)->is_symbol() || (*base)->is_klass(),
432 "should be symbol or klass");
433 }
434 if (cp->tag_at(i).is_symbol()) {
435 guarantee((*base)->is_perm(), "should be in permspace");
436 guarantee((*base)->is_symbol(), "should be symbol");
437 }
438 if (cp->tag_at(i).is_unresolved_string()) {
439 guarantee((*base)->is_perm(), "should be in permspace");
440 guarantee((*base)->is_symbol() || (*base)->is_instance(),
441 "should be symbol or instance");
442 }
443 if (cp->tag_at(i).is_string()) {
444 if (!cp->has_pseudo_string()) {
445 guarantee((*base)->is_perm(), "should be in permspace");
446 guarantee((*base)->is_instance(), "should be instance");
447 } else {
448 // can be non-perm, can be non-instance (array)
449 }
450 }
451 // FIXME: verify JSR 292 tags JVM_CONSTANT_MethodHandle, etc.
452 base++;
453 }
454 guarantee(cp->tags()->is_perm(), "should be in permspace");
455 guarantee(cp->tags()->is_typeArray(), "should be type array");
456 if (cp->cache() != NULL) {
457 // Note: cache() can be NULL before a class is completely setup or
458 // in temporary constant pools used during constant pool merging
459 guarantee(cp->cache()->is_perm(), "should be in permspace");
460 guarantee(cp->cache()->is_constantPoolCache(), "should be constant pool cache");
461 }
462 if (cp->pool_holder() != NULL) {
463 // Note: pool_holder() can be NULL in temporary constant pools
464 // used during constant pool merging
465 guarantee(cp->pool_holder()->is_perm(), "should be in permspace");
466 guarantee(cp->pool_holder()->is_klass(), "should be klass");
467 }
468 }
469 }
471 bool constantPoolKlass::oop_partially_loaded(oop obj) const {
472 assert(obj->is_constantPool(), "object must be constant pool");
473 constantPoolOop cp = constantPoolOop(obj);
474 return cp->tags() == NULL || cp->pool_holder() == (klassOop) cp; // Check whether pool holder points to self
475 }
478 void constantPoolKlass::oop_set_partially_loaded(oop obj) {
479 assert(obj->is_constantPool(), "object must be constant pool");
480 constantPoolOop cp = constantPoolOop(obj);
481 assert(cp->pool_holder() == NULL, "just checking");
482 cp->set_pool_holder((klassOop) cp); // Temporarily set pool holder to point to self
483 }
485 #ifndef PRODUCT
486 // CompileTheWorld support. Preload all classes loaded references in the passed in constantpool
487 void constantPoolKlass::preload_and_initialize_all_classes(oop obj, TRAPS) {
488 guarantee(obj->is_constantPool(), "object must be constant pool");
489 constantPoolHandle cp(THREAD, (constantPoolOop)obj);
490 guarantee(!cp->partially_loaded(), "must be fully loaded");
492 for (int i = 0; i< cp->length(); i++) {
493 if (cp->tag_at(i).is_unresolved_klass()) {
494 // This will force loading of the class
495 klassOop klass = cp->klass_at(i, CHECK);
496 if (klass->is_instance()) {
497 // Force initialization of class
498 instanceKlass::cast(klass)->initialize(CHECK);
499 }
500 }
501 }
502 }
504 #endif