為何百兆靜態庫能打進數兆的可執行文件?

前言

第三方庫是工程開發必不可少的部分,而第三方庫可以是.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

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 228,030評論 6 531
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,310評論 3 415
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 175,951評論 0 373
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 62,796評論 1 309
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,566評論 6 407
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 55,055評論 1 322
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,142評論 3 440
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,303評論 0 288
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 48,799評論 1 333
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,683評論 3 354
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 42,899評論 1 369
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,409評論 5 358
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,135評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,520評論 0 26
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,757評論 1 282
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,528評論 3 390
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 47,844評論 2 372

推薦閱讀更多精彩內容