Mercurial > hg > graal-jvmci-8
annotate src/share/vm/memory/dump.cpp @ 710:e5b0439ef4ae
6655638: dynamic languages need method handles
Summary: initial implementation, with known omissions (x86/64, sparc, compiler optim., c-oops, C++ interp.)
Reviewed-by: kvn, twisti, never
author | jrose |
---|---|
date | Wed, 08 Apr 2009 10:56:49 -0700 |
parents | 52e32c8b317e |
children | 981375ca07b7 |
rev | line source |
---|---|
0 | 1 /* |
710 | 2 * Copyright 2003-2009 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 # include "incls/_precompiled.incl" | |
26 # include "incls/_dump.cpp.incl" | |
27 | |
28 | |
29 // Closure to set up the fingerprint field for all methods. | |
30 | |
31 class FingerprintMethodsClosure: public ObjectClosure { | |
32 public: | |
33 void do_object(oop obj) { | |
34 if (obj->is_method()) { | |
35 methodOop mobj = (methodOop)obj; | |
36 ResourceMark rm; | |
37 (new Fingerprinter(mobj))->fingerprint(); | |
38 } | |
39 } | |
40 }; | |
41 | |
42 | |
43 | |
44 // Closure to set the hash value (String.hash field) in all of the | |
45 // String objects in the heap. Setting the hash value is not required. | |
46 // However, setting the value in advance prevents the value from being | |
47 // written later, increasing the likelihood that the shared page contain | |
48 // the hash can be shared. | |
49 // | |
50 // NOTE THAT the algorithm in StringTable::hash_string() MUST MATCH the | |
51 // algorithm in java.lang.String.hashCode(). | |
52 | |
53 class StringHashCodeClosure: public OopClosure { | |
54 private: | |
55 Thread* THREAD; | |
56 int hash_offset; | |
57 public: | |
58 StringHashCodeClosure(Thread* t) { | |
59 THREAD = t; | |
60 hash_offset = java_lang_String::hash_offset_in_bytes(); | |
61 } | |
62 | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
63 void do_oop(oop* p) { |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
64 if (p != NULL) { |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
65 oop obj = *p; |
0 | 66 if (obj->klass() == SystemDictionary::string_klass()) { |
67 | |
68 int hash; | |
69 typeArrayOop value = java_lang_String::value(obj); | |
70 int length = java_lang_String::length(obj); | |
71 if (length == 0) { | |
72 hash = 0; | |
73 } else { | |
74 int offset = java_lang_String::offset(obj); | |
75 jchar* s = value->char_at_addr(offset); | |
76 hash = StringTable::hash_string(s, length); | |
77 } | |
78 obj->int_field_put(hash_offset, hash); | |
79 } | |
80 } | |
81 } | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
82 void do_oop(narrowOop* p) { ShouldNotReachHere(); } |
0 | 83 }; |
84 | |
85 | |
86 // Remove data from objects which should not appear in the shared file | |
87 // (as it pertains only to the current JVM). | |
88 | |
89 class RemoveUnshareableInfoClosure : public ObjectClosure { | |
90 public: | |
91 void do_object(oop obj) { | |
92 // Zap data from the objects which is pertains only to this JVM. We | |
93 // want that data recreated in new JVMs when the shared file is used. | |
94 if (obj->is_method()) { | |
95 ((methodOop)obj)->remove_unshareable_info(); | |
96 } | |
97 else if (obj->is_klass()) { | |
98 Klass::cast((klassOop)obj)->remove_unshareable_info(); | |
99 } | |
100 | |
101 // Don't save compiler related special oops (shouldn't be any yet). | |
102 if (obj->is_methodData() || obj->is_compiledICHolder()) { | |
103 ShouldNotReachHere(); | |
104 } | |
105 } | |
106 }; | |
107 | |
108 | |
109 static bool mark_object(oop obj) { | |
110 if (obj != NULL && | |
111 !obj->is_shared() && | |
112 !obj->is_forwarded() && | |
113 !obj->is_gc_marked()) { | |
114 obj->set_mark(markOopDesc::prototype()->set_marked()); | |
115 return true; | |
116 } | |
117 | |
118 return false; | |
119 } | |
120 | |
121 // Closure: mark objects closure. | |
122 | |
123 class MarkObjectsOopClosure : public OopClosure { | |
124 public: | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
125 void do_oop(oop* p) { mark_object(*p); } |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
126 void do_oop(narrowOop* p) { ShouldNotReachHere(); } |
0 | 127 }; |
128 | |
129 | |
130 class MarkObjectsSkippingKlassesOopClosure : public OopClosure { | |
131 public: | |
132 void do_oop(oop* pobj) { | |
133 oop obj = *pobj; | |
134 if (obj != NULL && | |
135 !obj->is_klass()) { | |
136 mark_object(obj); | |
137 } | |
138 } | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
139 void do_oop(narrowOop* pobj) { ShouldNotReachHere(); } |
0 | 140 }; |
141 | |
142 | |
143 static void mark_object_recursive_skipping_klasses(oop obj) { | |
144 mark_object(obj); | |
145 if (obj != NULL) { | |
146 MarkObjectsSkippingKlassesOopClosure mark_all; | |
147 obj->oop_iterate(&mark_all); | |
148 } | |
149 } | |
150 | |
151 | |
152 // Closure: mark common read-only objects, excluding symbols | |
153 | |
154 class MarkCommonReadOnly : public ObjectClosure { | |
155 private: | |
156 MarkObjectsOopClosure mark_all; | |
157 public: | |
158 void do_object(oop obj) { | |
159 | |
160 // Mark all constMethod objects. | |
161 | |
162 if (obj->is_constMethod()) { | |
163 mark_object(obj); | |
164 mark_object(constMethodOop(obj)->stackmap_data()); | |
165 // Exception tables are needed by ci code during compilation. | |
166 mark_object(constMethodOop(obj)->exception_table()); | |
167 } | |
168 | |
169 // Mark objects referenced by klass objects which are read-only. | |
170 | |
171 else if (obj->is_klass()) { | |
172 Klass* k = Klass::cast((klassOop)obj); | |
173 mark_object(k->secondary_supers()); | |
174 | |
175 // The METHODS() OBJARRAYS CANNOT BE MADE READ-ONLY, even though | |
176 // it is never modified. Otherwise, they will be pre-marked; the | |
177 // GC marking phase will skip them; and by skipping them will fail | |
178 // to mark the methods objects referenced by the array. | |
179 | |
180 if (obj->blueprint()->oop_is_instanceKlass()) { | |
181 instanceKlass* ik = instanceKlass::cast((klassOop)obj); | |
182 mark_object(ik->method_ordering()); | |
183 mark_object(ik->local_interfaces()); | |
184 mark_object(ik->transitive_interfaces()); | |
185 mark_object(ik->fields()); | |
186 | |
187 mark_object(ik->class_annotations()); | |
188 | |
189 mark_object_recursive_skipping_klasses(ik->fields_annotations()); | |
190 mark_object_recursive_skipping_klasses(ik->methods_annotations()); | |
191 mark_object_recursive_skipping_klasses(ik->methods_parameter_annotations()); | |
192 mark_object_recursive_skipping_klasses(ik->methods_default_annotations()); | |
193 | |
194 typeArrayOop inner_classes = ik->inner_classes(); | |
195 if (inner_classes != NULL) { | |
196 mark_object(inner_classes); | |
197 } | |
198 } | |
199 } | |
200 } | |
201 }; | |
202 | |
203 | |
204 // Closure: mark common symbols | |
205 | |
206 class MarkCommonSymbols : public ObjectClosure { | |
207 private: | |
208 MarkObjectsOopClosure mark_all; | |
209 public: | |
210 void do_object(oop obj) { | |
211 | |
212 // Mark symbols refered to by method objects. | |
213 | |
214 if (obj->is_method()) { | |
215 methodOop m = methodOop(obj); | |
216 mark_object(m->name()); | |
217 mark_object(m->signature()); | |
218 } | |
219 | |
220 // Mark symbols referenced by klass objects which are read-only. | |
221 | |
222 else if (obj->is_klass()) { | |
223 | |
224 if (obj->blueprint()->oop_is_instanceKlass()) { | |
225 instanceKlass* ik = instanceKlass::cast((klassOop)obj); | |
226 mark_object(ik->name()); | |
227 mark_object(ik->generic_signature()); | |
228 mark_object(ik->source_file_name()); | |
229 mark_object(ik->source_debug_extension()); | |
230 | |
231 typeArrayOop inner_classes = ik->inner_classes(); | |
232 if (inner_classes != NULL) { | |
233 int length = inner_classes->length(); | |
234 for (int i = 0; | |
235 i < length; | |
236 i += instanceKlass::inner_class_next_offset) { | |
237 int ioff = i + instanceKlass::inner_class_inner_name_offset; | |
238 int index = inner_classes->ushort_at(ioff); | |
239 if (index != 0) { | |
240 mark_object(ik->constants()->symbol_at(index)); | |
241 } | |
242 } | |
243 } | |
244 ik->field_names_and_sigs_iterate(&mark_all); | |
245 } | |
246 } | |
247 | |
248 // Mark symbols referenced by other constantpool entries. | |
249 | |
250 if (obj->is_constantPool()) { | |
251 constantPoolOop(obj)->shared_symbols_iterate(&mark_all); | |
252 } | |
253 } | |
254 }; | |
255 | |
256 | |
257 // Closure: mark char arrays used by strings | |
258 | |
259 class MarkStringValues : public ObjectClosure { | |
260 private: | |
261 MarkObjectsOopClosure mark_all; | |
262 public: | |
263 void do_object(oop obj) { | |
264 | |
265 // Character arrays referenced by String objects are read-only. | |
266 | |
267 if (java_lang_String::is_instance(obj)) { | |
268 mark_object(java_lang_String::value(obj)); | |
269 } | |
270 } | |
271 }; | |
272 | |
273 | |
274 #ifdef DEBUG | |
275 // Closure: Check for objects left in the heap which have not been moved. | |
276 | |
277 class CheckRemainingObjects : public ObjectClosure { | |
278 private: | |
279 int count; | |
280 | |
281 public: | |
282 CheckRemainingObjects() { | |
283 count = 0; | |
284 } | |
285 | |
286 void do_object(oop obj) { | |
287 if (!obj->is_shared() && | |
288 !obj->is_forwarded()) { | |
289 ++count; | |
290 if (Verbose) { | |
291 tty->print("Unreferenced object: "); | |
292 obj->print_on(tty); | |
293 } | |
294 } | |
295 } | |
296 | |
297 void status() { | |
298 tty->print_cr("%d objects no longer referenced, not shared.", count); | |
299 } | |
300 }; | |
301 #endif | |
302 | |
303 | |
304 // Closure: Mark remaining objects read-write, except Strings. | |
305 | |
306 class MarkReadWriteObjects : public ObjectClosure { | |
307 private: | |
308 MarkObjectsOopClosure mark_objects; | |
309 public: | |
310 void do_object(oop obj) { | |
311 | |
312 // The METHODS() OBJARRAYS CANNOT BE MADE READ-ONLY, even though | |
313 // it is never modified. Otherwise, they will be pre-marked; the | |
314 // GC marking phase will skip them; and by skipping them will fail | |
315 // to mark the methods objects referenced by the array. | |
316 | |
317 if (obj->is_klass()) { | |
318 mark_object(obj); | |
319 Klass* k = klassOop(obj)->klass_part(); | |
320 mark_object(k->java_mirror()); | |
321 if (obj->blueprint()->oop_is_instanceKlass()) { | |
322 instanceKlass* ik = (instanceKlass*)k; | |
323 mark_object(ik->methods()); | |
324 mark_object(ik->constants()); | |
325 } | |
326 if (obj->blueprint()->oop_is_javaArray()) { | |
327 arrayKlass* ak = (arrayKlass*)k; | |
328 mark_object(ak->component_mirror()); | |
329 } | |
330 return; | |
331 } | |
332 | |
333 // Mark constantPool tags and the constantPoolCache. | |
334 | |
335 else if (obj->is_constantPool()) { | |
336 constantPoolOop pool = constantPoolOop(obj); | |
337 mark_object(pool->cache()); | |
338 pool->shared_tags_iterate(&mark_objects); | |
339 return; | |
340 } | |
341 | |
342 // Mark all method objects. | |
343 | |
344 if (obj->is_method()) { | |
345 mark_object(obj); | |
346 } | |
347 } | |
348 }; | |
349 | |
350 | |
351 // Closure: Mark String objects read-write. | |
352 | |
353 class MarkStringObjects : public ObjectClosure { | |
354 private: | |
355 MarkObjectsOopClosure mark_objects; | |
356 public: | |
357 void do_object(oop obj) { | |
358 | |
359 // Mark String objects referenced by constant pool entries. | |
360 | |
361 if (obj->is_constantPool()) { | |
362 constantPoolOop pool = constantPoolOop(obj); | |
363 pool->shared_strings_iterate(&mark_objects); | |
364 return; | |
365 } | |
366 } | |
367 }; | |
368 | |
369 | |
370 // Move objects matching specified type (ie. lock_bits) to the specified | |
371 // space. | |
372 | |
373 class MoveMarkedObjects : public ObjectClosure { | |
374 private: | |
375 OffsetTableContigSpace* _space; | |
376 bool _read_only; | |
377 | |
378 public: | |
379 MoveMarkedObjects(OffsetTableContigSpace* space, bool read_only) { | |
380 _space = space; | |
381 _read_only = read_only; | |
382 } | |
383 | |
384 void do_object(oop obj) { | |
385 if (obj->is_shared()) { | |
386 return; | |
387 } | |
388 if (obj->is_gc_marked() && obj->forwardee() == NULL) { | |
389 int s = obj->size(); | |
390 oop sh_obj = (oop)_space->allocate(s); | |
391 if (sh_obj == NULL) { | |
392 if (_read_only) { | |
393 warning("\nThe permanent generation read only space is not large " | |
394 "enough to \npreload requested classes. Use " | |
395 "-XX:SharedReadOnlySize= to increase \nthe initial " | |
396 "size of the read only space.\n"); | |
397 } else { | |
398 warning("\nThe permanent generation read write space is not large " | |
399 "enough to \npreload requested classes. Use " | |
400 "-XX:SharedReadWriteSize= to increase \nthe initial " | |
401 "size of the read write space.\n"); | |
402 } | |
403 exit(2); | |
404 } | |
405 if (PrintSharedSpaces && Verbose && WizardMode) { | |
406 tty->print_cr("\nMoveMarkedObjects: " PTR_FORMAT " -> " PTR_FORMAT " %s", obj, sh_obj, | |
407 (_read_only ? "ro" : "rw")); | |
408 } | |
409 Copy::aligned_disjoint_words((HeapWord*)obj, (HeapWord*)sh_obj, s); | |
410 obj->forward_to(sh_obj); | |
411 if (_read_only) { | |
412 // Readonly objects: set hash value to self pointer and make gc_marked. | |
413 sh_obj->forward_to(sh_obj); | |
414 } else { | |
415 sh_obj->init_mark(); | |
416 } | |
417 } | |
418 } | |
419 }; | |
420 | |
421 static void mark_and_move(oop obj, MoveMarkedObjects* move) { | |
422 if (mark_object(obj)) move->do_object(obj); | |
423 } | |
424 | |
425 enum order_policy { | |
426 OP_favor_startup = 0, | |
427 OP_balanced = 1, | |
428 OP_favor_runtime = 2 | |
429 }; | |
430 | |
431 static void mark_and_move_for_policy(order_policy policy, oop obj, MoveMarkedObjects* move) { | |
432 if (SharedOptimizeColdStartPolicy >= policy) mark_and_move(obj, move); | |
433 } | |
434 | |
435 class MarkAndMoveOrderedReadOnly : public ObjectClosure { | |
436 private: | |
437 MoveMarkedObjects *_move_ro; | |
438 | |
439 public: | |
440 MarkAndMoveOrderedReadOnly(MoveMarkedObjects *move_ro) : _move_ro(move_ro) {} | |
441 | |
442 void do_object(oop obj) { | |
443 if (obj->is_klass() && obj->blueprint()->oop_is_instanceKlass()) { | |
444 instanceKlass* ik = instanceKlass::cast((klassOop)obj); | |
445 int i; | |
446 | |
447 mark_and_move_for_policy(OP_favor_startup, ik->name(), _move_ro); | |
448 | |
449 if (ik->super() != NULL) { | |
450 do_object(ik->super()); | |
451 } | |
452 | |
453 objArrayOop interfaces = ik->local_interfaces(); | |
454 mark_and_move_for_policy(OP_favor_startup, interfaces, _move_ro); | |
455 for(i = 0; i < interfaces->length(); i++) { | |
456 klassOop k = klassOop(interfaces->obj_at(i)); | |
457 mark_and_move_for_policy(OP_favor_startup, k->klass_part()->name(), _move_ro); | |
458 do_object(k); | |
459 } | |
460 | |
461 objArrayOop methods = ik->methods(); | |
462 for(i = 0; i < methods->length(); i++) { | |
463 methodOop m = methodOop(methods->obj_at(i)); | |
464 mark_and_move_for_policy(OP_favor_startup, m->constMethod(), _move_ro); | |
465 mark_and_move_for_policy(OP_favor_runtime, m->constMethod()->exception_table(), _move_ro); | |
466 mark_and_move_for_policy(OP_favor_runtime, m->constMethod()->stackmap_data(), _move_ro); | |
467 | |
468 // We don't move the name symbolOop here because it may invalidate | |
469 // method ordering, which is dependent on the address of the name | |
470 // symbolOop. It will get promoted later with the other symbols. | |
471 // Method name is rarely accessed during classloading anyway. | |
472 // mark_and_move_for_policy(OP_balanced, m->name(), _move_ro); | |
473 | |
474 mark_and_move_for_policy(OP_favor_startup, m->signature(), _move_ro); | |
475 } | |
476 | |
477 mark_and_move_for_policy(OP_favor_startup, ik->transitive_interfaces(), _move_ro); | |
478 mark_and_move_for_policy(OP_favor_startup, ik->fields(), _move_ro); | |
479 | |
480 mark_and_move_for_policy(OP_favor_runtime, ik->secondary_supers(), _move_ro); | |
481 mark_and_move_for_policy(OP_favor_runtime, ik->method_ordering(), _move_ro); | |
482 mark_and_move_for_policy(OP_favor_runtime, ik->class_annotations(), _move_ro); | |
483 mark_and_move_for_policy(OP_favor_runtime, ik->fields_annotations(), _move_ro); | |
484 mark_and_move_for_policy(OP_favor_runtime, ik->methods_annotations(), _move_ro); | |
485 mark_and_move_for_policy(OP_favor_runtime, ik->methods_parameter_annotations(), _move_ro); | |
486 mark_and_move_for_policy(OP_favor_runtime, ik->methods_default_annotations(), _move_ro); | |
487 mark_and_move_for_policy(OP_favor_runtime, ik->inner_classes(), _move_ro); | |
488 mark_and_move_for_policy(OP_favor_runtime, ik->secondary_supers(), _move_ro); | |
489 } | |
490 } | |
491 }; | |
492 | |
493 class MarkAndMoveOrderedReadWrite: public ObjectClosure { | |
494 private: | |
495 MoveMarkedObjects *_move_rw; | |
496 | |
497 public: | |
498 MarkAndMoveOrderedReadWrite(MoveMarkedObjects *move_rw) : _move_rw(move_rw) {} | |
499 | |
500 void do_object(oop obj) { | |
501 if (obj->is_klass() && obj->blueprint()->oop_is_instanceKlass()) { | |
502 instanceKlass* ik = instanceKlass::cast((klassOop)obj); | |
503 int i; | |
504 | |
505 mark_and_move_for_policy(OP_favor_startup, ik->as_klassOop(), _move_rw); | |
506 | |
507 if (ik->super() != NULL) { | |
508 do_object(ik->super()); | |
509 } | |
510 | |
511 objArrayOop interfaces = ik->local_interfaces(); | |
512 for(i = 0; i < interfaces->length(); i++) { | |
513 klassOop k = klassOop(interfaces->obj_at(i)); | |
514 mark_and_move_for_policy(OP_favor_startup, k, _move_rw); | |
515 do_object(k); | |
516 } | |
517 | |
518 objArrayOop methods = ik->methods(); | |
519 mark_and_move_for_policy(OP_favor_startup, methods, _move_rw); | |
520 for(i = 0; i < methods->length(); i++) { | |
521 methodOop m = methodOop(methods->obj_at(i)); | |
522 mark_and_move_for_policy(OP_favor_startup, m, _move_rw); | |
523 mark_and_move_for_policy(OP_favor_startup, ik->constants(), _move_rw); // idempotent | |
524 mark_and_move_for_policy(OP_balanced, ik->constants()->cache(), _move_rw); // idempotent | |
525 mark_and_move_for_policy(OP_balanced, ik->constants()->tags(), _move_rw); // idempotent | |
526 } | |
527 | |
528 mark_and_move_for_policy(OP_favor_startup, ik->as_klassOop()->klass(), _move_rw); | |
529 mark_and_move_for_policy(OP_favor_startup, ik->constants()->klass(), _move_rw); | |
530 | |
531 // Although Java mirrors are marked in MarkReadWriteObjects, | |
532 // apparently they were never moved into shared spaces since | |
533 // MoveMarkedObjects skips marked instance oops. This may | |
534 // be a bug in the original implementation or simply the vestige | |
535 // of an abandoned experiment. Nevertheless we leave a hint | |
536 // here in case this capability is ever correctly implemented. | |
537 // | |
538 // mark_and_move_for_policy(OP_favor_runtime, ik->java_mirror(), _move_rw); | |
539 } | |
540 } | |
541 | |
542 }; | |
543 | |
544 // Adjust references in oops to refer to shared spaces. | |
545 | |
546 class ResolveForwardingClosure: public OopClosure { | |
547 public: | |
548 void do_oop(oop* p) { | |
549 oop obj = *p; | |
550 if (!obj->is_shared()) { | |
551 if (obj != NULL) { | |
552 oop f = obj->forwardee(); | |
553 guarantee(f->is_shared(), "Oop doesn't refer to shared space."); | |
554 *p = f; | |
555 } | |
556 } | |
557 } | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
558 void do_oop(narrowOop* pobj) { ShouldNotReachHere(); } |
0 | 559 }; |
560 | |
561 | |
562 void sort_methods(instanceKlass* ik, TRAPS) { | |
563 klassOop super = ik->super(); | |
564 if (super != NULL) { | |
565 sort_methods(instanceKlass::cast(super), THREAD); | |
566 } | |
567 | |
568 // The methods array must be ordered by symbolOop address. (See | |
569 // classFileParser.cpp where methods in a class are originally | |
570 // sorted.) Since objects have just be reordered, this must be | |
571 // corrected. | |
572 methodOopDesc::sort_methods(ik->methods(), | |
573 ik->methods_annotations(), | |
574 ik->methods_parameter_annotations(), | |
575 ik->methods_default_annotations(), | |
576 true /* idempotent, slow */); | |
577 | |
578 // Itable indices are calculated based on methods array order | |
579 // (see klassItable::compute_itable_index()). Must reinitialize. | |
580 // We assume that since checkconstraints is false, this method | |
581 // cannot throw an exception. An exception here would be | |
582 // problematic since this is the VMThread, not a JavaThread. | |
583 ik->itable()->initialize_itable(false, THREAD); | |
584 } | |
585 | |
586 // Sort methods if the oop is an instanceKlass. | |
587 | |
588 class SortMethodsClosure: public ObjectClosure { | |
589 private: | |
590 Thread* _thread; | |
591 | |
592 public: | |
593 SortMethodsClosure(Thread* thread) : _thread(thread) {} | |
594 | |
595 void do_object(oop obj) { | |
596 // instanceKlass objects need some adjustment. | |
597 if (obj->blueprint()->oop_is_instanceKlass()) { | |
598 instanceKlass* ik = instanceKlass::cast((klassOop)obj); | |
599 | |
600 sort_methods(ik, _thread); | |
601 } | |
602 } | |
603 }; | |
604 | |
605 | |
606 // Adjust references in oops to refer to shared spaces. | |
607 | |
608 class PatchOopsClosure: public ObjectClosure { | |
609 private: | |
610 Thread* _thread; | |
611 ResolveForwardingClosure resolve; | |
612 | |
613 public: | |
614 PatchOopsClosure(Thread* thread) : _thread(thread) {} | |
615 | |
616 void do_object(oop obj) { | |
617 obj->oop_iterate_header(&resolve); | |
618 obj->oop_iterate(&resolve); | |
619 | |
620 assert(obj->klass()->is_shared(), "Klass not pointing into shared space."); | |
621 | |
622 // If the object is a Java object or class which might (in the | |
623 // future) contain a reference to a young gen object, add it to the | |
624 // list. | |
625 | |
626 if (obj->is_klass() || obj->is_instance()) { | |
627 if (obj->is_klass() || | |
628 obj->is_a(SystemDictionary::class_klass()) || | |
629 obj->is_a(SystemDictionary::throwable_klass())) { | |
630 // Do nothing | |
631 } | |
632 else if (obj->is_a(SystemDictionary::string_klass())) { | |
633 // immutable objects. | |
634 } else { | |
635 // someone added an object we hadn't accounted for. | |
636 ShouldNotReachHere(); | |
637 } | |
638 } | |
639 } | |
640 }; | |
641 | |
642 | |
643 // Empty the young and old generations. | |
644 | |
645 class ClearSpaceClosure : public SpaceClosure { | |
646 public: | |
647 void do_space(Space* s) { | |
263
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
113
diff
changeset
|
648 s->clear(SpaceDecorator::Mangle); |
0 | 649 } |
650 }; | |
651 | |
652 | |
653 // Closure for serializing initialization data out to a data area to be | |
654 // written to the shared file. | |
655 | |
656 class WriteClosure : public SerializeOopClosure { | |
657 private: | |
658 oop* top; | |
659 char* end; | |
660 | |
661 void out_of_space() { | |
662 warning("\nThe shared miscellaneous data space is not large " | |
663 "enough to \npreload requested classes. Use " | |
664 "-XX:SharedMiscDataSize= to increase \nthe initial " | |
665 "size of the miscellaneous data space.\n"); | |
666 exit(2); | |
667 } | |
668 | |
669 | |
670 inline void check_space() { | |
671 if ((char*)top + sizeof(oop) > end) { | |
672 out_of_space(); | |
673 } | |
674 } | |
675 | |
676 | |
677 public: | |
678 WriteClosure(char* md_top, char* md_end) { | |
679 top = (oop*)md_top; | |
680 end = md_end; | |
681 } | |
682 | |
683 char* get_top() { return (char*)top; } | |
684 | |
685 void do_oop(oop* p) { | |
686 check_space(); | |
687 oop obj = *p; | |
688 assert(obj->is_oop_or_null(), "invalid oop"); | |
689 assert(obj == NULL || obj->is_shared(), | |
690 "Oop in shared space not pointing into shared space."); | |
691 *top = obj; | |
692 ++top; | |
693 } | |
694 | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
695 void do_oop(narrowOop* pobj) { ShouldNotReachHere(); } |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
696 |
0 | 697 void do_int(int* p) { |
698 check_space(); | |
699 *top = (oop)(intptr_t)*p; | |
700 ++top; | |
701 } | |
702 | |
703 void do_size_t(size_t* p) { | |
704 check_space(); | |
705 *top = (oop)(intptr_t)*p; | |
706 ++top; | |
707 } | |
708 | |
709 void do_ptr(void** p) { | |
710 check_space(); | |
711 *top = (oop)*p; | |
712 ++top; | |
713 } | |
714 | |
715 void do_ptr(HeapWord** p) { do_ptr((void **) p); } | |
716 | |
717 void do_tag(int tag) { | |
718 check_space(); | |
719 *top = (oop)(intptr_t)tag; | |
720 ++top; | |
721 } | |
722 | |
723 void do_region(u_char* start, size_t size) { | |
724 if ((char*)top + size > end) { | |
725 out_of_space(); | |
726 } | |
727 assert((intptr_t)start % sizeof(oop) == 0, "bad alignment"); | |
728 assert(size % sizeof(oop) == 0, "bad size"); | |
729 do_tag((int)size); | |
730 while (size > 0) { | |
731 *top = *(oop*)start; | |
732 ++top; | |
733 start += sizeof(oop); | |
734 size -= sizeof(oop); | |
735 } | |
736 } | |
737 | |
738 bool reading() const { return false; } | |
739 }; | |
740 | |
741 | |
742 class ResolveConstantPoolsClosure : public ObjectClosure { | |
743 private: | |
744 TRAPS; | |
745 public: | |
746 ResolveConstantPoolsClosure(Thread *t) { | |
747 __the_thread__ = t; | |
748 } | |
749 void do_object(oop obj) { | |
750 if (obj->is_constantPool()) { | |
751 constantPoolOop cpool = (constantPoolOop)obj; | |
752 int unresolved = cpool->pre_resolve_shared_klasses(THREAD); | |
753 } | |
754 } | |
755 }; | |
756 | |
757 | |
758 // Print a summary of the contents of the read/write spaces to help | |
759 // identify objects which might be able to be made read-only. At this | |
760 // point, the objects have been written, and we can trash them as | |
761 // needed. | |
762 | |
763 static void print_contents() { | |
764 if (PrintSharedSpaces) { | |
765 GenCollectedHeap* gch = GenCollectedHeap::heap(); | |
766 CompactingPermGenGen* gen = (CompactingPermGenGen*)gch->perm_gen(); | |
767 | |
768 // High level summary of the read-only space: | |
769 | |
770 ClassifyObjectClosure coc; | |
771 tty->cr(); tty->print_cr("ReadOnly space:"); | |
772 gen->ro_space()->object_iterate(&coc); | |
773 coc.print(); | |
774 | |
775 // High level summary of the read-write space: | |
776 | |
777 coc.reset(); | |
778 tty->cr(); tty->print_cr("ReadWrite space:"); | |
779 gen->rw_space()->object_iterate(&coc); | |
780 coc.print(); | |
781 | |
782 // Reset counters | |
783 | |
784 ClearAllocCountClosure cacc; | |
785 gen->ro_space()->object_iterate(&cacc); | |
786 gen->rw_space()->object_iterate(&cacc); | |
787 coc.reset(); | |
788 | |
789 // Lower level summary of the read-only space: | |
790 | |
791 gen->ro_space()->object_iterate(&coc); | |
792 tty->cr(); tty->print_cr("ReadOnly space:"); | |
793 ClassifyInstanceKlassClosure cikc; | |
794 gen->rw_space()->object_iterate(&cikc); | |
795 cikc.print(); | |
796 | |
797 // Reset counters | |
798 | |
799 gen->ro_space()->object_iterate(&cacc); | |
800 gen->rw_space()->object_iterate(&cacc); | |
801 coc.reset(); | |
802 | |
803 // Lower level summary of the read-write space: | |
804 | |
805 gen->rw_space()->object_iterate(&coc); | |
806 cikc.reset(); | |
807 tty->cr(); tty->print_cr("ReadWrite space:"); | |
808 gen->rw_space()->object_iterate(&cikc); | |
809 cikc.print(); | |
810 } | |
811 } | |
812 | |
813 | |
814 // Patch C++ vtable pointer in klass oops. | |
815 | |
816 // Klass objects contain references to c++ vtables in the JVM library. | |
817 // Fix them to point to our constructed vtables. However, don't iterate | |
818 // across the space while doing this, as that causes the vtables to be | |
819 // patched, undoing our useful work. Instead, iterate to make a list, | |
820 // then use the list to do the fixing. | |
408 | 821 // |
822 // Our constructed vtables: | |
823 // Dump time: | |
824 // 1. init_self_patching_vtbl_list: table of pointers to current virtual method addrs | |
825 // 2. generate_vtable_methods: create jump table, appended to above vtbl_list | |
826 // 3. PatchKlassVtables: for Klass list, patch the vtable entry to point to jump table | |
827 // rather than to current vtbl | |
828 // Table layout: NOTE FIXED SIZE | |
829 // 1. vtbl pointers | |
830 // 2. #Klass X #virtual methods per Klass | |
831 // 1 entry for each, in the order: | |
832 // Klass1:method1 entry, Klass1:method2 entry, ... Klass1:method<num_virtuals> entry | |
833 // Klass2:method1 entry, Klass2:method2 entry, ... Klass2:method<num_virtuals> entry | |
834 // ... | |
835 // Klass<vtbl_list_size>:method1 entry, Klass<vtbl_list_size>:method2 entry, | |
836 // ... Klass<vtbl_list_size>:method<num_virtuals> entry | |
837 // Sample entry: (Sparc): | |
838 // save(sp, -256, sp) | |
839 // ba,pt common_code | |
840 // mov XXX, %L0 %L0 gets: Klass index <<8 + method index (note: max method index 255) | |
841 // | |
842 // Restore time: | |
843 // 1. initialize_oops: reserve space for table | |
844 // 2. init_self_patching_vtbl_list: update pointers to NEW virtual method addrs in text | |
845 // | |
846 // Execution time: | |
847 // First virtual method call for any object of these Klass types: | |
848 // 1. object->klass->klass_part | |
849 // 2. vtable entry for that klass_part points to the jump table entries | |
850 // 3. branches to common_code with %O0/klass_part, %L0: Klass index <<8 + method index | |
851 // 4. common_code: | |
852 // Get address of new vtbl pointer for this Klass from updated table | |
853 // Update new vtbl pointer in the Klass: future virtual calls go direct | |
854 // Jump to method, using new vtbl pointer and method index | |
0 | 855 |
856 class PatchKlassVtables: public ObjectClosure { | |
857 private: | |
858 void* _vtbl_ptr; | |
859 VirtualSpace* _md_vs; | |
860 GrowableArray<klassOop>* _klass_objects; | |
861 | |
862 public: | |
863 | |
864 PatchKlassVtables(void* vtbl_ptr, VirtualSpace* md_vs) { | |
865 _vtbl_ptr = vtbl_ptr; | |
866 _md_vs = md_vs; | |
867 _klass_objects = new GrowableArray<klassOop>(); | |
868 } | |
869 | |
870 | |
871 void do_object(oop obj) { | |
872 if (obj->is_klass()) { | |
873 _klass_objects->append(klassOop(obj)); | |
874 } | |
875 } | |
876 | |
877 | |
878 void patch(void** vtbl_list, int vtbl_list_size) { | |
879 for (int i = 0; i < _klass_objects->length(); ++i) { | |
880 klassOop obj = (klassOop)_klass_objects->at(i); | |
881 Klass* k = obj->klass_part(); | |
882 void* v = *(void**)k; | |
883 | |
884 int n; | |
885 for (n = 0; n < vtbl_list_size; ++n) { | |
886 *(void**)k = NULL; | |
887 if (vtbl_list[n] == v) { | |
888 *(void**)k = (void**)_vtbl_ptr + | |
889 (n * CompactingPermGenGen::num_virtuals); | |
890 break; | |
891 } | |
892 } | |
893 guarantee(n < vtbl_list_size, "unable to find matching vtbl pointer"); | |
894 } | |
895 } | |
896 }; | |
897 | |
898 | |
899 // Populate the shared space. | |
900 | |
901 class VM_PopulateDumpSharedSpace: public VM_Operation { | |
902 private: | |
903 GrowableArray<oop> *_class_promote_order; | |
904 OffsetTableContigSpace* _ro_space; | |
905 OffsetTableContigSpace* _rw_space; | |
906 VirtualSpace* _md_vs; | |
907 VirtualSpace* _mc_vs; | |
908 | |
909 public: | |
910 VM_PopulateDumpSharedSpace(GrowableArray<oop> *class_promote_order, | |
911 OffsetTableContigSpace* ro_space, | |
912 OffsetTableContigSpace* rw_space, | |
913 VirtualSpace* md_vs, VirtualSpace* mc_vs) { | |
914 _class_promote_order = class_promote_order; | |
915 _ro_space = ro_space; | |
916 _rw_space = rw_space; | |
917 _md_vs = md_vs; | |
918 _mc_vs = mc_vs; | |
919 } | |
920 | |
921 VMOp_Type type() const { return VMOp_PopulateDumpSharedSpace; } | |
922 void doit() { | |
923 Thread* THREAD = VMThread::vm_thread(); | |
924 NOT_PRODUCT(SystemDictionary::verify();) | |
925 // The following guarantee is meant to ensure that no loader constraints | |
926 // exist yet, since the constraints table is not shared. This becomes | |
927 // more important now that we don't re-initialize vtables/itables for | |
928 // shared classes at runtime, where constraints were previously created. | |
929 guarantee(SystemDictionary::constraints()->number_of_entries() == 0, | |
930 "loader constraints are not saved"); | |
710 | 931 // Revisit and implement this if we prelink method handle call sites: |
932 guarantee(SystemDictionary::invoke_method_table()->number_of_entries() == 0, | |
933 "invoke method table is not saved"); | |
0 | 934 GenCollectedHeap* gch = GenCollectedHeap::heap(); |
935 | |
936 // At this point, many classes have been loaded. | |
937 | |
938 // Update all the fingerprints in the shared methods. | |
939 | |
940 tty->print("Calculating fingerprints ... "); | |
941 FingerprintMethodsClosure fpmc; | |
942 gch->object_iterate(&fpmc); | |
943 tty->print_cr("done. "); | |
944 | |
945 // Remove all references outside the heap. | |
946 | |
947 tty->print("Removing unshareable information ... "); | |
948 RemoveUnshareableInfoClosure ruic; | |
949 gch->object_iterate(&ruic); | |
950 tty->print_cr("done. "); | |
951 | |
952 // Move the objects in three passes. | |
953 | |
954 MarkObjectsOopClosure mark_all; | |
955 MarkCommonReadOnly mark_common_ro; | |
956 MarkCommonSymbols mark_common_symbols; | |
957 MarkStringValues mark_string_values; | |
958 MarkReadWriteObjects mark_rw; | |
959 MarkStringObjects mark_strings; | |
960 MoveMarkedObjects move_ro(_ro_space, true); | |
961 MoveMarkedObjects move_rw(_rw_space, false); | |
962 | |
963 // The SharedOptimizeColdStart VM option governs the new layout | |
964 // algorithm for promoting classes into the shared archive. | |
965 // The general idea is to minimize cold start time by laying | |
966 // out the objects in the order they are accessed at startup time. | |
967 // By doing this we are trying to eliminate out-of-order accesses | |
968 // in the shared archive. This benefits cold startup time by making | |
969 // disk reads as sequential as possible during class loading and | |
970 // bootstrapping activities. There may also be a small secondary | |
971 // effect of better "packing" of more commonly used data on a smaller | |
972 // number of pages, although no direct benefit has been measured from | |
973 // this effect. | |
974 // | |
975 // At the class level of granularity, the promotion order is dictated | |
976 // by the classlist file whose generation is discussed elsewhere. | |
977 // | |
978 // At smaller granularity, optimal ordering was determined by an | |
979 // offline analysis of object access order in the shared archive. | |
980 // The dbx watchpoint facility, combined with SA post-processing, | |
981 // was used to observe common access patterns primarily during | |
982 // classloading. This information was used to craft the promotion | |
983 // order seen in the following closures. | |
984 // | |
985 // The observed access order is mostly governed by what happens | |
986 // in SystemDictionary::load_shared_class(). NOTE WELL - care | |
987 // should be taken when making changes to this method, because it | |
988 // may invalidate assumptions made about access order! | |
989 // | |
990 // (Ideally, there would be a better way to manage changes to | |
991 // the access order. Unfortunately a generic in-VM solution for | |
992 // dynamically observing access order and optimizing shared | |
993 // archive layout is pretty difficult. We go with the static | |
994 // analysis because the code is fairly mature at this point | |
995 // and we're betting that the access order won't change much.) | |
996 | |
997 MarkAndMoveOrderedReadOnly mark_and_move_ordered_ro(&move_ro); | |
998 MarkAndMoveOrderedReadWrite mark_and_move_ordered_rw(&move_rw); | |
999 | |
1000 // Phase 1a: move commonly used read-only objects to the read-only space. | |
1001 | |
1002 if (SharedOptimizeColdStart) { | |
1003 tty->print("Moving pre-ordered read-only objects to shared space at " PTR_FORMAT " ... ", | |
1004 _ro_space->top()); | |
1005 for (int i = 0; i < _class_promote_order->length(); i++) { | |
1006 oop obj = _class_promote_order->at(i); | |
1007 mark_and_move_ordered_ro.do_object(obj); | |
1008 } | |
1009 tty->print_cr("done. "); | |
1010 } | |
1011 | |
1012 tty->print("Moving read-only objects to shared space at " PTR_FORMAT " ... ", | |
1013 _ro_space->top()); | |
1014 gch->object_iterate(&mark_common_ro); | |
1015 gch->object_iterate(&move_ro); | |
1016 tty->print_cr("done. "); | |
1017 | |
1018 // Phase 1b: move commonly used symbols to the read-only space. | |
1019 | |
1020 tty->print("Moving common symbols to shared space at " PTR_FORMAT " ... ", | |
1021 _ro_space->top()); | |
1022 gch->object_iterate(&mark_common_symbols); | |
1023 gch->object_iterate(&move_ro); | |
1024 tty->print_cr("done. "); | |
1025 | |
1026 // Phase 1c: move remaining symbols to the read-only space | |
1027 // (e.g. String initializers). | |
1028 | |
1029 tty->print("Moving remaining symbols to shared space at " PTR_FORMAT " ... ", | |
1030 _ro_space->top()); | |
1031 vmSymbols::oops_do(&mark_all, true); | |
1032 gch->object_iterate(&move_ro); | |
1033 tty->print_cr("done. "); | |
1034 | |
1035 // Phase 1d: move String character arrays to the read-only space. | |
1036 | |
1037 tty->print("Moving string char arrays to shared space at " PTR_FORMAT " ... ", | |
1038 _ro_space->top()); | |
1039 gch->object_iterate(&mark_string_values); | |
1040 gch->object_iterate(&move_ro); | |
1041 tty->print_cr("done. "); | |
1042 | |
1043 // Phase 2: move all remaining symbols to the read-only space. The | |
1044 // remaining symbols are assumed to be string initializers no longer | |
1045 // referenced. | |
1046 | |
1047 void* extra_symbols = _ro_space->top(); | |
1048 tty->print("Moving additional symbols to shared space at " PTR_FORMAT " ... ", | |
1049 _ro_space->top()); | |
1050 SymbolTable::oops_do(&mark_all); | |
1051 gch->object_iterate(&move_ro); | |
1052 tty->print_cr("done. "); | |
1053 tty->print_cr("Read-only space ends at " PTR_FORMAT ", %d bytes.", | |
1054 _ro_space->top(), _ro_space->used()); | |
1055 | |
1056 // Phase 3: move read-write objects to the read-write space, except | |
1057 // Strings. | |
1058 | |
1059 if (SharedOptimizeColdStart) { | |
1060 tty->print("Moving pre-ordered read-write objects to shared space at " PTR_FORMAT " ... ", | |
1061 _rw_space->top()); | |
1062 for (int i = 0; i < _class_promote_order->length(); i++) { | |
1063 oop obj = _class_promote_order->at(i); | |
1064 mark_and_move_ordered_rw.do_object(obj); | |
1065 } | |
1066 tty->print_cr("done. "); | |
1067 } | |
1068 tty->print("Moving read-write objects to shared space at " PTR_FORMAT " ... ", | |
1069 _rw_space->top()); | |
1070 Universe::oops_do(&mark_all, true); | |
1071 SystemDictionary::oops_do(&mark_all); | |
1072 oop tmp = Universe::arithmetic_exception_instance(); | |
1073 mark_object(java_lang_Throwable::message(tmp)); | |
1074 gch->object_iterate(&mark_rw); | |
1075 gch->object_iterate(&move_rw); | |
1076 tty->print_cr("done. "); | |
1077 | |
1078 // Phase 4: move String objects to the read-write space. | |
1079 | |
1080 tty->print("Moving String objects to shared space at " PTR_FORMAT " ... ", | |
1081 _rw_space->top()); | |
1082 StringTable::oops_do(&mark_all); | |
1083 gch->object_iterate(&mark_strings); | |
1084 gch->object_iterate(&move_rw); | |
1085 tty->print_cr("done. "); | |
1086 tty->print_cr("Read-write space ends at " PTR_FORMAT ", %d bytes.", | |
1087 _rw_space->top(), _rw_space->used()); | |
1088 | |
1089 #ifdef DEBUG | |
1090 // Check: scan for objects which were not moved. | |
1091 | |
1092 CheckRemainingObjects check_objects; | |
1093 gch->object_iterate(&check_objects); | |
1094 check_objects.status(); | |
1095 #endif | |
1096 | |
1097 // Resolve forwarding in objects and saved C++ structures | |
1098 tty->print("Updating references to shared objects ... "); | |
1099 ResolveForwardingClosure resolve; | |
1100 Universe::oops_do(&resolve); | |
1101 SystemDictionary::oops_do(&resolve); | |
1102 StringTable::oops_do(&resolve); | |
1103 SymbolTable::oops_do(&resolve); | |
1104 vmSymbols::oops_do(&resolve); | |
1105 | |
1106 // Set up the share data and shared code segments. | |
1107 | |
1108 char* md_top = _md_vs->low(); | |
1109 char* md_end = _md_vs->high(); | |
1110 char* mc_top = _mc_vs->low(); | |
1111 char* mc_end = _mc_vs->high(); | |
1112 | |
1113 // Reserve space for the list of klassOops whose vtables are used | |
1114 // for patching others as needed. | |
1115 | |
1116 void** vtbl_list = (void**)md_top; | |
1117 int vtbl_list_size = CompactingPermGenGen::vtbl_list_size; | |
1118 Universe::init_self_patching_vtbl_list(vtbl_list, vtbl_list_size); | |
1119 | |
1120 md_top += vtbl_list_size * sizeof(void*); | |
1121 void* vtable = md_top; | |
1122 | |
1123 // Reserve space for a new dummy vtable for klass objects in the | |
1124 // heap. Generate self-patching vtable entries. | |
1125 | |
1126 CompactingPermGenGen::generate_vtable_methods(vtbl_list, | |
1127 &vtable, | |
1128 &md_top, md_end, | |
1129 &mc_top, mc_end); | |
1130 | |
1131 // Fix (forward) all of the references in these shared objects (which | |
1132 // are required to point ONLY to objects in the shared spaces). | |
1133 // Also, create a list of all objects which might later contain a | |
1134 // reference to a younger generation object. | |
1135 | |
1136 CompactingPermGenGen* gen = (CompactingPermGenGen*)gch->perm_gen(); | |
1137 PatchOopsClosure patch(THREAD); | |
1138 gen->ro_space()->object_iterate(&patch); | |
1139 gen->rw_space()->object_iterate(&patch); | |
1140 | |
1141 // Previously method sorting was done concurrently with forwarding | |
1142 // pointer resolution in the shared spaces. This imposed an ordering | |
1143 // restriction in that methods were required to be promoted/patched | |
1144 // before their holder classes. (Because constant pool pointers in | |
1145 // methodKlasses are required to be resolved before their holder class | |
1146 // is visited for sorting, otherwise methods are sorted by incorrect, | |
1147 // pre-forwarding addresses.) | |
1148 // | |
1149 // Now, we reorder methods as a separate step after ALL forwarding | |
1150 // pointer resolution, so that methods can be promoted in any order | |
1151 // with respect to their holder classes. | |
1152 | |
1153 SortMethodsClosure sort(THREAD); | |
1154 gen->ro_space()->object_iterate(&sort); | |
1155 gen->rw_space()->object_iterate(&sort); | |
1156 tty->print_cr("done. "); | |
1157 tty->cr(); | |
1158 | |
1159 // Reorder the system dictionary. (Moving the symbols opps affects | |
1160 // how the hash table indices are calculated.) | |
1161 | |
1162 SystemDictionary::reorder_dictionary(); | |
1163 | |
1164 // Empty the non-shared heap (because most of the objects were | |
1165 // copied out, and the remainder cannot be considered valid oops). | |
1166 | |
1167 ClearSpaceClosure csc; | |
1168 for (int i = 0; i < gch->n_gens(); ++i) { | |
1169 gch->get_gen(i)->space_iterate(&csc); | |
1170 } | |
1171 csc.do_space(gen->the_space()); | |
1172 NOT_PRODUCT(SystemDictionary::verify();) | |
1173 | |
1174 // Copy the String table, the symbol table, and the system | |
1175 // dictionary to the shared space in usable form. Copy the hastable | |
1176 // buckets first [read-write], then copy the linked lists of entries | |
1177 // [read-only]. | |
1178 | |
1179 SymbolTable::reverse(extra_symbols); | |
1180 NOT_PRODUCT(SymbolTable::verify()); | |
1181 SymbolTable::copy_buckets(&md_top, md_end); | |
1182 | |
1183 StringTable::reverse(); | |
1184 NOT_PRODUCT(StringTable::verify()); | |
1185 StringTable::copy_buckets(&md_top, md_end); | |
1186 | |
1187 SystemDictionary::reverse(); | |
1188 SystemDictionary::copy_buckets(&md_top, md_end); | |
1189 | |
1190 ClassLoader::verify(); | |
1191 ClassLoader::copy_package_info_buckets(&md_top, md_end); | |
1192 ClassLoader::verify(); | |
1193 | |
1194 SymbolTable::copy_table(&md_top, md_end); | |
1195 StringTable::copy_table(&md_top, md_end); | |
1196 SystemDictionary::copy_table(&md_top, md_end); | |
1197 ClassLoader::verify(); | |
1198 ClassLoader::copy_package_info_table(&md_top, md_end); | |
1199 ClassLoader::verify(); | |
1200 | |
1201 // Print debug data. | |
1202 | |
1203 if (PrintSharedSpaces) { | |
1204 const char* fmt = "%s space: " PTR_FORMAT " out of " PTR_FORMAT " bytes allocated at " PTR_FORMAT "."; | |
1205 tty->print_cr(fmt, "ro", _ro_space->used(), _ro_space->capacity(), | |
1206 _ro_space->bottom()); | |
1207 tty->print_cr(fmt, "rw", _rw_space->used(), _rw_space->capacity(), | |
1208 _rw_space->bottom()); | |
1209 } | |
1210 | |
1211 // Write the oop data to the output array. | |
1212 | |
1213 WriteClosure wc(md_top, md_end); | |
1214 CompactingPermGenGen::serialize_oops(&wc); | |
1215 md_top = wc.get_top(); | |
1216 | |
1217 // Update the vtable pointers in all of the Klass objects in the | |
1218 // heap. They should point to newly generated vtable. | |
1219 | |
1220 PatchKlassVtables pkvt(vtable, _md_vs); | |
1221 _rw_space->object_iterate(&pkvt); | |
1222 pkvt.patch(vtbl_list, vtbl_list_size); | |
1223 | |
1224 char* saved_vtbl = (char*)malloc(vtbl_list_size * sizeof(void*)); | |
1225 memmove(saved_vtbl, vtbl_list, vtbl_list_size * sizeof(void*)); | |
1226 memset(vtbl_list, 0, vtbl_list_size * sizeof(void*)); | |
1227 | |
1228 // Create and write the archive file that maps the shared spaces. | |
1229 | |
1230 FileMapInfo* mapinfo = new FileMapInfo(); | |
1231 mapinfo->populate_header(gch->gen_policy()->max_alignment()); | |
1232 | |
1233 // Pass 1 - update file offsets in header. | |
1234 mapinfo->write_header(); | |
1235 mapinfo->write_space(CompactingPermGenGen::ro, _ro_space, true); | |
1236 _ro_space->set_saved_mark(); | |
1237 mapinfo->write_space(CompactingPermGenGen::rw, _rw_space, false); | |
1238 _rw_space->set_saved_mark(); | |
1239 mapinfo->write_region(CompactingPermGenGen::md, _md_vs->low(), | |
287
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1240 pointer_delta(md_top, _md_vs->low(), sizeof(char)), |
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1241 SharedMiscDataSize, |
0 | 1242 false, false); |
1243 mapinfo->write_region(CompactingPermGenGen::mc, _mc_vs->low(), | |
287
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1244 pointer_delta(mc_top, _mc_vs->low(), sizeof(char)), |
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1245 SharedMiscCodeSize, |
0 | 1246 true, true); |
1247 | |
1248 // Pass 2 - write data. | |
1249 mapinfo->open_for_write(); | |
1250 mapinfo->write_header(); | |
1251 mapinfo->write_space(CompactingPermGenGen::ro, _ro_space, true); | |
1252 mapinfo->write_space(CompactingPermGenGen::rw, _rw_space, false); | |
1253 mapinfo->write_region(CompactingPermGenGen::md, _md_vs->low(), | |
287
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1254 pointer_delta(md_top, _md_vs->low(), sizeof(char)), |
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1255 SharedMiscDataSize, |
0 | 1256 false, false); |
1257 mapinfo->write_region(CompactingPermGenGen::mc, _mc_vs->low(), | |
287
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1258 pointer_delta(mc_top, _mc_vs->low(), sizeof(char)), |
6e76352f1f62
6459085: naked pointer subtractions in class data sharing code
xlu
parents:
196
diff
changeset
|
1259 SharedMiscCodeSize, |
0 | 1260 true, true); |
1261 mapinfo->close(); | |
1262 | |
1263 // Summarize heap. | |
1264 memmove(vtbl_list, saved_vtbl, vtbl_list_size * sizeof(void*)); | |
1265 print_contents(); | |
1266 } | |
1267 }; // class VM_PopulateDumpSharedSpace | |
1268 | |
1269 | |
1270 // Populate the shared spaces and dump to a file. | |
1271 | |
1272 jint CompactingPermGenGen::dump_shared(GrowableArray<oop>* class_promote_order, TRAPS) { | |
1273 GenCollectedHeap* gch = GenCollectedHeap::heap(); | |
1274 | |
1275 // Calculate hash values for all of the (interned) strings to avoid | |
1276 // writes to shared pages in the future. | |
1277 | |
1278 tty->print("Calculating hash values for String objects .. "); | |
1279 StringHashCodeClosure shcc(THREAD); | |
1280 StringTable::oops_do(&shcc); | |
1281 tty->print_cr("done. "); | |
1282 | |
1283 CompactingPermGenGen* gen = (CompactingPermGenGen*)gch->perm_gen(); | |
1284 VM_PopulateDumpSharedSpace op(class_promote_order, | |
1285 gen->ro_space(), gen->rw_space(), | |
1286 gen->md_space(), gen->mc_space()); | |
1287 VMThread::execute(&op); | |
1288 return JNI_OK; | |
1289 } | |
1290 | |
1291 | |
1292 class LinkClassesClosure : public ObjectClosure { | |
1293 private: | |
1294 Thread* THREAD; | |
1295 | |
1296 public: | |
1297 LinkClassesClosure(Thread* thread) : THREAD(thread) {} | |
1298 | |
1299 void do_object(oop obj) { | |
1300 if (obj->is_klass()) { | |
1301 Klass* k = Klass::cast((klassOop) obj); | |
1302 if (k->oop_is_instance()) { | |
1303 instanceKlass* ik = (instanceKlass*) k; | |
1304 // Link the class to cause the bytecodes to be rewritten and the | |
1305 // cpcache to be created. | |
1306 if (ik->get_init_state() < instanceKlass::linked) { | |
1307 ik->link_class(THREAD); | |
1308 guarantee(!HAS_PENDING_EXCEPTION, "exception in class rewriting"); | |
1309 } | |
1310 | |
1311 // Create String objects from string initializer symbols. | |
1312 ik->constants()->resolve_string_constants(THREAD); | |
1313 guarantee(!HAS_PENDING_EXCEPTION, "exception resolving string constants"); | |
1314 } | |
1315 } | |
1316 } | |
1317 }; | |
1318 | |
1319 | |
1320 // Support for a simple checksum of the contents of the class list | |
1321 // file to prevent trivial tampering. The algorithm matches that in | |
1322 // the MakeClassList program used by the J2SE build process. | |
1323 #define JSUM_SEED ((jlong)CONST64(0xcafebabebabecafe)) | |
1324 static jlong | |
1325 jsum(jlong start, const char *buf, const int len) | |
1326 { | |
1327 jlong h = start; | |
1328 char *p = (char *)buf, *e = p + len; | |
1329 while (p < e) { | |
1330 char c = *p++; | |
1331 if (c <= ' ') { | |
1332 /* Skip spaces and control characters */ | |
1333 continue; | |
1334 } | |
1335 h = 31 * h + c; | |
1336 } | |
1337 return h; | |
1338 } | |
1339 | |
1340 | |
1341 | |
1342 | |
1343 | |
1344 // Preload classes from a list, populate the shared spaces and dump to a | |
1345 // file. | |
1346 | |
1347 void GenCollectedHeap::preload_and_dump(TRAPS) { | |
1348 TraceTime timer("Dump Shared Spaces", TraceStartupTime); | |
1349 ResourceMark rm; | |
1350 | |
1351 // Preload classes to be shared. | |
1352 // Should use some hpi:: method rather than fopen() here. aB. | |
1353 // Construct the path to the class list (in jre/lib) | |
1354 // Walk up two directories from the location of the VM and | |
1355 // optionally tack on "lib" (depending on platform) | |
1356 char class_list_path[JVM_MAXPATHLEN]; | |
1357 os::jvm_path(class_list_path, sizeof(class_list_path)); | |
1358 for (int i = 0; i < 3; i++) { | |
1359 char *end = strrchr(class_list_path, *os::file_separator()); | |
1360 if (end != NULL) *end = '\0'; | |
1361 } | |
1362 int class_list_path_len = (int)strlen(class_list_path); | |
1363 if (class_list_path_len >= 3) { | |
1364 if (strcmp(class_list_path + class_list_path_len - 3, "lib") != 0) { | |
1365 strcat(class_list_path, os::file_separator()); | |
1366 strcat(class_list_path, "lib"); | |
1367 } | |
1368 } | |
1369 strcat(class_list_path, os::file_separator()); | |
1370 strcat(class_list_path, "classlist"); | |
1371 | |
1372 FILE* file = fopen(class_list_path, "r"); | |
1373 if (file != NULL) { | |
1374 jlong computed_jsum = JSUM_SEED; | |
1375 jlong file_jsum = 0; | |
1376 | |
1377 char class_name[256]; | |
1378 int class_count = 0; | |
1379 GenCollectedHeap* gch = GenCollectedHeap::heap(); | |
1380 gch->_preloading_shared_classes = true; | |
1381 GrowableArray<oop>* class_promote_order = new GrowableArray<oop>(); | |
1382 | |
1383 // Preload (and intern) strings which will be used later. | |
1384 | |
1385 StringTable::intern("main", THREAD); | |
1386 StringTable::intern("([Ljava/lang/String;)V", THREAD); | |
1387 StringTable::intern("Ljava/lang/Class;", THREAD); | |
1388 | |
1389 StringTable::intern("I", THREAD); // Needed for StringBuffer persistence? | |
1390 StringTable::intern("Z", THREAD); // Needed for StringBuffer persistence? | |
1391 | |
1392 // sun.io.Converters | |
1393 static const char obj_array_sig[] = "[[Ljava/lang/Object;"; | |
1394 SymbolTable::lookup(obj_array_sig, (int)strlen(obj_array_sig), THREAD); | |
1395 | |
1396 // java.util.HashMap | |
1397 static const char map_entry_array_sig[] = "[Ljava/util/Map$Entry;"; | |
1398 SymbolTable::lookup(map_entry_array_sig, (int)strlen(map_entry_array_sig), | |
1399 THREAD); | |
1400 | |
1401 tty->print("Loading classes to share ... "); | |
1402 while ((fgets(class_name, sizeof class_name, file)) != NULL) { | |
1403 if (*class_name == '#') { | |
1404 jint fsh, fsl; | |
1405 if (sscanf(class_name, "# %8x%8x\n", &fsh, &fsl) == 2) { | |
1406 file_jsum = ((jlong)(fsh) << 32) | (fsl & 0xffffffff); | |
1407 } | |
1408 | |
1409 continue; | |
1410 } | |
1411 // Remove trailing newline | |
1412 size_t name_len = strlen(class_name); | |
1413 class_name[name_len-1] = '\0'; | |
1414 | |
1415 computed_jsum = jsum(computed_jsum, class_name, (const int)name_len - 1); | |
1416 | |
1417 // Got a class name - load it. | |
1418 symbolHandle class_name_symbol = oopFactory::new_symbol(class_name, | |
1419 THREAD); | |
1420 guarantee(!HAS_PENDING_EXCEPTION, "Exception creating a symbol."); | |
1421 klassOop klass = SystemDictionary::resolve_or_null(class_name_symbol, | |
1422 THREAD); | |
1423 guarantee(!HAS_PENDING_EXCEPTION, "Exception resolving a class."); | |
1424 if (klass != NULL) { | |
1425 if (PrintSharedSpaces) { | |
1426 tty->print_cr("Shared spaces preloaded: %s", class_name); | |
1427 } | |
1428 | |
1429 | |
1430 instanceKlass* ik = instanceKlass::cast(klass); | |
1431 | |
1432 // Should be class load order as per -XX:+TraceClassLoadingPreorder | |
1433 class_promote_order->append(ik->as_klassOop()); | |
1434 | |
1435 // Link the class to cause the bytecodes to be rewritten and the | |
1436 // cpcache to be created. The linking is done as soon as classes | |
1437 // are loaded in order that the related data structures (klass, | |
1438 // cpCache, Sting constants) are located together. | |
1439 | |
1440 if (ik->get_init_state() < instanceKlass::linked) { | |
1441 ik->link_class(THREAD); | |
1442 guarantee(!(HAS_PENDING_EXCEPTION), "exception in class rewriting"); | |
1443 } | |
1444 | |
1445 // Create String objects from string initializer symbols. | |
1446 | |
1447 ik->constants()->resolve_string_constants(THREAD); | |
1448 | |
1449 class_count++; | |
1450 } else { | |
1451 if (PrintSharedSpaces) { | |
1452 tty->cr(); | |
1453 tty->print_cr(" Preload failed: %s", class_name); | |
1454 } | |
1455 } | |
1456 file_jsum = 0; // Checksum must be on last line of file | |
1457 } | |
1458 if (computed_jsum != file_jsum) { | |
1459 tty->cr(); | |
1460 tty->print_cr("Preload failed: checksum of class list was incorrect."); | |
1461 exit(1); | |
1462 } | |
1463 | |
1464 tty->print_cr("done. "); | |
1465 | |
1466 if (PrintSharedSpaces) { | |
1467 tty->print_cr("Shared spaces: preloaded %d classes", class_count); | |
1468 } | |
1469 | |
1470 // Rewrite and unlink classes. | |
1471 tty->print("Rewriting and unlinking classes ... "); | |
1472 // Make heap parsable | |
1473 ensure_parsability(false); // arg is actually don't care | |
1474 | |
1475 // Link any classes which got missed. (It's not quite clear why | |
1476 // they got missed.) This iteration would be unsafe if we weren't | |
1477 // single-threaded at this point; however we can't do it on the VM | |
1478 // thread because it requires object allocation. | |
1479 LinkClassesClosure lcc(Thread::current()); | |
1480 object_iterate(&lcc); | |
1481 tty->print_cr("done. "); | |
1482 | |
1483 // Create and dump the shared spaces. | |
1484 jint err = CompactingPermGenGen::dump_shared(class_promote_order, THREAD); | |
1485 if (err != JNI_OK) { | |
1486 fatal("Dumping shared spaces failed."); | |
1487 } | |
1488 | |
1489 } else { | |
1490 char errmsg[JVM_MAXPATHLEN]; | |
1491 hpi::lasterror(errmsg, JVM_MAXPATHLEN); | |
1492 tty->print_cr("Loading classlist failed: %s", errmsg); | |
1493 exit(1); | |
1494 } | |
1495 | |
1496 // Since various initialization steps have been undone by this process, | |
1497 // it is not reasonable to continue running a java process. | |
1498 exit(0); | |
1499 } |