自动释放池-AutoReleasePool

自动释放池-AutoReleasePool

自动释放池是OC中的一种内存自动回收机制,它可以将加入AutoreleasePool中的变量release的时机延迟,简单来说,就是当创建一个对象,在正常情况下,变量会在超出其作用域的时立即release。如果将对象加入到了自动释放池中,这个对象并不会立即释放,会等到runloop休眠/超出autoreleasepool作用域{}之后才会被释放


image.jpeg

1、从程序启动到加载完成,主线程对应的runloop会处于休眠状态,等待用户交互来唤醒runloop
2、用户的每一次交互都会启动一次runloop,用于处理用户的所有点击、触摸事件等
3、runloop在监听到交互事件后,就会创建自动释放池,并将所有延迟释放的对象添加到自动释放池中
4、在一次完整的runloop结束之前,会向自动释放池中所有对象发送release消息,然后销毁自动释放池
总结

  • autoreleasepool其本质是一个结构体对象,一个自动释放池对象就是页,是是栈结构存储,符合先进后出的原则即可

  • 页的栈底是一个56字节大小的空占位符,一页总大小为4096字节

  • 只有第一页有哨兵对象,最多存储504个对象,从第二页开始最多存储505个对象

  • autoreleasepool在加入要释放的对象时,底层调用的是objc_autoreleasePoolPush方法

  • autoreleasepool在调用析构函数释放时,内部的实现是调用objc_autoreleasePoolPop方法
    image.jpeg

对于自动释放池,我们主要关心的点有以下三点:
1、自动释放池什么时候创建?
2、对象是如何加入自动释放池的?
3、哪些对象才会加入自动释放池?

image.jpeg


objc_autoreleasePoolPush 源码分析

  • 判断是否为有 pool

  • 如果没有,则通过autoreleaseNewPage方法创建

  • 如果有,则通过autoreleaseFast压栈哨兵对象
    image.jpeg

1、创建页 autoreleaseNewPage

  • 进入objc_autoreleasePoolPush -> push -> autoreleaseNewPage源码实现,主要是通过hotPage`获取当前页,判断当前页是否存在

  • 如果存在,则通过autoreleaseFullPage方法压栈对象

  • 如果不存在,则通过autoreleaseNoPage方法创建页
    image.jpeg

    image.jpeg

    image.jpeg

    其中autoreleaseNoPage方法中发现当前线程的自动释放池是通过AutoreleasePoolPage创建的,其定义中有构造方法,而构造方法的实现是通过父类AutoreleasePoolPageData的初始化方法
    image.jpeg

2、压栈对象 autoreleaseFast

  • 进入autoreleaseFast源码,主要有以下几步:

  • 获取当前操作页,并判断页是否存在以及是否满了

  • 如果页存在,且未满,则通过add方法压栈对象

  • 如果页存在,且满了,则通过autoreleaseFullPage方法安排新的页面

  • 如果页不存在,则通过autoreleaseNoPage方法创建新页
    image.jpeg

    image.jpeg

    add 方法
    image.jpeg

    3、autorelease 底层分析
    如果不是对象 或者 是小对象,则直接返回

    如果是对象,则调用对象的autorelease进行释放
    image.jpeg

objc_autoreleasePoolPop 源码分析
进入pop源码实现,主要由以下几步

  • 空页面的处理,并根据token获取page

  • 容错处理

  • 通过popPage出栈页

  • image.jpeg

    image.jpeg

image.jpeg

  • 进入releaseUntil实现,主要是通过循环遍历,判断对象是否等于stop,其目的是释放stop之前的所有的对象,

  • 首先通过获取page的next释放对象(即page的最后一个对象),并对next进行递减,获取上一个对象

  • 判断是否是哨兵对象,如果不是则自动调用objc_release释放
    image.jpeg

    image.jpeg

    进入kill实现,主要是销毁当前页,将当前页赋值为父节点页,并将父节点页的child对象指针置为nil

    image.jpeg

总结

  • 在自动释放池的压栈(即push)操作中

  • 当没有pool,即只有空占位符(存储在tls中)时,则创建页,压栈哨兵对象

  • 在页中压栈普通对象主要是通过next指针递增进行的,

  • 当页满了时,需要设置页的child对象为新建页
    image.jpeg

  • 在自动释放池的出栈(即pop)操作中

  • 在页中出栈普通对象主要是通过next指针递减进行的,

  • 当页空了时,需要赋值页的parent对象为当前页
    image.jpeg

相关面试题

AutoreleasePool 相关
面试题1:临时变量什么时候释放?

  • 如果在正常情况下,一般是超出其作用域就会立即释放
  • 如果将临时变量加入了自动释放池,会延迟释放,即在runloop休眠或者autoreleasepool作用域之后释放 面试题2:AutoreleasePool原理
  • 自动释放池的本质是一个AutoreleasePoolPage结构体对象,是一个栈结构存储的页,每一个AutoreleasePoolPage都是以双向链表的形式连接
  • 自动释放池的压栈和出栈主要是通过结构体的构造函数和析构函数调用底层的objc_autoreleasePoolPush和objc_autoreleasePoolPop,实际上是调用AutoreleasePoolPage的push和pop两个方法
  • 每次调用push操作其实就是创建一个新的AutoreleasePoolPage,而AutoreleasePoolPage的具体操作就是插入一个POOL_BOUNDARY,并返回插入POOL_BOUNDARY的内存地址。而push内部调用autoreleaseFast方法处理,主要有以下三种情况
  • 当page存在,且不满时,调用add方法将对象添加至page的next指针处,并next递增
  • 当page存在,且已满时,调用autoreleaseFullPage初始化一个新的page,然后调用add方法将对象添加至page栈中
  • 当page不存在时,调用autoreleaseNoPage创建一个hotPage,然后调用add方法将对象添加至page栈中
  • 当执行pop操作时,会传入一个值,这个值就是push操作的返回值,即POOL_BOUNDARY的内存地址token。所以pop内部的实现就是根据token找到哨兵对象所处的page中,然后使用 objc_release 释放 token之前的对象,并把next 指针到正确位置 面试题3:AutoreleasePool能否嵌套使用?
  • 可以嵌套使用,其目的是可以控制应用程序的内存峰值,使其不要太高
  • 可以嵌套的原因是因为自动释放池是以栈为节点,通过双向链表的形式连接的,且是和线程一一对应的
  • 自动释放池的多层嵌套其实就是不停的pushs哨兵对象,在pop时,会先释放里面的,在释放外面的 面试题4:哪些对象可以加入AutoreleasePool?alloc创建可以吗?
  • 使用new、alloc、copy关键字生成的对象和retain了的对象需要手动释放,不会被添加到自动释放池中
  • 设置为autorelease的对象不需要手动释放,会直接进入自动释放池
  • 所有 autorelease 的对象,在出了作用域之后,会被自动添加到最近创建的自动释放池中 面试题5:AutoreleasePool的释放时机是什么时候?
  • App 启动后,苹果在主线程 RunLoop 里注册了两个 Observer,其回调都是_wrapRunLoopWithAutoreleasePoolHandler()。
  • 第一个 Observer 监视的事件是 Entry(即将进入 Loop),其回调内会调用 _objc_autoreleasePoolPush() 创建自动释放池。其 order 是 -2147483647,优先级最高,保证创 建释放池发生在其他所有回调之前。
  • 第二个 Observer 监视了两个事件: BeforeWaiting(准备进入休眠) 时调用 _objc_autoreleasePoolPop() 和 _objc_autoreleasePoolPush() 释放旧的池并创建新池;Exit(即 将退出 Loop) 时调用 _objc_autoreleasePoolPop() 来释放自动释放池。这个 Observer 的 order 是 2147483647,优先级最低,保证其释放池子发生在其他所有回调之后。 面试题6:thread 和 AutoreleasePool的关系
  • 每个线程,包括主线程在内都维护了自己的自动释放池堆栈结构
  • 新的自动释放池在被创建时,会被添加到栈顶;当自动释放池销毁时,会从栈中移除
  • 对于当前线程来说,会将自动释放的对象放入自动释放池的栈顶;在线程停止时,会自动释放掉与该线程关联的所有自动释放池
    总结:每个线程都有与之关联的自动释放池堆栈结构,新的pool在创建时会被压栈到栈顶,pool销毁时,会被出栈,对于当前线程来说,释放对象会被压栈到栈顶,线程停止时,会自动释放与之关联的自动释放池 面试题7:RunLoop 和 AutoreleasePool的关系
  • 主程序的RunLoop在每次事件循环之前之前,会自动创建一个 autoreleasePool
  • 并且会在事件循环结束时,执行drain操作,释放其中的对象
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,482评论 6 481
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,377评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,762评论 0 342
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,273评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,289评论 5 373
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,046评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,351评论 3 400
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,988评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,476评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,948评论 2 324
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,064评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,712评论 4 323
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,261评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,264评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,486评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,511评论 2 354
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,802评论 2 345

推荐阅读更多精彩内容