iOS底层-cache_t原理分析

前言

类的底层原理(一)类的底层原理(二) 中,分析了关于类的底层结构,包含 isasuperclasscachebits。其中 bits 包含类的属性,方法,代理,成员变量等,以及类方法的获取。

下面继续探索类的结构,关于 cache,其底层原理是什么?存在 cache 的意义又是什么?

准备工作

关于架构:

  • 真机:arm64

  • 模拟器:i386

  • mac:__86_64__

  • __LP64__:Unix 和 Unix类的系统

cache_t 结构

在分析 bits 内存偏移量时,分析了关于 cache_t 占用内存字节数。

根据 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() 方法

于是再次验证

但是还是没有,发现 sel 拿不到:

这一步的结果其实在第一次获取 cache 时已经证实了,其中 _maybeMask_occupied 都是 0,代表没有方法。稍后解释这两个字段的实际意义。

调用实例方法,形成缓存

LLDB 打印结果来看,在调用实例方法之后,cache 里面有值了。

再次打印之后,发现还是没有获取到 sel,进行平移之后,index6 时有数据了。

获取sel和imp

继续分析下 bucket_t 的方法并找到了 sel()imp() 方法

LLDB 获取 selimp

这样就能获取 selimp 的值了。

疑问:

  • 为什么在 6 的位置?

  • 为什么 _maybeMask 值为 7

cache_t 模拟代码分析

代码模拟的好处:

  • 方便我们进行代码验证,而不是每次都是使用 LLDB,因为 LLDB 一旦出错可能出现野指针的情况,需要重新验证。

  • 遇到源码无法调试的情况,可以进行调试。

  • 小规模取样的方式,能对源码的实现逻辑更清晰。

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 的值变化是因为扩容,当发生扩容时,_occupied 会重新计数。之前的缓存也都被清空。

cache底层机制

想要了解缓存机制,必然要找关于插入的方法,从源码分析,可以找到 insert() 函数。

insert()

  • 首次 newOccupied1,同时执行 isConstantEmptyCache 判断,capacity4,创建容器时,由于 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 碰撞冲突。循环判断通过 set 函数插入 bucket 数据。

reallocate

  • allocateBuckets 通过 newCapacity 获取新的 bucket

  • setBucketsAndMask 存储新的 bucketmask

  • 释放旧的缓存

allocateBuckets

  • calloc 开辟内存。

  • 创建最后一个元素 endBucket 存储为 SEL-IMP(0x1-bucket address)

setBucketsAndMask

  • CACHE_MASK_STORAGE_OUTLINED:是指__arm__ || __x86_64__ || i386环境,只有 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 不包括自身的地址占用数。

  • 关于 内存排序规则( memory_order_relaxed / memory_order_release ) ,请看详解 C++11的6种内存序总结

cache_hash

  • CONFIG_USE_PREOPT_CACHES:表示 arm64环境 真机。

  • sel地址 向右平移 7,并和 sel地址 异或。

cache_next

  • __arm__ || __x86_64__ || __i386__ 环境下向后插入(+),__arm64__ 环境下向前插入(-

  • (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位 存储 bucketsmask 存储在 低4位 (0xffff >> maskShift)

疑问: 其中在获取 64 位真机 环境下,低44位 存储 buckets高16位 存储 mask。其中少了4位,在宏定义 64 位真机 中多了一个 maskZeroBits 的字段,如下:

原因是:这 4 位为附加位,且必须为零。为 objc_msgSend 使用。objc_msgSend 会使用这些附加位单个指令标明是来自 _maskAndBuckets 的值。后面再详细探究。

cache整体流程图

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 160,165评论 4 364
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,720评论 1 298
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 109,849评论 0 244
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,245评论 0 213
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,596评论 3 288
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,747评论 1 222
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,977评论 2 315
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,708评论 0 204
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,448评论 1 246
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,657评论 2 249
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,141评论 1 261
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,493评论 3 258
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,153评论 3 238
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,108评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,890评论 0 198
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,799评论 2 277
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,685评论 2 272