热修复设计之热修复原理（三）

阿里P7移动互联网架构师进阶视频（每日更新中）免费学习请点击：https://space.bilibili.com/474380680
本篇文章将先从热修复原理来介绍热修复设计:

Android 热修复

在Android的热修复中主要用来替换类，资源，so的过程；

Java 虚拟机

Android 虚拟机

速度： CPU - > 寄存器 -> 内存 -> 外存

http://blog.csdn.net/ljtyzhr/article/details/39859659

Android 目前有2中虚拟机， Dalvik 和 ART 虚拟机；

Android 虚拟机和编译加载顺序

Android 热修复其实主要是针对 Android 虚拟机加载类的一个过程，所以首先先我们应该知道 Android 常用的虚拟机是 Dalvik 虚拟和 ART 虚拟机；

Android 4.0 之前是主要是的 Dalvik 虚拟机。 Android 4.4 之后开始支持 ART 虚拟机（可选）， Android 5.0 之后就是 ART 虚拟机；

Android 4.0 --> Android 4.4 --> Android 5.0 ---> Android 7.0

Dalvik 虚拟机在 Android 2.2 的时候引入了 JIT (Just in time), 也就是一边运行，一边编译成机器码在运行；这种编译成机器码的过程在应用重启的时候需要重新编译成机器码再运行，有点浪费性能（不是持久化），重复翻译，编译，运行；

在 Android 5.0 之后就使用完全使用 ART 虚拟机；因为在 AOT (ahead of time) 的操作在安装的时候把 dex 优化成odex; 在Android N (7) 之前是全量dex 优化成 odex, 这样导致安装 apk 的时候，或者系统更新重启的时候非常耗时，特别的慢；

所以在 Android N 后引入了 JIT 和 AOT 的混合模式; 可以理解为“全时段的编译”（All-Of-the-Time compilation，也叫 AOT；是不是发现有2个 AOT, 一开始我也很懵逼的；其实和Android 5.0 中的 AOT 是不太一样的；还有要注意的是Android N 之后的 JIT 和 Davlik 虚拟机中的JIT是不一样的，简单理解就是高级版的JIT；这个高级版本的 JIT 过程会把处理后的odex缓存到 base.art （有些地方也叫 image ）中；等下次app启动的时候，就先直接把这个优化后的 base.art 加载到内存中；这样就不会重复的 JIT了；

混合模式的理解

ART 初期是使用全量的 AOT (aheader of time) 变成机器码（指令）; 因为耗安装时间和系统升级后的启动时间；所以在 ART 的时候，先把dex 解释成中间态的，不编译成机器码。在运行的时候，或者充电的时候，只编译“热代码”

引用infoq 的一篇文章 http://www.infoq.com/cn/news/2016/04/android-n-aot-jit

源码类到机器执行的文件过程

主要过程： java - (dex, class) - opt/oat -- odex;

Davlik 虚拟机: java - dex - opt -- D 类型的 odex （优化过后的还是需要翻译）; JIT

ART虚拟机: java -- dex -- oat -- A 类型的 odex （机器码类型文件）; AOT ( Ahead of time)

混合模式： java -- dex -- oat -- (D类型的 odex, base.art: 热缓存，image) JIT（高级的JIT）; AOT （All-Of-the-Time compilation）可以理解为“全时段的编译” ,profile

补丁包

补丁包主要有 class，资源文件，so的改动；

资源文件方案；替换 AssertManager， ---> 加载 resources.arsc
os 还不清楚，没研究过, 可能使用classLoader 加载放入so 目录
类：底层替换和类加载器方案

本文主要诉说类加载器的方案；

类补丁生效原理

底层替换方案（阿里系）AndFix，
类加器载方案（腾讯系）QFix, tinker(粒度太细了), Sophix 使用类的替换（粒度大一点）

因为 Android 有 2 款虚拟机，所以应该针对 2 款虚拟机加载过程进行分析和处理；

Davlik 虚拟机的限制

Android 在编译的时候有个 65536 （2的16次方）问题。受限于Dlv 虚拟机的限制；不只是方法名有限制，其实字段也是有限制的；

Davlik Class resolved by unexpected DEX: 限制和处理方式

Davlik 类加载处理源码

手Q的方案

 if (!fromUnverifiedConstant && // 条件3
            IS_CLASS_FLAG_SET(referrer, CLASS_ISPREVERIFIED)) // 条件1
        {
            ClassObject* resClassCheck = resClass;
            if (dvmIsArrayClass(resClassCheck))
                resClassCheck = resClassCheck->elementClass;
            if (referrer->pDvmDex != resClassCheck->pDvmDex &&
                resClassCheck->classLoader != NULL) // 条件2
            {
                ALOGW("Class resolved by unexpected DEX:"
                     " %s(%p):%p ref [%s] %s(%p):%p",
                    referrer->descriptor, referrer->classLoader,
                    referrer->pDvmDex,
                    resClass->descriptor, resClassCheck->descriptor,
                    resClassCheck->classLoader, resClassCheck->pDvmDex);
                ALOGW("(%s had used a different %s during pre-verification)",
                    referrer->descriptor, resClass->descriptor);
                dvmThrowIllegalAccessError(
                    "Class ref in pre-verified class resolved to unexpected "
                    "implementation");
                return NULL;
            }
        }

三个条件

CLASS_ISPREVERIFIED 这个标记被打上的原理是，只要一个类里面和这个类的依赖都在一个dex中，那么这些类就被打上 PREVERIFIED 的标记；

单独有个[特殊的.dex]这个 dex 里面只有一个类，且其他的dex中的类都引用一下这个单独 dex 里面的类，那么，项目中所有的类，就不会被打上 CLASS_ISPREVERIFIED 这个标记
```
dex 数组： [ 1.dex, 2.dex, 3.dex, 特殊的.dex(插桩类)]
```
referrer->pDvmDex != resClassCheck->pDvmDex
补丁类和引用类应该在同一个dex里面；
fromUnverifiedConstant hook 使用 native 方式

类加载器的双亲委派加载机制

类收到了类加载请求，他首先不会尝试自己去加载这个类，而是把这个请求委派给父类去完成，每一个层次类加载器都是如此，因此所有的加载请求都应该传送到启动类加载其中，只有当父类加载器反馈自己无法完成这个请求的时候（在它的加载路径下没有找到所需加载的Class），子类加载器才会尝试自己去加载