autoreleasepool详解_@autoreleasepool-程序员宅基地

技术标签: iOS  

随着ARC技术的使用,iOS的开发者在内存管理方面越来越方便,很多的事情已经不需要我们来操作,编译器已经帮我们做好了。即使是这样有些还是要了解的,以便我们犯一些低级的错误,造成内存泄露甚至崩溃,今天来说说autoreleasepool的那些事。
来看个常见的面试题:常常会问下面的代码有什么问题,怎么解决?如果你对autoreleasepool不了解的话就很难发现问题。

for (int i = 0; i < 1000000; i++) {
    NSNumber *num = [NSNumber numberWithInt:i];
}
main函数中的@autoreleasepool{}

看下我们最常见的main函数中的代码,用clang编译之后:@autoreleasepool{...}被编译成了{__AtAutoreleasePool __autoreleasepool; ... } 当进入main函数之后,由于主线程的runloop是开启的,就会一直处于主线程的runloop内,直到runloop结束也就是程序退出了。

int main(int argc, const char * argv[]) {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 
    ...
    }
    return 0;
}

下面来看下__AtAutoreleasePool是什么?一个结构体。 在创建__AtAutoreleasePool结构体变量的时候调用了objc_autoreleasePoolPush(void),销毁的时候会调动objc_autoreleasePoolPop(void *);在上面的main函数中__autoreleasepool结构变量超出右}的作用域就会释放,但是同时程序也退出了,操作系统同时也会把程序所占用的内存都释放掉,所以从技术角度来看并不是非要有个@autoreleasepool{}。那么问题来了:这里为什么要加@autoreleasepool{},感觉没必要?技术上是可行的,去掉main函数中的@autoreleasepool{}并没有什么关系,但是为了严谨,为了使UIApplicationMin创建出来的自动释放对象有自动释放池可添加,并能在自动释放池结束的时候释放对象而不是依赖操作系统的回收,所以加上@autoreleasepool{},可以把它理解为最外层才自动释放池。

extern "C" __declspec(dllimport) void * objc_autoreleasePoolPush(void);
extern "C" __declspec(dllimport) void objc_autoreleasePoolPop(void *);

struct __AtAutoreleasePool {
  __AtAutoreleasePool() {atautoreleasepoolobj = objc_autoreleasePoolPush();}
  ~__AtAutoreleasePool() {objc_autoreleasePoolPop(atautoreleasepoolobj);}
  void * atautoreleasepoolobj;
};

由下面的AutoreleasePoolPage类,可以看出AutoreleasePoolPage是一个C++类,且AutoreleasePoolPage是一个双向链表,存在child和parent两个链接。

另外苹果开源的相关代码中也能查到响应的资料:API地址

MRC和ARC下的自动释放池

再来看下MRC下常写的一些代码:obj随着pool的drain也会释放掉,那么NSAutoreleasePool到底做了什么呢?

//相当于调用objc_autoreleasePoolPush()即 class AutoreleasePoolPage的push()
NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
id obj = [[NSObject alloc] init];
//相当于调用rootAutorelease2(obj)即 class AutoreleasePoolPage的autorelease(obj)
[obj autorelease]; 
//相当于调用objc_autoreleasePoolPop(pool)即 class AutoreleasePoolPage的pop()
[pool drain];

class AutoreleasePoolPage 
{
    ...
    static size_t const COUNT = SIZE / sizeof(id);

    magic_t const magic;
    id *next;
    pthread_t const thread;
    AutoreleasePoolPage * const parent;
    AutoreleasePoolPage *child;
    uint32_t const depth;
    uint32_t hiwat; 

    static inline void *push() 
    {
        //生成并持有NSAutoreleasepool对象
    }

    static inline void pop(void *token) 
    {
        //释放NSAutoreleasepool对象
    }

    static inline id autorelease(id obj)
    {
        //加入到内部数组中,并在pool销毁的时候接受release消息
    }

    ...
}

void *objc_autoreleasePoolPush(void)
{
    return AutoreleasePoolPage::push();
}

void objc_autoreleasePoolPop(void *ctxt)
{
    AutoreleasePoolPage::pop(ctxt);
}
objc_object::rootAutorelease2()
{
    assert(!isTaggedPointer());
    return AutoreleasePoolPage::autorelease((id)this);
}

在ARC中用@autoreleasepool{...}替换了MRC下的NSAutoreleasePool,如:

MRC:
NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
id obj = [[NSObject alloc] init];
[obj autorelease]; 
[pool drain];
ARC:
@autoreleasepool{
    id __autoreleasing obj = [[NSObject alloc] init];
}

这里写图片描述
上面代码是等价的。加上__autoreleasing是为了标识obj是autoreleasing的,编译器会把它加到自动释放池中。在ARC下用alloc、new、copy、mutableCopy之外的方法获取对象,编译器才会默认帮我们加入到自动释放池中,所以上面的obj要加__autoreleasing,但是一般不这样写,这里只是为了展示对等的代码。

线程和@autoreleasepool{}

上面的AutoreleasePoolPage类,可以看出pthread_t const thread变量,也就是说@autoreleasepool{}离不开线程而存在。我们也都知道主线程的runloop默认是开启的,其他子线程的runloop默认不开启。
APP启动的时候会在主线程注册两个observer,一个监听即将进入runloop事件,一个监听runloop即将休眠和即将退出两个事件,runloop的相关知识推荐这个文章runloop链接,当即将创建runloop的时候会创建@autoreleasepool{},在runloop即将休眠和即将退出的时候会销毁@autoreleasepool{}释放自动释放池,并释放autorelease对象。所以可以看到@autoreleasepool{}不仅仅和线程有关系而且和runloop有着直接的关系。更具体的如何释放以及autoreleasePage结构问题推荐这篇文章autoreleasepool链接
或许你会问那么子线程呢?默认不开启runloop,若用到了autorelease对象会造成内存泄露吗?作者也有如此疑问,这篇文章Autorelease 对象的内存管理,作者给出了明确的答案: OS X 10.9+和 iOS 7+不会造成内存泄露,当子线程未开启runloop的时候而你用到了autorelease对象会调用 autoreleaseNoPage 方法,这个方法会为你创建一个hotpage(可以理解为当前正在使用的autoreleasePoolPage),并调用page->add(obj)将autorelease对象加入到自动释放池中,这样就不会造成内存泄露了!
这个是autoreleaseNoPage的源码:

static __attribute__((noinline))
    id *autoreleaseNoPage(id obj)
    {
        // "No page" could mean no pool has been pushed
        // or an empty placeholder pool has been pushed and has no contents yet
        assert(!hotPage());

        bool pushExtraBoundary = false;
        if (haveEmptyPoolPlaceholder()) {
            // We are pushing a second pool over the empty placeholder pool
            // or pushing the first object into the empty placeholder pool.
            // Before doing that, push a pool boundary on behalf of the pool 
            // that is currently represented by the empty placeholder.
            pushExtraBoundary = true;
        }
        else if (obj != POOL_BOUNDARY  &&  DebugMissingPools) {
            // We are pushing an object with no pool in place, 
            // and no-pool debugging was requested by environment.
            _objc_inform("MISSING POOLS: (%p) Object %p of class %s "
                         "autoreleased with no pool in place - "
                         "just leaking - break on "
                         "objc_autoreleaseNoPool() to debug", 
                         pthread_self(), (void*)obj, object_getClassName(obj));
            objc_autoreleaseNoPool(obj);
            return nil;
        }
        else if (obj == POOL_BOUNDARY  &&  !DebugPoolAllocation) {
            // We are pushing a pool with no pool in place,
            // and alloc-per-pool debugging was not requested.
            // Install and return the empty pool placeholder.
            return setEmptyPoolPlaceholder();
        }

        // We are pushing an object or a non-placeholder'd pool.

        // Install the first page.
        AutoreleasePoolPage *page = new AutoreleasePoolPage(nil);
        setHotPage(page);

        // Push a boundary on behalf of the previously-placeholder'd pool.
        if (pushExtraBoundary) {
            page->add(POOL_BOUNDARY);
        }

        // Push the requested object or pool.
        return page->add(obj);
    }
开头问题的解答。

看到这里你是否明白了开篇所说的问题所在?当一次运行循环结束之前,也就是autoreleasepool释放autorelease对象之前,autoreleasepool的内存一直在增加,APP会出现内存峰值,卡顿,甚至会被系统强制关闭造成crash。来验证一下:
不加@autoreleasepool的情况
不加@autoreleasepool的情况

加上@autoreleasepool的情况
加上@autoreleasepool的情况

所以加上@autoreleasepool保证每次循环生成的autorelease对象及时的释放才能避免上述问题:

        for (int i = 0; i < 1000000; i++) {
           @autoreleasepool {
              NSNumber *num = [NSNumber numberWithInt:i];
              NSLog(@"%@", num);
           }
        }

另外@autoreleasepool还有延迟释放,使对象超出函数作用域存在等用处。

以上是作者精心准备的关于自动释放池的知识点,笔记与学习并用,有不足之处还望指正!

参考:
《Objective-C高级编程》
Autorelease 对象的内存管理

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/lixuezhi86/article/details/81813926

智能推荐

分布式光纤传感器的全球与中国市场2022-2028年:技术、参与者、趋势、市场规模及占有率研究报告_预计2026年中国分布式传感器市场规模有多大-程序员宅基地

文章浏览阅读3.2k次。本文研究全球与中国市场分布式光纤传感器的发展现状及未来发展趋势,分别从生产和消费的角度分析分布式光纤传感器的主要生产地区、主要消费地区以及主要的生产商。重点分析全球与中国市场的主要厂商产品特点、产品规格、不同规格产品的价格、产量、产值及全球和中国市场主要生产商的市场份额。主要生产商包括:FISO TechnologiesBrugg KabelSensor HighwayOmnisensAFL GlobalQinetiQ GroupLockheed MartinOSENSA Innovati_预计2026年中国分布式传感器市场规模有多大

07_08 常用组合逻辑电路结构——为IC设计的延时估计铺垫_基4布斯算法代码-程序员宅基地

文章浏览阅读1.1k次,点赞2次,收藏12次。常用组合逻辑电路结构——为IC设计的延时估计铺垫学习目的:估计模块间的delay,确保写的代码的timing 综合能给到多少HZ,以满足需求!_基4布斯算法代码

OpenAI Manager助手(基于SpringBoot和Vue)_chatgpt网页版-程序员宅基地

文章浏览阅读3.3k次,点赞3次,收藏5次。OpenAI Manager助手(基于SpringBoot和Vue)_chatgpt网页版

关于美国计算机奥赛USACO,你想知道的都在这_usaco可以多次提交吗-程序员宅基地

文章浏览阅读2.2k次。USACO自1992年举办,到目前为止已经举办了27届,目的是为了帮助美国信息学国家队选拔IOI的队员,目前逐渐发展为全球热门的线上赛事,成为美国大学申请条件下,含金量相当高的官方竞赛。USACO的比赛成绩可以助力计算机专业留学,越来越多的学生进入了康奈尔,麻省理工,普林斯顿,哈佛和耶鲁等大学,这些同学的共同点是他们都参加了美国计算机科学竞赛(USACO),并且取得过非常好的成绩。适合参赛人群USACO适合国内在读学生有意向申请美国大学的或者想锻炼自己编程能力的同学,高三学生也可以参加12月的第_usaco可以多次提交吗

MySQL存储过程和自定义函数_mysql自定义函数和存储过程-程序员宅基地

文章浏览阅读394次。1.1 存储程序1.2 创建存储过程1.3 创建自定义函数1.3.1 示例1.4 自定义函数和存储过程的区别1.5 变量的使用1.6 定义条件和处理程序1.6.1 定义条件1.6.1.1 示例1.6.2 定义处理程序1.6.2.1 示例1.7 光标的使用1.7.1 声明光标1.7.2 打开光标1.7.3 使用光标1.7.4 关闭光标1.8 流程控制的使用1.8.1 IF语句1.8.2 CASE语句1.8.3 LOOP语句1.8.4 LEAVE语句1.8.5 ITERATE语句1.8.6 REPEAT语句。_mysql自定义函数和存储过程

半导体基础知识与PN结_本征半导体电流为0-程序员宅基地

文章浏览阅读188次。半导体二极管——集成电路最小组成单元。_本征半导体电流为0

随便推点

【Unity3d Shader】水面和岩浆效果_unity 岩浆shader-程序员宅基地

文章浏览阅读2.8k次,点赞3次,收藏18次。游戏水面特效实现方式太多。咱们这边介绍的是一最简单的UV动画(无顶点位移),整个mesh由4个顶点构成。实现了水面效果(左图),不动代码稍微修改下参数和贴图可以实现岩浆效果(右图)。有要思路是1,uv按时间去做正弦波移动2,在1的基础上加个凹凸图混合uv3,在1、2的基础上加个水流方向4,加上对雾效的支持,如没必要请自行删除雾效代码(把包含fog的几行代码删除)S..._unity 岩浆shader

广义线性模型——Logistic回归模型(1)_广义线性回归模型-程序员宅基地

文章浏览阅读5k次。广义线性模型是线性模型的扩展,它通过连接函数建立响应变量的数学期望值与线性组合的预测变量之间的关系。广义线性模型拟合的形式为:其中g(μY)是条件均值的函数(称为连接函数)。另外,你可放松Y为正态分布的假设,改为Y 服从指数分布族中的一种分布即可。设定好连接函数和概率分布后,便可以通过最大似然估计的多次迭代推导出各参数值。在大部分情况下,线性模型就可以通过一系列连续型或类别型预测变量来预测正态分布的响应变量的工作。但是,有时候我们要进行非正态因变量的分析,例如:(1)类别型.._广义线性回归模型

HTML+CSS大作业 环境网页设计与实现(垃圾分类) web前端开发技术 web课程设计 网页规划与设计_垃圾分类网页设计目标怎么写-程序员宅基地

文章浏览阅读69次。环境保护、 保护地球、 校园环保、垃圾分类、绿色家园、等网站的设计与制作。 总结了一些学生网页制作的经验:一般的网页需要融入以下知识点:div+css布局、浮动、定位、高级css、表格、表单及验证、js轮播图、音频 视频 Flash的应用、ul li、下拉导航栏、鼠标划过效果等知识点,网页的风格主题也很全面:如爱好、风景、校园、美食、动漫、游戏、咖啡、音乐、家乡、电影、名人、商城以及个人主页等主题,学生、新手可参考下方页面的布局和设计和HTML源码(有用点赞△) 一套A+的网_垃圾分类网页设计目标怎么写

C# .Net 发布后,把dll全部放在一个文件夹中,让软件目录更整洁_.net dll 全局目录-程序员宅基地

文章浏览阅读614次,点赞7次,收藏11次。之前找到一个修改 exe 中 DLL地址 的方法, 不太好使,虽然能正确启动, 但无法改变 exe 的工作目录,这就影响了.Net 中很多获取 exe 执行目录来拼接的地址 ( 相对路径 ),比如 wwwroot 和 代码中相对目录还有一些复制到目录的普通文件 等等,它们的地址都会指向原来 exe 的目录, 而不是自定义的 “lib” 目录,根本原因就是没有修改 exe 的工作目录这次来搞一个启动程序,把 .net 的所有东西都放在一个文件夹,在文件夹同级的目录制作一个 exe._.net dll 全局目录

BRIEF特征点描述算法_breif description calculation 特征点-程序员宅基地

文章浏览阅读1.5k次。本文为转载,原博客地址:http://blog.csdn.net/hujingshuang/article/details/46910259简介 BRIEF是2010年的一篇名为《BRIEF:Binary Robust Independent Elementary Features》的文章中提出,BRIEF是对已检测到的特征点进行描述,它是一种二进制编码的描述子,摈弃了利用区域灰度..._breif description calculation 特征点

房屋租赁管理系统的设计和实现,SpringBoot计算机毕业设计论文_基于spring boot的房屋租赁系统论文-程序员宅基地

文章浏览阅读4.1k次,点赞21次,收藏79次。本文是《基于SpringBoot的房屋租赁管理系统》的配套原创说明文档,可以给应届毕业生提供格式撰写参考,也可以给开发类似系统的朋友们提供功能业务设计思路。_基于spring boot的房屋租赁系统论文