不过对于native方法而言,它在Java世界中只有定义没有实现,因此不会有字节码信息。虽然不需要存储字节码的入口地址,但native方法在调用过程中却会多出一步。
- 首先进入一个跳板函数,其中会处理Java参数到Native参数的转换以及线程状态切换等过程。
- 在跳板函数内部调用Native世界中实现的JNI函数。
这样一来,不用存储字节码入口信息的data_
字段就可以用来存储JNI函数的入口地址了。而entry_point_from_quick_compiled_code_
中存储的就是跳板函数的入口地址。具体可参考ART视角 | 为什么调用Native方法可以进入C++世界。
静态注册
当我们不在JNI_Onload
中调用RegisterNatives
,或者压根不在so库中编写JNI_Onload
函数时,native方法的映射只能由静态注册完成。
虽然这个过程的名字叫"静态注册",但实际注册是在运行时按需动态完成的,只不过由于映射关系是事先确定的,所以才被叫做"静态"。
那么具体的映射规则是什么呢?
JNI实现了两套映射规则,一套是简化版,一套是为了解决方法重载的复杂版。最终转换出来的函数名按照如下规则顺次拼接。
- 前缀
Java_
- 类名,将
/
转成_
- 下划线连接符
_
- 方法名
- 如果需要区分两个重载的方法,则用双下划线
__
连接参数签名。如果该方法没有被重载,则省略这一步。
为了区分重载方法,字符串的末尾需要拼接参数签名,而签名中是有可能有[
、;
和_
字符的。为了不在函数名中出现这些特殊字符(或者为了不和之前的连接符_
混淆),转换时对这些字符做了特殊处理。
-
_
转换为_1
-
;
转换为_2
-
[
转换为_3
由于Java类名和方法名中都不可能以数字开头,所以这样的转换不会跟Java类名或方法名冲突。具体规则参考JNI文档。以下是一个转换示例。
package pkg;
class Cls {
native double f(int i, String s);
…
}
转换为:
JNIEXPORT jdouble JNICALL Java_pkg_Cls_f__ILjava_lang_String_2 (
JNIEnv env, / interface pointer */
jobject obj, /* “this” pointer */
jint i, /* argument #1 */
jstring s) /* argument #2 */ {
/* Obtain a C-copy of the Java string */
const char *str = (*env)->GetStringUTFChars(env, s, 0);
/* process the string */
…
/* Now we are done with str */
(*env)->ReleaseStringUTFChars(env, s, str);
return …
}
不过要注意一点,静态注册的JNI函数必须由JNIEXPORT
和JNICALL
进行修饰。
JNIEXPORT
表明将函数名输出到动态符号表中,这样后续注册时调用dlsym才能找的到。默认情况下,所有的函数名都会输出到动态符号表中。但为了安全性,我们可以在编译时传入-fvisibility=hidden
来关闭这种输出(JNIEXPORT
修饰的依然会输出),防止别人知道so中定义了哪些函数。这一点对于商业软件尤为重要。
JNICALL
主要用于消除不同硬件平台调用规则的差异,对于AArch64而言,JNICALL
不执行任何动作。
规则介绍完毕,接下来就要深入注册的具体过程。
上文中提到,ArtMethod对象的data_
字段存储JNI函数的入口地址,而entry_point_from_quick_compiled_code_
存储跳板函数的入口地址。可是对静态注册而言,直到第一次方法调用时映射关系才建立。
一个方法被调用之前,首先要加载它所属的类。那么在类加载到方法第一次调用的这段时间里,data_
和entry_point_from_quick_compiled_code_
等于什么呢?
类加载时会调用LinkCode
函数,为ArtMethod对象设置entry_point_from_quick_compiled_code_
和data_
字段。
static void LinkCode(ClassLinker* class_linker,
ArtMethod* method,
const OatFile::OatClass* oat_class,
uint32_t class_def_method_index) REQUIRES_SHARED(Locks::mutator_lock_) {
…
const void* quick_code = nullptr;
if (oat_class != nullptr) {
// Every kind of method should at least get an invoke stub from the oat_method.
// non-abstract methods also get their code pointers.
const OatFile::OatMethod oat_method = oat_class->GetOatMethod(class_def_method_index);
quick_code = oat_method.GetQuickCode();
}
…
if (quick_code == nullptr) {
method->SetEntryPointFromQuickCompiledCode( //set entry_point_from_quick_compiled_code_ 字段
method->IsNative() ? GetQuickGenericJniStub() : GetQuickToInterpreterBridge());
}
…
if (method->IsNative()) {
// Set up the dlsym lookup stub. Do not go through UnregisterNative()
// as the extra processing for @CriticalNative is not needed yet.
method->SetEntryPointFromJni( // set data_ 字段
method->IsCriticalNative() ? GetJniDlsymLookupCriticalStub() : GetJniDlsymLookupStub());
…
}
}
entry_point_from_quick_compiled_code_
的值有两种可能:
- 由于跳板函数主要负责参数转换,因此对于不同的native方法,只要它们的参数个数和类型一致,就可以使用同一个跳板函数。这些跳板函数只在AOT编译条件下才会生成,因此纯解释执行时
quick_code
== nullptr。 - 当
quick_code
== nullptr时,为entry_point_from_quick_compiled_code_
设置的值是art_quick_generic_jni_trampoline
函数指针。它相当于一个通用的跳板函数,在执行过程中动态进行参数转换。
data_
的值(不考虑CriticalNative)只有一种可能:
- 设置为
art_jni_dlsym_lookup_stub
函数指针。该函数在执行时根据静态转换规则找到JNI函数,接着跳转过去。因此真正的注册发生在它里面。
接下来看看JNI函数的寻找过程。art_jni_dlsym_lookup_stub
是汇编代码,其内部会调用artFindNaitveMethod
找到JNI函数的指针,然后通过br x17
指令跳转到该JNI函数中。
ENTRY art_jni_dlsym_lookup_stub
…
// Call artFindNativeMethod() for normal native and artFindNativeMethodRunnable()
// for @FastNative or @CriticalNative.
…
b.ne .Llookup_stub_fast_or_critical_native
bl artFindNativeMethod
b .Llookup_stub_continue
.Llookup_stub_fast_or_critical_native:
bl artFindNativeMethodRunnable
.Llookup_stub_continue:
mov x17, x0 // store result in scratch reg.
…
cbz x17, 1f // is method code null ?
br x17 // if non-null, tail call to method’s code.
1:
ret // restore regs and return to caller to handle exception.
END art_jni_dlsym_lookup_stub
extern “C” const void* artFindNativeMethodRunnable(Thread* self)
REQUIRES_SHARED(Locks::mutator_lock_) {
…
const void* native_code = class_linker->GetRegisteredNative(self, method);
if (native_code != nullptr) {
return native_code;
}
…
JavaVMExt* vm = down_cast<JNIEnvExt*>(self->GetJniEnv())->GetVm();
native_code = vm->FindCodeForNativeMethod(method);
…
return class_linker->RegisterNative(self, method, native_code);
}
artFindNativeMethod
内部调用的是artFindNativeMethodRunnable
,它首先判断ArtMethod的data_
字段是不是已经注册过了,如果是则直接返回data_
存储的函数指针。否则调用FindCodeForNativeMethod
去寻找。最后将找到的函数指针写入data_
字段中。
// See section 11.3 “Linking Native Methods” of the JNI spec.
void* FindNativeMethod(Thread* self, ArtMethod* m, std::string& detail)
REQUIRES(!Locks::jni_libraries_lock_)
REQUIRES_SHARED(Locks::mutator_lock_) {
std::string jni_short_name(m->JniShortName());
std::string jni_long_name(m->JniLongName());
…
{
// Go to suspended since dlsym may block for a long time if other threads are using dlopen.
ScopedThreadSuspension sts(self, kNative);
void* native_code = FindNativeMethodInternal(self,
declaring_class_loader_allocator,
shorty,
jni_short_name,
jni_long_name);
if (native_code != nullptr) {
return native_code;
}
}
…
}
FindCodeForNativeMethod
内部调用FindNativeMethod
,创建两个字符串,一个是jni_short_name
,另一个是jni_long_name
。其实二者反映的就是之前所说的两种映射规则。
std::string GetJniShortName(const std::string& class_descriptor, const std::string& method) {
// Remove the leading ‘L’ and trailing ‘;’…
std::string class_name(class_descriptor);
CHECK_EQ(class_name[0], ‘L’) << class_name;
CHECK_EQ(class_name[class_name.size() - 1], ‘;’) << class_name;
class_name.erase(0, 1);
class_name.erase(class_name.size() - 1, 1);
std::string short_name;
short_name += “Java_”;
short_name += MangleForJni(class_name);
short_name += “_”;
short_name += MangleForJni(method);
return short_name;
}
std::string ArtMethod::JniLongName() {
std::string long_name;
long_name += JniShortName();
long_name += “__”;
std::string signature(GetSignature().ToString());
signature.erase(0, 1);
signature.erase(signature.begin() + signature.find(‘)’), signature.end());
long_name += MangleForJni(signature);
return long_name;
}
Short name是不考虑重载的映射规则,long name则增加了参数信息用于区分不同方法。寻找符号时,先找short name,再找long name。
动态注册
自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数初中级Android工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则近万的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Android开发知识点,真正体系化!
由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!
如果你觉得这些内容对你有帮助,可以扫码获取!!(备注:Android)
最后
针对Android程序员,我这边给大家整理了一些资料,包括不限于高级UI、性能优化、架构师课程、NDK、混合式开发(ReactNative+Weex)微信小程序、Flutter等全方面的Android进阶实践技术;希望能帮助到大家,也节省大家在网上搜索资料的时间来学习,也可以分享动态给身边好友一起学习!
往期Android高级架构资料、源码、笔记、视频。高级UI、性能优化、架构师课程、混合式开发(ReactNative+Weex)全方面的Android进阶实践技术,群内还有技术大牛一起讨论交流解决问题。
《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》,点击传送门即可获取!
级UI、性能优化、架构师课程、混合式开发(ReactNative+Weex)全方面的Android进阶实践技术,群内还有技术大牛一起讨论交流解决问题。**
[外链图片转存中…(img-mhxmTYZc-1712252703267)]
[外链图片转存中…(img-0LJIPmZ6-1712252703267)]