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 */
24
25 # include "incls/_precompiled.incl"
26 # include "incls/_constantPoolKlass.cpp.incl"
27
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);
33
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
45
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());
56
57 return pool();
58 }
59
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 }
69
70 int constantPoolKlass::oop_size(oop obj) const {
71 assert(obj->is_constantPool(), "must be constantPool");
72 return constantPoolOop(obj)->object_size();
73 }
74
75
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.
81
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 }
98
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.
106
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
125
126
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.
135
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 }
152
153
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();
162
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 }
179
180
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();
189
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 }
212
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 }
217
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;
222
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 }
238
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;
244
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 }
259
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);
267
268 return cp->object_size();
269 }
270
271 void constantPoolKlass::oop_push_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_depth(base);
280 }
281 }
282 }
283 }
284 }
285 #endif // SERIALGC
286
287 // Printing
288
289 void constantPoolKlass::oop_print_on(oop obj, outputStream* st) {
290 EXCEPTION_MARK;
291 oop anObj;
292 assert(obj->is_constantPool(), "must be constantPool");
293 Klass::oop_print_on(obj, st);
294 constantPoolOop cp = constantPoolOop(obj);
295 if (cp->flags() != 0) {
296 st->print(" - flags: 0x%x", cp->flags());
297 if (cp->has_pseudo_string()) st->print(" has_pseudo_string");
298 if (cp->has_invokedynamic()) st->print(" has_invokedynamic");
299 st->cr();
300 }
301 st->print_cr(" - cache: " INTPTR_FORMAT, cp->cache());
302
303 for (int index = 1; index < cp->length(); index++) { // Index 0 is unused
304 st->print(" - %3d : ", index);
305 cp->tag_at(index).print_on(st);
306 st->print(" : ");
307 switch (cp->tag_at(index).value()) {
308 case JVM_CONSTANT_Class :
309 { anObj = cp->klass_at(index, CATCH);
310 anObj->print_value_on(st);
311 st->print(" {0x%lx}", (address)anObj);
312 }
313 break;
314 case JVM_CONSTANT_Fieldref :
315 case JVM_CONSTANT_Methodref :
316 case JVM_CONSTANT_InterfaceMethodref :
317 st->print("klass_index=%d", cp->uncached_klass_ref_index_at(index));
318 st->print(" name_and_type_index=%d", cp->uncached_name_and_type_ref_index_at(index));
319 break;
320 case JVM_CONSTANT_UnresolvedString :
321 case JVM_CONSTANT_String :
322 if (cp->is_pseudo_string_at(index)) {
323 anObj = cp->pseudo_string_at(index);
324 } else {
325 anObj = cp->string_at(index, CATCH);
326 }
327 anObj->print_value_on(st);
328 st->print(" {0x%lx}", (address)anObj);
329 break;
330 case JVM_CONSTANT_Integer :
331 st->print("%d", cp->int_at(index));
332 break;
333 case JVM_CONSTANT_Float :
334 st->print("%f", cp->float_at(index));
335 break;
336 case JVM_CONSTANT_Long :
337 st->print_jlong(cp->long_at(index));
338 index++; // Skip entry following eigth-byte constant
339 break;
340 case JVM_CONSTANT_Double :
341 st->print("%lf", cp->double_at(index));
342 index++; // Skip entry following eigth-byte constant
343 break;
344 case JVM_CONSTANT_NameAndType :
345 st->print("name_index=%d", cp->name_ref_index_at(index));
346 st->print(" signature_index=%d", cp->signature_ref_index_at(index));
347 break;
348 case JVM_CONSTANT_Utf8 :
349 cp->symbol_at(index)->print_value_on(st);
350 break;
351 case JVM_CONSTANT_UnresolvedClass : // fall-through
352 case JVM_CONSTANT_UnresolvedClassInError: {
353 // unresolved_klass_at requires lock or safe world.
354 oop entry = *cp->obj_at_addr(index);
355 entry->print_value_on(st);
356 }
357 break;
358 case JVM_CONSTANT_MethodHandle :
359 st->print("ref_kind=%d", cp->method_handle_ref_kind_at(index));
360 st->print(" ref_index=%d", cp->method_handle_index_at(index));
361 break;
362 case JVM_CONSTANT_MethodType :
363 st->print("signature_index=%d", cp->method_type_index_at(index));
364 break;
365 case JVM_CONSTANT_InvokeDynamic :
366 st->print("bootstrap_method_index=%d", cp->invoke_dynamic_bootstrap_method_ref_index_at(index));
367 st->print(" name_and_type_index=%d", cp->invoke_dynamic_name_and_type_ref_index_at(index));
368 break;
369 default:
370 ShouldNotReachHere();
371 break;
372 }
373 st->cr();
374 }
375 st->cr();
376 }
377
378 void constantPoolKlass::oop_print_value_on(oop obj, outputStream* st) {
379 assert(obj->is_constantPool(), "must be constantPool");
380 constantPoolOop cp = constantPoolOop(obj);
381 st->print("constant pool [%d]", cp->length());
382 if (cp->has_pseudo_string()) st->print("/pseudo_string");
383 if (cp->has_invokedynamic()) st->print("/invokedynamic");
384 cp->print_address_on(st);
385 st->print(" for ");
386 cp->pool_holder()->print_value_on(st);
387 if (cp->cache() != NULL) {
388 st->print(" cache=" PTR_FORMAT, cp->cache());
389 }
390 }
391
392 const char* constantPoolKlass::internal_name() const {
393 return "{constant pool}";
394 }
395
396 // Verification
397
398 void constantPoolKlass::oop_verify_on(oop obj, outputStream* st) {
399 Klass::oop_verify_on(obj, st);
400 guarantee(obj->is_constantPool(), "object must be constant pool");
401 constantPoolOop cp = constantPoolOop(obj);
402 guarantee(cp->is_perm(), "should be in permspace");
403 if (!cp->partially_loaded()) {
404 oop* base = (oop*)cp->base();
405 for (int i = 0; i< cp->length(); i++) {
406 if (cp->tag_at(i).is_klass()) {
407 guarantee((*base)->is_perm(), "should be in permspace");
408 guarantee((*base)->is_klass(), "should be klass");
409 }
410 if (cp->tag_at(i).is_unresolved_klass()) {
411 guarantee((*base)->is_perm(), "should be in permspace");
412 guarantee((*base)->is_symbol() || (*base)->is_klass(),
413 "should be symbol or klass");
414 }
415 if (cp->tag_at(i).is_symbol()) {
416 guarantee((*base)->is_perm(), "should be in permspace");
417 guarantee((*base)->is_symbol(), "should be symbol");
418 }
419 if (cp->tag_at(i).is_unresolved_string()) {
420 guarantee((*base)->is_perm(), "should be in permspace");
421 guarantee((*base)->is_symbol() || (*base)->is_instance(),
422 "should be symbol or instance");
423 }
424 if (cp->tag_at(i).is_string()) {
425 if (!cp->has_pseudo_string()) {
426 guarantee((*base)->is_perm(), "should be in permspace");
427 guarantee((*base)->is_instance(), "should be instance");
428 } else {
429 // can be non-perm, can be non-instance (array)
430 }
431 }
432 // FIXME: verify JSR 292 tags JVM_CONSTANT_MethodHandle, etc.
433 base++;
434 }
435 guarantee(cp->tags()->is_perm(), "should be in permspace");
436 guarantee(cp->tags()->is_typeArray(), "should be type array");
437 if (cp->cache() != NULL) {
438 // Note: cache() can be NULL before a class is completely setup or
439 // in temporary constant pools used during constant pool merging
440 guarantee(cp->cache()->is_perm(), "should be in permspace");
441 guarantee(cp->cache()->is_constantPoolCache(), "should be constant pool cache");
442 }
443 if (cp->pool_holder() != NULL) {
444 // Note: pool_holder() can be NULL in temporary constant pools
445 // used during constant pool merging
446 guarantee(cp->pool_holder()->is_perm(), "should be in permspace");
447 guarantee(cp->pool_holder()->is_klass(), "should be klass");
448 }
449 }
450 }
451
452 bool constantPoolKlass::oop_partially_loaded(oop obj) const {
453 assert(obj->is_constantPool(), "object must be constant pool");
454 constantPoolOop cp = constantPoolOop(obj);
455 return cp->tags() == NULL || cp->pool_holder() == (klassOop) cp; // Check whether pool holder points to self
456 }
457
458
459 void constantPoolKlass::oop_set_partially_loaded(oop obj) {
460 assert(obj->is_constantPool(), "object must be constant pool");
461 constantPoolOop cp = constantPoolOop(obj);
462 assert(cp->pool_holder() == NULL, "just checking");
463 cp->set_pool_holder((klassOop) cp); // Temporarily set pool holder to point to self
464 }
465
466 #ifndef PRODUCT
467 // CompileTheWorld support. Preload all classes loaded references in the passed in constantpool
468 void constantPoolKlass::preload_and_initialize_all_classes(oop obj, TRAPS) {
469 guarantee(obj->is_constantPool(), "object must be constant pool");
470 constantPoolHandle cp(THREAD, (constantPoolOop)obj);
471 guarantee(!cp->partially_loaded(), "must be fully loaded");
472
473 for (int i = 0; i< cp->length(); i++) {
474 if (cp->tag_at(i).is_unresolved_klass()) {
475 // This will force loading of the class
476 klassOop klass = cp->klass_at(i, CHECK);
477 if (klass->is_instance()) {
478 // Force initialization of class
479 instanceKlass::cast(klass)->initialize(CHECK);
480 }
481 }
482 }
483 }
484
485 #endif