iOS底層-cache_t原理分析

前言

類的底層原理(一)類的底層原理(二) 中躬拢,分析了關于類的底層結構,包含 isa食棕、superclass晶姊、cache尽狠、bits。其中 bits 包含類的屬性,方法巍佑,代理斋配,成員變量等孔飒,以及類方法的獲取。

下面繼續(xù)探索類的結構艰争,關于 cache坏瞄,其底層原理是什么?存在 cache 的意義又是什么甩卓?

準備工作

關于架構:

  • 真機:arm64

  • 模擬器:i386

  • mac:__86_64__

  • __LP64__:Unix 和 Unix類的系統(tǒng)

cache_t 結構

在分析 bits 內存偏移量時鸠匀,分析了關于 cache_t 占用內存字節(jié)數。

根據 cache_t 結構逾柿,雖然可以看到整體的數據結構缀棍,但是確定不了緩存數據保存位置宅此。是_bucketsAndMaybeMask?還是 _originalPreoptCache爬范?還有 selimp 在哪呢诽凌?目前并不知道,但是既然涉及到緩存坦敌,必然有增刪改查操作侣诵。

cache_t 中查找相關的方法:

插入方法:

所以:在 cache_t 中重點是 bucket_t

bucket_t

bucket 是抽象意義的桶子狱窘,里面裝了若干的 sel-imp 的映射對杜顺。

那么整個類關于cache的結構如下:

LLDB 驗證SEL和IMP

獲取 bucket_t

cache 的內存偏移量是 16,即 0x10

但是直接通過 _bucketsAndMaybeMask 是拿不到數據的蘸炸。同樣的 _originalPreoptCacheValue 也獲取不到华望。

再次分析源碼找方法,有個 buckets() 方法

于是再次驗證

但是還是沒有征绎,發(fā)現 sel 拿不到:

這一步的結果其實在第一次獲取 cache 時已經證實了获洲,其中 _maybeMask_occupied 都是 0,代表沒有方法淹禾。稍后解釋這兩個字段的實際意義馁菜。

調用實例方法,形成緩存

LLDB 打印結果來看铃岔,在調用實例方法之后汪疮,cache 里面有值了。

再次打印之后毁习,發(fā)現還是沒有獲取到 sel智嚷,進行平移之后,index6 時有數據了纺且。

獲取sel和imp

繼續(xù)分析下 bucket_t 的方法并找到了 sel()imp() 方法

LLDB 獲取 selimp

這樣就能獲取 selimp 的值了盏道。

疑問:

  • 為什么在 6 的位置?

  • 為什么 _maybeMask 值為 7 载碌?

cache_t 模擬代碼分析

代碼模擬的好處:

  • 方便我們進行代碼驗證猜嘱,而不是每次都是使用 LLDB,因為 LLDB 一旦出錯可能出現野指針的情況恐仑,需要重新驗證泉坐。

  • 遇到源碼無法調試的情況,可以進行調試裳仆。

  • 小規(guī)模取樣的方式腕让,能對源碼的實現邏輯更清晰。

class 以及 cache 代碼模擬分析:

  • zl_objc_class 對應源碼 objc_class 結構,因為 objc_class 繼承 objc_object纯丸,所以有隱藏屬性ISA偏形。

  • zl_class_data_bits_t 對應源碼 class_data_bits_t 結構,其中 friend 修飾類不需要觉鼻,只有bits 屬性俊扭。

  • zl_cache_t 對應源碼 cache_t 結構,其中 _bucketsAndMaybeMask 保留坠陈,聯合體互斥原則萨惑,只需要包含 _maybeMask_flags仇矾,_occupied 的結構體庸蔼,結構體也可以簡化成三個屬性。

因為最終存儲的數據是 bucket_t 贮匕,所以還需要模擬下 bucket_t 的實現姐仅,由于之前論證 selimp 是通過 buckets() 獲取的,所以具體看一下 buckets() 方法實現:

通過方法分析:_bucketsAndMaybeMask 通過 load 獲取地址刻盐,再通過 bucketsMask 掩碼獲取 bucket_t * 數據掏膏。其實就是 _bucketsAndMaybeMask 指向 bucket_t * 數據。

zl_cache_t 簡化結構如下:

代碼驗證

打印結果:

_occupied1敦锌,_maybeMask3

多個方法驗證

添加實例方法如下:

添加2個方法:

打印結果:

_occupied2馒疹,_maybeMask3

添加3個方法:

打印結果:

_occupied1_maybeMask7

添加7個方法:

打印結果:

_occupied5供屉,_maybeMask7

結論:

_occupied 為所占用個數行冰,_maybeMask 總容量大小。

類方法 不在類的 cache 中伶丐,應該是在元類的 cache 中。

_maybeMask 的值變化是因為擴容疯特,當發(fā)生擴容時哗魂,_occupied 會重新計數。之前的緩存也都被清空漓雅。

cache底層機制

想要了解緩存機制录别,必然要找關于插入的方法,從源碼分析邻吞,可以找到 insert() 函數组题。

insert()

  • 首次 newOccupied1,同時執(zhí)行 isConstantEmptyCache 判斷抱冷,capacity4崔列,創(chuàng)建容器時,由于 oldCapacity0,所以不需要釋放(freeOldfalse

  • 關于擴容條件:

    • __arm__ || __x86_64__ || __i386__ 或者 __arm64__ && !__LP64__ 時:當容量大于等于 3/4 擴容赵讯。

    • __arm64__ && __LP64__ 時:當容量大于等于 7/8 擴容盈咳。且當容量小于等于 8 時允許占用 100% 容量。

    • 拓展:cache_fill_ratio 存在的意義其實是關于哈希函數中的 負載因子 边翼,在 3/47/8 空間利用率最高鱼响。

  • 擴容數量:如果容量不為 0,則為 當前容量 * 2组底,如果為 0丈积,則為 4。最大值MAX_CACHE_SIZE = 65536债鸡。在擴容時直接 釋放 了舊的緩存桶癣。

  • mask = capacity - 1,這就是為什么第一次是3(4-1)娘锁,第二次擴容之后是7(4*2-1)的原因牙寞。占了一位存儲的是 end_bucket_t,格式為(sel-imp)0x1-buckets 指針地址)

  • cache_hash 計算插入起點 hash 地址莫秆,之后插入時會通過 cache_next 避免 hash 碰撞沖突间雀。循環(huán)判斷通過 set 函數插入 bucket 數據。

reallocate

  • allocateBuckets 通過 newCapacity 獲取新的 bucket

  • setBucketsAndMask 存儲新的 bucketmask

  • 釋放舊的緩存

allocateBuckets

  • calloc 開辟內存镊屎。

  • 創(chuàng)建最后一個元素 endBucket 存儲為 SEL-IMP(0x1-bucket address)

setBucketsAndMask

  • CACHE_MASK_STORAGE_OUTLINED:是指__arm__ || __x86_64__ || i386環(huán)境惹挟,只有 newBuckets 存儲在_bucketsAndMaybeMask 中,意味著進行了強轉缝驳,_bucketsAndMaybeMask 中只有 buckets 沒有 mask连锯。_maybeMask 沒有進行改變,直接使用 capacity-1用狱。

  • CACHE_MASK_STORAGE_HIGH_16 || CACHE_MASK_STORAGE_HIGH_16_BIG_ADDRS:是指 OSX || SIMULATOR || 64位真機 機型运怖,bucketsmask 都存儲在 _bucketsAndMaybeMask 中,其中 mask << maskShift夏伊,此時maskShift48摇展。

  • CACHE_MASK_STORAGE_LOW_4:是指低 32位 機型,bucketsmask 都存儲在 _bucketsAndMaybeMask 中溺忧,objc::mask16ShiftBits(mask) 方法的作用是:計算在 16 位以下有多少位是 0咏连,_bucketsAndMaybeMask 也是存的這個個數值。

  • _bucketsAndMaybeMask.store() 設置 bucketmask 的最新值

  • 重置 _occupied鲁森,這里的 _occupied 不包括自身的地址占用數祟滴。

  • 關于 內存排序規(guī)則( memory_order_relaxed / memory_order_release ) ,請看詳解 C++11的6種內存序總結

cache_hash

  • CONFIG_USE_PREOPT_CACHES:表示 arm64環(huán)境 真機歌溉。

  • sel地址 向右平移 7垄懂,并和 sel地址 異或。

cache_next

  • __arm__ || __x86_64__ || __i386__ 環(huán)境下向后插入(+),__arm64__ 環(huán)境下向前插入(-

  • (i+1) & mask:向后插入埠偿,進行下一個按位與操作透罢。

  • i ? i-1 : mask:向前插入,直接使用冠蒋,沒有按位與操作羽圃,當 i = 0 時,返回 mask抖剿,相當于移動到了倒數第二個(最后一個存儲的是自身地址)朽寞。

cache屬性詳解 - _bucketsAndMaybeMask 內存分布

buckets() 方法如下:

mask() 方法如下:

  • __arm__ || __x86_64__ || __i386___bucketsAndMaybeMask 存儲的只有 bucketsmask 需要直接從 _maybeMask 字段讀取斩郎。

  • 64位 OSX || SIMULATOR(1<<48) - 1脑融,低48位 存儲 bucketsmask 存儲在 高16位 (maskAndBuckets >> maskShift)缩宜。

  • 64 位真機(1 << 44)-1肘迎,低44位 存儲 bucketsmask 存儲在 高16位 (maskAndBuckets >> maskShift)锻煌。

  • 32位~((1<<4) -1)高60位 存儲 buckets妓布,mask 存儲在 低4位 (0xffff >> maskShift)

疑問: 其中在獲取 64 位真機 環(huán)境下宋梧,低44位 存儲 buckets匣沼,高16位 存儲 mask。其中少了4位捂龄,在宏定義 64 位真機 中多了一個 maskZeroBits 的字段释涛,如下:

原因是:這 4 位為附加位,且必須為零倦沧。為 objc_msgSend 使用唇撬。objc_msgSend 會使用這些附加位單個指令標明是來自 _maskAndBuckets 的值。后面再詳細探究刀脏。

cache整體流程圖

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
  • 序言:七十年代末局荚,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子愈污,更是在濱河造成了極大的恐慌,老刑警劉巖轮傍,帶你破解...
    沈念sama閱讀 216,544評論 6 501
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件暂雹,死亡現場離奇詭異,居然都是意外死亡创夜,警方通過查閱死者的電腦和手機杭跪,發(fā)現死者居然都...
    沈念sama閱讀 92,430評論 3 392
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人涧尿,你說我怎么就攤上這事系奉。” “怎么了姑廉?”我有些...
    開封第一講書人閱讀 162,764評論 0 353
  • 文/不壞的土叔 我叫張陵缺亮,是天一觀的道長。 經常有香客問我桥言,道長萌踱,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 58,193評論 1 292
  • 正文 為了忘掉前任号阿,我火速辦了婚禮并鸵,結果婚禮上,老公的妹妹穿的比我還像新娘扔涧。我一直安慰自己园担,他們只是感情好,可當我...
    茶點故事閱讀 67,216評論 6 388
  • 文/花漫 我一把揭開白布枯夜。 她就那樣靜靜地躺著弯汰,像睡著了一般。 火紅的嫁衣襯著肌膚如雪卤档。 梳的紋絲不亂的頭發(fā)上蝙泼,一...
    開封第一講書人閱讀 51,182評論 1 299
  • 那天,我揣著相機與錄音劝枣,去河邊找鬼汤踏。 笑死,一個胖子當著我的面吹牛舔腾,可吹牛的內容都是我干的溪胶。 我是一名探鬼主播,決...
    沈念sama閱讀 40,063評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼稳诚,長吁一口氣:“原來是場噩夢啊……” “哼哗脖!你這毒婦竟也來了?” 一聲冷哼從身側響起扳还,我...
    開封第一講書人閱讀 38,917評論 0 274
  • 序言:老撾萬榮一對情侶失蹤才避,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后氨距,有當地人在樹林里發(fā)現了一具尸體桑逝,經...
    沈念sama閱讀 45,329評論 1 310
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 37,543評論 2 332
  • 正文 我和宋清朗相戀三年俏让,在試婚紗的時候發(fā)現自己被綠了楞遏。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片茬暇。...
    茶點故事閱讀 39,722評論 1 348
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖寡喝,靈堂內的尸體忽然破棺而出糙俗,到底是詐尸還是另有隱情,我是刑警寧澤预鬓,帶...
    沈念sama閱讀 35,425評論 5 343
  • 正文 年R本政府宣布巧骚,位于F島的核電站,受9級特大地震影響珊皿,放射性物質發(fā)生泄漏网缝。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 41,019評論 3 326
  • 文/蒙蒙 一蟋定、第九天 我趴在偏房一處隱蔽的房頂上張望粉臊。 院中可真熱鬧,春花似錦驶兜、人聲如沸扼仲。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,671評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽屠凶。三九已至,卻和暖如春肆资,著一層夾襖步出監(jiān)牢的瞬間矗愧,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 32,825評論 1 269
  • 我被黑心中介騙來泰國打工郑原, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留唉韭,地道東北人。 一個月前我還...
    沈念sama閱讀 47,729評論 2 368
  • 正文 我出身青樓犯犁,卻偏偏與公主長得像属愤,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子酸役,可洞房花燭夜當晚...
    茶點故事閱讀 44,614評論 2 353