在嵌入式开发中我们会将相关代码封装成库核心目的是复用、解耦、保密、简化维护、加快编译、稳定可靠。库本质是把通用、稳定、独立的代码编译成二进制/静态文件给多个项目直接调用不用重复写源码如相关驱动外设、通信协议栈、算法模块、安全/保密代码及中间件组件等在跨平台或跨产品业务中将代码封装成库做的好处包括代码复用一次编写N 个项目使用编译更快库不参与每次编译大型项目提速明显降低耦合底层和上层分离架构更清晰保护源码核心算法 / 安全代码不泄露稳定可靠成熟代码封装后不易被破坏团队协作分工明确底层开发 vs 业务开发在代码封装成库时往往选择将其封装为静态链接库(.a/.lib)或者动态链接库(.so/.dll)为了详细对比分析嵌入式开发中动态库与静态库的差异接下来将从以下四个核心维度深入展开讨论将以清晰的对比结构输出结论重点结合嵌入式资源受限特性阐述两者在实际开发与系统架构中的性能及维护优势1、内存与磁盘资源占用1.1、内存与磁盘资源占用静态库编译时会将库的所有代码完整拷贝到每个可执行文件中。动态库只在可执行文件中记录引用地址实际代码只存一份在系统中。对比项静态库动态库链接方式编译时将代码完整复制到可执行文件中运行时按需才加载到内存可执行文件大小包含完整库代码体积大仅包含符号引用体积小磁盘占用每个应用独立加载库代码多个应用共享同一份库文件内存占用每个进程独立加载完整代码N 个进程 N 份代码副本线性增长多进程共享同一份内存代码N 个进程 ≈ 1 份物理代码 N 个映射表运行时内存启动 10 个相同程序 → 代码段占用 10 倍内存启动 10 个相同程序 → 代码段仅占 1 倍内存这里简单举一个例子展示二进制资源的区别假设有 3 个音频处理任务都使用同一个音频算法库IRAM对固件镜像和运行时内存占用都有影响静态库方案动态库方案Task1: [代码Lib] ≈ 50KB IRAM 10KB DRAMTask2: [代码Lib] ≈ 50KB IRAM 10KB DRAMTask3: [代码Lib] ≈ 50KB IRAM 10KB DRAMTask1: [代码] [共享Lib] ≈ 20KB IRAM 10KB DRAMTask2: [代码] [共享Lib] ≈ 20KB IRAM 10KB DRAMTask3: [代码] [共享Lib] ≈ 20KB IRAM 10KB DRAM总计150KB IRAM 30KB DRAM实际60KB IRAM 30KB DRAMLib代码共享IRAM 节省约 60%1.2、多进程共享机制静态库模式每个进程会独立加载一份进程 A → [app_a lib_code] → 内存lib_code × 1 份进程内进程 B → [app_b lib_code] → 内存lib_code × 1 份进程内进程 C → [app_c lib_code] → 内存lib_code × 1 份进程内总内存 3 份 lib_code占用 3 × Size(lib)动态库模式多个进程/应用使用同一个动态库时操作系统只需将库代码加载到内存一次所有进程共享这一份代码进程 A → [app_a] → 引用共享库 → 内存PLT/GOT 表 lib_code × 1 份全局共享进程 B → [app_b] → 引用共享库 → 内存PLT/GOT 表 [共享同一份lib_code]进程 C → [app_c] → 引用共享库 → 内存PLT/GOT 表 [共享同一份lib_code]总内存 ≈ 1 份 lib_code 3 × 页表开销节省约 66% 内存占用PLT/GOT 表用于动态链接的跳转表1.3、链接及引用地址静态库链接方式可执行文件中直接包含库的机器码链接器会把静态库里被调用到的目标代码段、数据段完整拷贝嵌入最终可执行文件内部。 程序运行时不再依赖外部库文件函数调用写死真实内存地址在代码中静态库调用情况如下main():CALL 0x12345678 ← 直接调用库函数lib_porocess的实际地址lib_porocess()库代码直接嵌入// 实际处理逻辑0x12345678库函数编译后固定的物理偏移地址链接完成后地址永久固化运行时无需重定位、无需加载外部文件动态库链接方式使用引用地址即可执行文件中只记录符号引用而不是实际的代码或数据地址动态库调用不会写死真实地址是通过PLT/GOT间接跳转运行时才查找库函数地址在代码中动态库调用情况如下PLT过程链接表存放跳转指令GOT全局偏移量表存放实际地址main():CALL PLT[0] ← 调用 PLT 表中的跳转指令PLT[0]:jmp *GOT[1] ← 跳转到 GOT 表中的地址GOT 表运行前GOT[1] 0x00000000 ← 引用地址待填充GOT 表运行后GOT[1] 0x12345678 ← 实际地址库lib_porocess加载后静态库被调用的实际地址和动态库被调用的引用地址对比如下对比项实际地址引用地址存储位置运行时确定可执行文件中值库函数的真实内存地址初始为0或占位符确定时机程序启动时编译/链接时作用实际执行时的跳转目标标记需要解析的符号虽然引用地址可以减少可执行文件的体积但是动态库会引入一些额外开销开销类型说明PLT/GOT 表用于动态链接的跳转表占用少量DRAM运行时链接启动时解析符号的时间开销库句柄每个加载的库需要维护句柄信息2、程序编译与更新灵活性2.1、编译流程对比静态库编译流程源码修改 → 重新编译库 → 重新编译所有使用该库的应用 → 重新链接 → 发布↑ ↑└──────────── 牵一发而动全身 ───────────────────┘动态库编译流程库源码修改 → 单独编译库 → 发布新库文件 → 无需重新编译/链接应用↑主程序应用完全不受影响2.2、更新机制对比场景静态库更新动态库更新ABI兼容性需维护 ABI 稳定否则调用方需重新编译无 ABI 约束直接嵌入二进制修复 Bug必须重新编译整个主程序并重新分发只需替换 .so/.dll 文件主程序零改动功能增强全量重新编译、测试、部署影响所有依赖方独立发布新版动态库即插即用模块独立演进修复/HOTFIX用户需下载完整安装包推送一个小补丁文件即可版本管理难度高每次变更都产生新的二进制低语义化版本控制major.minor.patch回滚成本需重新打包旧版本替换回旧版 .so 即可多 SKU 维护每个 SKU 独立构建流水线重复工作多基础库只维护一份差异模块独立构建发布2.3、OTA应用场景假设需要修复一款音频产品中的libaudio库中的一个音频bug静态库方案动态库方案1. 修改 audio.c 源码2. 重新编译 libaudio.a3. 重新编译 app1, app2, app3, ..., app104. 重新链接所有应用5.全量回归测试 (因为二进制全变了)6.打包 OTA 升级包发布 10 个更新的可执行文件7.用户端下载完整包并刷机1. 修改 audio.c 源码2. 重新编译 libaudio.so → libaudio_new.so3.针对性测试 库修改功能即可4. OTA 差分包发布 1 个更新的库文件5. 所有应用重启后自动使用新版本时间成本高用户带宽成本高时间成本低用户带宽成本低
