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

前言

第三方库是工程开发必不可少的部分,而第三方库可以是.a和.framework的静态库,也可以是.framework的动态库,其中静态库是最常用的方式。
静态库往往比较大,可在打包到可执行文件之后,对安装包大小的增加远远小于静态库本身的Size。
那么,就产生两个问题:
1、静态库里面存在什么内容?
2、静态链接到可执行文件后为什么体积变小?

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

正文

1、framework静态库的打包

新建工程,选择Cocoa Touch Framework,再到Build Settings选择Mach-O Type为Static 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包括armv7、i386、x86_64、arm64四种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

作者:落影loyinglin

链接:https://www.jianshu.com/p/03aac1412b1c

本站部分文章源于互联网,本着传播知识、有益学习和研究的目的进行的转载,为网友免费提供。如有著作权人或出版方提出异议,本站将立即删除。如果您对文章转载有任何疑问请告之我们,以便我们及时纠正。

PS:推荐一个微信公众号: askHarries 或者qq群:474807195,里面会分享一些资深架构师录制的视频录像:有Spring,MyBatis,Netty源码分析,高并发、高性能、分布式、微服务架构的原理,JVM性能优化这些成为架构师必备的知识体系。还能领取免费的学习资源,目前受益良多

转载请注明原文出处:Harries Blog™ » 为何百兆静态库能打进数兆的可执行文件?

赞 (0)
分享到:更多 ()

评论 0

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址