4、差分升级原理：全量升级 vs 差分升级、bsdiff/bspatch算法介绍、差分包生成流程

各位做嵌入式固件升级的同行，大家好。今天我们来聊聊差分升级。说实话，这个技术是我在IoT项目里用得最多的升级方案，没有之一。为什么？因为省钱、省带宽、省时间。你想想看，一个扫地机器人固件动不动几十兆，每次全量升级，用户等得心焦，服务器带宽也扛不住。

我记得第一次接触差分升级，是在一个智能家居项目里。当时产品已经量产了，发现有个小bug需要修复。全量包30MB，OTA升级成功率只有70%左右。后来换成差分升级，差分包只有3MB，成功率直接飙到98%。嗯，从那以后，我就成了差分升级的忠实拥趸。

全量升级 vs 差分升级

先说说全量升级。说白了，就是把整个固件镜像完整地下载到设备上，然后替换掉旧固件。这种方式简单粗暴，但问题也很明显：

• 体积大：每次都要下载完整的固件包，哪怕只改了一行代码
• 耗流量：对用户来说，流量费心疼；对厂商来说，CDN带宽费更心疼
• 升级慢：下载时间长，失败概率高，用户体验差

那差分升级呢？它只传输新旧固件之间的差异部分。我习惯把它比作「补丁」——你只需要下载变化的那一小块，而不是整个程序。这样做的好处：

• 体积小：通常只有全量包的5%-30%
• 省流量：用户和厂商都省钱
• 升级快：下载时间短，成功率自然高

为什么会这样？因为差分算法对版本跨度太敏感。新旧版本差异越大，差分包反而可能比全量包还大。我在项目中遇到过这种情况——从v1.0直接升级到v3.0，差分包居然比全量包还大2MB。后来我学乖了，制定了「差分升级最多跨两个版本」的规则。

bsdiff/bspatch算法介绍

说到差分算法，业界最常用的就是bsdiff和bspatch这对组合。bsdiff负责生成差分包，bspatch负责在设备端还原。这两个算法是Colin Percival在2003年提出的，到现在还是主流。

bsdiff的核心思想是什么？我简单解释一下：

1. 后缀排序：对旧固件进行后缀数组排序，建立索引
2. 匹配查找：在新固件中查找与旧固件匹配的最长公共子串
3. 差异编码：将不匹配的部分编码为插入或修改指令

说白了，bsdiff就是找出新旧固件中「相同」和「不同」的部分，然后只记录不同的地方。它用了两种编码方式：

• 控制块：记录匹配的长度和偏移量
• 差异块：记录实际不同的字节数据

bspatch的还原过程就简单多了。它读取差分包中的指令，然后：

1. 从旧固件中复制匹配的部分
2. 从差分包中插入差异的部分
3. 合并生成新固件

这里要注意，bspatch需要同时访问旧固件和差分包。所以设备端必须保留旧固件的完整副本。嗯，这一点在设计存储分区时要提前规划好。

差分包生成流程

好了，理论说完了，我们来点实际的。差分包生成流程，我一般分四步走：

第一步：准备新旧固件

这一步看似简单，但坑最多。新旧固件必须是同一平台、同一编译链、同一配置选项生成的。我见过有人把Debug版和Release版做差分，结果差分包比全量包还大。你想想看，编译优化选项不同，生成的二进制差异巨大，差分算法根本没法有效压缩。

第二步：运行bsdiff生成差分包

命令行很简单：

bsdiff old_firmware.bin new_firmware.bin patch.bin

这里有个参数要注意：bsdiff默认使用9级压缩（最高压缩比）。如果你的设备端解压能力有限，可以降低压缩级别：

bsdiff -s 5 old_firmware.bin new_firmware.bin patch.bin

我个人习惯用7级压缩，平衡体积和生成速度。生成时间一般在几秒到几十秒，取决于固件大小。

第三步：验证差分包

这一步不能省。我会写一个自动化脚本，用bspatch还原出差分包，然后和原始新固件做MD5校验：

bspatch old_firmware.bin restored_firmware.bin patch.bin
md5sum new_firmware.bin restored_firmware.bin

如果MD5不一致，说明差分包有问题。我在项目中遇到过几次，都是因为旧固件版本搞错了。所以我现在强制要求：差分包文件名必须包含新旧固件的版本号和MD5值。

第四步：打包分发

差分包生成后，还需要加上元数据信息，比如目标版本号、校验值、签名等。我一般用JSON格式封装：

{
  "patch_version": "1.0",
  "old_version": "v2.1.0",
  "new_version": "v2.1.1",
  "patch_size": 2048576,
  "patch_md5": "a1b2c3d4e5f6...",
  "patch_url": "https://ota.example.com/patch.bin"
}

然后把这个JSON和差分包一起上传到OTA服务器。设备端下载后，先校验JSON的签名，再下载差分包，最后用bspatch还原。

最后说一句，差分升级不是万能的。如果你的固件每次改动都很大，或者设备端Flash空间实在紧张，那还是老老实实用全量升级吧。但大多数情况下，差分升级绝对是性价比最高的选择。我做了这么多年IoT固件升级，差分升级帮我省下的带宽费用，够买好几台服务器了。