深入探索Android热修复技术原理读书笔记 —— so库热修复技术

热修复系列文章:

深入探索Android热修复技术原理读书笔记 —— 热修复技术介绍

深入探索Android热修复技术原理读书笔记 —— 代码热修复技术

深入探索Android热修复技术原理读书笔记 —— 资源热修复技术

1. SO库加载原理

Java Api 提供以下两个接口加载一个 so 库

  • System. loadLibrary (String libName):传进去的参数:so 库名称, 表示的 so 库文件,位于apk压缩文件中的 libs 目录,最后复制到 apk 安装目录下。

  • System, load (String pathName):传进去的参数:  so 库在磁盘中的完整 路径。加载一个自定义外部 so 库文件。

上述两种方式加载一个 so 库,实际上最后都调用 nativeLoad 这个 native 法去加载 so 库,这个方法的 fileName:so 库在磁盘中的完整路径名。

代码+图文的方式简述 so 库加载原理,下面的代码示例,stringFromJNI -> Java_com_taobao_jni_MainActivity_stringFromJNI 静态注册的 native 法,test->test 动态注册的 native 方法。

我们知道 JNI 编程中,动态注册的 native 方法必须实现 JNI_OnLoad 方法,同时实现一个 JNINativeMethod [] 数组,静态注册的 native 方法必须是 Java+完整路径+方法名的格式。

 

总结下:

  • 动态注册的 native 方法映射通过加载 so 库过程中调用 JNI_onLoad 方法调用完成。

  • 静态注册的 native 方法映射是在该 native 方法第一次执行的时候才完成映射,当然前提是该 so 库已经 load 过。

2. SO库热部署实时生效可行性分析

2.1. 动态注册 native 方法实时生效

前面我们分析过 so 库的加载原理,我们知道动态注册的 native 方法调用一次 JNI_OnLoad 方法都会重新完成一次映射,所以我们是否只要先加载原来的 so , 然后再加载补丁 so 库,就能完成Java层 native 方法到 native 层 patch 后的新方法映射,这样就完成动态注册 native 方法的 patch 实时修复。一张图说明

 

实测发现 art 下这样是可以做到实时生效的,但是 Dalvik 下做不到实时生效,通 过代码测试我们发现,实际上 Dalvik 下第二次 load 补丁 so 库,执行的仍然是原来 so 库的 JNI_0nLoad 方法,而不是补丁 so 库的 JNI_OnLoad 方法,所以 Dalvik 下做不到实时生效。我们来简单分析下,既然拿到的是原来 so 库的 JNI_OnLoad 法,那么我们首先怀疑以下两个函数是否有问题。

  • • dlopen() :返回给我们一个动态链接库的句柄

  • • disym() :通过一个 dlopen 得到的动态连接库句柄,来查找一个 symbol

首先来看下 Dalvik 虚拟机下面 dlopen 的实现,源码在 /bionic/linker/dlfcn.cpp 文件,方法调用链路:dlopen -> do_d.lopen -> find_library -> find_library_internal

findloadedlibrary 方法判断 name 表示的 so 库是否已经被加载过,如果加载过直接返回之前加载 so 库的句柄,没有加载过,调用 load_library 尝试加载 so 库

看代码注释,也知道其实这是Dalvik虚拟机下的一个 bug,这里它是通过 basename 去做查找,传进来的参数 name 实际上是 so 库所在磁盘的完整路径,比如此时修复后的 so 库的路径为 /data/data/com. taobao. jni/files/libnative-lib.so。 但是此时是通过 bname : libnative-lib.so 作为 key 去查找, 我们知道第一次加载原来的 so 库 System.loadLibrary ( "native-lib");实际上已经在 solist 表中存在了 native-lib 这个 key,所以 Dalvik 下面加载修复后的补丁 so 拿到的还是原 so 库文件的句柄,所以执行的仍然是原来 so 库的 JNI_ OnLoad 方法,Art 下不存在这个问题,是因为 Art 下这个地方是以 name 作为 key 去查找而不是 bname,所以 art 重新 load —遍补丁 so 库:拿到的是补丁 so 的句柄,然后执行补丁库的 JNI OnLoad。

所以为了解决 Dalvik 下面的这个问题,那么如果尝试对补丁 so 进行改名,比如 此处补丁 so 库的完整路径修改之后变成 /data/data/com.taobao.jni/files/ libnative-lib-123333.so,后面一串数字是当前时间戳,确保这个 bname 全局唯一的,按照上面的分析,在 solist 中查找的 key 已经是唯一的,所以此时可以做到 Dalvik 下面动态注册的 native 方法的实时生效。

2.2. 静态注册 native 方法实时生效

上面通过尝试对补丁 so 库进行重命名为全局唯一的名称可以确保第二次加载补丁 so 库可以做到 Dalvik 下和 Art 下动态注册方法的实时生效,但要做到静态注册 native 方法的实时生效还需要更多工作。

前面我们说过静态注册 native 方法的映射是在 native 方法第一次执行的时候就完成了映射,所以如果 native 方法在加载补丁 so 库之前已经执行过了,那么是否这种时候这个静态注册的 native 方法一定得不到修复?幸运的是,系统 JNI API 提供 了解注册的接口。

UnregisterNatives 函数会把 jclazz 所在类的所有 native 方法都重新指向 dvmResolveNativeMethod,所以调用 UnregisterNatives 之后不管是静态注册还是动态注册的 native 方法之前是否执行过在加载补丁 so 的时候都会重新去做映射。所以我们只需要以下调用。

 

这里有一个难点,因为 native 方法的修改是在 so 库中,所以我们的补丁工具很难检测出到底是哪个 Java 类需要解注册 native 方法。这个问题暂且放下。假设我们能知道哪个类需要解注册native方法,然后 load 补丁 so 库之后,再次执行该 native 方法,这样看起来是可以让该 native 方法实时生效,但是测试发现,在补丁 so 库重命名的前提下,java 层 native 方法可能映射到原so 库的方法,也可能映射到补丁 so 库的修复后的新方法。

首先静态注册的 native 方法之前从未执行,首先尝试解析该方法。或者调用 unregisterJNINativeMethods 解注册方法,那么该方法将指向 meth->nativeFunc = dvmResolveNativeMethod,那么真正运行该方法的时候,实际上执行的是 dvmResolveNativeMethod 函数。这个函数主要完成 java 层 native 法和 native 层方法的映射逻辑。

 

gDvm.nativeLibs 是一个全局变量,它是一个hashtable,存放着整个虚拟机加载 so 库的 SharedLib 结构指针。然后该变量作为参数传递给 dvmHashForeach 函数进行 hashtable 遍历。执行 findMethodInLib 函数看是否找到对应的 native  数指针,如果第一个找到就直接 return,不在进行下次的查找。

这个结构很重要,在虚拟机中大量使用到了 hashtable 这个数据结构,hashtable 的实现源码在 dalvik/vm/Hash.h dalvik/vm/Hash.cpp 文件中,有兴趣可以自行查看源码,这里不进行详细分析。hashtable 的遍历和插入都是在 dvmHashTableLookup 方法中实现,简单说下 java.hashtable c.hashtable 的异同点:

  • 共同点:两者实际上都是数组实现,hashtable 容量如果超过默认值都会进行扩容,都是对 key 进行 hash 计算然后跟 hashtable 的长度进行取模作 bucket。

  • 不同点:Dalvik 虚拟机下 hashtable put/get 操作实现方法,实际上实现要 比 java hashmap 的实现要简单一些,java hashmap 的 put 实现需要处理 hash冲突的情况,一般情况下会通过在冲突节点上新增一个链表处理冲突, 然后get实现会遍历这个链表通过 equals 方法比较 value 是否一致进行查找,davlik 下 hashtable 的 put 实现上 (doAdd=true) 只是简单的把指针 下移直到下一个空节点。get 实现 (doAdd=false) 首先根据 hash 值计算出 bucket 位置,然后通过 cmpFunc 函数比较值是否一致,不一致,指针下移。 hashtable 的遍历实际就是数组遍历实现

知道了 davlik 下 hashtable 的实现原理,那我们再来看下前面提到的:补丁 so 库重命名的前提下,为什么 java 层 native 方法可能映射到原 so 库的方法也可能映射到补丁 so 库的修复后的新方法。一张图说明情况

 

所以我们可以得到结论:

  • 对补丁 so库进行重命名后,如果这个补丁 so 库在 hashtable 中的位置比原 so 库的位置靠前,那么这个静态注册 native 方法就能够得到修复,位置如果靠后就得不到修复。

2.3. SO 实时生效方案总结

基于上面的分析,so 库的实时生效必须满足以下几点:

  • so 库为了兼容 Dalvik 虚拟机下动态注册 native 方法的实时生效,必须对 so 文件进行改名。

  • 针对 so 库静态注册 native 方法的实时生效,首先需要解注册静态注册的 native 方法,这个也是难点,因为我们很难知道 so 库中哪几个静态注册的 native 方法发生了变更。假设就算我们知道如果静态注册的 native 方法需要解注册,重新 load 补丁 so 库也有可能被修复也有可能不被修复。

  • 上面对补丁 so 进行了第二次加载,那么肯定是多消耗了一次本地内存,如果 补丁 so 库够大,补丁 so 够多,那么 JNI 层的 OOM 也不是没可能

  • 另外一方面补丁 so 如果新增了一个动态注册的方法而dex中没有相应方法, 直接去加载这个补丁 so 文件会报 NoSuchMethodError 异常,具体逻辑在 dvmRegisterJNIMethod 中。我们知道如果dex如果新增了—native 方法,那么走不了热部署只能冷启动重启生效,所以此时补丁 so 就不能第二 次 load 了。这种情况下 so 库的修复严重依赖于dex的修复方案。

可以看到 so 库实时生效方案,对于静态注册的 native 方法有一定的局限性, 不能满足一般的通用性,所以最后我们放弃了 so 库的实时生效需求,转而求次实现 so库修复的冷部署重启生效方案。

3. SO库冷部署重启生效实现方案

为了更好的兼容通用性,我们尝试通过冷部署重启生效的角度分析下补丁 so 的修复方案。

3.1. 接口调用替换方案

sdk 提供接口替换 System 默认加载 so 库接口

SOPatchManager.loadLibrary(String libName) -> System.loadLibrary(String libName) 

SOPatchManager.loadLibrary 接口加载 so 库的时候优先尝试去加载 sdk 指定目录下的补丁 so加载策略如下:

  • 如果存在则加载补丁 so 库而不会去加载安装 apk 安装目录下的 so 

  • 如果不存在补丁 so,那么调用 System.loadLibrary 去加载安装 apk 录下的 s库。

我们可以很清楚的看到这个方案的优缺点:

  • 优点:不需要对不同 sdk 版本进行兼容,因为所有的 sdk 版本都有 System.loadLibrary 这个接口。

  • 缺点:调用方需要替换掉 System 默认加载 so 库接口为 sdk 提供的接口, 如果是已经编译混淆好的三方库的 so 库需要 patch,那么是很难做到接口的替换。

虽然这种方案实现简单,同时不需要对不同 sdk 版本区分处理,但是有一定的局限性没法修复三方包的 so 库同时需要强制侵入接入方接口调用,接着我们来看下反射注入方案。

3.2. 反射注入方案

前面介绍过 System. loadLibrary ( "native-lib"); 加载 so 库的原理,其实 native-lib 这个 so 库最终传给 native 方法执行的参数是 so 库在磁盘中的完整路径,比如:/data/app-lib/com.taobao.jni-2/libnative-lib.so, so 会在 DexPathList.nativeLibraryDirectories/nativeLibraryPathElements 变量所表示的目录下去遍历搜索。

sdk<23 DexPathList.findLibrary 实现如下

  

可以发现会遍历 nativeLibraryDirectories 数组,如果找到了 loUtils.canOpenReadOnly (path)返回为 true, 那么就直接返回该 path, loUtils.canOpenReadOnly (path)返回为 true 的前提肯定是需要 path 表示的 so 文件存 在的。那么我们可以采取类似类修复反射注入方式,只要把我们的补丁 so 库的路径插入到 nativeLibraryDirectories 数组的最前面就能够达到加载 so 库的时候是补丁 库而不是原来 so 库的目录,从而达到修复的目的。

sdk>=23 DexPathList.findLibrary 实现如下

 

sdk23 以上 findLibrary 实现已经发生了变化,如上所示,那么我们只需要把补丁 so 库的完整路径作为参数构建一个 Element 对象,然后再插入到 nativeLibraryPathElements 数组的最前面就好了。 

  • 优点:可以修复三方库的 so 库。同时接入方不需要像方案1 —样强制侵入用 户接口调用

  • 缺点:需要不断的对 sdk 进行适配,如上 sdk23 为分界线,findLibrary 口实现已经发生了变化。

我们知道在不管是在补丁包中还是 apk 中一个 so 库都存在多种 cpu 架构的 so 文件,比如"armeabi","arm64-v8a","x86"等。加载肯定是加载其中一个 so 库文件的,如何选择机型对应的 so 库文件将是重点所在。

4. 如何正确复制补丁 SO

上面提到的一个问题,这里不打算详细介绍。有需要的参考文档:Android动态 链接库加载原理及HotFix方案介绍,这篇文档有些观点不尽正确,但是我也能知道虚拟机究竟选择哪个 abis 目录作为参数构建 PathClassLoader 对象,一张图简单了解下原理

实际上补丁 so 也存在类似的问题,我们的补丁 so 库文件放到补丁包的 libs 录下面,libs 目录和 .dex 文件和 res 资源文件一起打包成一个压缩文件作为最后的补丁包,libs 目录可能也包含多种 abis 目录。所以我们需要选择手机最合适的 primaryCpuAbi,然后从 libs 目录下面选择这个 primaryCpuAbi 子目录插入到 nativeLibraryDirectories/nativeLibraryPathElements 数组中。所以怎么选择 primaryCpuAbi 是关键,来看下我们 sdk 具体的实现

  • sdk>=21 时,直接反射拿到 Applicationinfo 对象的 primaryCpuAbi 即可

  • sdk<21 时,由于此时不支持 64 位,所以直接把Build.CPU_ABI, Build.CPU_ABI2 作为 primaryCpuAbi 即可

5. 本章小结

对于 so 库的修复方案目前更多采取的是接口调用替换方式,需要强制侵入用户 接口调用。目前我们的 so 文件修复方案采取的是反射注入的方案,重启生效。具有更好的普遍性。如果有 so 文件修复实时生效的需求,也是可以做到的,只是有些限制情况。

posted @ 2021-05-24 13:16  huansky  阅读(552)  评论(0编辑  收藏  举报