热修复系列文章:

深入探索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 目录下的 so 库。

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

  • 优点:不需要对不同 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 文件修复实时生效的需求,也是可以做到的,只是有些限制情况。

深入探索Android热修复技术原理读书笔记 —— so库热修复技术的更多相关文章

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

    1.1 什么是热修复 对于广大的移动开发者而言,发版更新是最为寻常不过的事了.然而,如果你 发现刚发出去的包有紧急的BUG需要修复,那你就必须需要经过下面这样的流程: 这就是传统的更新流程,步骤十分繁 ...

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

    在前一篇文章 深入探索Android热修复技术原理读书笔记 -- 热修复技术介绍中,对热修复技术进行了介绍,下面将详细介绍其中的代码修复技术. 1 底层热替换原理 在各种 Android 热修复方案中 ...

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

    该系列文章: 深入探索Android热修复技术原理读书笔记 -- 热修复技术介绍 深入探索Android热修复技术原理读书笔记 -- 代码热修复技术 1 普遍的实现方式 Android资源的热修复,就 ...

  4. <<操作系统精髓与设计原理>>读书笔记(一) 并发性:互斥与同步(1)

    <<操作系统精髓与设计原理>>读书笔记(一) 并发性:互斥与同步 并发问题是所有问题的基础,也是操作系统设计的基础.并发包括很多设计问题,其中有进程间通信,资源共享与竞争,多个 ...

  5. 《android开发艺术探索》读书笔记(十三)--综合技术

    接上篇<android开发艺术探索>读书笔记(十二)--Bitmap的加载和Cache No1: 使用CrashHandler来获取应用的crash信息 No2: 在Android中单个d ...

  6. Struts2技术内幕 读书笔记一 框架的本质

    本读书笔记系列,主要针对陆舟所著<<Struts2技术内幕 深入解析Strtus2架构设计与实现原理>>一书.笔记中所用的图片若无特殊说明,就都取自书中,特此声明. 什么是框架 ...

  7. 《Android源代码设计模式解析》读书笔记——Android中你应该知道的设计模式

    断断续续的,<Android源代码设计模式解析>也看了一遍.书中提到了非常多的设计模式.可是有部分在开发中见到的几率非常小,所以掌握不了也没有太大影响. 我认为这本书的最大价值有两点,一个 ...

  8. 读书笔记--大规模web服务开发技术

    总评        这本书是日本一个叫hatena的大型网站的CTO写的,通过hatena网站从小到大的演进来反应一个web系统从小到大过程中的各种系统和技术架构变迁,比较接地气.      书的内容 ...

  9. LOMA280保险原理读书笔记

    LOMA是国际金融保险管理学院(Life Office Management Association)的英文简称.国际金融保险管理学院是一个保险和金融服务机构的国际组织,它的创建目的是为了促进信息交流 ...

随机推荐

  1. SSH&SSM

    SSH和SSM的区别 SSH是Spring+Struts+Hibernate的缩写,是一种Web应用程序开源框架.框架系统分为四层:表选层.业务逻辑层.数据持久层和模块层.SSM是Spring+Spr ...

  2. java例题_07 字符串的处理

    1 /*7 [程序 7 处理字符串] 2 题目:输入一行字符,分别统计出其中英文字母.空格.数字和其它字符的个数. 3 程分析:利用 while 语句,条件为输入的字符不为'\n'. 4 */ 5 6 ...

  3. 17. vue-route详细介绍

    前后端路由的来历 前端如何实现页面跳转但是不刷新? 了解hash和history两种方法 vue-router基本使用 安装vue-router 搭建vue-router框架的步骤 vue-route ...

  4. Apache Hudi核心概念一网打尽

    1. 场景 https://hudi.apache.org/docs/use_cases.html 近实时写入 减少碎片化工具的使用 CDC 增量导入 RDBMS 数据 限制小文件的大小和数量 近实时 ...

  5. 自学PHP笔记(五) PHP运算符

    本文转发来自:自学PHP笔记(五) PHP运算符 首先我们需要了解运算符是什么,运算符是指的对变量.常量或者数据进行计算的一个符号,比如数学中学到的加减乘除等用来运算的代表符号,PHP中的运算符也是这 ...

  6. GoF设计模式合集

    1 概述 这篇文章是对GoF23种设计模式+1种非GoF模式的合集,由笔者自己的笔记整理而来,每个模式都详细描述了步骤,角色等,以及使用Java实现的具体的例子. 2 基础 设计模式概述 UML与面向 ...

  7. Kubernetes查看可用的apiVersion版本

    命令: kubectl api-versions

  8. Compound Words UVA - 10391

      You are to find all the two-word compound words in a dictionary. A two-word compound word is a wor ...

  9. 0609-搭建ResNet网络

    0609-搭建ResNet网络 目录 一.ResNet 网络概述 二.利用 torch 实现 ResNet34 网络 三.torchvision 中的 resnet34网络调用 四.第六章总结 pyt ...

  10. istio1.2.2 安装及使用示例

    前言 本文介绍istio的安装及使用 dashboard,grafana,prometheus,kiali,jaeger的配置示例.演示通过istio的ingressgateway统一访问入口 Ist ...