< prev index next >

src/hotspot/share/prims/methodHandles.cpp

Print this page




 162   switch (flags & ALL_KINDS) {
 163     case IS_METHOD:
 164     case IS_CONSTRUCTOR:
 165       resolved = SystemDictionary::find_method_handle_type(signature, caller, CHECK_(empty));
 166       break;
 167     case IS_FIELD:
 168       resolved = SystemDictionary::find_field_handle_type(signature, caller, CHECK_(empty));
 169       break;
 170     default:
 171       THROW_MSG_(vmSymbols::java_lang_InternalError(), "unrecognized MemberName format", empty);
 172   }
 173   if (resolved.is_null()) {
 174     THROW_MSG_(vmSymbols::java_lang_InternalError(), "bad MemberName type", empty);
 175   }
 176   return resolved;
 177 }
 178 
 179 oop MethodHandles::init_MemberName(Handle mname, Handle target, TRAPS) {
 180   // This method is used from java.lang.invoke.MemberName constructors.
 181   // It fills in the new MemberName from a java.lang.reflect.Member.
 182   Thread* thread = Thread::current();
 183   oop target_oop = target();
 184   Klass* target_klass = target_oop->klass();
 185   if (target_klass == SystemDictionary::reflect_Field_klass()) {
 186     oop clazz = java_lang_reflect_Field::clazz(target_oop); // fd.field_holder()
 187     int slot  = java_lang_reflect_Field::slot(target_oop);  // fd.index()
 188     Klass* k = java_lang_Class::as_Klass(clazz);
 189     if (k != NULL && k->is_instance_klass()) {
 190       fieldDescriptor fd(InstanceKlass::cast(k), slot);
 191       oop mname2 = init_field_MemberName(mname, fd);
 192       if (mname2 != NULL) {
 193         // Since we have the reified name and type handy, add them to the result.
 194         if (java_lang_invoke_MemberName::name(mname2) == NULL)
 195           java_lang_invoke_MemberName::set_name(mname2, java_lang_reflect_Field::name(target_oop));
 196         if (java_lang_invoke_MemberName::type(mname2) == NULL)
 197           java_lang_invoke_MemberName::set_type(mname2, java_lang_reflect_Field::type(target_oop));
 198       }
 199       return mname2;
 200     }
 201   } else if (target_klass == SystemDictionary::reflect_Method_klass()) {
 202     oop clazz  = java_lang_reflect_Method::clazz(target_oop);
 203     int slot   = java_lang_reflect_Method::slot(target_oop);
 204     Klass* k = java_lang_Class::as_Klass(clazz);
 205     if (k != NULL && k->is_instance_klass()) {
 206       Method* m = InstanceKlass::cast(k)->method_with_idnum(slot);
 207       if (m == NULL || is_signature_polymorphic(m->intrinsic_id()))
 208         return NULL;            // do not resolve unless there is a concrete signature
 209       CallInfo info(m, k, CHECK_NULL);
 210       return init_method_MemberName(mname, info);
 211     }
 212   } else if (target_klass == SystemDictionary::reflect_Constructor_klass()) {
 213     oop clazz  = java_lang_reflect_Constructor::clazz(target_oop);
 214     int slot   = java_lang_reflect_Constructor::slot(target_oop);
 215     Klass* k = java_lang_Class::as_Klass(clazz);
 216     if (k != NULL && k->is_instance_klass()) {
 217       Method* m = InstanceKlass::cast(k)->method_with_idnum(slot);
 218       if (m == NULL)  return NULL;
 219       CallInfo info(m, k, CHECK_NULL);
 220       return init_method_MemberName(mname, info);
 221     }
 222   }
 223   return NULL;
 224 }
 225 
 226 oop MethodHandles::init_method_MemberName(Handle mname, CallInfo& info) {
 227   assert(info.resolved_appendix().is_null(), "only normal methods here");
 228   methodHandle m(Thread::current(), info.resolved_method());
 229   assert(m.not_null(), "null method handle");
 230   InstanceKlass* m_klass = m->method_holder();
 231   assert(m_klass != NULL, "null holder for method handle");
 232   int flags = (jushort)( m->access_flags().as_short() & JVM_RECOGNIZED_METHOD_MODIFIERS );
 233   int vmindex = Method::invalid_vtable_index;
 234   LogTarget(Debug, methodhandles, indy) lt_indy;
 235 
 236   switch (info.call_kind()) {
 237   case CallInfo::itable_call:
 238     vmindex = info.itable_index();
 239     // More importantly, the itable index only works with the method holder.
 240     assert(m_klass->verify_itable_index(vmindex), "");
 241     flags |= IS_METHOD | (JVM_REF_invokeInterface << REFERENCE_KIND_SHIFT);
 242     if (lt_indy.is_enabled()) {
 243       ResourceMark rm;
 244       LogStream ls(lt_indy);
 245       ls.print_cr("memberName: invokeinterface method_holder::method: %s, itableindex: %d, access_flags:",
 246                   Method::name_and_sig_as_C_string(m->method_holder(), m->name(), m->signature()),


 772         } else if (ref_kind == JVM_REF_invokeVirtual) {
 773           LinkResolver::resolve_virtual_call(result, Handle(), defc,
 774                         link_info, false, THREAD);
 775         } else {
 776           assert(false, "ref_kind=%d", ref_kind);
 777         }
 778         if (HAS_PENDING_EXCEPTION) {
 779           if (speculative_resolve) {
 780             CLEAR_PENDING_EXCEPTION;
 781           }
 782           return empty;
 783         }
 784       }
 785       if (result.resolved_appendix().not_null()) {
 786         // The resolved MemberName must not be accompanied by an appendix argument,
 787         // since there is no way to bind this value into the MemberName.
 788         // Caller is responsible to prevent this from happening.
 789         THROW_MSG_(vmSymbols::java_lang_InternalError(), "appendix", empty);
 790       }
 791       result.set_resolved_method_name(CHECK_(empty));
 792       oop mname2 = init_method_MemberName(mname, result);
 793       return Handle(THREAD, mname2);
 794     }
 795   case IS_CONSTRUCTOR:
 796     {
 797       CallInfo result;
 798       LinkInfo link_info(defc, name, type, caller, access_check);
 799       {
 800         assert(!HAS_PENDING_EXCEPTION, "");
 801         if (name == vmSymbols::object_initializer_name()) {
 802           LinkResolver::resolve_special_call(result, Handle(), link_info, THREAD);
 803         } else {
 804           break;                // will throw after end of switch
 805         }
 806         if (HAS_PENDING_EXCEPTION) {
 807           if (speculative_resolve) {
 808             CLEAR_PENDING_EXCEPTION;
 809           }
 810           return empty;
 811         }
 812       }
 813       assert(result.is_statically_bound(), "");
 814       result.set_resolved_method_name(CHECK_(empty));
 815       oop mname2 = init_method_MemberName(mname, result);
 816       return Handle(THREAD, mname2);
 817     }
 818   case IS_FIELD:
 819     {
 820       fieldDescriptor result; // find_field initializes fd if found
 821       {
 822         assert(!HAS_PENDING_EXCEPTION, "");
 823         LinkInfo link_info(defc, name, type, caller, LinkInfo::skip_access_check);
 824         LinkResolver::resolve_field(result, link_info, Bytecodes::_nop, false, THREAD);
 825         if (HAS_PENDING_EXCEPTION) {
 826           if (speculative_resolve) {
 827             CLEAR_PENDING_EXCEPTION;
 828           }
 829           return empty;
 830         }
 831       }
 832       oop mname2 = init_field_MemberName(mname, result, ref_kind_is_setter(ref_kind));
 833       return Handle(THREAD, mname2);
 834     }
 835   default:


 905       if (!have_type) {
 906         // If it is a primitive field type, don't mess with short strings like "I".
 907         Handle type (THREAD, field_signature_type_or_null(fd.signature()));
 908         if (type.is_null()) {
 909           type = java_lang_String::create_from_symbol(fd.signature(), CHECK);
 910         }
 911         java_lang_invoke_MemberName::set_type(mname(), type());
 912       }
 913       return;
 914     }
 915   }
 916   THROW_MSG(vmSymbols::java_lang_InternalError(), "unrecognized MemberName format");
 917 }
 918 
 919 int MethodHandles::find_MemberNames(Klass* k,
 920                                     Symbol* name, Symbol* sig,
 921                                     int mflags, Klass* caller,
 922                                     int skip, objArrayHandle results, TRAPS) {
 923   // %%% take caller into account!
 924 
 925   Thread* thread = Thread::current();
 926 
 927   if (k == NULL || !k->is_instance_klass())  return -1;
 928 
 929   int rfill = 0, rlimit = results->length(), rskip = skip;
 930   // overflow measurement:
 931   int overflow = 0, overflow_limit = MAX2(1000, rlimit);
 932 
 933   int match_flags = mflags;
 934   bool search_superc = ((match_flags & SEARCH_SUPERCLASSES) != 0);
 935   bool search_intfc  = ((match_flags & SEARCH_INTERFACES)   != 0);
 936   bool local_only = !(search_superc | search_intfc);
 937 
 938   if (name != NULL) {
 939     if (name->utf8_length() == 0)  return 0; // a match is not possible
 940   }
 941   if (sig != NULL) {
 942     if (sig->starts_with(JVM_SIGNATURE_FUNC))
 943       match_flags &= ~(IS_FIELD | IS_TYPE);
 944     else
 945       match_flags &= ~(IS_CONSTRUCTOR | IS_METHOD);
 946   }
 947 
 948   if ((match_flags & IS_TYPE) != 0) {
 949     // NYI, and Core Reflection works quite well for this query
 950   }
 951 
 952   if ((match_flags & IS_FIELD) != 0) {
 953     InstanceKlass* ik = InstanceKlass::cast(k);
 954     for (FieldStream st(ik, local_only, !search_intfc); !st.eos(); st.next()) {
 955       if (name != NULL && st.name() != name)
 956           continue;
 957       if (sig != NULL && st.signature() != sig)
 958         continue;
 959       // passed the filters
 960       if (rskip > 0) {
 961         --rskip;
 962       } else if (rfill < rlimit) {
 963         Handle result(thread, results->obj_at(rfill++));
 964         if (!java_lang_invoke_MemberName::is_instance(result()))
 965           return -99;  // caller bug!
 966         oop saved = MethodHandles::init_field_MemberName(result, st.field_descriptor());
 967         if (saved != result())
 968           results->obj_at_put(rfill-1, saved);  // show saved instance to user
 969       } else if (++overflow >= overflow_limit) {
 970         match_flags = 0; break; // got tired of looking at overflow
 971       }
 972     }
 973   }
 974 
 975   if ((match_flags & (IS_METHOD | IS_CONSTRUCTOR)) != 0) {
 976     // watch out for these guys:
 977     Symbol* init_name   = vmSymbols::object_initializer_name();
 978     Symbol* clinit_name = vmSymbols::class_initializer_name();
 979     if (name == clinit_name)  clinit_name = NULL; // hack for exposing <clinit>
 980     bool negate_name_test = false;
 981     // fix name so that it captures the intention of IS_CONSTRUCTOR
 982     if (!(match_flags & IS_METHOD)) {
 983       // constructors only


 994       } else if (name == init_name) {
 995         return 0;               // no methods of this constructor name
 996       }
 997     } else {
 998       // caller will accept either sort; no need to adjust name
 999     }
1000     InstanceKlass* ik = InstanceKlass::cast(k);
1001     for (MethodStream st(ik, local_only, !search_intfc); !st.eos(); st.next()) {
1002       Method* m = st.method();
1003       Symbol* m_name = m->name();
1004       if (m_name == clinit_name)
1005         continue;
1006       if (name != NULL && ((m_name != name) ^ negate_name_test))
1007           continue;
1008       if (sig != NULL && m->signature() != sig)
1009         continue;
1010       // passed the filters
1011       if (rskip > 0) {
1012         --rskip;
1013       } else if (rfill < rlimit) {
1014         Handle result(thread, results->obj_at(rfill++));
1015         if (!java_lang_invoke_MemberName::is_instance(result()))
1016           return -99;  // caller bug!
1017         CallInfo info(m, NULL, CHECK_0);
1018         oop saved = MethodHandles::init_method_MemberName(result, info);
1019         if (saved != result())
1020           results->obj_at_put(rfill-1, saved);  // show saved instance to user
1021       } else if (++overflow >= overflow_limit) {
1022         match_flags = 0; break; // got tired of looking at overflow
1023       }
1024     }
1025   }
1026 
1027   // return number of elements we at leasted wanted to initialize
1028   return rfill + overflow;
1029 }
1030 
1031 void MethodHandles::add_dependent_nmethod(oop call_site, nmethod* nm) {
1032   assert_locked_or_safepoint(CodeCache_lock);
1033 
1034   oop context = java_lang_invoke_CallSite::context_no_keepalive(call_site);
1035   DependencyContext deps = java_lang_invoke_MethodHandleNatives_CallSiteContext::vmdependencies(context);
1036   // Try to purge stale entries on updates.
1037   // Since GC doesn't clean dependency contexts rooted at CallSiteContext objects,
1038   // in order to avoid memory leak, stale entries are purged whenever a dependency list


1285 JVM_END
1286 
1287 JVM_ENTRY(jobject, MHN_getMemberVMInfo(JNIEnv *env, jobject igcls, jobject mname_jh)) {
1288   if (mname_jh == NULL)  return NULL;
1289   Handle mname(THREAD, JNIHandles::resolve_non_null(mname_jh));
1290   intptr_t vmindex  = java_lang_invoke_MemberName::vmindex(mname());
1291   objArrayHandle result = oopFactory::new_objArray_handle(SystemDictionary::Object_klass(), 2, CHECK_NULL);
1292   jvalue vmindex_value; vmindex_value.j = (long)vmindex;
1293   oop x = java_lang_boxing_object::create(T_LONG, &vmindex_value, CHECK_NULL);
1294   result->obj_at_put(0, x);
1295 
1296   int flags = java_lang_invoke_MemberName::flags(mname());
1297   if ((flags & IS_FIELD) != 0) {
1298     x = java_lang_invoke_MemberName::clazz(mname());
1299   } else {
1300     Method* vmtarget = java_lang_invoke_MemberName::vmtarget(mname());
1301     assert(vmtarget != NULL && vmtarget->is_method(), "vmtarget is only method");
1302     x = mname();
1303   }
1304   result->obj_at_put(1, x);
1305   return JNIHandles::make_local(env, result());
1306 }
1307 JVM_END
1308 
1309 
1310 
1311 //  static native int getMembers(Class<?> defc, String matchName, String matchSig,
1312 //          int matchFlags, Class<?> caller, int skip, MemberName[] results);
1313 JVM_ENTRY(jint, MHN_getMembers(JNIEnv *env, jobject igcls,
1314                                jclass clazz_jh, jstring name_jh, jstring sig_jh,
1315                                int mflags, jclass caller_jh, jint skip, jobjectArray results_jh)) {
1316   if (clazz_jh == NULL || results_jh == NULL)  return -1;
1317   Klass* k = java_lang_Class::as_Klass(JNIHandles::resolve_non_null(clazz_jh));
1318 
1319   objArrayHandle results(THREAD, (objArrayOop) JNIHandles::resolve(results_jh));
1320   if (results.is_null() || !results->is_objArray())  return -1;
1321 
1322   TempNewSymbol name = NULL;
1323   TempNewSymbol sig = NULL;
1324   if (name_jh != NULL) {
1325     name = java_lang_String::as_symbol_or_null(JNIHandles::resolve_non_null(name_jh));


1533   {CC "clearCallSiteContext",      CC "(" CTX ")V",                          FN_PTR(MHN_clearCallSiteContext)},
1534   {CC "staticFieldOffset",         CC "(" MEM ")J",                          FN_PTR(MHN_staticFieldOffset)},
1535   {CC "staticFieldBase",           CC "(" MEM ")" OBJ,                        FN_PTR(MHN_staticFieldBase)},
1536   {CC "getMemberVMInfo",           CC "(" MEM ")" OBJ,                       FN_PTR(MHN_getMemberVMInfo)}
1537 };
1538 
1539 static JNINativeMethod MH_methods[] = {
1540   // UnsupportedOperationException throwers
1541   {CC "invoke",                    CC "([" OBJ ")" OBJ,                       FN_PTR(MH_invoke_UOE)},
1542   {CC "invokeExact",               CC "([" OBJ ")" OBJ,                       FN_PTR(MH_invokeExact_UOE)}
1543 };
1544 
1545 /**
1546  * This one function is exported, used by NativeLookup.
1547  */
1548 JVM_ENTRY(void, JVM_RegisterMethodHandleMethods(JNIEnv *env, jclass MHN_class)) {
1549   assert(!MethodHandles::enabled(), "must not be enabled");
1550   assert(SystemDictionary::MethodHandle_klass() != NULL, "should be present");
1551 
1552   oop mirror = SystemDictionary::MethodHandle_klass()->java_mirror();
1553   jclass MH_class = (jclass) JNIHandles::make_local(env, mirror);
1554 
1555   {
1556     ThreadToNativeFromVM ttnfv(thread);
1557 
1558     int status = env->RegisterNatives(MHN_class, MHN_methods, sizeof(MHN_methods)/sizeof(JNINativeMethod));
1559     guarantee(status == JNI_OK && !env->ExceptionOccurred(),
1560               "register java.lang.invoke.MethodHandleNative natives");
1561 
1562     status = env->RegisterNatives(MH_class, MH_methods, sizeof(MH_methods)/sizeof(JNINativeMethod));
1563     guarantee(status == JNI_OK && !env->ExceptionOccurred(),
1564               "register java.lang.invoke.MethodHandle natives");
1565   }
1566 
1567   log_debug(methodhandles, indy)("MethodHandle support loaded (using LambdaForms)");
1568 
1569   MethodHandles::set_enabled(true);
1570 }
1571 JVM_END


 162   switch (flags & ALL_KINDS) {
 163     case IS_METHOD:
 164     case IS_CONSTRUCTOR:
 165       resolved = SystemDictionary::find_method_handle_type(signature, caller, CHECK_(empty));
 166       break;
 167     case IS_FIELD:
 168       resolved = SystemDictionary::find_field_handle_type(signature, caller, CHECK_(empty));
 169       break;
 170     default:
 171       THROW_MSG_(vmSymbols::java_lang_InternalError(), "unrecognized MemberName format", empty);
 172   }
 173   if (resolved.is_null()) {
 174     THROW_MSG_(vmSymbols::java_lang_InternalError(), "bad MemberName type", empty);
 175   }
 176   return resolved;
 177 }
 178 
 179 oop MethodHandles::init_MemberName(Handle mname, Handle target, TRAPS) {
 180   // This method is used from java.lang.invoke.MemberName constructors.
 181   // It fills in the new MemberName from a java.lang.reflect.Member.

 182   oop target_oop = target();
 183   Klass* target_klass = target_oop->klass();
 184   if (target_klass == SystemDictionary::reflect_Field_klass()) {
 185     oop clazz = java_lang_reflect_Field::clazz(target_oop); // fd.field_holder()
 186     int slot  = java_lang_reflect_Field::slot(target_oop);  // fd.index()
 187     Klass* k = java_lang_Class::as_Klass(clazz);
 188     if (k != NULL && k->is_instance_klass()) {
 189       fieldDescriptor fd(InstanceKlass::cast(k), slot);
 190       oop mname2 = init_field_MemberName(mname, fd);
 191       if (mname2 != NULL) {
 192         // Since we have the reified name and type handy, add them to the result.
 193         if (java_lang_invoke_MemberName::name(mname2) == NULL)
 194           java_lang_invoke_MemberName::set_name(mname2, java_lang_reflect_Field::name(target_oop));
 195         if (java_lang_invoke_MemberName::type(mname2) == NULL)
 196           java_lang_invoke_MemberName::set_type(mname2, java_lang_reflect_Field::type(target_oop));
 197       }
 198       return mname2;
 199     }
 200   } else if (target_klass == SystemDictionary::reflect_Method_klass()) {
 201     oop clazz  = java_lang_reflect_Method::clazz(target_oop);
 202     int slot   = java_lang_reflect_Method::slot(target_oop);
 203     Klass* k = java_lang_Class::as_Klass(clazz);
 204     if (k != NULL && k->is_instance_klass()) {
 205       Method* m = InstanceKlass::cast(k)->method_with_idnum(slot);
 206       if (m == NULL || is_signature_polymorphic(m->intrinsic_id()))
 207         return NULL;            // do not resolve unless there is a concrete signature
 208       CallInfo info(m, k, CHECK_NULL);
 209       return init_method_MemberName(mname, info, THREAD);
 210     }
 211   } else if (target_klass == SystemDictionary::reflect_Constructor_klass()) {
 212     oop clazz  = java_lang_reflect_Constructor::clazz(target_oop);
 213     int slot   = java_lang_reflect_Constructor::slot(target_oop);
 214     Klass* k = java_lang_Class::as_Klass(clazz);
 215     if (k != NULL && k->is_instance_klass()) {
 216       Method* m = InstanceKlass::cast(k)->method_with_idnum(slot);
 217       if (m == NULL)  return NULL;
 218       CallInfo info(m, k, CHECK_NULL);
 219       return init_method_MemberName(mname, info, THREAD);
 220     }
 221   }
 222   return NULL;
 223 }
 224 
 225 oop MethodHandles::init_method_MemberName(Handle mname, CallInfo& info, TRAPS) {
 226   assert(info.resolved_appendix().is_null(), "only normal methods here");
 227   methodHandle m(Thread::current(), info.resolved_method());
 228   assert(m.not_null(), "null method handle");
 229   InstanceKlass* m_klass = m->method_holder();
 230   assert(m_klass != NULL, "null holder for method handle");
 231   int flags = (jushort)( m->access_flags().as_short() & JVM_RECOGNIZED_METHOD_MODIFIERS );
 232   int vmindex = Method::invalid_vtable_index;
 233   LogTarget(Debug, methodhandles, indy) lt_indy;
 234 
 235   switch (info.call_kind()) {
 236   case CallInfo::itable_call:
 237     vmindex = info.itable_index();
 238     // More importantly, the itable index only works with the method holder.
 239     assert(m_klass->verify_itable_index(vmindex), "");
 240     flags |= IS_METHOD | (JVM_REF_invokeInterface << REFERENCE_KIND_SHIFT);
 241     if (lt_indy.is_enabled()) {
 242       ResourceMark rm;
 243       LogStream ls(lt_indy);
 244       ls.print_cr("memberName: invokeinterface method_holder::method: %s, itableindex: %d, access_flags:",
 245                   Method::name_and_sig_as_C_string(m->method_holder(), m->name(), m->signature()),


 771         } else if (ref_kind == JVM_REF_invokeVirtual) {
 772           LinkResolver::resolve_virtual_call(result, Handle(), defc,
 773                         link_info, false, THREAD);
 774         } else {
 775           assert(false, "ref_kind=%d", ref_kind);
 776         }
 777         if (HAS_PENDING_EXCEPTION) {
 778           if (speculative_resolve) {
 779             CLEAR_PENDING_EXCEPTION;
 780           }
 781           return empty;
 782         }
 783       }
 784       if (result.resolved_appendix().not_null()) {
 785         // The resolved MemberName must not be accompanied by an appendix argument,
 786         // since there is no way to bind this value into the MemberName.
 787         // Caller is responsible to prevent this from happening.
 788         THROW_MSG_(vmSymbols::java_lang_InternalError(), "appendix", empty);
 789       }
 790       result.set_resolved_method_name(CHECK_(empty));
 791       oop mname2 = init_method_MemberName(mname, result, THREAD);
 792       return Handle(THREAD, mname2);
 793     }
 794   case IS_CONSTRUCTOR:
 795     {
 796       CallInfo result;
 797       LinkInfo link_info(defc, name, type, caller, access_check);
 798       {
 799         assert(!HAS_PENDING_EXCEPTION, "");
 800         if (name == vmSymbols::object_initializer_name()) {
 801           LinkResolver::resolve_special_call(result, Handle(), link_info, THREAD);
 802         } else {
 803           break;                // will throw after end of switch
 804         }
 805         if (HAS_PENDING_EXCEPTION) {
 806           if (speculative_resolve) {
 807             CLEAR_PENDING_EXCEPTION;
 808           }
 809           return empty;
 810         }
 811       }
 812       assert(result.is_statically_bound(), "");
 813       result.set_resolved_method_name(CHECK_(empty));
 814       oop mname2 = init_method_MemberName(mname, result, THREAD);
 815       return Handle(THREAD, mname2);
 816     }
 817   case IS_FIELD:
 818     {
 819       fieldDescriptor result; // find_field initializes fd if found
 820       {
 821         assert(!HAS_PENDING_EXCEPTION, "");
 822         LinkInfo link_info(defc, name, type, caller, LinkInfo::skip_access_check);
 823         LinkResolver::resolve_field(result, link_info, Bytecodes::_nop, false, THREAD);
 824         if (HAS_PENDING_EXCEPTION) {
 825           if (speculative_resolve) {
 826             CLEAR_PENDING_EXCEPTION;
 827           }
 828           return empty;
 829         }
 830       }
 831       oop mname2 = init_field_MemberName(mname, result, ref_kind_is_setter(ref_kind));
 832       return Handle(THREAD, mname2);
 833     }
 834   default:


 904       if (!have_type) {
 905         // If it is a primitive field type, don't mess with short strings like "I".
 906         Handle type (THREAD, field_signature_type_or_null(fd.signature()));
 907         if (type.is_null()) {
 908           type = java_lang_String::create_from_symbol(fd.signature(), CHECK);
 909         }
 910         java_lang_invoke_MemberName::set_type(mname(), type());
 911       }
 912       return;
 913     }
 914   }
 915   THROW_MSG(vmSymbols::java_lang_InternalError(), "unrecognized MemberName format");
 916 }
 917 
 918 int MethodHandles::find_MemberNames(Klass* k,
 919                                     Symbol* name, Symbol* sig,
 920                                     int mflags, Klass* caller,
 921                                     int skip, objArrayHandle results, TRAPS) {
 922   // %%% take caller into account!
 923 


 924   if (k == NULL || !k->is_instance_klass())  return -1;
 925 
 926   int rfill = 0, rlimit = results->length(), rskip = skip;
 927   // overflow measurement:
 928   int overflow = 0, overflow_limit = MAX2(1000, rlimit);
 929 
 930   int match_flags = mflags;
 931   bool search_superc = ((match_flags & SEARCH_SUPERCLASSES) != 0);
 932   bool search_intfc  = ((match_flags & SEARCH_INTERFACES)   != 0);
 933   bool local_only = !(search_superc | search_intfc);
 934 
 935   if (name != NULL) {
 936     if (name->utf8_length() == 0)  return 0; // a match is not possible
 937   }
 938   if (sig != NULL) {
 939     if (sig->starts_with(JVM_SIGNATURE_FUNC))
 940       match_flags &= ~(IS_FIELD | IS_TYPE);
 941     else
 942       match_flags &= ~(IS_CONSTRUCTOR | IS_METHOD);
 943   }
 944 
 945   if ((match_flags & IS_TYPE) != 0) {
 946     // NYI, and Core Reflection works quite well for this query
 947   }
 948 
 949   if ((match_flags & IS_FIELD) != 0) {
 950     InstanceKlass* ik = InstanceKlass::cast(k);
 951     for (FieldStream st(ik, local_only, !search_intfc); !st.eos(); st.next()) {
 952       if (name != NULL && st.name() != name)
 953           continue;
 954       if (sig != NULL && st.signature() != sig)
 955         continue;
 956       // passed the filters
 957       if (rskip > 0) {
 958         --rskip;
 959       } else if (rfill < rlimit) {
 960         Handle result(THREAD, results->obj_at(rfill++));
 961         if (!java_lang_invoke_MemberName::is_instance(result()))
 962           return -99;  // caller bug!
 963         oop saved = MethodHandles::init_field_MemberName(result, st.field_descriptor());
 964         if (saved != result())
 965           results->obj_at_put(rfill-1, saved);  // show saved instance to user
 966       } else if (++overflow >= overflow_limit) {
 967         match_flags = 0; break; // got tired of looking at overflow
 968       }
 969     }
 970   }
 971 
 972   if ((match_flags & (IS_METHOD | IS_CONSTRUCTOR)) != 0) {
 973     // watch out for these guys:
 974     Symbol* init_name   = vmSymbols::object_initializer_name();
 975     Symbol* clinit_name = vmSymbols::class_initializer_name();
 976     if (name == clinit_name)  clinit_name = NULL; // hack for exposing <clinit>
 977     bool negate_name_test = false;
 978     // fix name so that it captures the intention of IS_CONSTRUCTOR
 979     if (!(match_flags & IS_METHOD)) {
 980       // constructors only


 991       } else if (name == init_name) {
 992         return 0;               // no methods of this constructor name
 993       }
 994     } else {
 995       // caller will accept either sort; no need to adjust name
 996     }
 997     InstanceKlass* ik = InstanceKlass::cast(k);
 998     for (MethodStream st(ik, local_only, !search_intfc); !st.eos(); st.next()) {
 999       Method* m = st.method();
1000       Symbol* m_name = m->name();
1001       if (m_name == clinit_name)
1002         continue;
1003       if (name != NULL && ((m_name != name) ^ negate_name_test))
1004           continue;
1005       if (sig != NULL && m->signature() != sig)
1006         continue;
1007       // passed the filters
1008       if (rskip > 0) {
1009         --rskip;
1010       } else if (rfill < rlimit) {
1011         Handle result(THREAD, results->obj_at(rfill++));
1012         if (!java_lang_invoke_MemberName::is_instance(result()))
1013           return -99;  // caller bug!
1014         CallInfo info(m, NULL, CHECK_0);
1015         oop saved = MethodHandles::init_method_MemberName(result, info, THREAD);
1016         if (saved != result())
1017           results->obj_at_put(rfill-1, saved);  // show saved instance to user
1018       } else if (++overflow >= overflow_limit) {
1019         match_flags = 0; break; // got tired of looking at overflow
1020       }
1021     }
1022   }
1023 
1024   // return number of elements we at leasted wanted to initialize
1025   return rfill + overflow;
1026 }
1027 
1028 void MethodHandles::add_dependent_nmethod(oop call_site, nmethod* nm) {
1029   assert_locked_or_safepoint(CodeCache_lock);
1030 
1031   oop context = java_lang_invoke_CallSite::context_no_keepalive(call_site);
1032   DependencyContext deps = java_lang_invoke_MethodHandleNatives_CallSiteContext::vmdependencies(context);
1033   // Try to purge stale entries on updates.
1034   // Since GC doesn't clean dependency contexts rooted at CallSiteContext objects,
1035   // in order to avoid memory leak, stale entries are purged whenever a dependency list


1282 JVM_END
1283 
1284 JVM_ENTRY(jobject, MHN_getMemberVMInfo(JNIEnv *env, jobject igcls, jobject mname_jh)) {
1285   if (mname_jh == NULL)  return NULL;
1286   Handle mname(THREAD, JNIHandles::resolve_non_null(mname_jh));
1287   intptr_t vmindex  = java_lang_invoke_MemberName::vmindex(mname());
1288   objArrayHandle result = oopFactory::new_objArray_handle(SystemDictionary::Object_klass(), 2, CHECK_NULL);
1289   jvalue vmindex_value; vmindex_value.j = (long)vmindex;
1290   oop x = java_lang_boxing_object::create(T_LONG, &vmindex_value, CHECK_NULL);
1291   result->obj_at_put(0, x);
1292 
1293   int flags = java_lang_invoke_MemberName::flags(mname());
1294   if ((flags & IS_FIELD) != 0) {
1295     x = java_lang_invoke_MemberName::clazz(mname());
1296   } else {
1297     Method* vmtarget = java_lang_invoke_MemberName::vmtarget(mname());
1298     assert(vmtarget != NULL && vmtarget->is_method(), "vmtarget is only method");
1299     x = mname();
1300   }
1301   result->obj_at_put(1, x);
1302   return JNIHandles::make_local(THREAD, result());
1303 }
1304 JVM_END
1305 
1306 
1307 
1308 //  static native int getMembers(Class<?> defc, String matchName, String matchSig,
1309 //          int matchFlags, Class<?> caller, int skip, MemberName[] results);
1310 JVM_ENTRY(jint, MHN_getMembers(JNIEnv *env, jobject igcls,
1311                                jclass clazz_jh, jstring name_jh, jstring sig_jh,
1312                                int mflags, jclass caller_jh, jint skip, jobjectArray results_jh)) {
1313   if (clazz_jh == NULL || results_jh == NULL)  return -1;
1314   Klass* k = java_lang_Class::as_Klass(JNIHandles::resolve_non_null(clazz_jh));
1315 
1316   objArrayHandle results(THREAD, (objArrayOop) JNIHandles::resolve(results_jh));
1317   if (results.is_null() || !results->is_objArray())  return -1;
1318 
1319   TempNewSymbol name = NULL;
1320   TempNewSymbol sig = NULL;
1321   if (name_jh != NULL) {
1322     name = java_lang_String::as_symbol_or_null(JNIHandles::resolve_non_null(name_jh));


1530   {CC "clearCallSiteContext",      CC "(" CTX ")V",                          FN_PTR(MHN_clearCallSiteContext)},
1531   {CC "staticFieldOffset",         CC "(" MEM ")J",                          FN_PTR(MHN_staticFieldOffset)},
1532   {CC "staticFieldBase",           CC "(" MEM ")" OBJ,                        FN_PTR(MHN_staticFieldBase)},
1533   {CC "getMemberVMInfo",           CC "(" MEM ")" OBJ,                       FN_PTR(MHN_getMemberVMInfo)}
1534 };
1535 
1536 static JNINativeMethod MH_methods[] = {
1537   // UnsupportedOperationException throwers
1538   {CC "invoke",                    CC "([" OBJ ")" OBJ,                       FN_PTR(MH_invoke_UOE)},
1539   {CC "invokeExact",               CC "([" OBJ ")" OBJ,                       FN_PTR(MH_invokeExact_UOE)}
1540 };
1541 
1542 /**
1543  * This one function is exported, used by NativeLookup.
1544  */
1545 JVM_ENTRY(void, JVM_RegisterMethodHandleMethods(JNIEnv *env, jclass MHN_class)) {
1546   assert(!MethodHandles::enabled(), "must not be enabled");
1547   assert(SystemDictionary::MethodHandle_klass() != NULL, "should be present");
1548 
1549   oop mirror = SystemDictionary::MethodHandle_klass()->java_mirror();
1550   jclass MH_class = (jclass) JNIHandles::make_local(THREAD, mirror);
1551 
1552   {
1553     ThreadToNativeFromVM ttnfv(thread);
1554 
1555     int status = env->RegisterNatives(MHN_class, MHN_methods, sizeof(MHN_methods)/sizeof(JNINativeMethod));
1556     guarantee(status == JNI_OK && !env->ExceptionOccurred(),
1557               "register java.lang.invoke.MethodHandleNative natives");
1558 
1559     status = env->RegisterNatives(MH_class, MH_methods, sizeof(MH_methods)/sizeof(JNINativeMethod));
1560     guarantee(status == JNI_OK && !env->ExceptionOccurred(),
1561               "register java.lang.invoke.MethodHandle natives");
1562   }
1563 
1564   log_debug(methodhandles, indy)("MethodHandle support loaded (using LambdaForms)");
1565 
1566   MethodHandles::set_enabled(true);
1567 }
1568 JVM_END
< prev index next >