Thu, 12 Nov 2009 09:24:21 -0800
6892658: C2 should optimize some stringbuilder patterns
Reviewed-by: kvn, twisti
1 /*
2 * Copyright 1997-2009 Sun Microsystems, Inc. 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 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 */
25 # include "incls/_precompiled.incl"
26 # include "incls/_javaClasses.cpp.incl"
28 static bool find_field(instanceKlass* ik,
29 symbolOop name_symbol, symbolOop signature_symbol,
30 fieldDescriptor* fd,
31 bool allow_super = false) {
32 if (allow_super)
33 return ik->find_field(name_symbol, signature_symbol, fd) != NULL;
34 else
35 return ik->find_local_field(name_symbol, signature_symbol, fd);
36 }
38 // Helpful routine for computing field offsets at run time rather than hardcoding them
39 static void
40 compute_offset(int &dest_offset,
41 klassOop klass_oop, symbolOop name_symbol, symbolOop signature_symbol,
42 bool allow_super = false) {
43 fieldDescriptor fd;
44 instanceKlass* ik = instanceKlass::cast(klass_oop);
45 if (!find_field(ik, name_symbol, signature_symbol, &fd, allow_super)) {
46 ResourceMark rm;
47 tty->print_cr("Invalid layout of %s at %s", ik->external_name(), name_symbol->as_C_string());
48 fatal("Invalid layout of preloaded class");
49 }
50 dest_offset = fd.offset();
51 }
53 // Same as above but for "optional" offsets that might not be present in certain JDK versions
54 static void
55 compute_optional_offset(int& dest_offset,
56 klassOop klass_oop, symbolOop name_symbol, symbolOop signature_symbol,
57 bool allow_super = false) {
58 fieldDescriptor fd;
59 instanceKlass* ik = instanceKlass::cast(klass_oop);
60 if (find_field(ik, name_symbol, signature_symbol, &fd, allow_super)) {
61 dest_offset = fd.offset();
62 }
63 }
66 Handle java_lang_String::basic_create(int length, bool tenured, TRAPS) {
67 // Create the String object first, so there's a chance that the String
68 // and the char array it points to end up in the same cache line.
69 oop obj;
70 if (tenured) {
71 obj = instanceKlass::cast(SystemDictionary::string_klass())->allocate_permanent_instance(CHECK_NH);
72 } else {
73 obj = instanceKlass::cast(SystemDictionary::string_klass())->allocate_instance(CHECK_NH);
74 }
76 // Create the char array. The String object must be handlized here
77 // because GC can happen as a result of the allocation attempt.
78 Handle h_obj(THREAD, obj);
79 typeArrayOop buffer;
80 if (tenured) {
81 buffer = oopFactory::new_permanent_charArray(length, CHECK_NH);
82 } else {
83 buffer = oopFactory::new_charArray(length, CHECK_NH);
84 }
86 // Point the String at the char array
87 obj = h_obj();
88 set_value(obj, buffer);
89 // No need to zero the offset, allocation zero'ed the entire String object
90 assert(offset(obj) == 0, "initial String offset should be zero");
91 //set_offset(obj, 0);
92 set_count(obj, length);
94 return h_obj;
95 }
97 Handle java_lang_String::basic_create_from_unicode(jchar* unicode, int length, bool tenured, TRAPS) {
98 Handle h_obj = basic_create(length, tenured, CHECK_NH);
99 typeArrayOop buffer = value(h_obj());
100 for (int index = 0; index < length; index++) {
101 buffer->char_at_put(index, unicode[index]);
102 }
103 return h_obj;
104 }
106 Handle java_lang_String::create_from_unicode(jchar* unicode, int length, TRAPS) {
107 return basic_create_from_unicode(unicode, length, false, CHECK_NH);
108 }
110 Handle java_lang_String::create_tenured_from_unicode(jchar* unicode, int length, TRAPS) {
111 return basic_create_from_unicode(unicode, length, true, CHECK_NH);
112 }
114 oop java_lang_String::create_oop_from_unicode(jchar* unicode, int length, TRAPS) {
115 Handle h_obj = basic_create_from_unicode(unicode, length, false, CHECK_0);
116 return h_obj();
117 }
119 Handle java_lang_String::create_from_str(const char* utf8_str, TRAPS) {
120 if (utf8_str == NULL) {
121 return Handle();
122 }
123 int length = UTF8::unicode_length(utf8_str);
124 Handle h_obj = basic_create(length, false, CHECK_NH);
125 if (length > 0) {
126 UTF8::convert_to_unicode(utf8_str, value(h_obj())->char_at_addr(0), length);
127 }
128 return h_obj;
129 }
131 oop java_lang_String::create_oop_from_str(const char* utf8_str, TRAPS) {
132 Handle h_obj = create_from_str(utf8_str, CHECK_0);
133 return h_obj();
134 }
136 Handle java_lang_String::create_from_symbol(symbolHandle symbol, TRAPS) {
137 int length = UTF8::unicode_length((char*)symbol->bytes(), symbol->utf8_length());
138 Handle h_obj = basic_create(length, false, CHECK_NH);
139 if (length > 0) {
140 UTF8::convert_to_unicode((char*)symbol->bytes(), value(h_obj())->char_at_addr(0), length);
141 }
142 return h_obj;
143 }
145 // Converts a C string to a Java String based on current encoding
146 Handle java_lang_String::create_from_platform_dependent_str(const char* str, TRAPS) {
147 assert(str != NULL, "bad arguments");
149 typedef jstring (*to_java_string_fn_t)(JNIEnv*, const char *);
150 static to_java_string_fn_t _to_java_string_fn = NULL;
152 if (_to_java_string_fn == NULL) {
153 void *lib_handle = os::native_java_library();
154 _to_java_string_fn = CAST_TO_FN_PTR(to_java_string_fn_t, hpi::dll_lookup(lib_handle, "NewStringPlatform"));
155 if (_to_java_string_fn == NULL) {
156 fatal("NewStringPlatform missing");
157 }
158 }
160 jstring js = NULL;
161 { JavaThread* thread = (JavaThread*)THREAD;
162 assert(thread->is_Java_thread(), "must be java thread");
163 HandleMark hm(thread);
164 ThreadToNativeFromVM ttn(thread);
165 js = (_to_java_string_fn)(thread->jni_environment(), str);
166 }
167 return Handle(THREAD, JNIHandles::resolve(js));
168 }
170 // Converts a Java String to a native C string that can be used for
171 // native OS calls.
172 char* java_lang_String::as_platform_dependent_str(Handle java_string, TRAPS) {
174 typedef char* (*to_platform_string_fn_t)(JNIEnv*, jstring, bool*);
175 static to_platform_string_fn_t _to_platform_string_fn = NULL;
177 if (_to_platform_string_fn == NULL) {
178 void *lib_handle = os::native_java_library();
179 _to_platform_string_fn = CAST_TO_FN_PTR(to_platform_string_fn_t, hpi::dll_lookup(lib_handle, "GetStringPlatformChars"));
180 if (_to_platform_string_fn == NULL) {
181 fatal("GetStringPlatformChars missing");
182 }
183 }
185 char *native_platform_string;
186 { JavaThread* thread = (JavaThread*)THREAD;
187 assert(thread->is_Java_thread(), "must be java thread");
188 JNIEnv *env = thread->jni_environment();
189 jstring js = (jstring) JNIHandles::make_local(env, java_string());
190 bool is_copy;
191 HandleMark hm(thread);
192 ThreadToNativeFromVM ttn(thread);
193 native_platform_string = (_to_platform_string_fn)(env, js, &is_copy);
194 assert(is_copy == JNI_TRUE, "is_copy value changed");
195 JNIHandles::destroy_local(js);
196 }
197 return native_platform_string;
198 }
200 Handle java_lang_String::char_converter(Handle java_string, jchar from_char, jchar to_char, TRAPS) {
201 oop obj = java_string();
202 // Typical usage is to convert all '/' to '.' in string.
203 typeArrayOop value = java_lang_String::value(obj);
204 int offset = java_lang_String::offset(obj);
205 int length = java_lang_String::length(obj);
207 // First check if any from_char exist
208 int index; // Declared outside, used later
209 for (index = 0; index < length; index++) {
210 if (value->char_at(index + offset) == from_char) {
211 break;
212 }
213 }
214 if (index == length) {
215 // No from_char, so do not copy.
216 return java_string;
217 }
219 // Create new UNICODE buffer. Must handlize value because GC
220 // may happen during String and char array creation.
221 typeArrayHandle h_value(THREAD, value);
222 Handle string = basic_create(length, false, CHECK_NH);
224 typeArrayOop from_buffer = h_value();
225 typeArrayOop to_buffer = java_lang_String::value(string());
227 // Copy contents
228 for (index = 0; index < length; index++) {
229 jchar c = from_buffer->char_at(index + offset);
230 if (c == from_char) {
231 c = to_char;
232 }
233 to_buffer->char_at_put(index, c);
234 }
235 return string;
236 }
238 jchar* java_lang_String::as_unicode_string(oop java_string, int& length) {
239 typeArrayOop value = java_lang_String::value(java_string);
240 int offset = java_lang_String::offset(java_string);
241 length = java_lang_String::length(java_string);
243 jchar* result = NEW_RESOURCE_ARRAY(jchar, length);
244 for (int index = 0; index < length; index++) {
245 result[index] = value->char_at(index + offset);
246 }
247 return result;
248 }
250 symbolHandle java_lang_String::as_symbol(Handle java_string, TRAPS) {
251 oop obj = java_string();
252 typeArrayOop value = java_lang_String::value(obj);
253 int offset = java_lang_String::offset(obj);
254 int length = java_lang_String::length(obj);
255 jchar* base = (length == 0) ? NULL : value->char_at_addr(offset);
256 symbolOop sym = SymbolTable::lookup_unicode(base, length, THREAD);
257 return symbolHandle(THREAD, sym);
258 }
260 symbolOop java_lang_String::as_symbol_or_null(oop java_string) {
261 typeArrayOop value = java_lang_String::value(java_string);
262 int offset = java_lang_String::offset(java_string);
263 int length = java_lang_String::length(java_string);
264 jchar* base = (length == 0) ? NULL : value->char_at_addr(offset);
265 return SymbolTable::probe_unicode(base, length);
266 }
269 int java_lang_String::utf8_length(oop java_string) {
270 typeArrayOop value = java_lang_String::value(java_string);
271 int offset = java_lang_String::offset(java_string);
272 int length = java_lang_String::length(java_string);
273 jchar* position = (length == 0) ? NULL : value->char_at_addr(offset);
274 return UNICODE::utf8_length(position, length);
275 }
277 char* java_lang_String::as_utf8_string(oop java_string) {
278 typeArrayOop value = java_lang_String::value(java_string);
279 int offset = java_lang_String::offset(java_string);
280 int length = java_lang_String::length(java_string);
281 jchar* position = (length == 0) ? NULL : value->char_at_addr(offset);
282 return UNICODE::as_utf8(position, length);
283 }
285 char* java_lang_String::as_utf8_string(oop java_string, int start, int len) {
286 typeArrayOop value = java_lang_String::value(java_string);
287 int offset = java_lang_String::offset(java_string);
288 int length = java_lang_String::length(java_string);
289 assert(start + len <= length, "just checking");
290 jchar* position = value->char_at_addr(offset + start);
291 return UNICODE::as_utf8(position, len);
292 }
294 bool java_lang_String::equals(oop java_string, jchar* chars, int len) {
295 assert(SharedSkipVerify ||
296 java_string->klass() == SystemDictionary::string_klass(),
297 "must be java_string");
298 typeArrayOop value = java_lang_String::value(java_string);
299 int offset = java_lang_String::offset(java_string);
300 int length = java_lang_String::length(java_string);
301 if (length != len) {
302 return false;
303 }
304 for (int i = 0; i < len; i++) {
305 if (value->char_at(i + offset) != chars[i]) {
306 return false;
307 }
308 }
309 return true;
310 }
312 void java_lang_String::print(Handle java_string, outputStream* st) {
313 oop obj = java_string();
314 assert(obj->klass() == SystemDictionary::string_klass(), "must be java_string");
315 typeArrayOop value = java_lang_String::value(obj);
316 int offset = java_lang_String::offset(obj);
317 int length = java_lang_String::length(obj);
319 int end = MIN2(length, 100);
320 if (value == NULL) {
321 // This can happen if, e.g., printing a String
322 // object before its initializer has been called
323 st->print_cr("NULL");
324 } else {
325 st->print("\"");
326 for (int index = 0; index < length; index++) {
327 st->print("%c", value->char_at(index + offset));
328 }
329 st->print("\"");
330 }
331 }
334 oop java_lang_Class::create_mirror(KlassHandle k, TRAPS) {
335 assert(k->java_mirror() == NULL, "should only assign mirror once");
336 // Use this moment of initialization to cache modifier_flags also,
337 // to support Class.getModifiers(). Instance classes recalculate
338 // the cached flags after the class file is parsed, but before the
339 // class is put into the system dictionary.
340 int computed_modifiers = k->compute_modifier_flags(CHECK_0);
341 k->set_modifier_flags(computed_modifiers);
342 if (SystemDictionary::class_klass_loaded()) {
343 // Allocate mirror (java.lang.Class instance)
344 Handle mirror = instanceKlass::cast(SystemDictionary::class_klass())->allocate_permanent_instance(CHECK_0);
345 // Setup indirections
346 mirror->obj_field_put(klass_offset, k());
347 k->set_java_mirror(mirror());
348 // It might also have a component mirror. This mirror must already exist.
349 if (k->oop_is_javaArray()) {
350 Handle comp_mirror;
351 if (k->oop_is_typeArray()) {
352 BasicType type = typeArrayKlass::cast(k->as_klassOop())->element_type();
353 comp_mirror = Universe::java_mirror(type);
354 assert(comp_mirror.not_null(), "must have primitive mirror");
355 } else if (k->oop_is_objArray()) {
356 klassOop element_klass = objArrayKlass::cast(k->as_klassOop())->element_klass();
357 if (element_klass != NULL
358 && (Klass::cast(element_klass)->oop_is_instance() ||
359 Klass::cast(element_klass)->oop_is_javaArray())) {
360 comp_mirror = Klass::cast(element_klass)->java_mirror();
361 assert(comp_mirror.not_null(), "must have element mirror");
362 }
363 // else some object array internal to the VM, like systemObjArrayKlassObj
364 }
365 if (comp_mirror.not_null()) {
366 // Two-way link between the array klass and its component mirror:
367 arrayKlass::cast(k->as_klassOop())->set_component_mirror(comp_mirror());
368 set_array_klass(comp_mirror(), k->as_klassOop());
369 }
370 }
371 return mirror();
372 } else {
373 return NULL;
374 }
375 }
378 oop java_lang_Class::create_basic_type_mirror(const char* basic_type_name, BasicType type, TRAPS) {
379 // This should be improved by adding a field at the Java level or by
380 // introducing a new VM klass (see comment in ClassFileParser)
381 oop java_class = instanceKlass::cast(SystemDictionary::class_klass())->allocate_permanent_instance(CHECK_0);
382 if (type != T_VOID) {
383 klassOop aklass = Universe::typeArrayKlassObj(type);
384 assert(aklass != NULL, "correct bootstrap");
385 set_array_klass(java_class, aklass);
386 }
387 return java_class;
388 }
391 klassOop java_lang_Class::as_klassOop(oop java_class) {
392 //%note memory_2
393 klassOop k = klassOop(java_class->obj_field(klass_offset));
394 assert(k == NULL || k->is_klass(), "type check");
395 return k;
396 }
399 void java_lang_Class::print_signature(oop java_class, outputStream* st) {
400 assert(java_lang_Class::is_instance(java_class), "must be a Class object");
401 symbolOop name = NULL;
402 bool is_instance = false;
403 if (is_primitive(java_class)) {
404 name = vmSymbols::type_signature(primitive_type(java_class));
405 } else {
406 klassOop k = as_klassOop(java_class);
407 is_instance = Klass::cast(k)->oop_is_instance();
408 name = Klass::cast(k)->name();
409 }
410 if (name == NULL) {
411 st->print("<null>");
412 return;
413 }
414 if (is_instance) st->print("L");
415 st->write((char*) name->base(), (int) name->utf8_length());
416 if (is_instance) st->print(";");
417 }
419 symbolOop java_lang_Class::as_signature(oop java_class, bool intern_if_not_found, TRAPS) {
420 assert(java_lang_Class::is_instance(java_class), "must be a Class object");
421 symbolOop name = NULL;
422 if (is_primitive(java_class)) {
423 return vmSymbols::type_signature(primitive_type(java_class));
424 } else {
425 klassOop k = as_klassOop(java_class);
426 if (!Klass::cast(k)->oop_is_instance()) {
427 return Klass::cast(k)->name();
428 } else {
429 ResourceMark rm;
430 const char* sigstr = Klass::cast(k)->signature_name();
431 int siglen = (int) strlen(sigstr);
432 if (!intern_if_not_found)
433 return SymbolTable::probe(sigstr, siglen);
434 else
435 return oopFactory::new_symbol(sigstr, siglen, THREAD);
436 }
437 }
438 }
441 klassOop java_lang_Class::array_klass(oop java_class) {
442 klassOop k = klassOop(java_class->obj_field(array_klass_offset));
443 assert(k == NULL || k->is_klass() && Klass::cast(k)->oop_is_javaArray(), "should be array klass");
444 return k;
445 }
448 void java_lang_Class::set_array_klass(oop java_class, klassOop klass) {
449 assert(klass->is_klass() && Klass::cast(klass)->oop_is_javaArray(), "should be array klass");
450 java_class->obj_field_put(array_klass_offset, klass);
451 }
454 methodOop java_lang_Class::resolved_constructor(oop java_class) {
455 oop constructor = java_class->obj_field(resolved_constructor_offset);
456 assert(constructor == NULL || constructor->is_method(), "should be method");
457 return methodOop(constructor);
458 }
461 void java_lang_Class::set_resolved_constructor(oop java_class, methodOop constructor) {
462 assert(constructor->is_method(), "should be method");
463 java_class->obj_field_put(resolved_constructor_offset, constructor);
464 }
467 bool java_lang_Class::is_primitive(oop java_class) {
468 // should assert:
469 //assert(java_lang_Class::is_instance(java_class), "must be a Class object");
470 klassOop k = klassOop(java_class->obj_field(klass_offset));
471 return k == NULL;
472 }
475 BasicType java_lang_Class::primitive_type(oop java_class) {
476 assert(java_lang_Class::is_primitive(java_class), "just checking");
477 klassOop ak = klassOop(java_class->obj_field(array_klass_offset));
478 BasicType type = T_VOID;
479 if (ak != NULL) {
480 // Note: create_basic_type_mirror above initializes ak to a non-null value.
481 type = arrayKlass::cast(ak)->element_type();
482 } else {
483 assert(java_class == Universe::void_mirror(), "only valid non-array primitive");
484 }
485 assert(Universe::java_mirror(type) == java_class, "must be consistent");
486 return type;
487 }
489 BasicType java_lang_Class::as_BasicType(oop java_class, klassOop* reference_klass) {
490 assert(java_lang_Class::is_instance(java_class), "must be a Class object");
491 if (is_primitive(java_class)) {
492 if (reference_klass != NULL)
493 (*reference_klass) = NULL;
494 return primitive_type(java_class);
495 } else {
496 if (reference_klass != NULL)
497 (*reference_klass) = as_klassOop(java_class);
498 return T_OBJECT;
499 }
500 }
503 oop java_lang_Class::primitive_mirror(BasicType t) {
504 oop mirror = Universe::java_mirror(t);
505 assert(mirror != NULL && mirror->is_a(SystemDictionary::class_klass()), "must be a Class");
506 assert(java_lang_Class::is_primitive(mirror), "must be primitive");
507 return mirror;
508 }
510 bool java_lang_Class::offsets_computed = false;
511 int java_lang_Class::classRedefinedCount_offset = -1;
512 int java_lang_Class::parallelCapable_offset = -1;
514 void java_lang_Class::compute_offsets() {
515 assert(!offsets_computed, "offsets should be initialized only once");
516 offsets_computed = true;
518 klassOop k = SystemDictionary::class_klass();
519 // The classRedefinedCount field is only present starting in 1.5,
520 // so don't go fatal.
521 compute_optional_offset(classRedefinedCount_offset,
522 k, vmSymbols::classRedefinedCount_name(), vmSymbols::int_signature());
524 // The field indicating parallelCapable (parallelLockMap) is only present starting in 7,
525 klassOop k1 = SystemDictionary::classloader_klass();
526 compute_optional_offset(parallelCapable_offset,
527 k1, vmSymbols::parallelCapable_name(), vmSymbols::concurrenthashmap_signature());
528 }
530 // For class loader classes, parallelCapable defined
531 // based on non-null field
532 // Written to by java.lang.ClassLoader, vm only reads this field, doesn't set it
533 bool java_lang_Class::parallelCapable(oop class_loader) {
534 if (!JDK_Version::is_gte_jdk17x_version()
535 || parallelCapable_offset == -1) {
536 // Default for backward compatibility is false
537 return false;
538 }
539 return (class_loader->obj_field(parallelCapable_offset) != NULL);
540 }
542 int java_lang_Class::classRedefinedCount(oop the_class_mirror) {
543 if (!JDK_Version::is_gte_jdk15x_version()
544 || classRedefinedCount_offset == -1) {
545 // The classRedefinedCount field is only present starting in 1.5.
546 // If we don't have an offset for it then just return -1 as a marker.
547 return -1;
548 }
550 return the_class_mirror->int_field(classRedefinedCount_offset);
551 }
553 void java_lang_Class::set_classRedefinedCount(oop the_class_mirror, int value) {
554 if (!JDK_Version::is_gte_jdk15x_version()
555 || classRedefinedCount_offset == -1) {
556 // The classRedefinedCount field is only present starting in 1.5.
557 // If we don't have an offset for it then nothing to set.
558 return;
559 }
561 the_class_mirror->int_field_put(classRedefinedCount_offset, value);
562 }
565 // Note: JDK1.1 and before had a privateInfo_offset field which was used for the
566 // platform thread structure, and a eetop offset which was used for thread
567 // local storage (and unused by the HotSpot VM). In JDK1.2 the two structures
568 // merged, so in the HotSpot VM we just use the eetop field for the thread
569 // instead of the privateInfo_offset.
570 //
571 // Note: The stackSize field is only present starting in 1.4.
573 int java_lang_Thread::_name_offset = 0;
574 int java_lang_Thread::_group_offset = 0;
575 int java_lang_Thread::_contextClassLoader_offset = 0;
576 int java_lang_Thread::_inheritedAccessControlContext_offset = 0;
577 int java_lang_Thread::_priority_offset = 0;
578 int java_lang_Thread::_eetop_offset = 0;
579 int java_lang_Thread::_daemon_offset = 0;
580 int java_lang_Thread::_stillborn_offset = 0;
581 int java_lang_Thread::_stackSize_offset = 0;
582 int java_lang_Thread::_tid_offset = 0;
583 int java_lang_Thread::_thread_status_offset = 0;
584 int java_lang_Thread::_park_blocker_offset = 0;
585 int java_lang_Thread::_park_event_offset = 0 ;
588 void java_lang_Thread::compute_offsets() {
589 assert(_group_offset == 0, "offsets should be initialized only once");
591 klassOop k = SystemDictionary::thread_klass();
592 compute_offset(_name_offset, k, vmSymbols::name_name(), vmSymbols::char_array_signature());
593 compute_offset(_group_offset, k, vmSymbols::group_name(), vmSymbols::threadgroup_signature());
594 compute_offset(_contextClassLoader_offset, k, vmSymbols::contextClassLoader_name(), vmSymbols::classloader_signature());
595 compute_offset(_inheritedAccessControlContext_offset, k, vmSymbols::inheritedAccessControlContext_name(), vmSymbols::accesscontrolcontext_signature());
596 compute_offset(_priority_offset, k, vmSymbols::priority_name(), vmSymbols::int_signature());
597 compute_offset(_daemon_offset, k, vmSymbols::daemon_name(), vmSymbols::bool_signature());
598 compute_offset(_eetop_offset, k, vmSymbols::eetop_name(), vmSymbols::long_signature());
599 compute_offset(_stillborn_offset, k, vmSymbols::stillborn_name(), vmSymbols::bool_signature());
600 // The stackSize field is only present starting in 1.4, so don't go fatal.
601 compute_optional_offset(_stackSize_offset, k, vmSymbols::stackSize_name(), vmSymbols::long_signature());
602 // The tid and thread_status fields are only present starting in 1.5, so don't go fatal.
603 compute_optional_offset(_tid_offset, k, vmSymbols::thread_id_name(), vmSymbols::long_signature());
604 compute_optional_offset(_thread_status_offset, k, vmSymbols::thread_status_name(), vmSymbols::int_signature());
605 // The parkBlocker field is only present starting in 1.6, so don't go fatal.
606 compute_optional_offset(_park_blocker_offset, k, vmSymbols::park_blocker_name(), vmSymbols::object_signature());
607 compute_optional_offset(_park_event_offset, k, vmSymbols::park_event_name(),
608 vmSymbols::long_signature());
609 }
612 JavaThread* java_lang_Thread::thread(oop java_thread) {
613 return (JavaThread*)java_thread->address_field(_eetop_offset);
614 }
617 void java_lang_Thread::set_thread(oop java_thread, JavaThread* thread) {
618 java_thread->address_field_put(_eetop_offset, (address)thread);
619 }
622 typeArrayOop java_lang_Thread::name(oop java_thread) {
623 oop name = java_thread->obj_field(_name_offset);
624 assert(name == NULL || (name->is_typeArray() && typeArrayKlass::cast(name->klass())->element_type() == T_CHAR), "just checking");
625 return typeArrayOop(name);
626 }
629 void java_lang_Thread::set_name(oop java_thread, typeArrayOop name) {
630 assert(java_thread->obj_field(_name_offset) == NULL, "name should be NULL");
631 java_thread->obj_field_put(_name_offset, name);
632 }
635 ThreadPriority java_lang_Thread::priority(oop java_thread) {
636 return (ThreadPriority)java_thread->int_field(_priority_offset);
637 }
640 void java_lang_Thread::set_priority(oop java_thread, ThreadPriority priority) {
641 java_thread->int_field_put(_priority_offset, priority);
642 }
645 oop java_lang_Thread::threadGroup(oop java_thread) {
646 return java_thread->obj_field(_group_offset);
647 }
650 bool java_lang_Thread::is_stillborn(oop java_thread) {
651 return java_thread->bool_field(_stillborn_offset) != 0;
652 }
655 // We never have reason to turn the stillborn bit off
656 void java_lang_Thread::set_stillborn(oop java_thread) {
657 java_thread->bool_field_put(_stillborn_offset, true);
658 }
661 bool java_lang_Thread::is_alive(oop java_thread) {
662 JavaThread* thr = java_lang_Thread::thread(java_thread);
663 return (thr != NULL);
664 }
667 bool java_lang_Thread::is_daemon(oop java_thread) {
668 return java_thread->bool_field(_daemon_offset) != 0;
669 }
672 void java_lang_Thread::set_daemon(oop java_thread) {
673 java_thread->bool_field_put(_daemon_offset, true);
674 }
676 oop java_lang_Thread::context_class_loader(oop java_thread) {
677 return java_thread->obj_field(_contextClassLoader_offset);
678 }
680 oop java_lang_Thread::inherited_access_control_context(oop java_thread) {
681 return java_thread->obj_field(_inheritedAccessControlContext_offset);
682 }
685 jlong java_lang_Thread::stackSize(oop java_thread) {
686 // The stackSize field is only present starting in 1.4
687 if (_stackSize_offset > 0) {
688 assert(JDK_Version::is_gte_jdk14x_version(), "sanity check");
689 return java_thread->long_field(_stackSize_offset);
690 } else {
691 return 0;
692 }
693 }
695 // Write the thread status value to threadStatus field in java.lang.Thread java class.
696 void java_lang_Thread::set_thread_status(oop java_thread,
697 java_lang_Thread::ThreadStatus status) {
698 assert(JavaThread::current()->thread_state() == _thread_in_vm, "Java Thread is not running in vm");
699 // The threadStatus is only present starting in 1.5
700 if (_thread_status_offset > 0) {
701 java_thread->int_field_put(_thread_status_offset, status);
702 }
703 }
705 // Read thread status value from threadStatus field in java.lang.Thread java class.
706 java_lang_Thread::ThreadStatus java_lang_Thread::get_thread_status(oop java_thread) {
707 assert(Thread::current()->is_VM_thread() ||
708 JavaThread::current()->thread_state() == _thread_in_vm,
709 "Java Thread is not running in vm");
710 // The threadStatus is only present starting in 1.5
711 if (_thread_status_offset > 0) {
712 return (java_lang_Thread::ThreadStatus)java_thread->int_field(_thread_status_offset);
713 } else {
714 // All we can easily figure out is if it is alive, but that is
715 // enough info for a valid unknown status.
716 // These aren't restricted to valid set ThreadStatus values, so
717 // use JVMTI values and cast.
718 JavaThread* thr = java_lang_Thread::thread(java_thread);
719 if (thr == NULL) {
720 // the thread hasn't run yet or is in the process of exiting
721 return NEW;
722 }
723 return (java_lang_Thread::ThreadStatus)JVMTI_THREAD_STATE_ALIVE;
724 }
725 }
728 jlong java_lang_Thread::thread_id(oop java_thread) {
729 // The thread ID field is only present starting in 1.5
730 if (_tid_offset > 0) {
731 return java_thread->long_field(_tid_offset);
732 } else {
733 return 0;
734 }
735 }
737 oop java_lang_Thread::park_blocker(oop java_thread) {
738 assert(JDK_Version::current().supports_thread_park_blocker() &&
739 _park_blocker_offset != 0, "Must support parkBlocker field");
741 if (_park_blocker_offset > 0) {
742 return java_thread->obj_field(_park_blocker_offset);
743 }
745 return NULL;
746 }
748 jlong java_lang_Thread::park_event(oop java_thread) {
749 if (_park_event_offset > 0) {
750 return java_thread->long_field(_park_event_offset);
751 }
752 return 0;
753 }
755 bool java_lang_Thread::set_park_event(oop java_thread, jlong ptr) {
756 if (_park_event_offset > 0) {
757 java_thread->long_field_put(_park_event_offset, ptr);
758 return true;
759 }
760 return false;
761 }
764 const char* java_lang_Thread::thread_status_name(oop java_thread) {
765 assert(JDK_Version::is_gte_jdk15x_version() && _thread_status_offset != 0, "Must have thread status");
766 ThreadStatus status = (java_lang_Thread::ThreadStatus)java_thread->int_field(_thread_status_offset);
767 switch (status) {
768 case NEW : return "NEW";
769 case RUNNABLE : return "RUNNABLE";
770 case SLEEPING : return "TIMED_WAITING (sleeping)";
771 case IN_OBJECT_WAIT : return "WAITING (on object monitor)";
772 case IN_OBJECT_WAIT_TIMED : return "TIMED_WAITING (on object monitor)";
773 case PARKED : return "WAITING (parking)";
774 case PARKED_TIMED : return "TIMED_WAITING (parking)";
775 case BLOCKED_ON_MONITOR_ENTER : return "BLOCKED (on object monitor)";
776 case TERMINATED : return "TERMINATED";
777 default : return "UNKNOWN";
778 };
779 }
780 int java_lang_ThreadGroup::_parent_offset = 0;
781 int java_lang_ThreadGroup::_name_offset = 0;
782 int java_lang_ThreadGroup::_threads_offset = 0;
783 int java_lang_ThreadGroup::_groups_offset = 0;
784 int java_lang_ThreadGroup::_maxPriority_offset = 0;
785 int java_lang_ThreadGroup::_destroyed_offset = 0;
786 int java_lang_ThreadGroup::_daemon_offset = 0;
787 int java_lang_ThreadGroup::_vmAllowSuspension_offset = 0;
788 int java_lang_ThreadGroup::_nthreads_offset = 0;
789 int java_lang_ThreadGroup::_ngroups_offset = 0;
791 oop java_lang_ThreadGroup::parent(oop java_thread_group) {
792 assert(java_thread_group->is_oop(), "thread group must be oop");
793 return java_thread_group->obj_field(_parent_offset);
794 }
796 // ("name as oop" accessor is not necessary)
798 typeArrayOop java_lang_ThreadGroup::name(oop java_thread_group) {
799 oop name = java_thread_group->obj_field(_name_offset);
800 // ThreadGroup.name can be null
801 return name == NULL ? (typeArrayOop)NULL : java_lang_String::value(name);
802 }
804 int java_lang_ThreadGroup::nthreads(oop java_thread_group) {
805 assert(java_thread_group->is_oop(), "thread group must be oop");
806 return java_thread_group->int_field(_nthreads_offset);
807 }
809 objArrayOop java_lang_ThreadGroup::threads(oop java_thread_group) {
810 oop threads = java_thread_group->obj_field(_threads_offset);
811 assert(threads != NULL, "threadgroups should have threads");
812 assert(threads->is_objArray(), "just checking"); // Todo: Add better type checking code
813 return objArrayOop(threads);
814 }
816 int java_lang_ThreadGroup::ngroups(oop java_thread_group) {
817 assert(java_thread_group->is_oop(), "thread group must be oop");
818 return java_thread_group->int_field(_ngroups_offset);
819 }
821 objArrayOop java_lang_ThreadGroup::groups(oop java_thread_group) {
822 oop groups = java_thread_group->obj_field(_groups_offset);
823 assert(groups == NULL || groups->is_objArray(), "just checking"); // Todo: Add better type checking code
824 return objArrayOop(groups);
825 }
827 ThreadPriority java_lang_ThreadGroup::maxPriority(oop java_thread_group) {
828 assert(java_thread_group->is_oop(), "thread group must be oop");
829 return (ThreadPriority) java_thread_group->int_field(_maxPriority_offset);
830 }
832 bool java_lang_ThreadGroup::is_destroyed(oop java_thread_group) {
833 assert(java_thread_group->is_oop(), "thread group must be oop");
834 return java_thread_group->bool_field(_destroyed_offset) != 0;
835 }
837 bool java_lang_ThreadGroup::is_daemon(oop java_thread_group) {
838 assert(java_thread_group->is_oop(), "thread group must be oop");
839 return java_thread_group->bool_field(_daemon_offset) != 0;
840 }
842 bool java_lang_ThreadGroup::is_vmAllowSuspension(oop java_thread_group) {
843 assert(java_thread_group->is_oop(), "thread group must be oop");
844 return java_thread_group->bool_field(_vmAllowSuspension_offset) != 0;
845 }
847 void java_lang_ThreadGroup::compute_offsets() {
848 assert(_parent_offset == 0, "offsets should be initialized only once");
850 klassOop k = SystemDictionary::threadGroup_klass();
852 compute_offset(_parent_offset, k, vmSymbols::parent_name(), vmSymbols::threadgroup_signature());
853 compute_offset(_name_offset, k, vmSymbols::name_name(), vmSymbols::string_signature());
854 compute_offset(_threads_offset, k, vmSymbols::threads_name(), vmSymbols::thread_array_signature());
855 compute_offset(_groups_offset, k, vmSymbols::groups_name(), vmSymbols::threadgroup_array_signature());
856 compute_offset(_maxPriority_offset, k, vmSymbols::maxPriority_name(), vmSymbols::int_signature());
857 compute_offset(_destroyed_offset, k, vmSymbols::destroyed_name(), vmSymbols::bool_signature());
858 compute_offset(_daemon_offset, k, vmSymbols::daemon_name(), vmSymbols::bool_signature());
859 compute_offset(_vmAllowSuspension_offset, k, vmSymbols::vmAllowSuspension_name(), vmSymbols::bool_signature());
860 compute_offset(_nthreads_offset, k, vmSymbols::nthreads_name(), vmSymbols::int_signature());
861 compute_offset(_ngroups_offset, k, vmSymbols::ngroups_name(), vmSymbols::int_signature());
862 }
864 oop java_lang_Throwable::backtrace(oop throwable) {
865 return throwable->obj_field_acquire(backtrace_offset);
866 }
869 void java_lang_Throwable::set_backtrace(oop throwable, oop value) {
870 throwable->release_obj_field_put(backtrace_offset, value);
871 }
874 oop java_lang_Throwable::message(oop throwable) {
875 return throwable->obj_field(detailMessage_offset);
876 }
879 oop java_lang_Throwable::message(Handle throwable) {
880 return throwable->obj_field(detailMessage_offset);
881 }
884 void java_lang_Throwable::set_message(oop throwable, oop value) {
885 throwable->obj_field_put(detailMessage_offset, value);
886 }
889 void java_lang_Throwable::clear_stacktrace(oop throwable) {
890 assert(JDK_Version::is_gte_jdk14x_version(), "should only be called in >= 1.4");
891 throwable->obj_field_put(stackTrace_offset, NULL);
892 }
895 void java_lang_Throwable::print(oop throwable, outputStream* st) {
896 ResourceMark rm;
897 klassOop k = throwable->klass();
898 assert(k != NULL, "just checking");
899 st->print("%s", instanceKlass::cast(k)->external_name());
900 oop msg = message(throwable);
901 if (msg != NULL) {
902 st->print(": %s", java_lang_String::as_utf8_string(msg));
903 }
904 }
907 void java_lang_Throwable::print(Handle throwable, outputStream* st) {
908 ResourceMark rm;
909 klassOop k = throwable->klass();
910 assert(k != NULL, "just checking");
911 st->print("%s", instanceKlass::cast(k)->external_name());
912 oop msg = message(throwable);
913 if (msg != NULL) {
914 st->print(": %s", java_lang_String::as_utf8_string(msg));
915 }
916 }
918 // Print stack trace element to resource allocated buffer
919 char* java_lang_Throwable::print_stack_element_to_buffer(methodOop method, int bci) {
920 // Get strings and string lengths
921 instanceKlass* klass = instanceKlass::cast(method->method_holder());
922 const char* klass_name = klass->external_name();
923 int buf_len = (int)strlen(klass_name);
924 char* source_file_name;
925 if (klass->source_file_name() == NULL) {
926 source_file_name = NULL;
927 } else {
928 source_file_name = klass->source_file_name()->as_C_string();
929 buf_len += (int)strlen(source_file_name);
930 }
931 char* method_name = method->name()->as_C_string();
932 buf_len += (int)strlen(method_name);
934 // Allocate temporary buffer with extra space for formatting and line number
935 char* buf = NEW_RESOURCE_ARRAY(char, buf_len + 64);
937 // Print stack trace line in buffer
938 sprintf(buf, "\tat %s.%s", klass_name, method_name);
939 if (method->is_native()) {
940 strcat(buf, "(Native Method)");
941 } else {
942 int line_number = method->line_number_from_bci(bci);
943 if (source_file_name != NULL && (line_number != -1)) {
944 // Sourcename and linenumber
945 sprintf(buf + (int)strlen(buf), "(%s:%d)", source_file_name, line_number);
946 } else if (source_file_name != NULL) {
947 // Just sourcename
948 sprintf(buf + (int)strlen(buf), "(%s)", source_file_name);
949 } else {
950 // Neither soucename and linenumber
951 sprintf(buf + (int)strlen(buf), "(Unknown Source)");
952 }
953 nmethod* nm = method->code();
954 if (WizardMode && nm != NULL) {
955 sprintf(buf + (int)strlen(buf), "(nmethod " PTR_FORMAT ")", (intptr_t)nm);
956 }
957 }
959 return buf;
960 }
963 void java_lang_Throwable::print_stack_element(Handle stream, methodOop method, int bci) {
964 ResourceMark rm;
965 char* buf = print_stack_element_to_buffer(method, bci);
966 print_to_stream(stream, buf);
967 }
969 void java_lang_Throwable::print_stack_element(outputStream *st, methodOop method, int bci) {
970 ResourceMark rm;
971 char* buf = print_stack_element_to_buffer(method, bci);
972 st->print_cr("%s", buf);
973 }
975 void java_lang_Throwable::print_to_stream(Handle stream, const char* str) {
976 if (stream.is_null()) {
977 tty->print_cr("%s", str);
978 } else {
979 EXCEPTION_MARK;
980 JavaValue result(T_VOID);
981 Handle arg (THREAD, oopFactory::new_charArray(str, THREAD));
982 if (!HAS_PENDING_EXCEPTION) {
983 JavaCalls::call_virtual(&result,
984 stream,
985 KlassHandle(THREAD, stream->klass()),
986 vmSymbolHandles::println_name(),
987 vmSymbolHandles::char_array_void_signature(),
988 arg,
989 THREAD);
990 }
991 // Ignore any exceptions. we are in the middle of exception handling. Same as classic VM.
992 if (HAS_PENDING_EXCEPTION) CLEAR_PENDING_EXCEPTION;
993 }
995 }
998 const char* java_lang_Throwable::no_stack_trace_message() {
999 return "\t<<no stack trace available>>";
1000 }
1003 // Currently used only for exceptions occurring during startup
1004 void java_lang_Throwable::print_stack_trace(oop throwable, outputStream* st) {
1005 Thread *THREAD = Thread::current();
1006 Handle h_throwable(THREAD, throwable);
1007 while (h_throwable.not_null()) {
1008 objArrayHandle result (THREAD, objArrayOop(backtrace(h_throwable())));
1009 if (result.is_null()) {
1010 st->print_cr(no_stack_trace_message());
1011 return;
1012 }
1014 while (result.not_null()) {
1015 objArrayHandle methods (THREAD,
1016 objArrayOop(result->obj_at(trace_methods_offset)));
1017 typeArrayHandle bcis (THREAD,
1018 typeArrayOop(result->obj_at(trace_bcis_offset)));
1020 if (methods.is_null() || bcis.is_null()) {
1021 st->print_cr(no_stack_trace_message());
1022 return;
1023 }
1025 int length = methods()->length();
1026 for (int index = 0; index < length; index++) {
1027 methodOop method = methodOop(methods()->obj_at(index));
1028 if (method == NULL) goto handle_cause;
1029 int bci = bcis->ushort_at(index);
1030 print_stack_element(st, method, bci);
1031 }
1032 result = objArrayHandle(THREAD, objArrayOop(result->obj_at(trace_next_offset)));
1033 }
1034 handle_cause:
1035 {
1036 EXCEPTION_MARK;
1037 JavaValue result(T_OBJECT);
1038 JavaCalls::call_virtual(&result,
1039 h_throwable,
1040 KlassHandle(THREAD, h_throwable->klass()),
1041 vmSymbolHandles::getCause_name(),
1042 vmSymbolHandles::void_throwable_signature(),
1043 THREAD);
1044 // Ignore any exceptions. we are in the middle of exception handling. Same as classic VM.
1045 if (HAS_PENDING_EXCEPTION) {
1046 CLEAR_PENDING_EXCEPTION;
1047 h_throwable = Handle();
1048 } else {
1049 h_throwable = Handle(THREAD, (oop) result.get_jobject());
1050 if (h_throwable.not_null()) {
1051 st->print("Caused by: ");
1052 print(h_throwable, st);
1053 st->cr();
1054 }
1055 }
1056 }
1057 }
1058 }
1061 void java_lang_Throwable::print_stack_trace(oop throwable, oop print_stream) {
1062 // Note: this is no longer used in Merlin, but we support it for compatibility.
1063 Thread *thread = Thread::current();
1064 Handle stream(thread, print_stream);
1065 objArrayHandle result (thread, objArrayOop(backtrace(throwable)));
1066 if (result.is_null()) {
1067 print_to_stream(stream, no_stack_trace_message());
1068 return;
1069 }
1071 while (result.not_null()) {
1072 objArrayHandle methods (thread,
1073 objArrayOop(result->obj_at(trace_methods_offset)));
1074 typeArrayHandle bcis (thread,
1075 typeArrayOop(result->obj_at(trace_bcis_offset)));
1077 if (methods.is_null() || bcis.is_null()) {
1078 print_to_stream(stream, no_stack_trace_message());
1079 return;
1080 }
1082 int length = methods()->length();
1083 for (int index = 0; index < length; index++) {
1084 methodOop method = methodOop(methods()->obj_at(index));
1085 if (method == NULL) return;
1086 int bci = bcis->ushort_at(index);
1087 print_stack_element(stream, method, bci);
1088 }
1089 result = objArrayHandle(thread, objArrayOop(result->obj_at(trace_next_offset)));
1090 }
1091 }
1093 // This class provides a simple wrapper over the internal structure of
1094 // exception backtrace to insulate users of the backtrace from needing
1095 // to know what it looks like.
1096 class BacktraceBuilder: public StackObj {
1097 private:
1098 Handle _backtrace;
1099 objArrayOop _head;
1100 objArrayOop _methods;
1101 typeArrayOop _bcis;
1102 int _index;
1103 bool _dirty;
1104 No_Safepoint_Verifier _nsv;
1106 public:
1108 enum {
1109 trace_methods_offset = java_lang_Throwable::trace_methods_offset,
1110 trace_bcis_offset = java_lang_Throwable::trace_bcis_offset,
1111 trace_next_offset = java_lang_Throwable::trace_next_offset,
1112 trace_size = java_lang_Throwable::trace_size,
1113 trace_chunk_size = java_lang_Throwable::trace_chunk_size
1114 };
1116 // constructor for new backtrace
1117 BacktraceBuilder(TRAPS): _methods(NULL), _bcis(NULL), _head(NULL), _dirty(false) {
1118 expand(CHECK);
1119 _backtrace = _head;
1120 _index = 0;
1121 }
1123 void flush() {
1124 if (_dirty && _methods != NULL) {
1125 BarrierSet* bs = Universe::heap()->barrier_set();
1126 assert(bs->has_write_ref_array_opt(), "Barrier set must have ref array opt");
1127 bs->write_ref_array(MemRegion((HeapWord*)_methods->base(),
1128 _methods->array_size()));
1129 _dirty = false;
1130 }
1131 }
1133 void expand(TRAPS) {
1134 flush();
1136 objArrayHandle old_head(THREAD, _head);
1137 Pause_No_Safepoint_Verifier pnsv(&_nsv);
1139 objArrayOop head = oopFactory::new_objectArray(trace_size, CHECK);
1140 objArrayHandle new_head(THREAD, head);
1142 objArrayOop methods = oopFactory::new_objectArray(trace_chunk_size, CHECK);
1143 objArrayHandle new_methods(THREAD, methods);
1145 typeArrayOop bcis = oopFactory::new_shortArray(trace_chunk_size, CHECK);
1146 typeArrayHandle new_bcis(THREAD, bcis);
1148 if (!old_head.is_null()) {
1149 old_head->obj_at_put(trace_next_offset, new_head());
1150 }
1151 new_head->obj_at_put(trace_methods_offset, new_methods());
1152 new_head->obj_at_put(trace_bcis_offset, new_bcis());
1154 _head = new_head();
1155 _methods = new_methods();
1156 _bcis = new_bcis();
1157 _index = 0;
1158 }
1160 oop backtrace() {
1161 flush();
1162 return _backtrace();
1163 }
1165 inline void push(methodOop method, short bci, TRAPS) {
1166 if (_index >= trace_chunk_size) {
1167 methodHandle mhandle(THREAD, method);
1168 expand(CHECK);
1169 method = mhandle();
1170 }
1172 _methods->obj_at_put(_index, method);
1173 // bad for UseCompressedOops
1174 // *_methods->obj_at_addr(_index) = method;
1175 _bcis->ushort_at_put(_index, bci);
1176 _index++;
1177 _dirty = true;
1178 }
1180 methodOop current_method() {
1181 assert(_index >= 0 && _index < trace_chunk_size, "out of range");
1182 return methodOop(_methods->obj_at(_index));
1183 }
1185 jushort current_bci() {
1186 assert(_index >= 0 && _index < trace_chunk_size, "out of range");
1187 return _bcis->ushort_at(_index);
1188 }
1189 };
1192 void java_lang_Throwable::fill_in_stack_trace(Handle throwable, TRAPS) {
1193 if (!StackTraceInThrowable) return;
1194 ResourceMark rm(THREAD);
1196 // Start out by clearing the backtrace for this object, in case the VM
1197 // runs out of memory while allocating the stack trace
1198 set_backtrace(throwable(), NULL);
1199 if (JDK_Version::is_gte_jdk14x_version()) {
1200 // New since 1.4, clear lazily constructed Java level stacktrace if
1201 // refilling occurs
1202 clear_stacktrace(throwable());
1203 }
1205 int max_depth = MaxJavaStackTraceDepth;
1206 JavaThread* thread = (JavaThread*)THREAD;
1207 BacktraceBuilder bt(CHECK);
1209 // Instead of using vframe directly, this version of fill_in_stack_trace
1210 // basically handles everything by hand. This significantly improved the
1211 // speed of this method call up to 28.5% on Solaris sparc. 27.1% on Windows.
1212 // See bug 6333838 for more details.
1213 // The "ASSERT" here is to verify this method generates the exactly same stack
1214 // trace as utilizing vframe.
1215 #ifdef ASSERT
1216 vframeStream st(thread);
1217 methodHandle st_method(THREAD, st.method());
1218 #endif
1219 int total_count = 0;
1220 RegisterMap map(thread, false);
1221 int decode_offset = 0;
1222 nmethod* nm = NULL;
1223 bool skip_fillInStackTrace_check = false;
1224 bool skip_throwableInit_check = false;
1226 for (frame fr = thread->last_frame(); max_depth != total_count;) {
1227 methodOop method = NULL;
1228 int bci = 0;
1230 // Compiled java method case.
1231 if (decode_offset != 0) {
1232 DebugInfoReadStream stream(nm, decode_offset);
1233 decode_offset = stream.read_int();
1234 method = (methodOop)nm->oop_at(stream.read_int());
1235 bci = stream.read_bci();
1236 } else {
1237 if (fr.is_first_frame()) break;
1238 address pc = fr.pc();
1239 if (fr.is_interpreted_frame()) {
1240 intptr_t bcx = fr.interpreter_frame_bcx();
1241 method = fr.interpreter_frame_method();
1242 bci = fr.is_bci(bcx) ? bcx : method->bci_from((address)bcx);
1243 fr = fr.sender(&map);
1244 } else {
1245 CodeBlob* cb = fr.cb();
1246 // HMMM QQQ might be nice to have frame return nm as NULL if cb is non-NULL
1247 // but non nmethod
1248 fr = fr.sender(&map);
1249 if (cb == NULL || !cb->is_nmethod()) {
1250 continue;
1251 }
1252 nm = (nmethod*)cb;
1253 if (nm->method()->is_native()) {
1254 method = nm->method();
1255 bci = 0;
1256 } else {
1257 PcDesc* pd = nm->pc_desc_at(pc);
1258 decode_offset = pd->scope_decode_offset();
1259 // if decode_offset is not equal to 0, it will execute the
1260 // "compiled java method case" at the beginning of the loop.
1261 continue;
1262 }
1263 }
1264 }
1265 #ifdef ASSERT
1266 assert(st_method() == method && st.bci() == bci,
1267 "Wrong stack trace");
1268 st.next();
1269 // vframeStream::method isn't GC-safe so store off a copy
1270 // of the methodOop in case we GC.
1271 if (!st.at_end()) {
1272 st_method = st.method();
1273 }
1274 #endif
1275 if (!skip_fillInStackTrace_check) {
1276 // check "fillInStackTrace" only once, so we negate the flag
1277 // after the first time check.
1278 skip_fillInStackTrace_check = true;
1279 if (method->name() == vmSymbols::fillInStackTrace_name()) {
1280 continue;
1281 }
1282 }
1283 // skip <init> methods of the exceptions klass. If there is <init> methods
1284 // that belongs to a superclass of the exception we are going to skipping
1285 // them in stack trace. This is simlar to classic VM.
1286 if (!skip_throwableInit_check) {
1287 if (method->name() == vmSymbols::object_initializer_name() &&
1288 throwable->is_a(method->method_holder())) {
1289 continue;
1290 } else {
1291 // if no "Throwable.init()" method found, we stop checking it next time.
1292 skip_throwableInit_check = true;
1293 }
1294 }
1295 bt.push(method, bci, CHECK);
1296 total_count++;
1297 }
1299 // Put completed stack trace into throwable object
1300 set_backtrace(throwable(), bt.backtrace());
1301 }
1303 void java_lang_Throwable::fill_in_stack_trace(Handle throwable) {
1304 // No-op if stack trace is disabled
1305 if (!StackTraceInThrowable) {
1306 return;
1307 }
1309 // Disable stack traces for some preallocated out of memory errors
1310 if (!Universe::should_fill_in_stack_trace(throwable)) {
1311 return;
1312 }
1314 PRESERVE_EXCEPTION_MARK;
1316 JavaThread* thread = JavaThread::active();
1317 fill_in_stack_trace(throwable, thread);
1318 // ignore exceptions thrown during stack trace filling
1319 CLEAR_PENDING_EXCEPTION;
1320 }
1322 void java_lang_Throwable::allocate_backtrace(Handle throwable, TRAPS) {
1323 // Allocate stack trace - backtrace is created but not filled in
1325 // No-op if stack trace is disabled
1326 if (!StackTraceInThrowable) return;
1328 objArrayOop h_oop = oopFactory::new_objectArray(trace_size, CHECK);
1329 objArrayHandle backtrace (THREAD, h_oop);
1330 objArrayOop m_oop = oopFactory::new_objectArray(trace_chunk_size, CHECK);
1331 objArrayHandle methods (THREAD, m_oop);
1332 typeArrayOop b = oopFactory::new_shortArray(trace_chunk_size, CHECK);
1333 typeArrayHandle bcis(THREAD, b);
1335 // backtrace has space for one chunk (next is NULL)
1336 backtrace->obj_at_put(trace_methods_offset, methods());
1337 backtrace->obj_at_put(trace_bcis_offset, bcis());
1338 set_backtrace(throwable(), backtrace());
1339 }
1342 void java_lang_Throwable::fill_in_stack_trace_of_preallocated_backtrace(Handle throwable) {
1343 // Fill in stack trace into preallocated backtrace (no GC)
1345 // No-op if stack trace is disabled
1346 if (!StackTraceInThrowable) return;
1348 assert(throwable->is_a(SystemDictionary::throwable_klass()), "sanity check");
1350 oop backtrace = java_lang_Throwable::backtrace(throwable());
1351 assert(backtrace != NULL, "backtrace not preallocated");
1353 oop m = objArrayOop(backtrace)->obj_at(trace_methods_offset);
1354 objArrayOop methods = objArrayOop(m);
1355 assert(methods != NULL && methods->length() > 0, "method array not preallocated");
1357 oop b = objArrayOop(backtrace)->obj_at(trace_bcis_offset);
1358 typeArrayOop bcis = typeArrayOop(b);
1359 assert(bcis != NULL, "bci array not preallocated");
1361 assert(methods->length() == bcis->length(), "method and bci arrays should match");
1363 JavaThread* thread = JavaThread::current();
1364 ResourceMark rm(thread);
1365 vframeStream st(thread);
1367 // Unlike fill_in_stack_trace we do not skip fillInStackTrace or throwable init
1368 // methods as preallocated errors aren't created by "java" code.
1370 // fill in as much stack trace as possible
1371 int max_chunks = MIN2(methods->length(), (int)MaxJavaStackTraceDepth);
1372 int chunk_count = 0;
1374 for (;!st.at_end(); st.next()) {
1375 // add element
1376 bcis->ushort_at_put(chunk_count, st.bci());
1377 methods->obj_at_put(chunk_count, st.method());
1379 chunk_count++;
1381 // Bail-out for deep stacks
1382 if (chunk_count >= max_chunks) break;
1383 }
1384 }
1387 int java_lang_Throwable::get_stack_trace_depth(oop throwable, TRAPS) {
1388 if (throwable == NULL) {
1389 THROW_0(vmSymbols::java_lang_NullPointerException());
1390 }
1391 objArrayOop chunk = objArrayOop(backtrace(throwable));
1392 int depth = 0;
1393 if (chunk != NULL) {
1394 // Iterate over chunks and count full ones
1395 while (true) {
1396 objArrayOop next = objArrayOop(chunk->obj_at(trace_next_offset));
1397 if (next == NULL) break;
1398 depth += trace_chunk_size;
1399 chunk = next;
1400 }
1401 assert(chunk != NULL && chunk->obj_at(trace_next_offset) == NULL, "sanity check");
1402 // Count element in remaining partial chunk
1403 objArrayOop methods = objArrayOop(chunk->obj_at(trace_methods_offset));
1404 typeArrayOop bcis = typeArrayOop(chunk->obj_at(trace_bcis_offset));
1405 assert(methods != NULL && bcis != NULL, "sanity check");
1406 for (int i = 0; i < methods->length(); i++) {
1407 if (methods->obj_at(i) == NULL) break;
1408 depth++;
1409 }
1410 }
1411 return depth;
1412 }
1415 oop java_lang_Throwable::get_stack_trace_element(oop throwable, int index, TRAPS) {
1416 if (throwable == NULL) {
1417 THROW_0(vmSymbols::java_lang_NullPointerException());
1418 }
1419 if (index < 0) {
1420 THROW_(vmSymbols::java_lang_IndexOutOfBoundsException(), NULL);
1421 }
1422 // Compute how many chunks to skip and index into actual chunk
1423 objArrayOop chunk = objArrayOop(backtrace(throwable));
1424 int skip_chunks = index / trace_chunk_size;
1425 int chunk_index = index % trace_chunk_size;
1426 while (chunk != NULL && skip_chunks > 0) {
1427 chunk = objArrayOop(chunk->obj_at(trace_next_offset));
1428 skip_chunks--;
1429 }
1430 if (chunk == NULL) {
1431 THROW_(vmSymbols::java_lang_IndexOutOfBoundsException(), NULL);
1432 }
1433 // Get method,bci from chunk
1434 objArrayOop methods = objArrayOop(chunk->obj_at(trace_methods_offset));
1435 typeArrayOop bcis = typeArrayOop(chunk->obj_at(trace_bcis_offset));
1436 assert(methods != NULL && bcis != NULL, "sanity check");
1437 methodHandle method(THREAD, methodOop(methods->obj_at(chunk_index)));
1438 int bci = bcis->ushort_at(chunk_index);
1439 // Chunk can be partial full
1440 if (method.is_null()) {
1441 THROW_(vmSymbols::java_lang_IndexOutOfBoundsException(), NULL);
1442 }
1444 oop element = java_lang_StackTraceElement::create(method, bci, CHECK_0);
1445 return element;
1446 }
1448 oop java_lang_StackTraceElement::create(methodHandle method, int bci, TRAPS) {
1449 // SystemDictionary::stackTraceElement_klass() will be null for pre-1.4 JDKs
1450 assert(JDK_Version::is_gte_jdk14x_version(), "should only be called in >= 1.4");
1452 // Allocate java.lang.StackTraceElement instance
1453 klassOop k = SystemDictionary::stackTraceElement_klass();
1454 assert(k != NULL, "must be loaded in 1.4+");
1455 instanceKlassHandle ik (THREAD, k);
1456 if (ik->should_be_initialized()) {
1457 ik->initialize(CHECK_0);
1458 }
1460 Handle element = ik->allocate_instance_handle(CHECK_0);
1461 // Fill in class name
1462 ResourceMark rm(THREAD);
1463 const char* str = instanceKlass::cast(method->method_holder())->external_name();
1464 oop classname = StringTable::intern((char*) str, CHECK_0);
1465 java_lang_StackTraceElement::set_declaringClass(element(), classname);
1466 // Fill in method name
1467 oop methodname = StringTable::intern(method->name(), CHECK_0);
1468 java_lang_StackTraceElement::set_methodName(element(), methodname);
1469 // Fill in source file name
1470 symbolOop source = instanceKlass::cast(method->method_holder())->source_file_name();
1471 oop filename = StringTable::intern(source, CHECK_0);
1472 java_lang_StackTraceElement::set_fileName(element(), filename);
1473 // File in source line number
1474 int line_number;
1475 if (method->is_native()) {
1476 // Negative value different from -1 below, enabling Java code in
1477 // class java.lang.StackTraceElement to distinguish "native" from
1478 // "no LineNumberTable".
1479 line_number = -2;
1480 } else {
1481 // Returns -1 if no LineNumberTable, and otherwise actual line number
1482 line_number = method->line_number_from_bci(bci);
1483 }
1484 java_lang_StackTraceElement::set_lineNumber(element(), line_number);
1486 return element();
1487 }
1490 void java_lang_reflect_AccessibleObject::compute_offsets() {
1491 klassOop k = SystemDictionary::reflect_accessible_object_klass();
1492 compute_offset(override_offset, k, vmSymbols::override_name(), vmSymbols::bool_signature());
1493 }
1495 jboolean java_lang_reflect_AccessibleObject::override(oop reflect) {
1496 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1497 return (jboolean) reflect->bool_field(override_offset);
1498 }
1500 void java_lang_reflect_AccessibleObject::set_override(oop reflect, jboolean value) {
1501 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1502 reflect->bool_field_put(override_offset, (int) value);
1503 }
1505 void java_lang_reflect_Method::compute_offsets() {
1506 klassOop k = SystemDictionary::reflect_method_klass();
1507 compute_offset(clazz_offset, k, vmSymbols::clazz_name(), vmSymbols::class_signature());
1508 compute_offset(name_offset, k, vmSymbols::name_name(), vmSymbols::string_signature());
1509 compute_offset(returnType_offset, k, vmSymbols::returnType_name(), vmSymbols::class_signature());
1510 compute_offset(parameterTypes_offset, k, vmSymbols::parameterTypes_name(), vmSymbols::class_array_signature());
1511 compute_offset(exceptionTypes_offset, k, vmSymbols::exceptionTypes_name(), vmSymbols::class_array_signature());
1512 compute_offset(slot_offset, k, vmSymbols::slot_name(), vmSymbols::int_signature());
1513 compute_offset(modifiers_offset, k, vmSymbols::modifiers_name(), vmSymbols::int_signature());
1514 // The generic signature and annotations fields are only present in 1.5
1515 signature_offset = -1;
1516 annotations_offset = -1;
1517 parameter_annotations_offset = -1;
1518 annotation_default_offset = -1;
1519 compute_optional_offset(signature_offset, k, vmSymbols::signature_name(), vmSymbols::string_signature());
1520 compute_optional_offset(annotations_offset, k, vmSymbols::annotations_name(), vmSymbols::byte_array_signature());
1521 compute_optional_offset(parameter_annotations_offset, k, vmSymbols::parameter_annotations_name(), vmSymbols::byte_array_signature());
1522 compute_optional_offset(annotation_default_offset, k, vmSymbols::annotation_default_name(), vmSymbols::byte_array_signature());
1523 }
1525 Handle java_lang_reflect_Method::create(TRAPS) {
1526 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1527 klassOop klass = SystemDictionary::reflect_method_klass();
1528 // This class is eagerly initialized during VM initialization, since we keep a refence
1529 // to one of the methods
1530 assert(instanceKlass::cast(klass)->is_initialized(), "must be initialized");
1531 return instanceKlass::cast(klass)->allocate_instance_handle(CHECK_NH);
1532 }
1534 oop java_lang_reflect_Method::clazz(oop reflect) {
1535 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1536 return reflect->obj_field(clazz_offset);
1537 }
1539 void java_lang_reflect_Method::set_clazz(oop reflect, oop value) {
1540 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1541 reflect->obj_field_put(clazz_offset, value);
1542 }
1544 int java_lang_reflect_Method::slot(oop reflect) {
1545 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1546 return reflect->int_field(slot_offset);
1547 }
1549 void java_lang_reflect_Method::set_slot(oop reflect, int value) {
1550 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1551 reflect->int_field_put(slot_offset, value);
1552 }
1554 oop java_lang_reflect_Method::name(oop method) {
1555 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1556 return method->obj_field(name_offset);
1557 }
1559 void java_lang_reflect_Method::set_name(oop method, oop value) {
1560 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1561 method->obj_field_put(name_offset, value);
1562 }
1564 oop java_lang_reflect_Method::return_type(oop method) {
1565 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1566 return method->obj_field(returnType_offset);
1567 }
1569 void java_lang_reflect_Method::set_return_type(oop method, oop value) {
1570 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1571 method->obj_field_put(returnType_offset, value);
1572 }
1574 oop java_lang_reflect_Method::parameter_types(oop method) {
1575 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1576 return method->obj_field(parameterTypes_offset);
1577 }
1579 void java_lang_reflect_Method::set_parameter_types(oop method, oop value) {
1580 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1581 method->obj_field_put(parameterTypes_offset, value);
1582 }
1584 oop java_lang_reflect_Method::exception_types(oop method) {
1585 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1586 return method->obj_field(exceptionTypes_offset);
1587 }
1589 void java_lang_reflect_Method::set_exception_types(oop method, oop value) {
1590 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1591 method->obj_field_put(exceptionTypes_offset, value);
1592 }
1594 int java_lang_reflect_Method::modifiers(oop method) {
1595 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1596 return method->int_field(modifiers_offset);
1597 }
1599 void java_lang_reflect_Method::set_modifiers(oop method, int value) {
1600 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1601 method->int_field_put(modifiers_offset, value);
1602 }
1604 bool java_lang_reflect_Method::has_signature_field() {
1605 return (signature_offset >= 0);
1606 }
1608 oop java_lang_reflect_Method::signature(oop method) {
1609 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1610 assert(has_signature_field(), "signature field must be present");
1611 return method->obj_field(signature_offset);
1612 }
1614 void java_lang_reflect_Method::set_signature(oop method, oop value) {
1615 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1616 assert(has_signature_field(), "signature field must be present");
1617 method->obj_field_put(signature_offset, value);
1618 }
1620 bool java_lang_reflect_Method::has_annotations_field() {
1621 return (annotations_offset >= 0);
1622 }
1624 oop java_lang_reflect_Method::annotations(oop method) {
1625 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1626 assert(has_annotations_field(), "annotations field must be present");
1627 return method->obj_field(annotations_offset);
1628 }
1630 void java_lang_reflect_Method::set_annotations(oop method, oop value) {
1631 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1632 assert(has_annotations_field(), "annotations field must be present");
1633 method->obj_field_put(annotations_offset, value);
1634 }
1636 bool java_lang_reflect_Method::has_parameter_annotations_field() {
1637 return (parameter_annotations_offset >= 0);
1638 }
1640 oop java_lang_reflect_Method::parameter_annotations(oop method) {
1641 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1642 assert(has_parameter_annotations_field(), "parameter annotations field must be present");
1643 return method->obj_field(parameter_annotations_offset);
1644 }
1646 void java_lang_reflect_Method::set_parameter_annotations(oop method, oop value) {
1647 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1648 assert(has_parameter_annotations_field(), "parameter annotations field must be present");
1649 method->obj_field_put(parameter_annotations_offset, value);
1650 }
1652 bool java_lang_reflect_Method::has_annotation_default_field() {
1653 return (annotation_default_offset >= 0);
1654 }
1656 oop java_lang_reflect_Method::annotation_default(oop method) {
1657 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1658 assert(has_annotation_default_field(), "annotation default field must be present");
1659 return method->obj_field(annotation_default_offset);
1660 }
1662 void java_lang_reflect_Method::set_annotation_default(oop method, oop value) {
1663 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1664 assert(has_annotation_default_field(), "annotation default field must be present");
1665 method->obj_field_put(annotation_default_offset, value);
1666 }
1668 void java_lang_reflect_Constructor::compute_offsets() {
1669 klassOop k = SystemDictionary::reflect_constructor_klass();
1670 compute_offset(clazz_offset, k, vmSymbols::clazz_name(), vmSymbols::class_signature());
1671 compute_offset(parameterTypes_offset, k, vmSymbols::parameterTypes_name(), vmSymbols::class_array_signature());
1672 compute_offset(exceptionTypes_offset, k, vmSymbols::exceptionTypes_name(), vmSymbols::class_array_signature());
1673 compute_offset(slot_offset, k, vmSymbols::slot_name(), vmSymbols::int_signature());
1674 compute_offset(modifiers_offset, k, vmSymbols::modifiers_name(), vmSymbols::int_signature());
1675 // The generic signature and annotations fields are only present in 1.5
1676 signature_offset = -1;
1677 annotations_offset = -1;
1678 parameter_annotations_offset = -1;
1679 compute_optional_offset(signature_offset, k, vmSymbols::signature_name(), vmSymbols::string_signature());
1680 compute_optional_offset(annotations_offset, k, vmSymbols::annotations_name(), vmSymbols::byte_array_signature());
1681 compute_optional_offset(parameter_annotations_offset, k, vmSymbols::parameter_annotations_name(), vmSymbols::byte_array_signature());
1682 }
1684 Handle java_lang_reflect_Constructor::create(TRAPS) {
1685 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1686 symbolHandle name = vmSymbolHandles::java_lang_reflect_Constructor();
1687 klassOop k = SystemDictionary::resolve_or_fail(name, true, CHECK_NH);
1688 instanceKlassHandle klass (THREAD, k);
1689 // Ensure it is initialized
1690 klass->initialize(CHECK_NH);
1691 return klass->allocate_instance_handle(CHECK_NH);
1692 }
1694 oop java_lang_reflect_Constructor::clazz(oop reflect) {
1695 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1696 return reflect->obj_field(clazz_offset);
1697 }
1699 void java_lang_reflect_Constructor::set_clazz(oop reflect, oop value) {
1700 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1701 reflect->obj_field_put(clazz_offset, value);
1702 }
1704 oop java_lang_reflect_Constructor::parameter_types(oop constructor) {
1705 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1706 return constructor->obj_field(parameterTypes_offset);
1707 }
1709 void java_lang_reflect_Constructor::set_parameter_types(oop constructor, oop value) {
1710 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1711 constructor->obj_field_put(parameterTypes_offset, value);
1712 }
1714 oop java_lang_reflect_Constructor::exception_types(oop constructor) {
1715 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1716 return constructor->obj_field(exceptionTypes_offset);
1717 }
1719 void java_lang_reflect_Constructor::set_exception_types(oop constructor, oop value) {
1720 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1721 constructor->obj_field_put(exceptionTypes_offset, value);
1722 }
1724 int java_lang_reflect_Constructor::slot(oop reflect) {
1725 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1726 return reflect->int_field(slot_offset);
1727 }
1729 void java_lang_reflect_Constructor::set_slot(oop reflect, int value) {
1730 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1731 reflect->int_field_put(slot_offset, value);
1732 }
1734 int java_lang_reflect_Constructor::modifiers(oop constructor) {
1735 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1736 return constructor->int_field(modifiers_offset);
1737 }
1739 void java_lang_reflect_Constructor::set_modifiers(oop constructor, int value) {
1740 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1741 constructor->int_field_put(modifiers_offset, value);
1742 }
1744 bool java_lang_reflect_Constructor::has_signature_field() {
1745 return (signature_offset >= 0);
1746 }
1748 oop java_lang_reflect_Constructor::signature(oop constructor) {
1749 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1750 assert(has_signature_field(), "signature field must be present");
1751 return constructor->obj_field(signature_offset);
1752 }
1754 void java_lang_reflect_Constructor::set_signature(oop constructor, oop value) {
1755 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1756 assert(has_signature_field(), "signature field must be present");
1757 constructor->obj_field_put(signature_offset, value);
1758 }
1760 bool java_lang_reflect_Constructor::has_annotations_field() {
1761 return (annotations_offset >= 0);
1762 }
1764 oop java_lang_reflect_Constructor::annotations(oop constructor) {
1765 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1766 assert(has_annotations_field(), "annotations field must be present");
1767 return constructor->obj_field(annotations_offset);
1768 }
1770 void java_lang_reflect_Constructor::set_annotations(oop constructor, oop value) {
1771 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1772 assert(has_annotations_field(), "annotations field must be present");
1773 constructor->obj_field_put(annotations_offset, value);
1774 }
1776 bool java_lang_reflect_Constructor::has_parameter_annotations_field() {
1777 return (parameter_annotations_offset >= 0);
1778 }
1780 oop java_lang_reflect_Constructor::parameter_annotations(oop method) {
1781 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1782 assert(has_parameter_annotations_field(), "parameter annotations field must be present");
1783 return method->obj_field(parameter_annotations_offset);
1784 }
1786 void java_lang_reflect_Constructor::set_parameter_annotations(oop method, oop value) {
1787 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1788 assert(has_parameter_annotations_field(), "parameter annotations field must be present");
1789 method->obj_field_put(parameter_annotations_offset, value);
1790 }
1792 void java_lang_reflect_Field::compute_offsets() {
1793 klassOop k = SystemDictionary::reflect_field_klass();
1794 compute_offset(clazz_offset, k, vmSymbols::clazz_name(), vmSymbols::class_signature());
1795 compute_offset(name_offset, k, vmSymbols::name_name(), vmSymbols::string_signature());
1796 compute_offset(type_offset, k, vmSymbols::type_name(), vmSymbols::class_signature());
1797 compute_offset(slot_offset, k, vmSymbols::slot_name(), vmSymbols::int_signature());
1798 compute_offset(modifiers_offset, k, vmSymbols::modifiers_name(), vmSymbols::int_signature());
1799 // The generic signature and annotations fields are only present in 1.5
1800 signature_offset = -1;
1801 annotations_offset = -1;
1802 compute_optional_offset(signature_offset, k, vmSymbols::signature_name(), vmSymbols::string_signature());
1803 compute_optional_offset(annotations_offset, k, vmSymbols::annotations_name(), vmSymbols::byte_array_signature());
1804 }
1806 Handle java_lang_reflect_Field::create(TRAPS) {
1807 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1808 symbolHandle name = vmSymbolHandles::java_lang_reflect_Field();
1809 klassOop k = SystemDictionary::resolve_or_fail(name, true, CHECK_NH);
1810 instanceKlassHandle klass (THREAD, k);
1811 // Ensure it is initialized
1812 klass->initialize(CHECK_NH);
1813 return klass->allocate_instance_handle(CHECK_NH);
1814 }
1816 oop java_lang_reflect_Field::clazz(oop reflect) {
1817 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1818 return reflect->obj_field(clazz_offset);
1819 }
1821 void java_lang_reflect_Field::set_clazz(oop reflect, oop value) {
1822 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1823 reflect->obj_field_put(clazz_offset, value);
1824 }
1826 oop java_lang_reflect_Field::name(oop field) {
1827 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1828 return field->obj_field(name_offset);
1829 }
1831 void java_lang_reflect_Field::set_name(oop field, oop value) {
1832 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1833 field->obj_field_put(name_offset, value);
1834 }
1836 oop java_lang_reflect_Field::type(oop field) {
1837 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1838 return field->obj_field(type_offset);
1839 }
1841 void java_lang_reflect_Field::set_type(oop field, oop value) {
1842 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1843 field->obj_field_put(type_offset, value);
1844 }
1846 int java_lang_reflect_Field::slot(oop reflect) {
1847 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1848 return reflect->int_field(slot_offset);
1849 }
1851 void java_lang_reflect_Field::set_slot(oop reflect, int value) {
1852 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1853 reflect->int_field_put(slot_offset, value);
1854 }
1856 int java_lang_reflect_Field::modifiers(oop field) {
1857 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1858 return field->int_field(modifiers_offset);
1859 }
1861 void java_lang_reflect_Field::set_modifiers(oop field, int value) {
1862 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1863 field->int_field_put(modifiers_offset, value);
1864 }
1866 bool java_lang_reflect_Field::has_signature_field() {
1867 return (signature_offset >= 0);
1868 }
1870 oop java_lang_reflect_Field::signature(oop field) {
1871 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1872 assert(has_signature_field(), "signature field must be present");
1873 return field->obj_field(signature_offset);
1874 }
1876 void java_lang_reflect_Field::set_signature(oop field, oop value) {
1877 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1878 assert(has_signature_field(), "signature field must be present");
1879 field->obj_field_put(signature_offset, value);
1880 }
1882 bool java_lang_reflect_Field::has_annotations_field() {
1883 return (annotations_offset >= 0);
1884 }
1886 oop java_lang_reflect_Field::annotations(oop field) {
1887 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1888 assert(has_annotations_field(), "annotations field must be present");
1889 return field->obj_field(annotations_offset);
1890 }
1892 void java_lang_reflect_Field::set_annotations(oop field, oop value) {
1893 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1894 assert(has_annotations_field(), "annotations field must be present");
1895 field->obj_field_put(annotations_offset, value);
1896 }
1899 void sun_reflect_ConstantPool::compute_offsets() {
1900 klassOop k = SystemDictionary::reflect_constant_pool_klass();
1901 // This null test can be removed post beta
1902 if (k != NULL) {
1903 compute_offset(_cp_oop_offset, k, vmSymbols::constantPoolOop_name(), vmSymbols::object_signature());
1904 }
1905 }
1908 Handle sun_reflect_ConstantPool::create(TRAPS) {
1909 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1910 klassOop k = SystemDictionary::reflect_constant_pool_klass();
1911 instanceKlassHandle klass (THREAD, k);
1912 // Ensure it is initialized
1913 klass->initialize(CHECK_NH);
1914 return klass->allocate_instance_handle(CHECK_NH);
1915 }
1918 oop sun_reflect_ConstantPool::cp_oop(oop reflect) {
1919 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1920 return reflect->obj_field(_cp_oop_offset);
1921 }
1924 void sun_reflect_ConstantPool::set_cp_oop(oop reflect, oop value) {
1925 assert(Universe::is_fully_initialized(), "Need to find another solution to the reflection problem");
1926 reflect->obj_field_put(_cp_oop_offset, value);
1927 }
1929 void sun_reflect_UnsafeStaticFieldAccessorImpl::compute_offsets() {
1930 klassOop k = SystemDictionary::reflect_unsafe_static_field_accessor_impl_klass();
1931 // This null test can be removed post beta
1932 if (k != NULL) {
1933 compute_offset(_base_offset, k,
1934 vmSymbols::base_name(), vmSymbols::object_signature());
1935 }
1936 }
1938 oop java_lang_boxing_object::initialize_and_allocate(BasicType type, TRAPS) {
1939 klassOop k = SystemDictionary::box_klass(type);
1940 if (k == NULL) return NULL;
1941 instanceKlassHandle h (THREAD, k);
1942 if (!h->is_initialized()) h->initialize(CHECK_0);
1943 return h->allocate_instance(THREAD);
1944 }
1947 oop java_lang_boxing_object::create(BasicType type, jvalue* value, TRAPS) {
1948 oop box = initialize_and_allocate(type, CHECK_0);
1949 if (box == NULL) return NULL;
1950 switch (type) {
1951 case T_BOOLEAN:
1952 box->bool_field_put(value_offset, value->z);
1953 break;
1954 case T_CHAR:
1955 box->char_field_put(value_offset, value->c);
1956 break;
1957 case T_FLOAT:
1958 box->float_field_put(value_offset, value->f);
1959 break;
1960 case T_DOUBLE:
1961 box->double_field_put(long_value_offset, value->d);
1962 break;
1963 case T_BYTE:
1964 box->byte_field_put(value_offset, value->b);
1965 break;
1966 case T_SHORT:
1967 box->short_field_put(value_offset, value->s);
1968 break;
1969 case T_INT:
1970 box->int_field_put(value_offset, value->i);
1971 break;
1972 case T_LONG:
1973 box->long_field_put(long_value_offset, value->j);
1974 break;
1975 default:
1976 return NULL;
1977 }
1978 return box;
1979 }
1982 BasicType java_lang_boxing_object::basic_type(oop box) {
1983 if (box == NULL) return T_ILLEGAL;
1984 BasicType type = SystemDictionary::box_klass_type(box->klass());
1985 if (type == T_OBJECT) // 'unknown' value returned by SD::bkt
1986 return T_ILLEGAL;
1987 return type;
1988 }
1991 BasicType java_lang_boxing_object::get_value(oop box, jvalue* value) {
1992 BasicType type = SystemDictionary::box_klass_type(box->klass());
1993 switch (type) {
1994 case T_BOOLEAN:
1995 value->z = box->bool_field(value_offset);
1996 break;
1997 case T_CHAR:
1998 value->c = box->char_field(value_offset);
1999 break;
2000 case T_FLOAT:
2001 value->f = box->float_field(value_offset);
2002 break;
2003 case T_DOUBLE:
2004 value->d = box->double_field(long_value_offset);
2005 break;
2006 case T_BYTE:
2007 value->b = box->byte_field(value_offset);
2008 break;
2009 case T_SHORT:
2010 value->s = box->short_field(value_offset);
2011 break;
2012 case T_INT:
2013 value->i = box->int_field(value_offset);
2014 break;
2015 case T_LONG:
2016 value->j = box->long_field(long_value_offset);
2017 break;
2018 default:
2019 return T_ILLEGAL;
2020 } // end switch
2021 return type;
2022 }
2025 BasicType java_lang_boxing_object::set_value(oop box, jvalue* value) {
2026 BasicType type = SystemDictionary::box_klass_type(box->klass());
2027 switch (type) {
2028 case T_BOOLEAN:
2029 box->bool_field_put(value_offset, value->z);
2030 break;
2031 case T_CHAR:
2032 box->char_field_put(value_offset, value->c);
2033 break;
2034 case T_FLOAT:
2035 box->float_field_put(value_offset, value->f);
2036 break;
2037 case T_DOUBLE:
2038 box->double_field_put(long_value_offset, value->d);
2039 break;
2040 case T_BYTE:
2041 box->byte_field_put(value_offset, value->b);
2042 break;
2043 case T_SHORT:
2044 box->short_field_put(value_offset, value->s);
2045 break;
2046 case T_INT:
2047 box->int_field_put(value_offset, value->i);
2048 break;
2049 case T_LONG:
2050 box->long_field_put(long_value_offset, value->j);
2051 break;
2052 default:
2053 return T_ILLEGAL;
2054 } // end switch
2055 return type;
2056 }
2059 void java_lang_boxing_object::print(BasicType type, jvalue* value, outputStream* st) {
2060 switch (type) {
2061 case T_BOOLEAN: st->print("%s", value->z ? "true" : "false"); break;
2062 case T_CHAR: st->print("%d", value->c); break;
2063 case T_BYTE: st->print("%d", value->b); break;
2064 case T_SHORT: st->print("%d", value->s); break;
2065 case T_INT: st->print("%d", value->i); break;
2066 case T_LONG: st->print(INT64_FORMAT, value->j); break;
2067 case T_FLOAT: st->print("%f", value->f); break;
2068 case T_DOUBLE: st->print("%lf", value->d); break;
2069 default: st->print("type %d?", type); break;
2070 }
2071 }
2074 // Support for java_lang_ref_Reference
2075 oop java_lang_ref_Reference::pending_list_lock() {
2076 instanceKlass* ik = instanceKlass::cast(SystemDictionary::reference_klass());
2077 char *addr = (((char *)ik->start_of_static_fields()) + static_lock_offset);
2078 if (UseCompressedOops) {
2079 return oopDesc::load_decode_heap_oop((narrowOop *)addr);
2080 } else {
2081 return oopDesc::load_decode_heap_oop((oop*)addr);
2082 }
2083 }
2085 HeapWord *java_lang_ref_Reference::pending_list_addr() {
2086 instanceKlass* ik = instanceKlass::cast(SystemDictionary::reference_klass());
2087 char *addr = (((char *)ik->start_of_static_fields()) + static_pending_offset);
2088 // XXX This might not be HeapWord aligned, almost rather be char *.
2089 return (HeapWord*)addr;
2090 }
2092 oop java_lang_ref_Reference::pending_list() {
2093 char *addr = (char *)pending_list_addr();
2094 if (UseCompressedOops) {
2095 return oopDesc::load_decode_heap_oop((narrowOop *)addr);
2096 } else {
2097 return oopDesc::load_decode_heap_oop((oop*)addr);
2098 }
2099 }
2102 // Support for java_lang_ref_SoftReference
2104 jlong java_lang_ref_SoftReference::timestamp(oop ref) {
2105 return ref->long_field(timestamp_offset);
2106 }
2108 jlong java_lang_ref_SoftReference::clock() {
2109 instanceKlass* ik = instanceKlass::cast(SystemDictionary::soft_reference_klass());
2110 int offset = ik->offset_of_static_fields() + static_clock_offset;
2112 return SystemDictionary::soft_reference_klass()->long_field(offset);
2113 }
2115 void java_lang_ref_SoftReference::set_clock(jlong value) {
2116 instanceKlass* ik = instanceKlass::cast(SystemDictionary::soft_reference_klass());
2117 int offset = ik->offset_of_static_fields() + static_clock_offset;
2119 SystemDictionary::soft_reference_klass()->long_field_put(offset, value);
2120 }
2123 // Support for java_dyn_MethodHandle
2125 int java_dyn_MethodHandle::_type_offset;
2126 int java_dyn_MethodHandle::_vmtarget_offset;
2127 int java_dyn_MethodHandle::_vmentry_offset;
2128 int java_dyn_MethodHandle::_vmslots_offset;
2130 int sun_dyn_MemberName::_clazz_offset;
2131 int sun_dyn_MemberName::_name_offset;
2132 int sun_dyn_MemberName::_type_offset;
2133 int sun_dyn_MemberName::_flags_offset;
2134 int sun_dyn_MemberName::_vmtarget_offset;
2135 int sun_dyn_MemberName::_vmindex_offset;
2137 int sun_dyn_DirectMethodHandle::_vmindex_offset;
2139 int sun_dyn_BoundMethodHandle::_argument_offset;
2140 int sun_dyn_BoundMethodHandle::_vmargslot_offset;
2142 int sun_dyn_AdapterMethodHandle::_conversion_offset;
2144 void java_dyn_MethodHandle::compute_offsets() {
2145 klassOop k = SystemDictionary::MethodHandle_klass();
2146 if (k != NULL && EnableMethodHandles) {
2147 compute_offset(_type_offset, k, vmSymbols::type_name(), vmSymbols::java_dyn_MethodType_signature(), true);
2148 compute_offset(_vmtarget_offset, k, vmSymbols::vmtarget_name(), vmSymbols::object_signature(), true);
2149 compute_offset(_vmentry_offset, k, vmSymbols::vmentry_name(), vmSymbols::machine_word_signature(), true);
2151 // Note: MH.vmslots (if it is present) is a hoisted copy of MH.type.form.vmslots.
2152 // It is optional pending experiments to keep or toss.
2153 compute_optional_offset(_vmslots_offset, k, vmSymbols::vmslots_name(), vmSymbols::int_signature(), true);
2154 }
2155 }
2157 void sun_dyn_MemberName::compute_offsets() {
2158 klassOop k = SystemDictionary::MemberName_klass();
2159 if (k != NULL && EnableMethodHandles) {
2160 compute_offset(_clazz_offset, k, vmSymbols::clazz_name(), vmSymbols::class_signature());
2161 compute_offset(_name_offset, k, vmSymbols::name_name(), vmSymbols::string_signature());
2162 compute_offset(_type_offset, k, vmSymbols::type_name(), vmSymbols::object_signature());
2163 compute_offset(_flags_offset, k, vmSymbols::flags_name(), vmSymbols::int_signature());
2164 compute_offset(_vmtarget_offset, k, vmSymbols::vmtarget_name(), vmSymbols::object_signature());
2165 compute_offset(_vmindex_offset, k, vmSymbols::vmindex_name(), vmSymbols::int_signature());
2166 }
2167 }
2169 void sun_dyn_DirectMethodHandle::compute_offsets() {
2170 klassOop k = SystemDictionary::DirectMethodHandle_klass();
2171 if (k != NULL && EnableMethodHandles) {
2172 compute_offset(_vmindex_offset, k, vmSymbols::vmindex_name(), vmSymbols::int_signature(), true);
2173 }
2174 }
2176 void sun_dyn_BoundMethodHandle::compute_offsets() {
2177 klassOop k = SystemDictionary::BoundMethodHandle_klass();
2178 if (k != NULL && EnableMethodHandles) {
2179 compute_offset(_vmargslot_offset, k, vmSymbols::vmargslot_name(), vmSymbols::int_signature(), true);
2180 compute_offset(_argument_offset, k, vmSymbols::argument_name(), vmSymbols::object_signature(), true);
2181 }
2182 }
2184 void sun_dyn_AdapterMethodHandle::compute_offsets() {
2185 klassOop k = SystemDictionary::AdapterMethodHandle_klass();
2186 if (k != NULL && EnableMethodHandles) {
2187 compute_offset(_conversion_offset, k, vmSymbols::conversion_name(), vmSymbols::int_signature(), true);
2188 }
2189 }
2191 oop java_dyn_MethodHandle::type(oop mh) {
2192 return mh->obj_field(_type_offset);
2193 }
2195 void java_dyn_MethodHandle::set_type(oop mh, oop mtype) {
2196 mh->obj_field_put(_type_offset, mtype);
2197 }
2199 int java_dyn_MethodHandle::vmslots(oop mh) {
2200 int vmslots_offset = _vmslots_offset;
2201 if (vmslots_offset != 0) {
2202 #ifdef ASSERT
2203 int x = mh->int_field(vmslots_offset);
2204 int y = compute_vmslots(mh);
2205 assert(x == y, "correct hoisted value");
2206 #endif
2207 return mh->int_field(vmslots_offset);
2208 } else {
2209 return compute_vmslots(mh);
2210 }
2211 }
2213 // if MH.vmslots exists, hoist into it the value of type.form.vmslots
2214 void java_dyn_MethodHandle::init_vmslots(oop mh) {
2215 int vmslots_offset = _vmslots_offset;
2216 if (vmslots_offset != 0) {
2217 mh->int_field_put(vmslots_offset, compute_vmslots(mh));
2218 }
2219 }
2221 // fetch type.form.vmslots, which is the number of JVM stack slots
2222 // required to carry the arguments of this MH
2223 int java_dyn_MethodHandle::compute_vmslots(oop mh) {
2224 oop mtype = type(mh);
2225 if (mtype == NULL) return 0; // Java code would get NPE
2226 oop form = java_dyn_MethodType::form(mtype);
2227 if (form == NULL) return 0; // Java code would get NPE
2228 return java_dyn_MethodTypeForm::vmslots(form);
2229 }
2231 // fetch the low-level entry point for this mh
2232 MethodHandleEntry* java_dyn_MethodHandle::vmentry(oop mh) {
2233 return (MethodHandleEntry*) mh->address_field(_vmentry_offset);
2234 }
2236 void java_dyn_MethodHandle::set_vmentry(oop mh, MethodHandleEntry* me) {
2237 assert(_vmentry_offset != 0, "must be present");
2239 // This is always the final step that initializes a valid method handle:
2240 mh->release_address_field_put(_vmentry_offset, (address) me);
2242 // There should be enough memory barriers on exit from native methods
2243 // to ensure that the MH is fully initialized to all threads before
2244 // Java code can publish it in global data structures.
2245 // But just in case, we use release_address_field_put.
2246 }
2248 /// MemberName accessors
2250 oop sun_dyn_MemberName::clazz(oop mname) {
2251 assert(is_instance(mname), "wrong type");
2252 return mname->obj_field(_clazz_offset);
2253 }
2255 void sun_dyn_MemberName::set_clazz(oop mname, oop clazz) {
2256 assert(is_instance(mname), "wrong type");
2257 mname->obj_field_put(_clazz_offset, clazz);
2258 }
2260 oop sun_dyn_MemberName::name(oop mname) {
2261 assert(is_instance(mname), "wrong type");
2262 return mname->obj_field(_name_offset);
2263 }
2265 void sun_dyn_MemberName::set_name(oop mname, oop name) {
2266 assert(is_instance(mname), "wrong type");
2267 mname->obj_field_put(_name_offset, name);
2268 }
2270 oop sun_dyn_MemberName::type(oop mname) {
2271 assert(is_instance(mname), "wrong type");
2272 return mname->obj_field(_type_offset);
2273 }
2275 void sun_dyn_MemberName::set_type(oop mname, oop type) {
2276 assert(is_instance(mname), "wrong type");
2277 mname->obj_field_put(_type_offset, type);
2278 }
2280 int sun_dyn_MemberName::flags(oop mname) {
2281 assert(is_instance(mname), "wrong type");
2282 return mname->int_field(_flags_offset);
2283 }
2285 void sun_dyn_MemberName::set_flags(oop mname, int flags) {
2286 assert(is_instance(mname), "wrong type");
2287 mname->int_field_put(_flags_offset, flags);
2288 }
2290 oop sun_dyn_MemberName::vmtarget(oop mname) {
2291 assert(is_instance(mname), "wrong type");
2292 return mname->obj_field(_vmtarget_offset);
2293 }
2295 void sun_dyn_MemberName::set_vmtarget(oop mname, oop ref) {
2296 assert(is_instance(mname), "wrong type");
2297 mname->obj_field_put(_vmtarget_offset, ref);
2298 }
2300 int sun_dyn_MemberName::vmindex(oop mname) {
2301 assert(is_instance(mname), "wrong type");
2302 return mname->int_field(_vmindex_offset);
2303 }
2305 void sun_dyn_MemberName::set_vmindex(oop mname, int index) {
2306 assert(is_instance(mname), "wrong type");
2307 mname->int_field_put(_vmindex_offset, index);
2308 }
2310 oop java_dyn_MethodHandle::vmtarget(oop mh) {
2311 assert(is_instance(mh), "MH only");
2312 return mh->obj_field(_vmtarget_offset);
2313 }
2315 void java_dyn_MethodHandle::set_vmtarget(oop mh, oop ref) {
2316 assert(is_instance(mh), "MH only");
2317 mh->obj_field_put(_vmtarget_offset, ref);
2318 }
2320 int sun_dyn_DirectMethodHandle::vmindex(oop mh) {
2321 assert(is_instance(mh), "DMH only");
2322 return mh->int_field(_vmindex_offset);
2323 }
2325 void sun_dyn_DirectMethodHandle::set_vmindex(oop mh, int index) {
2326 assert(is_instance(mh), "DMH only");
2327 mh->int_field_put(_vmindex_offset, index);
2328 }
2330 int sun_dyn_BoundMethodHandle::vmargslot(oop mh) {
2331 assert(is_instance(mh), "BMH only");
2332 return mh->int_field(_vmargslot_offset);
2333 }
2335 oop sun_dyn_BoundMethodHandle::argument(oop mh) {
2336 assert(is_instance(mh), "BMH only");
2337 return mh->obj_field(_argument_offset);
2338 }
2340 int sun_dyn_AdapterMethodHandle::conversion(oop mh) {
2341 assert(is_instance(mh), "AMH only");
2342 return mh->int_field(_conversion_offset);
2343 }
2345 void sun_dyn_AdapterMethodHandle::set_conversion(oop mh, int conv) {
2346 assert(is_instance(mh), "AMH only");
2347 mh->int_field_put(_conversion_offset, conv);
2348 }
2351 // Support for java_dyn_MethodType
2353 int java_dyn_MethodType::_rtype_offset;
2354 int java_dyn_MethodType::_ptypes_offset;
2355 int java_dyn_MethodType::_form_offset;
2357 void java_dyn_MethodType::compute_offsets() {
2358 klassOop k = SystemDictionary::MethodType_klass();
2359 if (k != NULL) {
2360 compute_offset(_rtype_offset, k, vmSymbols::rtype_name(), vmSymbols::class_signature());
2361 compute_offset(_ptypes_offset, k, vmSymbols::ptypes_name(), vmSymbols::class_array_signature());
2362 compute_offset(_form_offset, k, vmSymbols::form_name(), vmSymbols::java_dyn_MethodTypeForm_signature());
2363 }
2364 }
2366 void java_dyn_MethodType::print_signature(oop mt, outputStream* st) {
2367 st->print("(");
2368 objArrayOop pts = ptypes(mt);
2369 for (int i = 0, limit = pts->length(); i < limit; i++) {
2370 java_lang_Class::print_signature(pts->obj_at(i), st);
2371 }
2372 st->print(")");
2373 java_lang_Class::print_signature(rtype(mt), st);
2374 }
2376 symbolOop java_dyn_MethodType::as_signature(oop mt, bool intern_if_not_found, TRAPS) {
2377 ResourceMark rm;
2378 stringStream buffer(128);
2379 print_signature(mt, &buffer);
2380 const char* sigstr = buffer.base();
2381 int siglen = (int) buffer.size();
2382 if (!intern_if_not_found)
2383 return SymbolTable::probe(sigstr, siglen);
2384 else
2385 return oopFactory::new_symbol(sigstr, siglen, THREAD);
2386 }
2388 oop java_dyn_MethodType::rtype(oop mt) {
2389 assert(is_instance(mt), "must be a MethodType");
2390 return mt->obj_field(_rtype_offset);
2391 }
2393 objArrayOop java_dyn_MethodType::ptypes(oop mt) {
2394 assert(is_instance(mt), "must be a MethodType");
2395 return (objArrayOop) mt->obj_field(_ptypes_offset);
2396 }
2398 oop java_dyn_MethodType::form(oop mt) {
2399 assert(is_instance(mt), "must be a MethodType");
2400 return mt->obj_field(_form_offset);
2401 }
2403 oop java_dyn_MethodType::ptype(oop mt, int idx) {
2404 return ptypes(mt)->obj_at(idx);
2405 }
2409 // Support for java_dyn_MethodTypeForm
2411 int java_dyn_MethodTypeForm::_vmslots_offset;
2412 int java_dyn_MethodTypeForm::_erasedType_offset;
2414 void java_dyn_MethodTypeForm::compute_offsets() {
2415 klassOop k = SystemDictionary::MethodTypeForm_klass();
2416 if (k != NULL) {
2417 compute_optional_offset(_vmslots_offset, k, vmSymbols::vmslots_name(), vmSymbols::int_signature(), true);
2418 compute_optional_offset(_erasedType_offset, k, vmSymbols::erasedType_name(), vmSymbols::java_dyn_MethodType_signature(), true);
2419 }
2420 }
2422 int java_dyn_MethodTypeForm::vmslots(oop mtform) {
2423 assert(mtform->klass() == SystemDictionary::MethodTypeForm_klass(), "MTForm only");
2424 return mtform->int_field(_vmslots_offset);
2425 }
2427 oop java_dyn_MethodTypeForm::erasedType(oop mtform) {
2428 assert(mtform->klass() == SystemDictionary::MethodTypeForm_klass(), "MTForm only");
2429 return mtform->obj_field(_erasedType_offset);
2430 }
2433 // Support for java_dyn_CallSite
2435 int java_dyn_CallSite::_type_offset;
2436 int java_dyn_CallSite::_target_offset;
2437 int java_dyn_CallSite::_vmmethod_offset;
2439 void java_dyn_CallSite::compute_offsets() {
2440 if (!EnableInvokeDynamic) return;
2441 klassOop k = SystemDictionary::CallSite_klass();
2442 if (k != NULL) {
2443 compute_offset(_type_offset, k, vmSymbols::type_name(), vmSymbols::java_dyn_MethodType_signature(), true);
2444 compute_offset(_target_offset, k, vmSymbols::target_name(), vmSymbols::java_dyn_MethodHandle_signature(), true);
2445 compute_offset(_vmmethod_offset, k, vmSymbols::vmmethod_name(), vmSymbols::object_signature(), true);
2446 }
2447 }
2449 oop java_dyn_CallSite::type(oop site) {
2450 return site->obj_field(_type_offset);
2451 }
2453 oop java_dyn_CallSite::target(oop site) {
2454 return site->obj_field(_target_offset);
2455 }
2457 void java_dyn_CallSite::set_target(oop site, oop target) {
2458 site->obj_field_put(_target_offset, target);
2459 }
2461 oop java_dyn_CallSite::vmmethod(oop site) {
2462 return site->obj_field(_vmmethod_offset);
2463 }
2465 void java_dyn_CallSite::set_vmmethod(oop site, oop ref) {
2466 site->obj_field_put(_vmmethod_offset, ref);
2467 }
2470 // Support for java_security_AccessControlContext
2472 int java_security_AccessControlContext::_context_offset = 0;
2473 int java_security_AccessControlContext::_privilegedContext_offset = 0;
2474 int java_security_AccessControlContext::_isPrivileged_offset = 0;
2476 void java_security_AccessControlContext::compute_offsets() {
2477 assert(_isPrivileged_offset == 0, "offsets should be initialized only once");
2478 fieldDescriptor fd;
2479 instanceKlass* ik = instanceKlass::cast(SystemDictionary::AccessControlContext_klass());
2481 if (!ik->find_local_field(vmSymbols::context_name(), vmSymbols::protectiondomain_signature(), &fd)) {
2482 fatal("Invalid layout of java.security.AccessControlContext");
2483 }
2484 _context_offset = fd.offset();
2486 if (!ik->find_local_field(vmSymbols::privilegedContext_name(), vmSymbols::accesscontrolcontext_signature(), &fd)) {
2487 fatal("Invalid layout of java.security.AccessControlContext");
2488 }
2489 _privilegedContext_offset = fd.offset();
2491 if (!ik->find_local_field(vmSymbols::isPrivileged_name(), vmSymbols::bool_signature(), &fd)) {
2492 fatal("Invalid layout of java.security.AccessControlContext");
2493 }
2494 _isPrivileged_offset = fd.offset();
2495 }
2498 oop java_security_AccessControlContext::create(objArrayHandle context, bool isPrivileged, Handle privileged_context, TRAPS) {
2499 assert(_isPrivileged_offset != 0, "offsets should have been initialized");
2500 // Ensure klass is initialized
2501 instanceKlass::cast(SystemDictionary::AccessControlContext_klass())->initialize(CHECK_0);
2502 // Allocate result
2503 oop result = instanceKlass::cast(SystemDictionary::AccessControlContext_klass())->allocate_instance(CHECK_0);
2504 // Fill in values
2505 result->obj_field_put(_context_offset, context());
2506 result->obj_field_put(_privilegedContext_offset, privileged_context());
2507 result->bool_field_put(_isPrivileged_offset, isPrivileged);
2508 return result;
2509 }
2512 // Support for java_lang_ClassLoader
2514 oop java_lang_ClassLoader::parent(oop loader) {
2515 assert(loader->is_oop(), "loader must be oop");
2516 return loader->obj_field(parent_offset);
2517 }
2520 bool java_lang_ClassLoader::is_trusted_loader(oop loader) {
2521 // Fix for 4474172; see evaluation for more details
2522 loader = non_reflection_class_loader(loader);
2524 oop cl = SystemDictionary::java_system_loader();
2525 while(cl != NULL) {
2526 if (cl == loader) return true;
2527 cl = parent(cl);
2528 }
2529 return false;
2530 }
2532 oop java_lang_ClassLoader::non_reflection_class_loader(oop loader) {
2533 if (loader != NULL) {
2534 // See whether this is one of the class loaders associated with
2535 // the generated bytecodes for reflection, and if so, "magically"
2536 // delegate to its parent to prevent class loading from occurring
2537 // in places where applications using reflection didn't expect it.
2538 klassOop delegating_cl_class = SystemDictionary::reflect_delegating_classloader_klass();
2539 // This might be null in non-1.4 JDKs
2540 if (delegating_cl_class != NULL && loader->is_a(delegating_cl_class)) {
2541 return parent(loader);
2542 }
2543 }
2544 return loader;
2545 }
2548 // Support for java_lang_System
2550 void java_lang_System::compute_offsets() {
2551 assert(offset_of_static_fields == 0, "offsets should be initialized only once");
2553 instanceKlass* ik = instanceKlass::cast(SystemDictionary::system_klass());
2554 offset_of_static_fields = ik->offset_of_static_fields();
2555 }
2557 int java_lang_System::in_offset_in_bytes() {
2558 return (offset_of_static_fields + static_in_offset);
2559 }
2562 int java_lang_System::out_offset_in_bytes() {
2563 return (offset_of_static_fields + static_out_offset);
2564 }
2567 int java_lang_System::err_offset_in_bytes() {
2568 return (offset_of_static_fields + static_err_offset);
2569 }
2573 int java_lang_String::value_offset;
2574 int java_lang_String::offset_offset;
2575 int java_lang_String::count_offset;
2576 int java_lang_String::hash_offset;
2577 int java_lang_Class::klass_offset;
2578 int java_lang_Class::array_klass_offset;
2579 int java_lang_Class::resolved_constructor_offset;
2580 int java_lang_Class::number_of_fake_oop_fields;
2581 int java_lang_Throwable::backtrace_offset;
2582 int java_lang_Throwable::detailMessage_offset;
2583 int java_lang_Throwable::cause_offset;
2584 int java_lang_Throwable::stackTrace_offset;
2585 int java_lang_reflect_AccessibleObject::override_offset;
2586 int java_lang_reflect_Method::clazz_offset;
2587 int java_lang_reflect_Method::name_offset;
2588 int java_lang_reflect_Method::returnType_offset;
2589 int java_lang_reflect_Method::parameterTypes_offset;
2590 int java_lang_reflect_Method::exceptionTypes_offset;
2591 int java_lang_reflect_Method::slot_offset;
2592 int java_lang_reflect_Method::modifiers_offset;
2593 int java_lang_reflect_Method::signature_offset;
2594 int java_lang_reflect_Method::annotations_offset;
2595 int java_lang_reflect_Method::parameter_annotations_offset;
2596 int java_lang_reflect_Method::annotation_default_offset;
2597 int java_lang_reflect_Constructor::clazz_offset;
2598 int java_lang_reflect_Constructor::parameterTypes_offset;
2599 int java_lang_reflect_Constructor::exceptionTypes_offset;
2600 int java_lang_reflect_Constructor::slot_offset;
2601 int java_lang_reflect_Constructor::modifiers_offset;
2602 int java_lang_reflect_Constructor::signature_offset;
2603 int java_lang_reflect_Constructor::annotations_offset;
2604 int java_lang_reflect_Constructor::parameter_annotations_offset;
2605 int java_lang_reflect_Field::clazz_offset;
2606 int java_lang_reflect_Field::name_offset;
2607 int java_lang_reflect_Field::type_offset;
2608 int java_lang_reflect_Field::slot_offset;
2609 int java_lang_reflect_Field::modifiers_offset;
2610 int java_lang_reflect_Field::signature_offset;
2611 int java_lang_reflect_Field::annotations_offset;
2612 int java_lang_boxing_object::value_offset;
2613 int java_lang_boxing_object::long_value_offset;
2614 int java_lang_ref_Reference::referent_offset;
2615 int java_lang_ref_Reference::queue_offset;
2616 int java_lang_ref_Reference::next_offset;
2617 int java_lang_ref_Reference::discovered_offset;
2618 int java_lang_ref_Reference::static_lock_offset;
2619 int java_lang_ref_Reference::static_pending_offset;
2620 int java_lang_ref_Reference::number_of_fake_oop_fields;
2621 int java_lang_ref_SoftReference::timestamp_offset;
2622 int java_lang_ref_SoftReference::static_clock_offset;
2623 int java_lang_ClassLoader::parent_offset;
2624 int java_lang_System::offset_of_static_fields;
2625 int java_lang_System::static_in_offset;
2626 int java_lang_System::static_out_offset;
2627 int java_lang_System::static_err_offset;
2628 int java_lang_StackTraceElement::declaringClass_offset;
2629 int java_lang_StackTraceElement::methodName_offset;
2630 int java_lang_StackTraceElement::fileName_offset;
2631 int java_lang_StackTraceElement::lineNumber_offset;
2632 int java_lang_AssertionStatusDirectives::classes_offset;
2633 int java_lang_AssertionStatusDirectives::classEnabled_offset;
2634 int java_lang_AssertionStatusDirectives::packages_offset;
2635 int java_lang_AssertionStatusDirectives::packageEnabled_offset;
2636 int java_lang_AssertionStatusDirectives::deflt_offset;
2637 int java_nio_Buffer::_limit_offset;
2638 int sun_misc_AtomicLongCSImpl::_value_offset;
2639 int java_util_concurrent_locks_AbstractOwnableSynchronizer::_owner_offset = 0;
2640 int sun_reflect_ConstantPool::_cp_oop_offset;
2641 int sun_reflect_UnsafeStaticFieldAccessorImpl::_base_offset;
2644 // Support for java_lang_StackTraceElement
2646 void java_lang_StackTraceElement::set_fileName(oop element, oop value) {
2647 element->obj_field_put(fileName_offset, value);
2648 }
2650 void java_lang_StackTraceElement::set_declaringClass(oop element, oop value) {
2651 element->obj_field_put(declaringClass_offset, value);
2652 }
2654 void java_lang_StackTraceElement::set_methodName(oop element, oop value) {
2655 element->obj_field_put(methodName_offset, value);
2656 }
2658 void java_lang_StackTraceElement::set_lineNumber(oop element, int value) {
2659 element->int_field_put(lineNumber_offset, value);
2660 }
2663 // Support for java Assertions - java_lang_AssertionStatusDirectives.
2665 void java_lang_AssertionStatusDirectives::set_classes(oop o, oop val) {
2666 o->obj_field_put(classes_offset, val);
2667 }
2669 void java_lang_AssertionStatusDirectives::set_classEnabled(oop o, oop val) {
2670 o->obj_field_put(classEnabled_offset, val);
2671 }
2673 void java_lang_AssertionStatusDirectives::set_packages(oop o, oop val) {
2674 o->obj_field_put(packages_offset, val);
2675 }
2677 void java_lang_AssertionStatusDirectives::set_packageEnabled(oop o, oop val) {
2678 o->obj_field_put(packageEnabled_offset, val);
2679 }
2681 void java_lang_AssertionStatusDirectives::set_deflt(oop o, bool val) {
2682 o->bool_field_put(deflt_offset, val);
2683 }
2686 // Support for intrinsification of java.nio.Buffer.checkIndex
2687 int java_nio_Buffer::limit_offset() {
2688 return _limit_offset;
2689 }
2692 void java_nio_Buffer::compute_offsets() {
2693 klassOop k = SystemDictionary::java_nio_Buffer_klass();
2694 assert(k != NULL, "must be loaded in 1.4+");
2695 compute_offset(_limit_offset, k, vmSymbols::limit_name(), vmSymbols::int_signature());
2696 }
2698 // Support for intrinsification of sun.misc.AtomicLongCSImpl.attemptUpdate
2699 int sun_misc_AtomicLongCSImpl::value_offset() {
2700 assert(SystemDictionary::sun_misc_AtomicLongCSImpl_klass() != NULL, "can't call this");
2701 return _value_offset;
2702 }
2705 void sun_misc_AtomicLongCSImpl::compute_offsets() {
2706 klassOop k = SystemDictionary::sun_misc_AtomicLongCSImpl_klass();
2707 // If this class is not present, its value field offset won't be referenced.
2708 if (k != NULL) {
2709 compute_offset(_value_offset, k, vmSymbols::value_name(), vmSymbols::long_signature());
2710 }
2711 }
2713 void java_util_concurrent_locks_AbstractOwnableSynchronizer::initialize(TRAPS) {
2714 if (_owner_offset != 0) return;
2716 assert(JDK_Version::is_gte_jdk16x_version(), "Must be JDK 1.6 or later");
2717 SystemDictionary::load_abstract_ownable_synchronizer_klass(CHECK);
2718 klassOop k = SystemDictionary::abstract_ownable_synchronizer_klass();
2719 compute_offset(_owner_offset, k,
2720 vmSymbols::exclusive_owner_thread_name(), vmSymbols::thread_signature());
2721 }
2723 oop java_util_concurrent_locks_AbstractOwnableSynchronizer::get_owner_threadObj(oop obj) {
2724 assert(_owner_offset != 0, "Must be initialized");
2725 return obj->obj_field(_owner_offset);
2726 }
2728 // Compute hard-coded offsets
2729 // Invoked before SystemDictionary::initialize, so pre-loaded classes
2730 // are not available to determine the offset_of_static_fields.
2731 void JavaClasses::compute_hard_coded_offsets() {
2732 const int x = heapOopSize;
2733 const int header = instanceOopDesc::base_offset_in_bytes();
2735 // Do the String Class
2736 java_lang_String::value_offset = java_lang_String::hc_value_offset * x + header;
2737 java_lang_String::offset_offset = java_lang_String::hc_offset_offset * x + header;
2738 java_lang_String::count_offset = java_lang_String::offset_offset + sizeof (jint);
2739 java_lang_String::hash_offset = java_lang_String::count_offset + sizeof (jint);
2741 // Do the Class Class
2742 java_lang_Class::klass_offset = java_lang_Class::hc_klass_offset * x + header;
2743 java_lang_Class::array_klass_offset = java_lang_Class::hc_array_klass_offset * x + header;
2744 java_lang_Class::resolved_constructor_offset = java_lang_Class::hc_resolved_constructor_offset * x + header;
2746 // This is NOT an offset
2747 java_lang_Class::number_of_fake_oop_fields = java_lang_Class::hc_number_of_fake_oop_fields;
2749 // Throwable Class
2750 java_lang_Throwable::backtrace_offset = java_lang_Throwable::hc_backtrace_offset * x + header;
2751 java_lang_Throwable::detailMessage_offset = java_lang_Throwable::hc_detailMessage_offset * x + header;
2752 java_lang_Throwable::cause_offset = java_lang_Throwable::hc_cause_offset * x + header;
2753 java_lang_Throwable::stackTrace_offset = java_lang_Throwable::hc_stackTrace_offset * x + header;
2755 // java_lang_boxing_object
2756 java_lang_boxing_object::value_offset = java_lang_boxing_object::hc_value_offset + header;
2757 java_lang_boxing_object::long_value_offset = align_size_up((java_lang_boxing_object::hc_value_offset + header), BytesPerLong);
2759 // java_lang_ref_Reference:
2760 java_lang_ref_Reference::referent_offset = java_lang_ref_Reference::hc_referent_offset * x + header;
2761 java_lang_ref_Reference::queue_offset = java_lang_ref_Reference::hc_queue_offset * x + header;
2762 java_lang_ref_Reference::next_offset = java_lang_ref_Reference::hc_next_offset * x + header;
2763 java_lang_ref_Reference::discovered_offset = java_lang_ref_Reference::hc_discovered_offset * x + header;
2764 java_lang_ref_Reference::static_lock_offset = java_lang_ref_Reference::hc_static_lock_offset * x;
2765 java_lang_ref_Reference::static_pending_offset = java_lang_ref_Reference::hc_static_pending_offset * x;
2766 // Artificial fields for java_lang_ref_Reference
2767 // The first field is for the discovered field added in 1.4
2768 java_lang_ref_Reference::number_of_fake_oop_fields = 1;
2770 // java_lang_ref_SoftReference Class
2771 java_lang_ref_SoftReference::timestamp_offset = align_size_up((java_lang_ref_SoftReference::hc_timestamp_offset * x + header), BytesPerLong);
2772 // Don't multiply static fields because they are always in wordSize units
2773 java_lang_ref_SoftReference::static_clock_offset = java_lang_ref_SoftReference::hc_static_clock_offset * x;
2775 // java_lang_ClassLoader
2776 java_lang_ClassLoader::parent_offset = java_lang_ClassLoader::hc_parent_offset * x + header;
2778 // java_lang_System
2779 java_lang_System::static_in_offset = java_lang_System::hc_static_in_offset * x;
2780 java_lang_System::static_out_offset = java_lang_System::hc_static_out_offset * x;
2781 java_lang_System::static_err_offset = java_lang_System::hc_static_err_offset * x;
2783 // java_lang_StackTraceElement
2784 java_lang_StackTraceElement::declaringClass_offset = java_lang_StackTraceElement::hc_declaringClass_offset * x + header;
2785 java_lang_StackTraceElement::methodName_offset = java_lang_StackTraceElement::hc_methodName_offset * x + header;
2786 java_lang_StackTraceElement::fileName_offset = java_lang_StackTraceElement::hc_fileName_offset * x + header;
2787 java_lang_StackTraceElement::lineNumber_offset = java_lang_StackTraceElement::hc_lineNumber_offset * x + header;
2788 java_lang_AssertionStatusDirectives::classes_offset = java_lang_AssertionStatusDirectives::hc_classes_offset * x + header;
2789 java_lang_AssertionStatusDirectives::classEnabled_offset = java_lang_AssertionStatusDirectives::hc_classEnabled_offset * x + header;
2790 java_lang_AssertionStatusDirectives::packages_offset = java_lang_AssertionStatusDirectives::hc_packages_offset * x + header;
2791 java_lang_AssertionStatusDirectives::packageEnabled_offset = java_lang_AssertionStatusDirectives::hc_packageEnabled_offset * x + header;
2792 java_lang_AssertionStatusDirectives::deflt_offset = java_lang_AssertionStatusDirectives::hc_deflt_offset * x + header;
2794 }
2797 // Compute non-hard-coded field offsets of all the classes in this file
2798 void JavaClasses::compute_offsets() {
2800 java_lang_Class::compute_offsets();
2801 java_lang_System::compute_offsets();
2802 java_lang_Thread::compute_offsets();
2803 java_lang_ThreadGroup::compute_offsets();
2804 if (EnableMethodHandles) {
2805 java_dyn_MethodHandle::compute_offsets();
2806 sun_dyn_MemberName::compute_offsets();
2807 sun_dyn_DirectMethodHandle::compute_offsets();
2808 sun_dyn_BoundMethodHandle::compute_offsets();
2809 sun_dyn_AdapterMethodHandle::compute_offsets();
2810 java_dyn_MethodType::compute_offsets();
2811 java_dyn_MethodTypeForm::compute_offsets();
2812 }
2813 if (EnableInvokeDynamic) {
2814 java_dyn_CallSite::compute_offsets();
2815 }
2816 java_security_AccessControlContext::compute_offsets();
2817 // Initialize reflection classes. The layouts of these classes
2818 // changed with the new reflection implementation in JDK 1.4, and
2819 // since the Universe doesn't know what JDK version it is until this
2820 // point we defer computation of these offsets until now.
2821 java_lang_reflect_AccessibleObject::compute_offsets();
2822 java_lang_reflect_Method::compute_offsets();
2823 java_lang_reflect_Constructor::compute_offsets();
2824 java_lang_reflect_Field::compute_offsets();
2825 if (JDK_Version::is_gte_jdk14x_version()) {
2826 java_nio_Buffer::compute_offsets();
2827 }
2828 if (JDK_Version::is_gte_jdk15x_version()) {
2829 sun_reflect_ConstantPool::compute_offsets();
2830 sun_reflect_UnsafeStaticFieldAccessorImpl::compute_offsets();
2831 }
2832 sun_misc_AtomicLongCSImpl::compute_offsets();
2834 // generated interpreter code wants to know about the offsets we just computed:
2835 AbstractAssembler::update_delayed_values();
2836 }
2838 #ifndef PRODUCT
2840 // These functions exist to assert the validity of hard-coded field offsets to guard
2841 // against changes in the class files
2843 bool JavaClasses::check_offset(const char *klass_name, int hardcoded_offset, const char *field_name, const char* field_sig) {
2844 EXCEPTION_MARK;
2845 fieldDescriptor fd;
2846 symbolHandle klass_sym = oopFactory::new_symbol_handle(klass_name, CATCH);
2847 klassOop k = SystemDictionary::resolve_or_fail(klass_sym, true, CATCH);
2848 instanceKlassHandle h_klass (THREAD, k);
2849 //instanceKlassHandle h_klass(klass);
2850 symbolHandle f_name = oopFactory::new_symbol_handle(field_name, CATCH);
2851 symbolHandle f_sig = oopFactory::new_symbol_handle(field_sig, CATCH);
2852 if (!h_klass->find_local_field(f_name(), f_sig(), &fd)) {
2853 tty->print_cr("Nonstatic field %s.%s not found", klass_name, field_name);
2854 return false;
2855 }
2856 if (fd.is_static()) {
2857 tty->print_cr("Nonstatic field %s.%s appears to be static", klass_name, field_name);
2858 return false;
2859 }
2860 if (fd.offset() == hardcoded_offset ) {
2861 return true;
2862 } else {
2863 tty->print_cr("Offset of nonstatic field %s.%s is hardcoded as %d but should really be %d.",
2864 klass_name, field_name, hardcoded_offset, fd.offset());
2865 return false;
2866 }
2867 }
2870 bool JavaClasses::check_static_offset(const char *klass_name, int hardcoded_offset, const char *field_name, const char* field_sig) {
2871 EXCEPTION_MARK;
2872 fieldDescriptor fd;
2873 symbolHandle klass_sym = oopFactory::new_symbol_handle(klass_name, CATCH);
2874 klassOop k = SystemDictionary::resolve_or_fail(klass_sym, true, CATCH);
2875 instanceKlassHandle h_klass (THREAD, k);
2876 symbolHandle f_name = oopFactory::new_symbol_handle(field_name, CATCH);
2877 symbolHandle f_sig = oopFactory::new_symbol_handle(field_sig, CATCH);
2878 if (!h_klass->find_local_field(f_name(), f_sig(), &fd)) {
2879 tty->print_cr("Static field %s.%s not found", klass_name, field_name);
2880 return false;
2881 }
2882 if (!fd.is_static()) {
2883 tty->print_cr("Static field %s.%s appears to be nonstatic", klass_name, field_name);
2884 return false;
2885 }
2886 if (fd.offset() == hardcoded_offset + h_klass->offset_of_static_fields()) {
2887 return true;
2888 } else {
2889 tty->print_cr("Offset of static field %s.%s is hardcoded as %d but should really be %d.", klass_name, field_name, hardcoded_offset, fd.offset() - h_klass->offset_of_static_fields());
2890 return false;
2891 }
2892 }
2895 bool JavaClasses::check_constant(const char *klass_name, int hardcoded_constant, const char *field_name, const char* field_sig) {
2896 EXCEPTION_MARK;
2897 fieldDescriptor fd;
2898 symbolHandle klass_sym = oopFactory::new_symbol_handle(klass_name, CATCH);
2899 klassOop k = SystemDictionary::resolve_or_fail(klass_sym, true, CATCH);
2900 instanceKlassHandle h_klass (THREAD, k);
2901 symbolHandle f_name = oopFactory::new_symbol_handle(field_name, CATCH);
2902 symbolHandle f_sig = oopFactory::new_symbol_handle(field_sig, CATCH);
2903 if (!h_klass->find_local_field(f_name(), f_sig(), &fd)) {
2904 tty->print_cr("Static field %s.%s not found", klass_name, field_name);
2905 return false;
2906 }
2907 if (!fd.is_static() || !fd.has_initial_value()) {
2908 tty->print_cr("Static field %s.%s appears to be non-constant", klass_name, field_name);
2909 return false;
2910 }
2911 if (!fd.initial_value_tag().is_int()) {
2912 tty->print_cr("Static field %s.%s is not an int", klass_name, field_name);
2913 return false;
2914 }
2915 jint field_value = fd.int_initial_value();
2916 if (field_value == hardcoded_constant) {
2917 return true;
2918 } else {
2919 tty->print_cr("Constant value of static field %s.%s is hardcoded as %d but should really be %d.", klass_name, field_name, hardcoded_constant, field_value);
2920 return false;
2921 }
2922 }
2925 // Check the hard-coded field offsets of all the classes in this file
2927 void JavaClasses::check_offsets() {
2928 bool valid = true;
2930 #define CHECK_OFFSET(klass_name, cpp_klass_name, field_name, field_sig) \
2931 valid &= check_offset(klass_name, cpp_klass_name :: field_name ## _offset, #field_name, field_sig)
2933 #define CHECK_LONG_OFFSET(klass_name, cpp_klass_name, field_name, field_sig) \
2934 valid &= check_offset(klass_name, cpp_klass_name :: long_ ## field_name ## _offset, #field_name, field_sig)
2936 #define CHECK_STATIC_OFFSET(klass_name, cpp_klass_name, field_name, field_sig) \
2937 valid &= check_static_offset(klass_name, cpp_klass_name :: static_ ## field_name ## _offset, #field_name, field_sig)
2939 #define CHECK_CONSTANT(klass_name, cpp_klass_name, field_name, field_sig) \
2940 valid &= check_constant(klass_name, cpp_klass_name :: field_name, #field_name, field_sig)
2942 // java.lang.String
2944 CHECK_OFFSET("java/lang/String", java_lang_String, value, "[C");
2945 CHECK_OFFSET("java/lang/String", java_lang_String, offset, "I");
2946 CHECK_OFFSET("java/lang/String", java_lang_String, count, "I");
2947 CHECK_OFFSET("java/lang/String", java_lang_String, hash, "I");
2949 // java.lang.Class
2951 // Fake fields
2952 // CHECK_OFFSET("java/lang/Class", java_lang_Class, klass); // %%% this needs to be checked
2953 // CHECK_OFFSET("java/lang/Class", java_lang_Class, array_klass); // %%% this needs to be checked
2954 // CHECK_OFFSET("java/lang/Class", java_lang_Class, resolved_constructor); // %%% this needs to be checked
2956 // java.lang.Throwable
2958 CHECK_OFFSET("java/lang/Throwable", java_lang_Throwable, backtrace, "Ljava/lang/Object;");
2959 CHECK_OFFSET("java/lang/Throwable", java_lang_Throwable, detailMessage, "Ljava/lang/String;");
2960 CHECK_OFFSET("java/lang/Throwable", java_lang_Throwable, cause, "Ljava/lang/Throwable;");
2961 CHECK_OFFSET("java/lang/Throwable", java_lang_Throwable, stackTrace, "[Ljava/lang/StackTraceElement;");
2963 // Boxed primitive objects (java_lang_boxing_object)
2965 CHECK_OFFSET("java/lang/Boolean", java_lang_boxing_object, value, "Z");
2966 CHECK_OFFSET("java/lang/Character", java_lang_boxing_object, value, "C");
2967 CHECK_OFFSET("java/lang/Float", java_lang_boxing_object, value, "F");
2968 CHECK_LONG_OFFSET("java/lang/Double", java_lang_boxing_object, value, "D");
2969 CHECK_OFFSET("java/lang/Byte", java_lang_boxing_object, value, "B");
2970 CHECK_OFFSET("java/lang/Short", java_lang_boxing_object, value, "S");
2971 CHECK_OFFSET("java/lang/Integer", java_lang_boxing_object, value, "I");
2972 CHECK_LONG_OFFSET("java/lang/Long", java_lang_boxing_object, value, "J");
2974 // java.lang.ClassLoader
2976 CHECK_OFFSET("java/lang/ClassLoader", java_lang_ClassLoader, parent, "Ljava/lang/ClassLoader;");
2978 // java.lang.System
2980 CHECK_STATIC_OFFSET("java/lang/System", java_lang_System, in, "Ljava/io/InputStream;");
2981 CHECK_STATIC_OFFSET("java/lang/System", java_lang_System, out, "Ljava/io/PrintStream;");
2982 CHECK_STATIC_OFFSET("java/lang/System", java_lang_System, err, "Ljava/io/PrintStream;");
2984 // java.lang.StackTraceElement
2986 CHECK_OFFSET("java/lang/StackTraceElement", java_lang_StackTraceElement, declaringClass, "Ljava/lang/String;");
2987 CHECK_OFFSET("java/lang/StackTraceElement", java_lang_StackTraceElement, methodName, "Ljava/lang/String;");
2988 CHECK_OFFSET("java/lang/StackTraceElement", java_lang_StackTraceElement, fileName, "Ljava/lang/String;");
2989 CHECK_OFFSET("java/lang/StackTraceElement", java_lang_StackTraceElement, lineNumber, "I");
2991 // java.lang.ref.Reference
2993 CHECK_OFFSET("java/lang/ref/Reference", java_lang_ref_Reference, referent, "Ljava/lang/Object;");
2994 CHECK_OFFSET("java/lang/ref/Reference", java_lang_ref_Reference, queue, "Ljava/lang/ref/ReferenceQueue;");
2995 CHECK_OFFSET("java/lang/ref/Reference", java_lang_ref_Reference, next, "Ljava/lang/ref/Reference;");
2996 // Fake field
2997 //CHECK_OFFSET("java/lang/ref/Reference", java_lang_ref_Reference, discovered, "Ljava/lang/ref/Reference;");
2998 CHECK_STATIC_OFFSET("java/lang/ref/Reference", java_lang_ref_Reference, lock, "Ljava/lang/ref/Reference$Lock;");
2999 CHECK_STATIC_OFFSET("java/lang/ref/Reference", java_lang_ref_Reference, pending, "Ljava/lang/ref/Reference;");
3001 // java.lang.ref.SoftReference
3003 CHECK_OFFSET("java/lang/ref/SoftReference", java_lang_ref_SoftReference, timestamp, "J");
3004 CHECK_STATIC_OFFSET("java/lang/ref/SoftReference", java_lang_ref_SoftReference, clock, "J");
3006 // java.lang.AssertionStatusDirectives
3007 //
3008 // The CheckAssertionStatusDirectives boolean can be removed from here and
3009 // globals.hpp after the AssertionStatusDirectives class has been integrated
3010 // into merlin "for some time." Without it, the vm will fail with early
3011 // merlin builds.
3013 if (CheckAssertionStatusDirectives && JDK_Version::is_gte_jdk14x_version()) {
3014 const char* nm = "java/lang/AssertionStatusDirectives";
3015 const char* sig = "[Ljava/lang/String;";
3016 CHECK_OFFSET(nm, java_lang_AssertionStatusDirectives, classes, sig);
3017 CHECK_OFFSET(nm, java_lang_AssertionStatusDirectives, classEnabled, "[Z");
3018 CHECK_OFFSET(nm, java_lang_AssertionStatusDirectives, packages, sig);
3019 CHECK_OFFSET(nm, java_lang_AssertionStatusDirectives, packageEnabled, "[Z");
3020 CHECK_OFFSET(nm, java_lang_AssertionStatusDirectives, deflt, "Z");
3021 }
3023 if (!valid) vm_exit_during_initialization("Hard-coded field offset verification failed");
3024 }
3026 #endif // PRODUCT
3028 void javaClasses_init() {
3029 JavaClasses::compute_offsets();
3030 JavaClasses::check_offsets();
3031 FilteredFieldsMap::initialize(); // must be done after computing offsets.
3032 }