< prev index next >

src/hotspot/share/prims/jni.cpp

Print this page

  34 #include "classfile/moduleEntry.hpp"
  35 #include "classfile/modules.hpp"
  36 #include "classfile/symbolTable.hpp"
  37 #include "classfile/systemDictionary.hpp"
  38 #include "classfile/vmClasses.hpp"
  39 #include "classfile/vmSymbols.hpp"
  40 #include "compiler/compiler_globals.hpp"
  41 #include "gc/shared/collectedHeap.hpp"
  42 #include "gc/shared/stringdedup/stringDedup.hpp"
  43 #include "interpreter/linkResolver.hpp"
  44 #include "jni.h"
  45 #include "jvm.h"
  46 #include "logging/log.hpp"
  47 #include "memory/allocation.inline.hpp"
  48 #include "memory/oopFactory.hpp"
  49 #include "memory/resourceArea.hpp"
  50 #include "memory/universe.hpp"
  51 #include "nmt/memTracker.hpp"
  52 #include "oops/access.inline.hpp"
  53 #include "oops/arrayOop.hpp"


  54 #include "oops/instanceKlass.inline.hpp"
  55 #include "oops/instanceOop.hpp"
  56 #include "oops/klass.inline.hpp"
  57 #include "oops/markWord.hpp"
  58 #include "oops/method.hpp"
  59 #include "oops/objArrayKlass.hpp"
  60 #include "oops/objArrayOop.inline.hpp"
  61 #include "oops/oop.inline.hpp"
  62 #include "oops/symbol.hpp"
  63 #include "oops/typeArrayKlass.hpp"
  64 #include "oops/typeArrayOop.inline.hpp"

  65 #include "prims/jniCheck.hpp"
  66 #include "prims/jniExport.hpp"
  67 #include "prims/jniFastGetField.hpp"
  68 #include "prims/jvm_misc.hpp"
  69 #include "prims/jvmtiExport.hpp"
  70 #include "prims/jvmtiThreadState.hpp"
  71 #include "runtime/arguments.hpp"
  72 #include "runtime/atomicAccess.hpp"
  73 #include "runtime/fieldDescriptor.inline.hpp"
  74 #include "runtime/handles.inline.hpp"
  75 #include "runtime/interfaceSupport.inline.hpp"
  76 #include "runtime/java.hpp"
  77 #include "runtime/javaCalls.hpp"
  78 #include "runtime/javaThread.inline.hpp"
  79 #include "runtime/jfieldIDWorkaround.hpp"
  80 #include "runtime/jniHandles.inline.hpp"
  81 #include "runtime/reflection.hpp"
  82 #include "runtime/safepointVerifiers.hpp"
  83 #include "runtime/sharedRuntime.hpp"
  84 #include "runtime/signature.hpp"

 401   int modifiers   = java_lang_reflect_Field::modifiers(reflected);
 402 
 403   // Make sure class is initialized before handing id's out to fields
 404   k1->initialize(CHECK_NULL);
 405 
 406   // First check if this is a static field
 407   if (modifiers & JVM_ACC_STATIC) {
 408     int offset = InstanceKlass::cast(k1)->field_offset( slot );
 409     JNIid* id = InstanceKlass::cast(k1)->jni_id_for(offset);
 410     assert(id != nullptr, "corrupt Field object");
 411     DEBUG_ONLY(id->set_is_static_field_id();)
 412     // A jfieldID for a static field is a JNIid specifying the field holder and the offset within the Klass*
 413     ret = jfieldIDWorkaround::to_static_jfieldID(id);
 414     return ret;
 415   }
 416 
 417   // The slot is the index of the field description in the field-array
 418   // The jfieldID is the offset of the field within the object
 419   // It may also have hash bits for k, if VerifyJNIFields is turned on.
 420   int offset = InstanceKlass::cast(k1)->field_offset( slot );

 421   assert(InstanceKlass::cast(k1)->contains_field_offset(offset), "stay within object");
 422   ret = jfieldIDWorkaround::to_instance_jfieldID(k1, offset);
 423   return ret;
 424 JNI_END
 425 
 426 
 427 DT_RETURN_MARK_DECL(ToReflectedMethod, jobject
 428                     , HOTSPOT_JNI_TOREFLECTEDMETHOD_RETURN(_ret_ref));
 429 
 430 JNI_ENTRY(jobject, jni_ToReflectedMethod(JNIEnv *env, jclass cls, jmethodID method_id, jboolean isStatic))
 431   HOTSPOT_JNI_TOREFLECTEDMETHOD_ENTRY(env, cls, (uintptr_t) method_id, isStatic);
 432 
 433   jobject ret = nullptr;
 434   DT_RETURN_MARK(ToReflectedMethod, jobject, (const jobject&)ret);
 435 
 436   methodHandle m (THREAD, Method::resolve_jmethod_id(method_id));
 437   assert(m->is_static() == (isStatic != 0), "jni_ToReflectedMethod access flags doesn't match");
 438   oop reflection_method;
 439   if (m->is_object_initializer()) {
 440     reflection_method = Reflection::new_constructor(m, CHECK_NULL);
 441   } else {
 442     // Note: Static initializers can theoretically be here, if JNI users manage
 443     // to get their jmethodID. Record them as plain methods.
 444     reflection_method = Reflection::new_method(m, false, CHECK_NULL);
 445   }
 446   ret = JNIHandles::make_local(THREAD, reflection_method);
 447   return ret;
 448 JNI_END
 449 
 450 DT_RETURN_MARK_DECL(GetSuperclass, jclass
 451                     , HOTSPOT_JNI_GETSUPERCLASS_RETURN(_ret_ref));
 452 
 453 JNI_ENTRY(jclass, jni_GetSuperclass(JNIEnv *env, jclass sub))
 454   HOTSPOT_JNI_GETSUPERCLASS_ENTRY(env, sub);
 455 
 456   jclass obj = nullptr;
 457   DT_RETURN_MARK(GetSuperclass, jclass, (const jclass&)obj);
 458 
 459   oop mirror = JNIHandles::resolve_non_null(sub);

1753   // table.  If they're not there, the field doesn't exist.
1754   TempNewSymbol fieldname = SymbolTable::probe(name, (int)strlen(name));
1755   TempNewSymbol signame = SymbolTable::probe(sig, (int)strlen(sig));
1756   if (fieldname == nullptr || signame == nullptr) {
1757     ResourceMark rm;
1758     THROW_MSG_NULL(vmSymbols::java_lang_NoSuchFieldError(), err_msg("%s.%s %s", k->external_name(), name, sig));
1759   }
1760 
1761   // Make sure class is initialized before handing id's out to fields
1762   k->initialize(CHECK_NULL);
1763 
1764   fieldDescriptor fd;
1765   if (!k->is_instance_klass() ||
1766       !InstanceKlass::cast(k)->find_field(fieldname, signame, false, &fd)) {
1767     ResourceMark rm;
1768     THROW_MSG_NULL(vmSymbols::java_lang_NoSuchFieldError(), err_msg("%s.%s %s", k->external_name(), name, sig));
1769   }
1770 
1771   // A jfieldID for a non-static field is simply the offset of the field within the instanceOop
1772   // It may also have hash bits for k, if VerifyJNIFields is turned on.
1773   ret = jfieldIDWorkaround::to_instance_jfieldID(k, fd.offset());
1774   return ret;
1775 JNI_END
1776 
1777 
1778 JNI_ENTRY(jobject, jni_GetObjectField(JNIEnv *env, jobject obj, jfieldID fieldID))
1779   HOTSPOT_JNI_GETOBJECTFIELD_ENTRY(env, obj, (uintptr_t) fieldID);
1780   oop o = JNIHandles::resolve_non_null(obj);
1781   Klass* k = o->klass();
1782   int offset = jfieldIDWorkaround::from_instance_jfieldID(k, fieldID);

1783   // Keep JVMTI addition small and only check enabled flag here.
1784   // jni_GetField_probe() assumes that is okay to create handles.
1785   if (JvmtiExport::should_post_field_access()) {
1786     o = JvmtiExport::jni_GetField_probe(thread, obj, o, k, fieldID, false);
1787   }
1788   oop loaded_obj = HeapAccess<ON_UNKNOWN_OOP_REF>::oop_load_at(o, offset);
1789   jobject ret = JNIHandles::make_local(THREAD, loaded_obj);









1790   HOTSPOT_JNI_GETOBJECTFIELD_RETURN(ret);
1791   return ret;
1792 JNI_END
1793 
1794 
1795 
1796 #define DEFINE_GETFIELD(Return,Fieldname,Result \
1797   , EntryProbe, ReturnProbe) \
1798 \
1799   DT_RETURN_MARK_DECL_FOR(Result, Get##Result##Field, Return \
1800   , ReturnProbe); \
1801 \
1802 JNI_ENTRY_NO_PRESERVE(Return, jni_Get##Result##Field(JNIEnv *env, jobject obj, jfieldID fieldID)) \
1803 \
1804   EntryProbe; \
1805   Return ret = 0;\
1806   DT_RETURN_MARK_FOR(Result, Get##Result##Field, Return, (const Return&)ret);\
1807 \
1808   oop o = JNIHandles::resolve_non_null(obj); \
1809   Klass* k = o->klass(); \

1887     assert(found, "bad field offset");
1888     assert(!fd.is_static(), "static/instance mismatch");
1889     if (fd.is_final()) {
1890       ResourceMark rm(current);
1891       log_debug(jni)("%s mutated final instance field %s.%s", func_name, ik->external_name(), fd.name()->as_C_string());
1892     }
1893   }
1894 }
1895 
1896 JNI_ENTRY_NO_PRESERVE(void, jni_SetObjectField(JNIEnv *env, jobject obj, jfieldID fieldID, jobject value))
1897   HOTSPOT_JNI_SETOBJECTFIELD_ENTRY(env, obj, (uintptr_t) fieldID, value);
1898   oop o = JNIHandles::resolve_non_null(obj);
1899   Klass* k = o->klass();
1900   int offset = jfieldIDWorkaround::from_instance_jfieldID(k, fieldID);
1901   // Keep JVMTI addition small and only check enabled flag here.
1902   if (JvmtiExport::should_post_field_modification()) {
1903     jvalue field_value;
1904     field_value.l = value;
1905     o = JvmtiExport::jni_SetField_probe(thread, obj, o, k, fieldID, false, JVM_SIGNATURE_CLASS, (jvalue *)&field_value);
1906   }
1907   HeapAccess<ON_UNKNOWN_OOP_REF>::oop_store_at(o, offset, JNIHandles::resolve(value));



















1908   log_debug_if_final_instance_field(thread, "SetObjectField", InstanceKlass::cast(k), offset);
1909   HOTSPOT_JNI_SETOBJECTFIELD_RETURN();
1910 JNI_END
1911 
1912 // TODO: make this a template
1913 
1914 #define DEFINE_SETFIELD(Argument,Fieldname,Result,SigType,unionType \
1915                         , EntryProbe, ReturnProbe) \
1916 \
1917 JNI_ENTRY_NO_PRESERVE(void, jni_Set##Result##Field(JNIEnv *env, jobject obj, jfieldID fieldID, Argument value)) \
1918 \
1919   EntryProbe; \
1920 \
1921   oop o = JNIHandles::resolve_non_null(obj); \
1922   Klass* k = o->klass(); \
1923   int offset = jfieldIDWorkaround::from_instance_jfieldID(k, fieldID);  \
1924   /* Keep JVMTI addition small and only check enabled flag here.       */ \
1925   if (JvmtiExport::should_post_field_modification()) { \
1926     jvalue field_value; \
1927     field_value.unionType = value; \

2320 
2321   oop initial_value = JNIHandles::resolve(initialElement);
2322   if (initial_value != nullptr) {  // array already initialized with null
2323     for (int index = 0; index < length; index++) {
2324       result->obj_at_put(index, initial_value);
2325     }
2326   }
2327   ret = (jobjectArray) JNIHandles::make_local(THREAD, result);
2328   return ret;
2329 JNI_END
2330 
2331 DT_RETURN_MARK_DECL(GetObjectArrayElement, jobject
2332                     , HOTSPOT_JNI_GETOBJECTARRAYELEMENT_RETURN(_ret_ref));
2333 
2334 JNI_ENTRY(jobject, jni_GetObjectArrayElement(JNIEnv *env, jobjectArray array, jsize index))
2335  HOTSPOT_JNI_GETOBJECTARRAYELEMENT_ENTRY(env, array, index);
2336   jobject ret = nullptr;
2337   DT_RETURN_MARK(GetObjectArrayElement, jobject, (const jobject&)ret);
2338   objArrayOop a = objArrayOop(JNIHandles::resolve_non_null(array));
2339   if (a->is_within_bounds(index)) {
2340     ret = JNIHandles::make_local(THREAD, a->obj_at(index));


2341     return ret;
2342   } else {
2343     ResourceMark rm(THREAD);
2344     stringStream ss;
2345     ss.print("Index %d out of bounds for length %d", index, a->length());
2346     THROW_MSG_NULL(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), ss.as_string());
2347   }
2348 JNI_END
2349 
2350 DT_VOID_RETURN_MARK_DECL(SetObjectArrayElement
2351                          , HOTSPOT_JNI_SETOBJECTARRAYELEMENT_RETURN());
2352 
2353 JNI_ENTRY(void, jni_SetObjectArrayElement(JNIEnv *env, jobjectArray array, jsize index, jobject value))
2354  HOTSPOT_JNI_SETOBJECTARRAYELEMENT_ENTRY(env, array, index, value);
2355   DT_VOID_RETURN_MARK(SetObjectArrayElement);
2356 
2357   objArrayOop a = objArrayOop(JNIHandles::resolve_non_null(array));
2358   oop v = JNIHandles::resolve(value);
2359   if (a->is_within_bounds(index)) {

2360     if (v == nullptr || v->is_a(ObjArrayKlass::cast(a->klass())->element_klass())) {
2361       a->obj_at_put(index, v);

2362     } else {
2363       ResourceMark rm(THREAD);
2364       stringStream ss;
2365       Klass *bottom_kl = ObjArrayKlass::cast(a->klass())->bottom_klass();
2366       ss.print("type mismatch: can not store %s to %s[%d]",
2367                v->klass()->external_name(),
2368                bottom_kl->is_typeArray_klass() ? type2name_tab[ArrayKlass::cast(bottom_kl)->element_type()] : bottom_kl->external_name(),
2369                index);
2370       for (int dims = ArrayKlass::cast(a->klass())->dimension(); dims > 1; --dims) {
2371         ss.print("[]");
2372       }
2373       THROW_MSG(vmSymbols::java_lang_ArrayStoreException(), ss.as_string());
2374     }
2375   } else {
2376     ResourceMark rm(THREAD);
2377     stringStream ss;
2378     ss.print("Index %d out of bounds for length %d", index, a->length());
2379     THROW_MSG(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), ss.as_string());
2380   }
2381 JNI_END

2736 JNI_END
2737 
2738 //
2739 // Monitor functions
2740 //
2741 
2742 DT_RETURN_MARK_DECL(MonitorEnter, jint
2743                     , HOTSPOT_JNI_MONITORENTER_RETURN(_ret_ref));
2744 
2745 JNI_ENTRY(jint, jni_MonitorEnter(JNIEnv *env, jobject jobj))
2746  HOTSPOT_JNI_MONITORENTER_ENTRY(env, jobj);
2747   jint ret = JNI_ERR;
2748   DT_RETURN_MARK(MonitorEnter, jint, (const jint&)ret);
2749 
2750   // If the object is null, we can't do anything with it
2751   if (jobj == nullptr) {
2752     THROW_(vmSymbols::java_lang_NullPointerException(), JNI_ERR);
2753   }
2754 
2755   Handle obj(thread, JNIHandles::resolve_non_null(jobj));
2756   ObjectSynchronizer::jni_enter(obj, thread);
2757   return JNI_OK;
2758 JNI_END
2759 
2760 DT_RETURN_MARK_DECL(MonitorExit, jint
2761                     , HOTSPOT_JNI_MONITOREXIT_RETURN(_ret_ref));
2762 
2763 JNI_ENTRY(jint, jni_MonitorExit(JNIEnv *env, jobject jobj))
2764  HOTSPOT_JNI_MONITOREXIT_ENTRY(env, jobj);
2765   jint ret = JNI_ERR;
2766   DT_RETURN_MARK(MonitorExit, jint, (const jint&)ret);
2767 
2768   // Don't do anything with a null object
2769   if (jobj == nullptr) {
2770     THROW_(vmSymbols::java_lang_NullPointerException(), JNI_ERR);
2771   }
2772 
2773   Handle obj(THREAD, JNIHandles::resolve_non_null(jobj));
2774   ObjectSynchronizer::jni_exit(obj(), CHECK_(JNI_ERR));
2775   return JNI_OK;
2776 JNI_END

2895 
2896   if (is_latin1) {
2897     // For latin1 string, free jchar array allocated by earlier call to GetStringCritical.
2898     // This assumes that ReleaseStringCritical bookends GetStringCritical.
2899     FREE_C_HEAP_ARRAY(jchar, chars);
2900   } else {
2901     // StringDedup can have replaced the value array, so don't fetch the array from 's'.
2902     // Instead, we calculate the address based on the jchar array exposed with GetStringCritical.
2903     oop value = cast_to_oop((address)chars - arrayOopDesc::base_offset_in_bytes(T_CHAR));
2904 
2905     // Unpin value array
2906     Universe::heap()->unpin_object(thread, value);
2907   }
2908 HOTSPOT_JNI_RELEASESTRINGCRITICAL_RETURN();
2909 JNI_END
2910 
2911 
2912 JNI_ENTRY(jweak, jni_NewWeakGlobalRef(JNIEnv *env, jobject ref))
2913   HOTSPOT_JNI_NEWWEAKGLOBALREF_ENTRY(env, ref);
2914   Handle ref_handle(thread, JNIHandles::resolve(ref));








2915   jweak ret = JNIHandles::make_weak_global(ref_handle, AllocFailStrategy::RETURN_NULL);
2916   if (ret == nullptr && ref_handle.not_null()) {
2917     THROW_OOP_(Universe::out_of_memory_error_c_heap(), nullptr);
2918   }
2919   HOTSPOT_JNI_NEWWEAKGLOBALREF_RETURN(ret);
2920   return ret;
2921 JNI_END
2922 
2923 // Must be JNI_ENTRY (with HandleMark)
2924 JNI_ENTRY(void, jni_DeleteWeakGlobalRef(JNIEnv *env, jweak ref))
2925   HOTSPOT_JNI_DELETEWEAKGLOBALREF_ENTRY(env, ref);
2926   JNIHandles::destroy_weak_global(ref);
2927   HOTSPOT_JNI_DELETEWEAKGLOBALREF_RETURN();
2928 JNI_END
2929 
2930 
2931 JNI_ENTRY_NO_PRESERVE(jboolean, jni_ExceptionCheck(JNIEnv *env))
2932  HOTSPOT_JNI_EXCEPTIONCHECK_ENTRY(env);
2933   jni_check_async_exceptions(thread);
2934   jboolean ret = (thread->has_pending_exception()) ? JNI_TRUE : JNI_FALSE;

3129 
3130 
3131 JNI_ENTRY(jobject, jni_GetModule(JNIEnv* env, jclass clazz))
3132   HOTSPOT_JNI_GETMODULE_ENTRY(env, clazz);
3133   jobject ret = Modules::get_module(clazz, THREAD);
3134   HOTSPOT_JNI_GETMODULE_RETURN(ret);
3135   return ret;
3136 JNI_END
3137 
3138 JNI_ENTRY(jboolean, jni_IsVirtualThread(JNIEnv* env, jobject obj))
3139   HOTSPOT_JNI_ISVIRTUALTHREAD_ENTRY(env, obj);
3140   jboolean ret = JNI_FALSE;
3141   oop thread_obj = JNIHandles::resolve_external_guard(obj);
3142   if (thread_obj != nullptr && thread_obj->is_a(vmClasses::BaseVirtualThread_klass())) {
3143     ret = JNI_TRUE;
3144   }
3145   HOTSPOT_JNI_ISVIRTUALTHREAD_RETURN(ret);
3146   return ret;
3147 JNI_END
3148 











3149 
3150 // Structure containing all jni functions
3151 struct JNINativeInterface_ jni_NativeInterface = {
3152     nullptr,
3153     nullptr,
3154     nullptr,
3155 
3156     nullptr,
3157 
3158     jni_GetVersion,
3159 
3160     jni_DefineClass,
3161     jni_FindClass,
3162 
3163     jni_FromReflectedMethod,
3164     jni_FromReflectedField,
3165 
3166     jni_ToReflectedMethod,
3167 
3168     jni_GetSuperclass,

3421     jni_ExceptionCheck,
3422 
3423     jni_NewDirectByteBuffer,
3424     jni_GetDirectBufferAddress,
3425     jni_GetDirectBufferCapacity,
3426 
3427     // New 1_6 features
3428 
3429     jni_GetObjectRefType,
3430 
3431     // Module features
3432 
3433     jni_GetModule,
3434 
3435     // Virtual threads
3436 
3437     jni_IsVirtualThread,
3438 
3439     // Large UTF8 support
3440 
3441     jni_GetStringUTFLengthAsLong




3442 };
3443 
3444 
3445 // For jvmti use to modify jni function table.
3446 // Java threads in native contiues to run until it is transitioned
3447 // to VM at safepoint. Before the transition or before it is blocked
3448 // for safepoint it may access jni function table. VM could crash if
3449 // any java thread access the jni function table in the middle of memcpy.
3450 // To avoid this each function pointers are copied automically.
3451 void copy_jni_function_table(const struct JNINativeInterface_ *new_jni_NativeInterface) {
3452   assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
3453   intptr_t *a = (intptr_t *) jni_functions();
3454   intptr_t *b = (intptr_t *) new_jni_NativeInterface;
3455   for (uint i=0; i <  sizeof(struct JNINativeInterface_)/sizeof(void *); i++) {
3456     AtomicAccess::store(a++, *b++);
3457   }
3458 }
3459 
3460 void quicken_jni_functions() {
3461   // Replace Get<Primitive>Field with fast versions

  34 #include "classfile/moduleEntry.hpp"
  35 #include "classfile/modules.hpp"
  36 #include "classfile/symbolTable.hpp"
  37 #include "classfile/systemDictionary.hpp"
  38 #include "classfile/vmClasses.hpp"
  39 #include "classfile/vmSymbols.hpp"
  40 #include "compiler/compiler_globals.hpp"
  41 #include "gc/shared/collectedHeap.hpp"
  42 #include "gc/shared/stringdedup/stringDedup.hpp"
  43 #include "interpreter/linkResolver.hpp"
  44 #include "jni.h"
  45 #include "jvm.h"
  46 #include "logging/log.hpp"
  47 #include "memory/allocation.inline.hpp"
  48 #include "memory/oopFactory.hpp"
  49 #include "memory/resourceArea.hpp"
  50 #include "memory/universe.hpp"
  51 #include "nmt/memTracker.hpp"
  52 #include "oops/access.inline.hpp"
  53 #include "oops/arrayOop.hpp"
  54 #include "oops/flatArrayOop.inline.hpp"
  55 #include "oops/inlineKlass.inline.hpp"
  56 #include "oops/instanceKlass.inline.hpp"
  57 #include "oops/instanceOop.hpp"
  58 #include "oops/klass.inline.hpp"
  59 #include "oops/markWord.hpp"
  60 #include "oops/method.hpp"
  61 #include "oops/objArrayKlass.hpp"
  62 #include "oops/objArrayOop.inline.hpp"
  63 #include "oops/oop.inline.hpp"
  64 #include "oops/symbol.hpp"
  65 #include "oops/typeArrayKlass.hpp"
  66 #include "oops/typeArrayOop.inline.hpp"
  67 #include "oops/valuePayload.inline.hpp"
  68 #include "prims/jniCheck.hpp"
  69 #include "prims/jniExport.hpp"
  70 #include "prims/jniFastGetField.hpp"
  71 #include "prims/jvm_misc.hpp"
  72 #include "prims/jvmtiExport.hpp"
  73 #include "prims/jvmtiThreadState.hpp"
  74 #include "runtime/arguments.hpp"
  75 #include "runtime/atomicAccess.hpp"
  76 #include "runtime/fieldDescriptor.inline.hpp"
  77 #include "runtime/handles.inline.hpp"
  78 #include "runtime/interfaceSupport.inline.hpp"
  79 #include "runtime/java.hpp"
  80 #include "runtime/javaCalls.hpp"
  81 #include "runtime/javaThread.inline.hpp"
  82 #include "runtime/jfieldIDWorkaround.hpp"
  83 #include "runtime/jniHandles.inline.hpp"
  84 #include "runtime/reflection.hpp"
  85 #include "runtime/safepointVerifiers.hpp"
  86 #include "runtime/sharedRuntime.hpp"
  87 #include "runtime/signature.hpp"

 404   int modifiers   = java_lang_reflect_Field::modifiers(reflected);
 405 
 406   // Make sure class is initialized before handing id's out to fields
 407   k1->initialize(CHECK_NULL);
 408 
 409   // First check if this is a static field
 410   if (modifiers & JVM_ACC_STATIC) {
 411     int offset = InstanceKlass::cast(k1)->field_offset( slot );
 412     JNIid* id = InstanceKlass::cast(k1)->jni_id_for(offset);
 413     assert(id != nullptr, "corrupt Field object");
 414     DEBUG_ONLY(id->set_is_static_field_id();)
 415     // A jfieldID for a static field is a JNIid specifying the field holder and the offset within the Klass*
 416     ret = jfieldIDWorkaround::to_static_jfieldID(id);
 417     return ret;
 418   }
 419 
 420   // The slot is the index of the field description in the field-array
 421   // The jfieldID is the offset of the field within the object
 422   // It may also have hash bits for k, if VerifyJNIFields is turned on.
 423   int offset = InstanceKlass::cast(k1)->field_offset( slot );
 424   bool is_flat = InstanceKlass::cast(k1)->field_is_flat(slot);
 425   assert(InstanceKlass::cast(k1)->contains_field_offset(offset), "stay within object");
 426   ret = jfieldIDWorkaround::to_instance_jfieldID(k1, offset, is_flat);
 427   return ret;
 428 JNI_END
 429 
 430 
 431 DT_RETURN_MARK_DECL(ToReflectedMethod, jobject
 432                     , HOTSPOT_JNI_TOREFLECTEDMETHOD_RETURN(_ret_ref));
 433 
 434 JNI_ENTRY(jobject, jni_ToReflectedMethod(JNIEnv *env, jclass cls, jmethodID method_id, jboolean isStatic))
 435   HOTSPOT_JNI_TOREFLECTEDMETHOD_ENTRY(env, cls, (uintptr_t) method_id, isStatic);
 436 
 437   jobject ret = nullptr;
 438   DT_RETURN_MARK(ToReflectedMethod, jobject, (const jobject&)ret);
 439 
 440   methodHandle m (THREAD, Method::resolve_jmethod_id(method_id));
 441   assert(m->is_static() == (isStatic != 0), "jni_ToReflectedMethod access flags doesn't match");
 442   oop reflection_method;
 443   if (m->is_object_constructor()) {
 444     reflection_method = Reflection::new_constructor(m, CHECK_NULL);
 445   } else {
 446     // Note: Static initializers can theoretically be here, if JNI users manage
 447     // to get their jmethodID. Record them as plain methods.
 448     reflection_method = Reflection::new_method(m, false, CHECK_NULL);
 449   }
 450   ret = JNIHandles::make_local(THREAD, reflection_method);
 451   return ret;
 452 JNI_END
 453 
 454 DT_RETURN_MARK_DECL(GetSuperclass, jclass
 455                     , HOTSPOT_JNI_GETSUPERCLASS_RETURN(_ret_ref));
 456 
 457 JNI_ENTRY(jclass, jni_GetSuperclass(JNIEnv *env, jclass sub))
 458   HOTSPOT_JNI_GETSUPERCLASS_ENTRY(env, sub);
 459 
 460   jclass obj = nullptr;
 461   DT_RETURN_MARK(GetSuperclass, jclass, (const jclass&)obj);
 462 
 463   oop mirror = JNIHandles::resolve_non_null(sub);

1757   // table.  If they're not there, the field doesn't exist.
1758   TempNewSymbol fieldname = SymbolTable::probe(name, (int)strlen(name));
1759   TempNewSymbol signame = SymbolTable::probe(sig, (int)strlen(sig));
1760   if (fieldname == nullptr || signame == nullptr) {
1761     ResourceMark rm;
1762     THROW_MSG_NULL(vmSymbols::java_lang_NoSuchFieldError(), err_msg("%s.%s %s", k->external_name(), name, sig));
1763   }
1764 
1765   // Make sure class is initialized before handing id's out to fields
1766   k->initialize(CHECK_NULL);
1767 
1768   fieldDescriptor fd;
1769   if (!k->is_instance_klass() ||
1770       !InstanceKlass::cast(k)->find_field(fieldname, signame, false, &fd)) {
1771     ResourceMark rm;
1772     THROW_MSG_NULL(vmSymbols::java_lang_NoSuchFieldError(), err_msg("%s.%s %s", k->external_name(), name, sig));
1773   }
1774 
1775   // A jfieldID for a non-static field is simply the offset of the field within the instanceOop
1776   // It may also have hash bits for k, if VerifyJNIFields is turned on.
1777   ret = jfieldIDWorkaround::to_instance_jfieldID(k, fd.offset(), fd.is_flat());
1778   return ret;
1779 JNI_END
1780 
1781 
1782 JNI_ENTRY(jobject, jni_GetObjectField(JNIEnv *env, jobject obj, jfieldID fieldID))
1783   HOTSPOT_JNI_GETOBJECTFIELD_ENTRY(env, obj, (uintptr_t) fieldID);
1784   oop o = JNIHandles::resolve_non_null(obj);
1785   Klass* k = o->klass();
1786   int offset = jfieldIDWorkaround::from_instance_jfieldID(k, fieldID);
1787   oop res = nullptr;
1788   // Keep JVMTI addition small and only check enabled flag here.
1789   // jni_GetField_probe() assumes that is okay to create handles.
1790   if (JvmtiExport::should_post_field_access()) {
1791     o = JvmtiExport::jni_GetField_probe(thread, obj, o, k, fieldID, false);
1792   }
1793   if (!jfieldIDWorkaround::is_flat_jfieldID(fieldID)) {
1794     res = HeapAccess<ON_UNKNOWN_OOP_REF>::oop_load_at(o, offset);
1795   } else {
1796     InstanceKlass* ik = InstanceKlass::cast(k);
1797     fieldDescriptor fd;
1798     bool found = ik->find_field_from_offset(offset, false, &fd);  // performance bottleneck
1799     assert(found, "Field not found");
1800     FlatFieldPayload payload(instanceOop(o), &fd);
1801     res = payload.read(CHECK_NULL);
1802   }
1803   jobject ret = JNIHandles::make_local(THREAD, res);
1804   HOTSPOT_JNI_GETOBJECTFIELD_RETURN(ret);
1805   return ret;
1806 JNI_END
1807 
1808 
1809 
1810 #define DEFINE_GETFIELD(Return,Fieldname,Result \
1811   , EntryProbe, ReturnProbe) \
1812 \
1813   DT_RETURN_MARK_DECL_FOR(Result, Get##Result##Field, Return \
1814   , ReturnProbe); \
1815 \
1816 JNI_ENTRY_NO_PRESERVE(Return, jni_Get##Result##Field(JNIEnv *env, jobject obj, jfieldID fieldID)) \
1817 \
1818   EntryProbe; \
1819   Return ret = 0;\
1820   DT_RETURN_MARK_FOR(Result, Get##Result##Field, Return, (const Return&)ret);\
1821 \
1822   oop o = JNIHandles::resolve_non_null(obj); \
1823   Klass* k = o->klass(); \

1901     assert(found, "bad field offset");
1902     assert(!fd.is_static(), "static/instance mismatch");
1903     if (fd.is_final()) {
1904       ResourceMark rm(current);
1905       log_debug(jni)("%s mutated final instance field %s.%s", func_name, ik->external_name(), fd.name()->as_C_string());
1906     }
1907   }
1908 }
1909 
1910 JNI_ENTRY_NO_PRESERVE(void, jni_SetObjectField(JNIEnv *env, jobject obj, jfieldID fieldID, jobject value))
1911   HOTSPOT_JNI_SETOBJECTFIELD_ENTRY(env, obj, (uintptr_t) fieldID, value);
1912   oop o = JNIHandles::resolve_non_null(obj);
1913   Klass* k = o->klass();
1914   int offset = jfieldIDWorkaround::from_instance_jfieldID(k, fieldID);
1915   // Keep JVMTI addition small and only check enabled flag here.
1916   if (JvmtiExport::should_post_field_modification()) {
1917     jvalue field_value;
1918     field_value.l = value;
1919     o = JvmtiExport::jni_SetField_probe(thread, obj, o, k, fieldID, false, JVM_SIGNATURE_CLASS, (jvalue *)&field_value);
1920   }
1921   if (!jfieldIDWorkaround::is_flat_jfieldID(fieldID)) {
1922     oop v = JNIHandles::resolve(value);
1923     if (v == nullptr) {
1924       InstanceKlass *ik = InstanceKlass::cast(k);
1925       fieldDescriptor fd;
1926       ik->find_field_from_offset(offset, false, &fd);
1927       if (fd.is_null_free_inline_type()) {
1928         THROW_MSG(vmSymbols::java_lang_NullPointerException(), "Cannot store null in a null-restricted field");
1929       }
1930     }
1931     HeapAccess<ON_UNKNOWN_OOP_REF>::oop_store_at(o, offset, v);
1932   } else {
1933     assert(k->is_instance_klass(), "Only instances can have flat fields");
1934     InstanceKlass* ik = InstanceKlass::cast(k);
1935     fieldDescriptor fd;
1936     bool found = ik->find_field_from_offset(offset, false, &fd);
1937     assert(found, "Field not found");
1938     FlatFieldPayload payload(instanceOop(o), &fd);
1939     payload.write(inlineOop(JNIHandles::resolve(value)), CHECK);
1940   }
1941   log_debug_if_final_instance_field(thread, "SetObjectField", InstanceKlass::cast(k), offset);
1942   HOTSPOT_JNI_SETOBJECTFIELD_RETURN();
1943 JNI_END
1944 
1945 // TODO: make this a template
1946 
1947 #define DEFINE_SETFIELD(Argument,Fieldname,Result,SigType,unionType \
1948                         , EntryProbe, ReturnProbe) \
1949 \
1950 JNI_ENTRY_NO_PRESERVE(void, jni_Set##Result##Field(JNIEnv *env, jobject obj, jfieldID fieldID, Argument value)) \
1951 \
1952   EntryProbe; \
1953 \
1954   oop o = JNIHandles::resolve_non_null(obj); \
1955   Klass* k = o->klass(); \
1956   int offset = jfieldIDWorkaround::from_instance_jfieldID(k, fieldID);  \
1957   /* Keep JVMTI addition small and only check enabled flag here.       */ \
1958   if (JvmtiExport::should_post_field_modification()) { \
1959     jvalue field_value; \
1960     field_value.unionType = value; \

2353 
2354   oop initial_value = JNIHandles::resolve(initialElement);
2355   if (initial_value != nullptr) {  // array already initialized with null
2356     for (int index = 0; index < length; index++) {
2357       result->obj_at_put(index, initial_value);
2358     }
2359   }
2360   ret = (jobjectArray) JNIHandles::make_local(THREAD, result);
2361   return ret;
2362 JNI_END
2363 
2364 DT_RETURN_MARK_DECL(GetObjectArrayElement, jobject
2365                     , HOTSPOT_JNI_GETOBJECTARRAYELEMENT_RETURN(_ret_ref));
2366 
2367 JNI_ENTRY(jobject, jni_GetObjectArrayElement(JNIEnv *env, jobjectArray array, jsize index))
2368  HOTSPOT_JNI_GETOBJECTARRAYELEMENT_ENTRY(env, array, index);
2369   jobject ret = nullptr;
2370   DT_RETURN_MARK(GetObjectArrayElement, jobject, (const jobject&)ret);
2371   objArrayOop a = objArrayOop(JNIHandles::resolve_non_null(array));
2372   if (a->is_within_bounds(index)) {
2373     oop res = a->obj_at(index, CHECK_NULL);
2374     assert(res != nullptr || !a->is_null_free_array(), "Invalid value");
2375     ret = JNIHandles::make_local(THREAD, res);
2376     return ret;
2377   } else {
2378     ResourceMark rm(THREAD);
2379     stringStream ss;
2380     ss.print("Index %d out of bounds for length %d", index, a->length());
2381     THROW_MSG_NULL(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), ss.as_string());
2382   }
2383 JNI_END
2384 
2385 DT_VOID_RETURN_MARK_DECL(SetObjectArrayElement
2386                          , HOTSPOT_JNI_SETOBJECTARRAYELEMENT_RETURN());
2387 
2388 JNI_ENTRY(void, jni_SetObjectArrayElement(JNIEnv *env, jobjectArray array, jsize index, jobject value))
2389  HOTSPOT_JNI_SETOBJECTARRAYELEMENT_ENTRY(env, array, index, value);
2390   DT_VOID_RETURN_MARK(SetObjectArrayElement);
2391 
2392   objArrayOop a = objArrayOop(JNIHandles::resolve_non_null(array));
2393   oop v = JNIHandles::resolve(value);
2394   if (a->is_within_bounds(index)) {
2395     assert(a->klass()->is_refined_objArray_klass(), "must be");
2396     if (v == nullptr || v->is_a(ObjArrayKlass::cast(a->klass())->element_klass())) {
2397       a->obj_at_put(index, v, THREAD);
2398       return;
2399     } else {
2400       ResourceMark rm(THREAD);
2401       stringStream ss;
2402       Klass *bottom_kl = ObjArrayKlass::cast(a->klass())->bottom_klass();
2403       ss.print("type mismatch: can not store %s to %s[%d]",
2404                v->klass()->external_name(),
2405                bottom_kl->is_typeArray_klass() ? type2name_tab[ArrayKlass::cast(bottom_kl)->element_type()] : bottom_kl->external_name(),
2406                index);
2407       for (int dims = ArrayKlass::cast(a->klass())->dimension(); dims > 1; --dims) {
2408         ss.print("[]");
2409       }
2410       THROW_MSG(vmSymbols::java_lang_ArrayStoreException(), ss.as_string());
2411     }
2412   } else {
2413     ResourceMark rm(THREAD);
2414     stringStream ss;
2415     ss.print("Index %d out of bounds for length %d", index, a->length());
2416     THROW_MSG(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), ss.as_string());
2417   }
2418 JNI_END

2773 JNI_END
2774 
2775 //
2776 // Monitor functions
2777 //
2778 
2779 DT_RETURN_MARK_DECL(MonitorEnter, jint
2780                     , HOTSPOT_JNI_MONITORENTER_RETURN(_ret_ref));
2781 
2782 JNI_ENTRY(jint, jni_MonitorEnter(JNIEnv *env, jobject jobj))
2783  HOTSPOT_JNI_MONITORENTER_ENTRY(env, jobj);
2784   jint ret = JNI_ERR;
2785   DT_RETURN_MARK(MonitorEnter, jint, (const jint&)ret);
2786 
2787   // If the object is null, we can't do anything with it
2788   if (jobj == nullptr) {
2789     THROW_(vmSymbols::java_lang_NullPointerException(), JNI_ERR);
2790   }
2791 
2792   Handle obj(thread, JNIHandles::resolve_non_null(jobj));
2793   ObjectSynchronizer::jni_enter(obj, CHECK_(JNI_ERR));
2794   return JNI_OK;
2795 JNI_END
2796 
2797 DT_RETURN_MARK_DECL(MonitorExit, jint
2798                     , HOTSPOT_JNI_MONITOREXIT_RETURN(_ret_ref));
2799 
2800 JNI_ENTRY(jint, jni_MonitorExit(JNIEnv *env, jobject jobj))
2801  HOTSPOT_JNI_MONITOREXIT_ENTRY(env, jobj);
2802   jint ret = JNI_ERR;
2803   DT_RETURN_MARK(MonitorExit, jint, (const jint&)ret);
2804 
2805   // Don't do anything with a null object
2806   if (jobj == nullptr) {
2807     THROW_(vmSymbols::java_lang_NullPointerException(), JNI_ERR);
2808   }
2809 
2810   Handle obj(THREAD, JNIHandles::resolve_non_null(jobj));
2811   ObjectSynchronizer::jni_exit(obj(), CHECK_(JNI_ERR));
2812   return JNI_OK;
2813 JNI_END

2932 
2933   if (is_latin1) {
2934     // For latin1 string, free jchar array allocated by earlier call to GetStringCritical.
2935     // This assumes that ReleaseStringCritical bookends GetStringCritical.
2936     FREE_C_HEAP_ARRAY(jchar, chars);
2937   } else {
2938     // StringDedup can have replaced the value array, so don't fetch the array from 's'.
2939     // Instead, we calculate the address based on the jchar array exposed with GetStringCritical.
2940     oop value = cast_to_oop((address)chars - arrayOopDesc::base_offset_in_bytes(T_CHAR));
2941 
2942     // Unpin value array
2943     Universe::heap()->unpin_object(thread, value);
2944   }
2945 HOTSPOT_JNI_RELEASESTRINGCRITICAL_RETURN();
2946 JNI_END
2947 
2948 
2949 JNI_ENTRY(jweak, jni_NewWeakGlobalRef(JNIEnv *env, jobject ref))
2950   HOTSPOT_JNI_NEWWEAKGLOBALREF_ENTRY(env, ref);
2951   Handle ref_handle(thread, JNIHandles::resolve(ref));
2952 
2953   if (!ref_handle.is_null() && ref_handle->klass()->is_inline_klass()) {
2954     ResourceMark rm(THREAD);
2955     stringStream ss;
2956     ss.print("%s is not an identity class", ref_handle->klass()->external_name());
2957     THROW_MSG_(vmSymbols::java_lang_IdentityException(), ss.as_string(), nullptr);
2958   }
2959 
2960   jweak ret = JNIHandles::make_weak_global(ref_handle, AllocFailStrategy::RETURN_NULL);
2961   if (ret == nullptr && ref_handle.not_null()) {
2962     THROW_OOP_(Universe::out_of_memory_error_c_heap(), nullptr);
2963   }
2964   HOTSPOT_JNI_NEWWEAKGLOBALREF_RETURN(ret);
2965   return ret;
2966 JNI_END
2967 
2968 // Must be JNI_ENTRY (with HandleMark)
2969 JNI_ENTRY(void, jni_DeleteWeakGlobalRef(JNIEnv *env, jweak ref))
2970   HOTSPOT_JNI_DELETEWEAKGLOBALREF_ENTRY(env, ref);
2971   JNIHandles::destroy_weak_global(ref);
2972   HOTSPOT_JNI_DELETEWEAKGLOBALREF_RETURN();
2973 JNI_END
2974 
2975 
2976 JNI_ENTRY_NO_PRESERVE(jboolean, jni_ExceptionCheck(JNIEnv *env))
2977  HOTSPOT_JNI_EXCEPTIONCHECK_ENTRY(env);
2978   jni_check_async_exceptions(thread);
2979   jboolean ret = (thread->has_pending_exception()) ? JNI_TRUE : JNI_FALSE;

3174 
3175 
3176 JNI_ENTRY(jobject, jni_GetModule(JNIEnv* env, jclass clazz))
3177   HOTSPOT_JNI_GETMODULE_ENTRY(env, clazz);
3178   jobject ret = Modules::get_module(clazz, THREAD);
3179   HOTSPOT_JNI_GETMODULE_RETURN(ret);
3180   return ret;
3181 JNI_END
3182 
3183 JNI_ENTRY(jboolean, jni_IsVirtualThread(JNIEnv* env, jobject obj))
3184   HOTSPOT_JNI_ISVIRTUALTHREAD_ENTRY(env, obj);
3185   jboolean ret = JNI_FALSE;
3186   oop thread_obj = JNIHandles::resolve_external_guard(obj);
3187   if (thread_obj != nullptr && thread_obj->is_a(vmClasses::BaseVirtualThread_klass())) {
3188     ret = JNI_TRUE;
3189   }
3190   HOTSPOT_JNI_ISVIRTUALTHREAD_RETURN(ret);
3191   return ret;
3192 JNI_END
3193 
3194 JNI_ENTRY(jboolean, jni_IsValueObject(JNIEnv* env, jobject obj))
3195   HOTSPOT_JNI_ISVALUEOBJECT_ENTRY(env, obj);
3196   oop o = JNIHandles::resolve(obj);
3197   if (o != nullptr && o->klass()->is_inline_klass()) {
3198     HOTSPOT_JNI_ISVALUEOBJECT_RETURN(JNI_TRUE);
3199     return JNI_TRUE;
3200   } else {
3201     HOTSPOT_JNI_ISVALUEOBJECT_RETURN(JNI_FALSE);
3202     return JNI_FALSE;
3203   }
3204 JNI_END
3205 
3206 // Structure containing all jni functions
3207 struct JNINativeInterface_ jni_NativeInterface = {
3208     nullptr,
3209     nullptr,
3210     nullptr,
3211 
3212     nullptr,
3213 
3214     jni_GetVersion,
3215 
3216     jni_DefineClass,
3217     jni_FindClass,
3218 
3219     jni_FromReflectedMethod,
3220     jni_FromReflectedField,
3221 
3222     jni_ToReflectedMethod,
3223 
3224     jni_GetSuperclass,

3477     jni_ExceptionCheck,
3478 
3479     jni_NewDirectByteBuffer,
3480     jni_GetDirectBufferAddress,
3481     jni_GetDirectBufferCapacity,
3482 
3483     // New 1_6 features
3484 
3485     jni_GetObjectRefType,
3486 
3487     // Module features
3488 
3489     jni_GetModule,
3490 
3491     // Virtual threads
3492 
3493     jni_IsVirtualThread,
3494 
3495     // Large UTF8 support
3496 
3497     jni_GetStringUTFLengthAsLong,
3498 
3499     // Value classes
3500 
3501     jni_IsValueObject
3502 };
3503 
3504 
3505 // For jvmti use to modify jni function table.
3506 // Java threads in native contiues to run until it is transitioned
3507 // to VM at safepoint. Before the transition or before it is blocked
3508 // for safepoint it may access jni function table. VM could crash if
3509 // any java thread access the jni function table in the middle of memcpy.
3510 // To avoid this each function pointers are copied automically.
3511 void copy_jni_function_table(const struct JNINativeInterface_ *new_jni_NativeInterface) {
3512   assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
3513   intptr_t *a = (intptr_t *) jni_functions();
3514   intptr_t *b = (intptr_t *) new_jni_NativeInterface;
3515   for (uint i=0; i <  sizeof(struct JNINativeInterface_)/sizeof(void *); i++) {
3516     AtomicAccess::store(a++, *b++);
3517   }
3518 }
3519 
3520 void quicken_jni_functions() {
3521   // Replace Get<Primitive>Field with fast versions
< prev index next >