1 /*
2 * Copyright (c) 2020, 2025, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #include "cds/archiveBuilder.hpp"
26 #include "cds/cdsConfig.hpp"
27 #include "cds/lambdaFormInvokers.hpp"
28 #include "cds/metaspaceShared.hpp"
29 #include "cds/regeneratedClasses.hpp"
30 #include "classfile/classFileStream.hpp"
31 #include "classfile/classLoadInfo.hpp"
32 #include "classfile/javaClasses.inline.hpp"
33 #include "classfile/klassFactory.hpp"
34 #include "classfile/symbolTable.hpp"
35 #include "classfile/systemDictionary.hpp"
36 #include "classfile/systemDictionaryShared.hpp"
37 #include "classfile/vmClasses.hpp"
38 #include "classfile/vmSymbols.hpp"
39 #include "logging/log.hpp"
40 #include "memory/oopFactory.hpp"
41 #include "memory/resourceArea.hpp"
42 #include "oops/instanceKlass.hpp"
43 #include "oops/klass.inline.hpp"
44 #include "oops/objArrayKlass.hpp"
45 #include "oops/objArrayOop.hpp"
46 #include "oops/oop.inline.hpp"
47 #include "oops/oopHandle.inline.hpp"
48 #include "oops/typeArrayOop.inline.hpp"
49 #include "runtime/handles.inline.hpp"
50 #include "runtime/javaCalls.hpp"
51 #include "runtime/mutexLocker.hpp"
52
53 GrowableArrayCHeap<char*, mtClassShared>* LambdaFormInvokers::_lambdaform_lines = nullptr;
54 Array<u4>* LambdaFormInvokers::_static_archive_invokers = nullptr;
55
56 #define NUM_FILTER 4
57 static const char* filter[NUM_FILTER] = {"java.lang.invoke.Invokers$Holder",
58 "java.lang.invoke.DirectMethodHandle$Holder",
59 "java.lang.invoke.DelegatingMethodHandle$Holder",
60 "java.lang.invoke.LambdaForm$Holder"};
61
62 static bool should_be_archived(char* line) {
63 for (int k = 0; k < NUM_FILTER; k++) {
64 if (strstr(line, filter[k]) != nullptr) {
65 return true;
66 }
67 }
68 return false;
69 }
70 #undef NUM_FILTER
71
72 void LambdaFormInvokers::append(char* line) {
73 MutexLocker ml(Thread::current(), LambdaFormInvokers_lock);
74 if (_lambdaform_lines == nullptr) {
75 _lambdaform_lines = new GrowableArrayCHeap<char*, mtClassShared>(150);
76 }
77 _lambdaform_lines->append(line);
78 }
79
80
81 // convenient output
82 class PrintLambdaFormMessage {
83 public:
84 PrintLambdaFormMessage() {
85 log_info(cds)("Regenerate MethodHandle Holder classes...");
86 }
87 ~PrintLambdaFormMessage() {
88 log_info(cds)("Regenerate MethodHandle Holder classes...done");
89 }
90 };
91
92 void LambdaFormInvokers::regenerate_holder_classes(TRAPS) {
93 if (!CDSConfig::is_dumping_regenerated_lambdaform_invokers()) {
94 return;
95 }
96 PrintLambdaFormMessage plm;
97 if (_lambdaform_lines == nullptr || _lambdaform_lines->length() == 0) {
98 log_info(cds)("Nothing to regenerate for holder classes");
99 return;
100 }
101
102 ResourceMark rm(THREAD);
103
104 Symbol* cds_name = vmSymbols::jdk_internal_misc_CDS();
105 Klass* cds_klass = SystemDictionary::resolve_or_null(cds_name, THREAD);
106 guarantee(cds_klass != nullptr, "jdk/internal/misc/CDS must exist!");
107
108 HandleMark hm(THREAD);
109 int len = _lambdaform_lines->length();
110 objArrayHandle list_lines;
111 {
112 MutexLocker ml(Thread::current(), LambdaFormInvokers_lock);
113 list_lines = oopFactory::new_objArray_handle(vmClasses::String_klass(), len, CHECK);
114 for (int i = 0; i < len; i++) {
115 Handle h_line = java_lang_String::create_from_str(_lambdaform_lines->at(i), CHECK);
116 list_lines->obj_at_put(i, h_line());
117 }
118 } // Before calling into java, release vm lock.
119 //
120 // Object[] CDS.generateLambdaFormHolderClasses(String[] lines)
121 // the returned Object[] layout:
122 // name, byte[], name, byte[] ....
123 Symbol* method = vmSymbols::generateLambdaFormHolderClasses();
124 Symbol* signrs = vmSymbols::generateLambdaFormHolderClasses_signature();
125
126 JavaValue result(T_OBJECT);
127 JavaCalls::call_static(&result, cds_klass, method, signrs, list_lines, THREAD);
128
129 if (HAS_PENDING_EXCEPTION) {
130 if (!PENDING_EXCEPTION->is_a(vmClasses::OutOfMemoryError_klass())) {
131 log_error(cds)("%s: %s", PENDING_EXCEPTION->klass()->external_name(),
132 java_lang_String::as_utf8_string(java_lang_Throwable::message(PENDING_EXCEPTION)));
133 if (CDSConfig::is_dumping_static_archive()) {
134 log_error(cds)("Failed to generate LambdaForm holder classes. Is your classlist out of date?");
135 } else {
136 log_error(cds)("Failed to generate LambdaForm holder classes. Was the base archive generated with an outdated classlist?");
137 }
138 CLEAR_PENDING_EXCEPTION;
139 }
140 return;
141 }
142
143 objArrayHandle h_array(THREAD, (objArrayOop)result.get_oop());
144 int sz = h_array->length();
145 assert(sz % 2 == 0 && sz >= 2, "Must be even size of length");
146 for (int i = 0; i < sz; i+= 2) {
147 Handle h_name(THREAD, h_array->obj_at(i));
148 typeArrayHandle h_bytes(THREAD, (typeArrayOop)h_array->obj_at(i+1));
149 assert(h_name != nullptr, "Class name is null");
150 assert(h_bytes != nullptr, "Class bytes is null");
151
152 char *class_name = java_lang_String::as_utf8_string(h_name());
153 if (strstr(class_name, "java/lang/invoke/BoundMethodHandle$Species_") != nullptr) {
154 // The species classes are already loaded into the system dictionary
155 // during the execution of CDS.generateLambdaFormHolderClasses(). No
156 // need to regenerate.
157 TempNewSymbol class_name_sym = SymbolTable::new_symbol(class_name);
158 Klass* klass = SystemDictionary::resolve_or_null(class_name_sym, THREAD);
159 assert(klass != nullptr, "must already be loaded");
160 if (!klass->is_shared() && klass->shared_classpath_index() < 0) {
161 // Fake it, so that it will be included into the archive.
162 klass->set_shared_classpath_index(0);
163 // Set the "generated" bit, so it won't interfere with JVMTI.
164 // See SystemDictionaryShared::find_builtin_class().
165 klass->set_is_generated_shared_class();
166 }
167 } else {
168 int len = h_bytes->length();
169 // make a copy of class bytes so GC will not affect us.
170 char *buf = NEW_RESOURCE_ARRAY(char, len);
171 memcpy(buf, (char*)h_bytes->byte_at_addr(0), len);
172 ClassFileStream st((u1*)buf, len, nullptr);
173 if (!CDSConfig::is_dumping_invokedynamic() /* work around JDK-8310831 */) {
174 regenerate_class(class_name, st, CHECK);
175 }
176 }
177 }
178 }
179
180 void LambdaFormInvokers::regenerate_class(char* class_name, ClassFileStream& st, TRAPS) {
181 TempNewSymbol class_name_sym = SymbolTable::new_symbol(class_name);
182 Klass* klass = SystemDictionary::resolve_or_null(class_name_sym, THREAD);
183 assert(klass != nullptr, "must exist");
184 assert(klass->is_instance_klass(), "Should be");
185
186 ClassLoaderData* cld = ClassLoaderData::the_null_class_loader_data();
187 Handle protection_domain;
188 ClassLoadInfo cl_info(protection_domain);
189
190 InstanceKlass* result = KlassFactory::create_from_stream(&st,
191 class_name_sym,
192 cld,
193 cl_info,
194 CHECK);
195
196 assert(result->java_mirror() != nullptr, "must be");
197 RegeneratedClasses::add_class(InstanceKlass::cast(klass), result);
198
199 result->add_to_hierarchy(THREAD);
200
201 // new class not linked yet.
202 MetaspaceShared::try_link_class(THREAD, result);
203 assert(!HAS_PENDING_EXCEPTION, "Invariant");
204
205 result->set_is_generated_shared_class();
206 if (!klass->is_shared()) {
207 SystemDictionaryShared::set_excluded(InstanceKlass::cast(klass)); // exclude the existing class from dump
208 }
209 log_info(cds, lambda)("Regenerated class %s, old: " INTPTR_FORMAT " new: " INTPTR_FORMAT,
210 class_name, p2i(klass), p2i(result));
211 }
212
213 void LambdaFormInvokers::dump_static_archive_invokers() {
214 if (_lambdaform_lines != nullptr && _lambdaform_lines->length() > 0) {
215 int count = 0;
216 int len = _lambdaform_lines->length();
217 for (int i = 0; i < len; i++) {
218 char* str = _lambdaform_lines->at(i);
219 if (should_be_archived(str)) {
220 count++;
221 }
222 }
223 if (count > 0) {
224 _static_archive_invokers = ArchiveBuilder::new_ro_array<u4>(count);
225 int index = 0;
226 for (int i = 0; i < len; i++) {
227 char* str = _lambdaform_lines->at(i);
228 if (should_be_archived(str)) {
229 size_t str_len = strlen(str) + 1; // including terminating zero
230 Array<char>* line = ArchiveBuilder::new_ro_array<char>((int)str_len);
231 strncpy(line->adr_at(0), str, str_len);
232
233 _static_archive_invokers->at_put(index, ArchiveBuilder::current()->any_to_offset_u4(line));
234 index++;
235 }
236 }
237 assert(index == count, "Should match");
238 }
239 log_debug(cds)("Total LF lines stored into %s: %d", CDSConfig::type_of_archive_being_written(), count);
240 }
241 }
242
243 void LambdaFormInvokers::read_static_archive_invokers() {
244 if (_static_archive_invokers != nullptr) {
245 for (int i = 0; i < _static_archive_invokers->length(); i++) {
246 u4 offset = _static_archive_invokers->at(i);
247 Array<char>* line = ArchiveUtils::offset_to_archived_address<Array<char>*>(offset);
248 char* str = line->adr_at(0);
249 append(str);
250 }
251 log_debug(cds)("Total LF lines read from %s: %d", CDSConfig::type_of_archive_being_loaded(), _static_archive_invokers->length());
252 }
253 }
254
255 void LambdaFormInvokers::serialize(SerializeClosure* soc) {
256 soc->do_ptr(&_static_archive_invokers);
257 if (soc->reading() && CDSConfig::is_dumping_final_static_archive()) {
258 if (!CDSConfig::is_dumping_aot_linked_classes()) {
259 // See CDSConfig::is_dumping_regenerated_lambdaform_invokers() -- a dynamic archive can
260 // regenerate lambda form invokers only if the base archive does not contain aot-linked classes.
261 // If so, we copy the contents of _static_archive_invokers (from the preimage) into
262 //_lambdaform_lines, which will be written as _static_archive_invokers into final static archive.
263 LambdaFormInvokers::read_static_archive_invokers();
264 }
265 _static_archive_invokers = nullptr;
266 }
267 }