首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >为何百兆静态库能打进数兆的可执行文件?

为何百兆静态库能打进数兆的可执行文件?

作者头像
落影
发布2018-04-27 18:21:17
2.4K1
发布2018-04-27 18:21:17
举报
文章被收录于专栏:落影的专栏落影的专栏

前言

第三方库是工程开发必不可少的部分,而第三方库可以是.a和.framework的静态库,也可以是.framework的动态库,其中静态库是最常用的方式。

静态库往往比较大,可在打包到可执行文件之后,对安装包大小的增加远远小于静态库本身的Size。

那么,就产生两个问题:

1、静态库里面存在什么内容?

2、静态链接到可执行文件后为什么体积变小?

本文就以.framework的静态库来分析具体情况。

正文

1、framework静态库的打包

新建工程,选择Cocoa Touch Framework,再到Build Settings选择Mach-O TypeStatic Library,然后build出来目标文件就是framework静态库。

2、framework静态库的内容

按照上面的步骤打包出来的LYTestKit.framework,具体的内容如下:

  • Headers为头文件;
  • plist文件和Modules文件夹是一些描述文件;
  • LYTestKit为Mach-O binary文件,LYTestKit占了静态库99%的体积。
3、LYTestKit文件内容分析

打开terminal(终端),进入文件夹所在目录,输入指令file LYTestKit

LYTestKit: Mach-O universal binary with 4 architectures: [arm_v7:current ar archive] [arm64]
LYTestKit (for architecture armv7): current ar archive
LYTestKit (for architecture i386):  current ar archive
LYTestKit (for architecture x86_64):    current ar archive
LYTestKit (for architecture arm64): current ar archive

可以知道LYTestKit包括armv7i386x86_64arm64四种CPU架构的指令。

接下来就是我们的大杀器Hopper Disassembler登场。

软件的链接地址,密码:vbrqit

Hopper Disassembler打开LYTestKit,选择架构为arm64,再选择一个原工程对应的.o文件,首先映入眼帘的是下面这段描述:(不知道.o文件是什么的,点这里复习下)

/*
--------------------------------------------------------------------------------

        File: /Users/loyinglin/Documents/LYTestKit/Framework/LYTestKit.framework/LYTestKit
        MachO file
        CPU: aarch64
        64 bits

--------------------------------------------------------------------------------
*/

接下来,是这个文件的描述:

        ; Segment
        ; Range: [0x0; 0x8a1b[ (35355 bytes)
        ; File offset : [3584; 38939[ (35355 bytes)
        ; Permissions: readable / writable / executable

整个文件的大小是35355 bytes,对应的区间为3584, 38939。

文件的最后一行为:

0000000000008a1a        db  0x01 ; '.'

整个Segment的地址是0x8a1b结束,十六进制0x8a1b = 35355 十进制。

从这里可以看出,静态库中地址与大小一一对应。

可以这么理解,假如某条指令需要到地址0x0008a1a取值,即是相对应起始位置加上0x0008a1a偏移的地址。

而静态库中的偏移应该等于内存中的偏移,那么0x0008a1a的偏移地址在内存中的大小就是35355 bytes。

紧接着是下面这段描述:

        ; Section __text
        ; Range: [0x0; 0x2300[ (8960 bytes)
        ; File offset : [3584; 12544[ (8960 bytes)
        ; Flags: 0x80000400
        ;   S_REGULAR
        ;   S_ATTR_PURE_INSTRUCTIONS
        ;   S_ATTR_SOME_INSTRUCTIONS

.Section __text表示接下来是代码段的内容,机器指令的大小为8960 bytes。

类似的,代码段之后还有:

  • Section __objc_classrefs 类的引用,大小为 64 bytes
  • Section __objc_methname 自动生成和声明的函数名, 大小为2140 bytes;("viewDidLoad"、"init"这样的函数名常量)
  • Section __objc_selrefs selector的引用),大小为 520 bytes;(@selector(init)、@selector(setProperty:))
  • Section __objc_data 初始化的变量, 大小为80 bytes;(@property、ivar、 struct __objc_class这样的变量)
  • Section __objc_ivar ivar的引用,大小为 84 bytes;(OBJC_IVAR$_SampleClass._property) ivar是objc_ivar的指针,objc_ivar有变量名、变量类型等成员,如下:
typedef objc_ivar * Ivar;
  struct objc_ivar {
     char *ivar_name;
     char *ivar_type;
     int ivar_offset;
  #ifdef __LP64__
     int space;
  #endif
  }
  • Section __cstring 代码中声明的字符常量,大小为 1360 bytes;(@"Hello"、@"你好"这样的字符常量)
  • Section __cfstring 代码中声明的CFString字符常量,大小为 224 bytes
  • Section __objc_classname Objective-C Class的类名,大小为 64 bytes
  • Section __objc_const __objc_metaclass_xxx常量的引用和__objc_class_xxx structs 的声明,大小为 3672 bytes;(OC的runtime用结构体比如struct __objc_method、 struct __objc_ivar 、struct __objc_property)
  • Section __debug_str 调试用的字符信息,包括方法对应的字符串,大小为 5489 bytes
  • Section __debug_line 调试用的代码行号信息,大小为 2891 bytes
  • 以及各类其他的Section。

在大致了解一个.o文件的内部构成之后,我们来看看链接过程.o文件变化。

4、静态链接的过程

静态连接就是把静态链接库中的文件链接到可执行文件中,整个过程由链接器负责。

链接过程分为两步:

  • 1、空间和地址分配,扫描所有的目标文件,获得各个段的长度、属性、位置信息,并把所有的符号定义以及引用收集起来,放到全局的符号表中。通过所有段的长度,计算和合并后的长度和位置,并建立映射关系;
  • 2、符号解析和重定位,使用上一步收集到的信息,读取文件中段的数据和重定位信息,进行符号解析和重定位。

静态链接的更详细内容点这里

那么可执行文件的内部是什么组成?

答案是:File Header.text secton.data secton.bss secton四大部分。

File Header是文件头,描述整个文件的文件属性,包括是否可执行文件、目标操作系统、目标硬件等信息。文件头还包括一个段表(Section Table)描述下面几个段的偏移地址以及属性。

.text section是代码段,存放编译生成的指令;

.data section是数据段,存放已初始化的静态常量数据;

.bss section存放未初始化的静态常量。

静态库链接过程体积变小的答案

framework静态库在链接之后,体积会急剧减少,原因有几个:

1、用于链接的信息被剔除,比如说类引用、函数名等,字符信息中的函数名字等在链接时会放入链接表,用于查找地址,但不打入二进制文件;

2、调试用的信息比如符号串、代码行号等不会打入二进制包,而是额外生成符号表;

3、Xcode默认在release下会用fastest的优化选项;

总结

经过此次思考,对静态库的内容有更清晰的认识,也对编译与链接更加了解。

附录 exploring Mach-O binaries analysis of facebook app classllvm MCSectionMachO developer.apple Assemble asm_directives

本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2018.04.25 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 前言
  • 正文
    • 1、framework静态库的打包
      • 2、framework静态库的内容
        • 3、LYTestKit文件内容分析
          • 4、静态链接的过程
            • 静态库链接过程体积变小的答案
            • 总结
            相关产品与服务
            文件存储
            文件存储(Cloud File Storage,CFS)为您提供安全可靠、可扩展的共享文件存储服务。文件存储可与腾讯云服务器、容器服务、批量计算等服务搭配使用,为多个计算节点提供容量和性能可弹性扩展的高性能共享存储。腾讯云文件存储的管理界面简单、易使用,可实现对现有应用的无缝集成;按实际用量付费,为您节约成本,简化 IT 运维工作。
            领券
            问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档