21 * questions.
22 *
23 */
24
25 #include "cds/aotCompressedPointers.hpp"
26 #include "cds/cdsConfig.hpp"
27 #include "ci/ciEnv.hpp"
28 #include "ci/ciMetadata.hpp"
29 #include "classfile/compactHashtable.hpp"
30 #include "classfile/javaClasses.hpp"
31 #include "classfile/symbolTable.hpp"
32 #include "classfile/systemDictionaryShared.hpp"
33 #include "compiler/compileTask.hpp"
34 #include "memory/metadataFactory.hpp"
35 #include "memory/metaspaceClosure.hpp"
36 #include "memory/resourceArea.hpp"
37 #include "memory/universe.hpp"
38 #include "oops/method.hpp"
39 #include "oops/method.inline.hpp"
40 #include "oops/methodCounters.hpp"
41 #include "oops/trainingData.hpp"
42 #include "runtime/arguments.hpp"
43 #include "runtime/javaThread.inline.hpp"
44 #include "runtime/jniHandles.inline.hpp"
45 #include "utilities/growableArray.hpp"
46
47 TrainingData::TrainingDataSet TrainingData::_training_data_set(1024, 0x3fffffff);
48 TrainingData::TrainingDataDictionary TrainingData::_archived_training_data_dictionary;
49 TrainingData::TrainingDataDictionary TrainingData::_archived_training_data_dictionary_for_dumping;
50 TrainingData::DumptimeTrainingDataDictionary* TrainingData::_dumptime_training_data_dictionary = nullptr;
51 int TrainingData::TrainingDataLocker::_lock_mode;
52 volatile bool TrainingData::TrainingDataLocker::_snapshot = false;
53
54 MethodTrainingData::MethodTrainingData() {
55 // Used by cppVtables.cpp only
56 assert(CDSConfig::is_dumping_static_archive() || UseSharedSpaces, "only for CDS");
57 }
58
59 KlassTrainingData::KlassTrainingData() {
60 // Used by cppVtables.cpp only
61 assert(CDSConfig::is_dumping_static_archive() || UseSharedSpaces, "only for CDS");
62 }
63
64 CompileTrainingData::CompileTrainingData() : _level(-1), _compile_id(-1) {
65 // Used by cppVtables.cpp only
66 assert(CDSConfig::is_dumping_static_archive() || UseSharedSpaces, "only for CDS");
67 }
68
69 void TrainingData::initialize() {
70 // this is a nop if training modes are not enabled
71 if (have_data() || need_data()) {
72 // Data structures that we have do not currently support iterative training. So you cannot replay
73 // and train at the same time. Going forward we may want to adjust iteration/search to enable that.
74 guarantee(have_data() != need_data(), "Iterative training is not supported");
75 TrainingDataLocker::initialize();
76 }
77 }
78
79 static void verify_archived_entry(TrainingData* td, const TrainingData::Key* k) {
80 guarantee(TrainingData::Key::can_compute_cds_hash(k), "");
81 TrainingData* td1 = TrainingData::lookup_archived_training_data(k);
82 guarantee(td == td1, "");
83 }
84
85 void TrainingData::verify() {
86 if (TrainingData::have_data() && !TrainingData::assembling_data()) {
87 archived_training_data_dictionary()->iterate_all([&](TrainingData* td) {
88 if (td->is_KlassTrainingData()) {
89 KlassTrainingData* ktd = td->as_KlassTrainingData();
90 if (ktd->has_holder() && ktd->holder()->is_loaded()) {
91 Key k(ktd->holder());
92 verify_archived_entry(td, &k);
93 }
94 ktd->verify();
95 } else if (td->is_MethodTrainingData()) {
96 MethodTrainingData* mtd = td->as_MethodTrainingData();
97 if (mtd->has_holder() && mtd->holder()->method_holder()->is_loaded()) {
98 Key k(mtd->holder());
99 verify_archived_entry(td, &k);
100 }
101 mtd->verify(/*verify_dep_counter*/true);
102 }
103 });
104 }
105 if (TrainingData::need_data()) {
106 TrainingDataLocker l;
107 training_data_set()->iterate([&](TrainingData* td) {
108 if (td->is_KlassTrainingData()) {
109 KlassTrainingData* ktd = td->as_KlassTrainingData();
110 ktd->verify();
111 } else if (td->is_MethodTrainingData()) {
112 MethodTrainingData* mtd = td->as_MethodTrainingData();
113 // During the training run init deps tracking is not setup yet,
114 // don't verify it.
115 mtd->verify(/*verify_dep_counter*/false);
116 }
117 });
118 }
119 }
120
121 MethodTrainingData* MethodTrainingData::make(const methodHandle& method, bool null_if_not_found, bool use_cache) {
122 MethodTrainingData* mtd = nullptr;
123 if (!have_data() && !need_data()) {
124 return mtd;
125 }
133 // i.e. null_if_no_found == true, then just return a null.
134 // 3. Cache value is not null.
135 // Return it, the value of training_data_lookup_failed doesn't matter.
136 MethodCounters* mcs = method->method_counters();
137 if (mcs != nullptr) {
138 mtd = mcs->method_training_data();
139 if (mtd != nullptr && mtd != mcs->method_training_data_sentinel()) {
140 return mtd;
141 }
142 if (null_if_not_found && mtd == nullptr) {
143 assert(mtd == nullptr, "No training data found");
144 return nullptr;
145 }
146 } else if (use_cache) {
147 mcs = Method::build_method_counters(Thread::current(), method());
148 }
149
150 TrainingData* td = nullptr;
151
152 Key key(method());
153 if (have_data()) {
154 td = lookup_archived_training_data(&key);
155 if (td != nullptr) {
156 mtd = td->as_MethodTrainingData();
157 } else {
158 mtd = nullptr;
159 }
160 // Cache the pointer to MTD in MethodCounters for faster lookup (could be null if not found)
161 method->init_training_data(mtd);
162 }
163
164 if (need_data()) {
165 TrainingDataLocker l;
166 td = training_data_set()->find(&key);
167 if (td == nullptr) {
168 if (!null_if_not_found) {
169 KlassTrainingData* ktd = KlassTrainingData::make(method->method_holder());
170 if (ktd == nullptr) {
171 return nullptr; // allocation failure
172 }
173 mtd = MethodTrainingData::allocate(method(), ktd);
293 for (int i = 0, len = _init_deps.length(); i < len; i++) {
294 st->print(" dep:");
295 _init_deps.at(i)->print_on(st, true);
296 }
297 }
298 }
299
300 void CompileTrainingData::notice_inlined_method(CompileTask* task,
301 const methodHandle& method) {
302 MethodTrainingData* mtd = MethodTrainingData::make(method);
303 if (mtd != nullptr) {
304 mtd->notice_compilation(task->comp_level(), true);
305 }
306 }
307
308 void CompileTrainingData::notice_jit_observation(ciEnv* env, ciBaseObject* what) {
309 // A JIT is starting to look at class k.
310 // We could follow the queries that it is making, but it is
311 // simpler to assume, conservatively, that the JIT will
312 // eventually depend on the initialization state of k.
313 CompileTask* task = env->task();
314 assert(task != nullptr, "");
315 Method* method = task->method();
316 if (what->is_metadata()) {
317 ciMetadata* md = what->as_metadata();
318 if (md->is_loaded() && md->is_instance_klass()) {
319 ciInstanceKlass* cik = md->as_instance_klass();
320
321 if (cik->is_initialized()) {
322 InstanceKlass* ik = md->as_instance_klass()->get_instanceKlass();
323 KlassTrainingData* ktd = KlassTrainingData::make(ik);
324 if (ktd == nullptr) {
325 // Allocation failure or snapshot in progress
326 return;
327 }
328 // This JIT task is (probably) requesting that ik be initialized,
329 // so add him to my _init_deps list.
330 TrainingDataLocker l;
331 if (l.can_add()) {
332 add_init_dep(ktd);
333 }
334 }
335 }
336 }
337 }
338
339 void KlassTrainingData::prepare(Visitor& visitor) {
340 if (visitor.is_visited(this)) {
341 return;
342 }
343 visitor.visit(this);
344 _comp_deps.prepare();
345 }
346
347 void MethodTrainingData::prepare(Visitor& visitor) {
348 if (visitor.is_visited(this)) {
349 return;
350 }
351 visitor.visit(this);
352 klass()->prepare(visitor);
353 if (has_holder()) {
354 _final_counters = holder()->method_counters();
355 _final_profile = holder()->method_data();
356 assert(_final_profile == nullptr || _final_profile->method() == holder(), "");
357 _invocation_count = holder()->invocation_count();
358 _backedge_count = holder()->backedge_count();
359 }
360 for (int i = 0; i < CompLevel_count - 1; i++) {
361 CompileTrainingData* ctd = _last_toplevel_compiles[i];
362 if (ctd != nullptr) {
363 ctd->prepare(visitor);
364 }
365 }
366 }
367
368 void CompileTrainingData::prepare(Visitor& visitor) {
369 if (visitor.is_visited(this)) {
370 return;
371 }
372 visitor.visit(this);
373 method()->prepare(visitor);
374 _init_deps.prepare();
375 _ci_records.prepare();
376 }
377
378 KlassTrainingData* KlassTrainingData::make(InstanceKlass* holder, bool null_if_not_found) {
379 Key key(holder);
380 TrainingData* td = CDS_ONLY(have_data() ? lookup_archived_training_data(&key) :) nullptr;
381 KlassTrainingData* ktd = nullptr;
382 if (td != nullptr) {
383 ktd = td->as_KlassTrainingData();
384 guarantee(!ktd->has_holder() || ktd->holder() == holder, "");
385 if (ktd->has_holder()) {
386 return ktd;
387 } else {
388 ktd = nullptr;
389 }
390 }
391 if (need_data()) {
392 TrainingDataLocker l;
393 td = training_data_set()->find(&key);
394 if (td == nullptr) {
395 if (null_if_not_found) {
396 return nullptr;
397 }
398 ktd = KlassTrainingData::allocate(holder);
399 if (ktd == nullptr) {
400 return nullptr; // allocation failure
447 OopHandle handle(Universe::vm_global(), klass->java_mirror());
448 _holder = klass;
449 assert(holder() == klass, "");
450 }
451
452 void KlassTrainingData::notice_fully_initialized() {
453 ResourceMark rm;
454 assert(has_holder(), "");
455 assert(holder()->is_initialized(), "wrong state: %s %s",
456 holder()->name()->as_C_string(), holder()->init_state_name());
457
458 TrainingDataLocker l; // Not a real lock if we don't collect the data,
459 // that's why we need the atomic decrement below.
460 for (int i = 0; i < comp_dep_count(); i++) {
461 comp_dep(i)->dec_init_deps_left_release(this);
462 }
463 holder()->set_has_init_deps_processed();
464 }
465
466 void TrainingData::init_dumptime_table(TRAPS) {
467 precond((!assembling_data() && !need_data()) || need_data() != assembling_data());
468 if (assembling_data()) {
469 _dumptime_training_data_dictionary = new DumptimeTrainingDataDictionary();
470 _archived_training_data_dictionary.iterate_all([&](TrainingData* record) {
471 _dumptime_training_data_dictionary->append(record);
472 });
473 }
474 if (need_data()) {
475 _dumptime_training_data_dictionary = new DumptimeTrainingDataDictionary();
476 TrainingDataLocker l;
477 TrainingDataLocker::snapshot();
478 ResourceMark rm;
479 Visitor visitor(training_data_set()->size());
480 training_data_set()->iterate([&](TrainingData* td) {
481 td->prepare(visitor);
482 if (!td->is_CompileTrainingData()) {
483 _dumptime_training_data_dictionary->append(td);
484 }
485 });
486 }
487
488 if (AOTVerifyTrainingData) {
489 TrainingData::verify();
490 }
491 }
492
493 void TrainingData::iterate_roots(MetaspaceClosure* it) {
494 if (_dumptime_training_data_dictionary != nullptr) {
495 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
496 _dumptime_training_data_dictionary->at(i).metaspace_pointers_do(it);
497 }
498 }
499 }
500
501 void TrainingData::dump_training_data() {
502 if (_dumptime_training_data_dictionary != nullptr) {
503 CompactHashtableStats stats;
504 _archived_training_data_dictionary_for_dumping.reset();
505 CompactHashtableWriter writer(_dumptime_training_data_dictionary->length(), &stats);
506 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
507 TrainingData* td = _dumptime_training_data_dictionary->at(i).training_data();
508 #ifdef ASSERT
509 for (int j = i+1; j < _dumptime_training_data_dictionary->length(); j++) {
510 TrainingData* td1 = _dumptime_training_data_dictionary->at(j).training_data();
511 assert(!TrainingData::Key::equals(td1, td->key(), -1), "conflict");
512 }
513 #endif // ASSERT
514 td = ArchiveBuilder::current()->get_buffered_addr(td);
515 uint hash = TrainingData::Key::cds_hash(td->key());
516 writer.add(hash, AOTCompressedPointers::encode_not_null(td));
517 }
518 writer.dump(&_archived_training_data_dictionary_for_dumping, "training data dictionary");
524 ResourceMark rm;
525 Visitor visitor(_dumptime_training_data_dictionary->length());
526 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
527 TrainingData* td = _dumptime_training_data_dictionary->at(i).training_data();
528 td->cleanup(visitor);
529 }
530 // Throw away all elements with empty keys
531 int j = 0;
532 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
533 TrainingData* td = _dumptime_training_data_dictionary->at(i).training_data();
534 if (td->key()->is_empty()) {
535 continue;
536 }
537 if (i != j) { // no need to copy if it's the same
538 _dumptime_training_data_dictionary->at_put(j, td);
539 }
540 j++;
541 }
542 _dumptime_training_data_dictionary->trunc_to(j);
543 }
544 }
545
546 void KlassTrainingData::cleanup(Visitor& visitor) {
547 if (visitor.is_visited(this)) {
548 return;
549 }
550 visitor.visit(this);
551 if (has_holder()) {
552 bool is_excluded = !holder()->is_loaded();
553 if (CDSConfig::is_at_aot_safepoint()) {
554 // Check for AOT exclusion only at AOT safe point.
555 is_excluded |= SystemDictionaryShared::should_be_excluded(holder());
556 }
557 if (is_excluded) {
558 ResourceMark rm;
559 log_debug(aot, training)("Cleanup KTD %s", name()->as_klass_external_name());
560 _holder = nullptr;
561 key()->make_empty();
562 }
563 }
637 tty->cr();
638 }
639 guarantee(invariant, "init deps invariant violation: %d >= %d", init_deps_left1, init_deps_left2);
640 }
641 }
642
643 void CompileTrainingData::cleanup(Visitor& visitor) {
644 if (visitor.is_visited(this)) {
645 return;
646 }
647 visitor.visit(this);
648 method()->cleanup(visitor);
649 }
650
651 void TrainingData::serialize(SerializeClosure* soc) {
652 if (soc->writing()) {
653 _archived_training_data_dictionary_for_dumping.serialize_header(soc);
654 } else {
655 _archived_training_data_dictionary.serialize_header(soc);
656 }
657 }
658
659 class TrainingDataPrinter : StackObj {
660 outputStream* _st;
661 int _index;
662 public:
663 TrainingDataPrinter(outputStream* st) : _st(st), _index(0) {}
664 void do_value(TrainingData* td) {
665 const char* type = (td->is_KlassTrainingData() ? "K" :
666 td->is_MethodTrainingData() ? "M" :
667 td->is_CompileTrainingData() ? "C" : "?");
668 _st->print("%4d: %p %s ", _index++, td, type);
669 td->print_on(_st);
670 _st->cr();
671 if (td->is_KlassTrainingData()) {
672 td->as_KlassTrainingData()->iterate_comp_deps([&](CompileTrainingData* ctd) {
673 ResourceMark rm;
674 _st->print_raw(" C ");
675 ctd->print_on(_st);
676 _st->cr();
677 });
678 } else if (td->is_MethodTrainingData()) {
679 td->as_MethodTrainingData()->iterate_compiles([&](CompileTrainingData* ctd) {
680 ResourceMark rm;
681 _st->print_raw(" C ");
682 ctd->print_on(_st);
683 _st->cr();
684 });
685 } else if (td->is_CompileTrainingData()) {
686 // ?
687 }
688 }
689 };
690
691 void TrainingData::print_archived_training_data_on(outputStream* st) {
692 st->print_cr("Archived TrainingData Dictionary");
693 TrainingDataPrinter tdp(st);
694 TrainingDataLocker::initialize();
695 _archived_training_data_dictionary.iterate_all(&tdp);
696 }
697
698 void TrainingData::Key::metaspace_pointers_do(MetaspaceClosure *iter) {
699 iter->push(const_cast<Metadata**>(&_meta));
700 }
701
702 void TrainingData::metaspace_pointers_do(MetaspaceClosure* iter) {
703 _key.metaspace_pointers_do(iter);
704 }
705
706 bool TrainingData::Key::can_compute_cds_hash(const Key* const& k) {
707 return k->meta() == nullptr || MetaspaceObj::in_aot_cache(k->meta());
708 }
709
710 uint TrainingData::Key::cds_hash(const Key* const& k) {
711 return SystemDictionaryShared::hash_for_shared_dictionary((address)k->meta());
712 }
713
714 TrainingData* TrainingData::lookup_archived_training_data(const Key* k) {
715 // For this to work, all components of the key must be in shared metaspace.
716 if (!TrainingData::Key::can_compute_cds_hash(k) || _archived_training_data_dictionary.empty()) {
717 return nullptr;
718 }
719 uint hash = TrainingData::Key::cds_hash(k);
720 TrainingData* td = _archived_training_data_dictionary.lookup(k, hash, -1 /*unused*/);
721 if (td != nullptr) {
722 if ((td->is_KlassTrainingData() && td->as_KlassTrainingData()->has_holder()) ||
723 (td->is_MethodTrainingData() && td->as_MethodTrainingData()->has_holder())) {
724 return td;
725 } else {
726 ShouldNotReachHere();
727 }
728 }
729 return nullptr;
730 }
731
732 template <typename T>
733 void TrainingData::DepList<T>::metaspace_pointers_do(MetaspaceClosure* iter) {
734 iter->push(&_deps);
752 iter->push(&_final_profile);
753 iter->push(&_final_counters);
754 }
755
756 void CompileTrainingData::metaspace_pointers_do(MetaspaceClosure* iter) {
757 log_trace(aot, training)("Iter(CompileTrainingData): %p", this);
758 TrainingData::metaspace_pointers_do(iter);
759 _init_deps.metaspace_pointers_do(iter);
760 _ci_records.metaspace_pointers_do(iter);
761 iter->push(&_method);
762 }
763
764 template <typename T>
765 void TrainingData::DepList<T>::prepare() {
766 if (_deps == nullptr && _deps_dyn != nullptr) {
767 int len = _deps_dyn->length();
768 _deps = MetadataFactory::new_array_from_c_heap<T>(len, mtClassShared);
769 for (int i = 0; i < len; i++) {
770 _deps->at_put(i, _deps_dyn->at(i)); // copy
771 }
772 }
773 }
774
775 void KlassTrainingData::remove_unshareable_info() {
776 TrainingData::remove_unshareable_info();
777 _comp_deps.remove_unshareable_info();
778 }
779
780 void MethodTrainingData::remove_unshareable_info() {
781 TrainingData::remove_unshareable_info();
782 if (_final_counters != nullptr) {
783 _final_counters->remove_unshareable_info();
784 }
785 if (_final_profile != nullptr) {
786 _final_profile->remove_unshareable_info();
787 }
788 }
789
790 void CompileTrainingData::remove_unshareable_info() {
791 TrainingData::remove_unshareable_info();
|
21 * questions.
22 *
23 */
24
25 #include "cds/aotCompressedPointers.hpp"
26 #include "cds/cdsConfig.hpp"
27 #include "ci/ciEnv.hpp"
28 #include "ci/ciMetadata.hpp"
29 #include "classfile/compactHashtable.hpp"
30 #include "classfile/javaClasses.hpp"
31 #include "classfile/symbolTable.hpp"
32 #include "classfile/systemDictionaryShared.hpp"
33 #include "compiler/compileTask.hpp"
34 #include "memory/metadataFactory.hpp"
35 #include "memory/metaspaceClosure.hpp"
36 #include "memory/resourceArea.hpp"
37 #include "memory/universe.hpp"
38 #include "oops/method.hpp"
39 #include "oops/method.inline.hpp"
40 #include "oops/methodCounters.hpp"
41 #include "oops/recompilationSchedule.hpp"
42 #include "oops/trainingData.hpp"
43 #include "runtime/arguments.hpp"
44 #include "runtime/javaThread.inline.hpp"
45 #include "runtime/jniHandles.inline.hpp"
46 #include "utilities/growableArray.hpp"
47
48 TrainingData::TrainingDataSet TrainingData::_training_data_set(1024, 0x3fffffff);
49 TrainingData::TrainingDataDictionary TrainingData::_archived_training_data_dictionary;
50 TrainingData::TrainingDataDictionary TrainingData::_archived_training_data_dictionary_for_dumping;
51 TrainingData::DumptimeTrainingDataDictionary* TrainingData::_dumptime_training_data_dictionary = nullptr;
52 int TrainingData::TrainingDataLocker::_lock_mode;
53 volatile bool TrainingData::TrainingDataLocker::_snapshot = false;
54
55 MethodTrainingData::MethodTrainingData() {
56 // Used by cppVtables.cpp only
57 assert(CDSConfig::is_dumping_static_archive() || UseSharedSpaces, "only for CDS");
58 }
59
60 KlassTrainingData::KlassTrainingData() {
61 // Used by cppVtables.cpp only
62 assert(CDSConfig::is_dumping_static_archive() || UseSharedSpaces, "only for CDS");
63 }
64
65 CompileTrainingData::CompileTrainingData() : _level(-1), _compile_id(-1) {
66 // Used by cppVtables.cpp only
67 assert(CDSConfig::is_dumping_static_archive() || UseSharedSpaces, "only for CDS");
68 }
69
70 void TrainingData::initialize() {
71 // this is a nop if training modes are not enabled
72 if (have_data() || need_data()) {
73 TrainingDataLocker::initialize();
74 }
75 RecompilationSchedule::initialize();
76 if (have_data() && need_data()) {
77 TrainingDataLocker l;
78 archived_training_data_dictionary()->iterate_all([&](TrainingData* td) {
79 training_data_set()->install(td);
80 });
81 }
82 }
83
84 static void verify_archived_entry(TrainingData* td, const TrainingData::Key* k) {
85 guarantee(TrainingData::Key::can_compute_cds_hash(k), "");
86 TrainingData* td1 = TrainingData::lookup_archived_training_data(k);
87 guarantee(td == td1, "");
88 }
89
90 void TrainingData::verify() {
91 if (have_data() && !need_data() && !assembling_data()) {
92 archived_training_data_dictionary()->iterate_all([&](TrainingData* td) {
93 if (td->is_KlassTrainingData()) {
94 KlassTrainingData* ktd = td->as_KlassTrainingData();
95 if (ktd->has_holder() && ktd->holder()->is_loaded()) {
96 Key k(ktd->holder());
97 verify_archived_entry(td, &k);
98 }
99 ktd->verify();
100 } else if (td->is_MethodTrainingData()) {
101 MethodTrainingData* mtd = td->as_MethodTrainingData();
102 if (mtd->has_holder() && mtd->holder()->method_holder()->is_loaded()) {
103 Key k(mtd->holder());
104 verify_archived_entry(td, &k);
105 }
106 mtd->verify(/*verify_dep_counter*/true);
107 }
108 });
109 }
110 if (need_data()) {
111 TrainingDataLocker l;
112 training_data_set()->iterate([&](TrainingData* td) {
113 if (td->is_KlassTrainingData()) {
114 KlassTrainingData* ktd = td->as_KlassTrainingData();
115 ktd->verify();
116 } else if (td->is_MethodTrainingData()) {
117 MethodTrainingData* mtd = td->as_MethodTrainingData();
118 // During the training run init deps tracking is not setup yet,
119 // don't verify it.
120 mtd->verify(/*verify_dep_counter*/false);
121 }
122 });
123 }
124 }
125
126 MethodTrainingData* MethodTrainingData::make(const methodHandle& method, bool null_if_not_found, bool use_cache) {
127 MethodTrainingData* mtd = nullptr;
128 if (!have_data() && !need_data()) {
129 return mtd;
130 }
138 // i.e. null_if_no_found == true, then just return a null.
139 // 3. Cache value is not null.
140 // Return it, the value of training_data_lookup_failed doesn't matter.
141 MethodCounters* mcs = method->method_counters();
142 if (mcs != nullptr) {
143 mtd = mcs->method_training_data();
144 if (mtd != nullptr && mtd != mcs->method_training_data_sentinel()) {
145 return mtd;
146 }
147 if (null_if_not_found && mtd == nullptr) {
148 assert(mtd == nullptr, "No training data found");
149 return nullptr;
150 }
151 } else if (use_cache) {
152 mcs = Method::build_method_counters(Thread::current(), method());
153 }
154
155 TrainingData* td = nullptr;
156
157 Key key(method());
158 if (have_data() && !need_data()) {
159 td = lookup_archived_training_data(&key);
160 if (td != nullptr) {
161 mtd = td->as_MethodTrainingData();
162 } else {
163 mtd = nullptr;
164 }
165 // Cache the pointer to MTD in MethodCounters for faster lookup (could be null if not found)
166 method->init_training_data(mtd);
167 }
168
169 if (need_data()) {
170 TrainingDataLocker l;
171 td = training_data_set()->find(&key);
172 if (td == nullptr) {
173 if (!null_if_not_found) {
174 KlassTrainingData* ktd = KlassTrainingData::make(method->method_holder());
175 if (ktd == nullptr) {
176 return nullptr; // allocation failure
177 }
178 mtd = MethodTrainingData::allocate(method(), ktd);
298 for (int i = 0, len = _init_deps.length(); i < len; i++) {
299 st->print(" dep:");
300 _init_deps.at(i)->print_on(st, true);
301 }
302 }
303 }
304
305 void CompileTrainingData::notice_inlined_method(CompileTask* task,
306 const methodHandle& method) {
307 MethodTrainingData* mtd = MethodTrainingData::make(method);
308 if (mtd != nullptr) {
309 mtd->notice_compilation(task->comp_level(), true);
310 }
311 }
312
313 void CompileTrainingData::notice_jit_observation(ciEnv* env, ciBaseObject* what) {
314 // A JIT is starting to look at class k.
315 // We could follow the queries that it is making, but it is
316 // simpler to assume, conservatively, that the JIT will
317 // eventually depend on the initialization state of k.
318 ciMetadata* md = nullptr;
319 if (what->is_object()) {
320 md = what->as_object()->klass();
321 } else if (what->is_metadata()) {
322 md = what->as_metadata();
323 }
324 if (md != nullptr && md->is_loaded() && md->is_instance_klass()) {
325 ciInstanceKlass* cik = md->as_instance_klass();
326 if (!cik->is_initialized()) {
327 return;
328 }
329 KlassTrainingData* ktd = KlassTrainingData::make(cik->get_instanceKlass());
330 if (ktd == nullptr) {
331 // Allocation failure or snapshot in progress
332 return;
333 }
334 // This JIT task is (probably) requesting that ik be initialized,
335 // so add it to my _init_deps list.
336 TrainingDataLocker l;
337 if (l.can_add()) {
338 add_init_dep(ktd);
339 }
340 }
341 }
342
343 void KlassTrainingData::prepare(Visitor& visitor) {
344 if (visitor.is_visited(this)) {
345 return;
346 }
347 visitor.visit(this);
348 _comp_deps.prepare();
349 }
350
351 void MethodTrainingData::prepare(Visitor& visitor) {
352 if (visitor.is_visited(this)) {
353 return;
354 }
355 visitor.visit(this);
356 klass()->prepare(visitor);
357 if (has_holder()) {
358 _final_counters = holder()->method_counters();
359 _final_profile = holder()->method_data();
360 assert(_final_profile == nullptr || _final_profile->method() == holder(), "");
361 _invocation_count = holder()->invocation_count();
362 _backedge_count = holder()->backedge_count();
363 _aot_code_invocation_limit = _final_counters->jit_code_invocation_count();
364 }
365 for (int i = 0; i < CompLevel_count - 1; i++) {
366 CompileTrainingData* ctd = _last_toplevel_compiles[i];
367 if (ctd != nullptr) {
368 ctd->prepare(visitor);
369 }
370 }
371 }
372
373 void CompileTrainingData::prepare(Visitor& visitor) {
374 if (visitor.is_visited(this)) {
375 return;
376 }
377 visitor.visit(this);
378 method()->prepare(visitor);
379 _init_deps.prepare();
380 _ci_records.prepare();
381 }
382
383 KlassTrainingData* KlassTrainingData::make(InstanceKlass* holder, bool null_if_not_found) {
384 Key key(holder);
385 TrainingData* td = CDS_ONLY((have_data() && !need_data()) ? lookup_archived_training_data(&key) :) nullptr;
386 KlassTrainingData* ktd = nullptr;
387 if (td != nullptr) {
388 ktd = td->as_KlassTrainingData();
389 guarantee(!ktd->has_holder() || ktd->holder() == holder, "");
390 if (ktd->has_holder()) {
391 return ktd;
392 } else {
393 ktd = nullptr;
394 }
395 }
396 if (need_data()) {
397 TrainingDataLocker l;
398 td = training_data_set()->find(&key);
399 if (td == nullptr) {
400 if (null_if_not_found) {
401 return nullptr;
402 }
403 ktd = KlassTrainingData::allocate(holder);
404 if (ktd == nullptr) {
405 return nullptr; // allocation failure
452 OopHandle handle(Universe::vm_global(), klass->java_mirror());
453 _holder = klass;
454 assert(holder() == klass, "");
455 }
456
457 void KlassTrainingData::notice_fully_initialized() {
458 ResourceMark rm;
459 assert(has_holder(), "");
460 assert(holder()->is_initialized(), "wrong state: %s %s",
461 holder()->name()->as_C_string(), holder()->init_state_name());
462
463 TrainingDataLocker l; // Not a real lock if we don't collect the data,
464 // that's why we need the atomic decrement below.
465 for (int i = 0; i < comp_dep_count(); i++) {
466 comp_dep(i)->dec_init_deps_left_release(this);
467 }
468 holder()->set_has_init_deps_processed();
469 }
470
471 void TrainingData::init_dumptime_table(TRAPS) {
472 if (assembling_data() && !need_data()) {
473 _dumptime_training_data_dictionary = new DumptimeTrainingDataDictionary();
474 _archived_training_data_dictionary.iterate_all([&](TrainingData* record) {
475 _dumptime_training_data_dictionary->append(record);
476 });
477 }
478 if (need_data()) {
479 _dumptime_training_data_dictionary = new DumptimeTrainingDataDictionary();
480 TrainingDataLocker l;
481 TrainingDataLocker::snapshot();
482 ResourceMark rm;
483 Visitor visitor(training_data_set()->size());
484 training_data_set()->iterate([&](TrainingData* td) {
485 td->prepare(visitor);
486 if (!td->is_CompileTrainingData()) {
487 _dumptime_training_data_dictionary->append(td);
488 }
489 });
490 }
491
492 RecompilationSchedule::prepare(CHECK);
493
494 if (AOTVerifyTrainingData) {
495 TrainingData::verify();
496 }
497 }
498
499 void TrainingData::iterate_roots(MetaspaceClosure* it) {
500 if (_dumptime_training_data_dictionary != nullptr) {
501 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
502 _dumptime_training_data_dictionary->at(i).metaspace_pointers_do(it);
503 }
504 }
505 RecompilationSchedule::iterate_roots(it);
506 }
507
508 void TrainingData::dump_training_data() {
509 if (_dumptime_training_data_dictionary != nullptr) {
510 CompactHashtableStats stats;
511 _archived_training_data_dictionary_for_dumping.reset();
512 CompactHashtableWriter writer(_dumptime_training_data_dictionary->length(), &stats);
513 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
514 TrainingData* td = _dumptime_training_data_dictionary->at(i).training_data();
515 #ifdef ASSERT
516 for (int j = i+1; j < _dumptime_training_data_dictionary->length(); j++) {
517 TrainingData* td1 = _dumptime_training_data_dictionary->at(j).training_data();
518 assert(!TrainingData::Key::equals(td1, td->key(), -1), "conflict");
519 }
520 #endif // ASSERT
521 td = ArchiveBuilder::current()->get_buffered_addr(td);
522 uint hash = TrainingData::Key::cds_hash(td->key());
523 writer.add(hash, AOTCompressedPointers::encode_not_null(td));
524 }
525 writer.dump(&_archived_training_data_dictionary_for_dumping, "training data dictionary");
531 ResourceMark rm;
532 Visitor visitor(_dumptime_training_data_dictionary->length());
533 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
534 TrainingData* td = _dumptime_training_data_dictionary->at(i).training_data();
535 td->cleanup(visitor);
536 }
537 // Throw away all elements with empty keys
538 int j = 0;
539 for (int i = 0; i < _dumptime_training_data_dictionary->length(); i++) {
540 TrainingData* td = _dumptime_training_data_dictionary->at(i).training_data();
541 if (td->key()->is_empty()) {
542 continue;
543 }
544 if (i != j) { // no need to copy if it's the same
545 _dumptime_training_data_dictionary->at_put(j, td);
546 }
547 j++;
548 }
549 _dumptime_training_data_dictionary->trunc_to(j);
550 }
551 RecompilationSchedule::cleanup();
552 }
553
554 void KlassTrainingData::cleanup(Visitor& visitor) {
555 if (visitor.is_visited(this)) {
556 return;
557 }
558 visitor.visit(this);
559 if (has_holder()) {
560 bool is_excluded = !holder()->is_loaded();
561 if (CDSConfig::is_at_aot_safepoint()) {
562 // Check for AOT exclusion only at AOT safe point.
563 is_excluded |= SystemDictionaryShared::should_be_excluded(holder());
564 }
565 if (is_excluded) {
566 ResourceMark rm;
567 log_debug(aot, training)("Cleanup KTD %s", name()->as_klass_external_name());
568 _holder = nullptr;
569 key()->make_empty();
570 }
571 }
645 tty->cr();
646 }
647 guarantee(invariant, "init deps invariant violation: %d >= %d", init_deps_left1, init_deps_left2);
648 }
649 }
650
651 void CompileTrainingData::cleanup(Visitor& visitor) {
652 if (visitor.is_visited(this)) {
653 return;
654 }
655 visitor.visit(this);
656 method()->cleanup(visitor);
657 }
658
659 void TrainingData::serialize(SerializeClosure* soc) {
660 if (soc->writing()) {
661 _archived_training_data_dictionary_for_dumping.serialize_header(soc);
662 } else {
663 _archived_training_data_dictionary.serialize_header(soc);
664 }
665 RecompilationSchedule::serialize(soc);
666 }
667
668 class TrainingDataPrinter : StackObj {
669 outputStream* _st;
670 int _index;
671 public:
672 TrainingDataPrinter(outputStream* st) : _st(st), _index(0) {}
673 void do_value(TrainingData* td) {
674 const char* type = (td->is_KlassTrainingData() ? "K" :
675 td->is_MethodTrainingData() ? "M" :
676 td->is_CompileTrainingData() ? "C" : "?");
677 _st->print("%4d: %p %s ", _index++, td, type);
678 td->print_on(_st);
679 _st->cr();
680 if (td->is_KlassTrainingData()) {
681 td->as_KlassTrainingData()->iterate_comp_deps([&](CompileTrainingData* ctd) {
682 ResourceMark rm;
683 _st->print_raw(" C ");
684 ctd->print_on(_st);
685 _st->cr();
686 });
687 } else if (td->is_MethodTrainingData()) {
688 td->as_MethodTrainingData()->iterate_compiles([&](CompileTrainingData* ctd) {
689 ResourceMark rm;
690 _st->print_raw(" C ");
691 ctd->print_on(_st);
692 _st->cr();
693 });
694 } else if (td->is_CompileTrainingData()) {
695 // ?
696 }
697 }
698 };
699
700 void TrainingData::print_archived_training_data_on(outputStream* st) {
701 st->print_cr("Archived TrainingData Dictionary");
702 TrainingDataPrinter tdp(st);
703 TrainingDataLocker::initialize();
704 _archived_training_data_dictionary.iterate_all(&tdp);
705 RecompilationSchedule::print_archived_training_data_on(st);
706 }
707
708 void TrainingData::Key::metaspace_pointers_do(MetaspaceClosure *iter) {
709 iter->push(const_cast<Metadata**>(&_meta));
710 }
711
712 void TrainingData::metaspace_pointers_do(MetaspaceClosure* iter) {
713 _key.metaspace_pointers_do(iter);
714 }
715
716 bool TrainingData::Key::can_compute_cds_hash(const Key* const& k) {
717 return k->meta() == nullptr || MetaspaceObj::in_aot_cache(k->meta());
718 }
719
720 uint TrainingData::Key::cds_hash(const Key* const& k) {
721 return SystemDictionaryShared::hash_for_shared_dictionary((address)k->meta());
722 }
723
724 TrainingData* TrainingData::lookup_archived_training_data(const Key* k) {
725 assert(!need_data(), "Should be used only in read-only mode");
726 // For this to work, all components of the key must be in shared metaspace.
727 if (!TrainingData::Key::can_compute_cds_hash(k) || _archived_training_data_dictionary.empty()) {
728 return nullptr;
729 }
730 uint hash = TrainingData::Key::cds_hash(k);
731 TrainingData* td = _archived_training_data_dictionary.lookup(k, hash, -1 /*unused*/);
732 if (td != nullptr) {
733 if ((td->is_KlassTrainingData() && td->as_KlassTrainingData()->has_holder()) ||
734 (td->is_MethodTrainingData() && td->as_MethodTrainingData()->has_holder())) {
735 return td;
736 } else {
737 ShouldNotReachHere();
738 }
739 }
740 return nullptr;
741 }
742
743 template <typename T>
744 void TrainingData::DepList<T>::metaspace_pointers_do(MetaspaceClosure* iter) {
745 iter->push(&_deps);
763 iter->push(&_final_profile);
764 iter->push(&_final_counters);
765 }
766
767 void CompileTrainingData::metaspace_pointers_do(MetaspaceClosure* iter) {
768 log_trace(aot, training)("Iter(CompileTrainingData): %p", this);
769 TrainingData::metaspace_pointers_do(iter);
770 _init_deps.metaspace_pointers_do(iter);
771 _ci_records.metaspace_pointers_do(iter);
772 iter->push(&_method);
773 }
774
775 template <typename T>
776 void TrainingData::DepList<T>::prepare() {
777 if (_deps == nullptr && _deps_dyn != nullptr) {
778 int len = _deps_dyn->length();
779 _deps = MetadataFactory::new_array_from_c_heap<T>(len, mtClassShared);
780 for (int i = 0; i < len; i++) {
781 _deps->at_put(i, _deps_dyn->at(i)); // copy
782 }
783 _deps_dyn = nullptr;
784 }
785 }
786
787 void KlassTrainingData::remove_unshareable_info() {
788 TrainingData::remove_unshareable_info();
789 _comp_deps.remove_unshareable_info();
790 }
791
792 void MethodTrainingData::remove_unshareable_info() {
793 TrainingData::remove_unshareable_info();
794 if (_final_counters != nullptr) {
795 _final_counters->remove_unshareable_info();
796 }
797 if (_final_profile != nullptr) {
798 _final_profile->remove_unshareable_info();
799 }
800 }
801
802 void CompileTrainingData::remove_unshareable_info() {
803 TrainingData::remove_unshareable_info();
|