欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  移动技术

iOS 自动释放池ARC与MRC

程序员文章站 2022-08-12 18:07:36
自动释放池是oc提供的一种自动回收的机制,具有延迟释放的特性,即当我们创建了一个对象,并把他加入到了自动释放池中时,他不会立即被释放,会等到一次runloop结束或者作用域超...

自动释放池是oc提供的一种自动回收的机制,具有延迟释放的特性,即当我们创建了一个对象,并把他加入到了自动释放池中时,他不会立即被释放,会等到一次runloop结束或者作用域超出{}或者超出[pool release]之后再被释放

自动释放池的创建与销毁时机

MRC

1: 通过手动创建的方式来创建自动释放池,这种方式创建的自动释放池需要手动调用release(引用计数环境下,调用release和drain的效果相同,但是在CG下,drain会触发GC,release不会),方法如下:
    NSAutoreleasePool *pool = [[ NSAutoreleasePool alloc]init ];//创建一个自动释放池
    Person *person = [[Person alloc]init];
    //调autorelease方法将对象加入到自动释放池
    //注意使用该方法,对象不会自己加入到自动释放池,需要人为调用autorelease方法加入
    [person autorelease];
    //,手动释放自动释放池执行完这行代码是,自动释放池会对加入他中的对象做一次release操作
    [pool release];

自动释放池销毁时机:[pool release]代码执行完后.

2: 通过@autoreleasepool来创建

1: 对象的创建在自动释放池里面

 @autoreleasepool {
        //在这个{}之内的变量默认被添加到自动释放池
         Person *p = [[Person alloc] init];
      }//除了这个括号,p被释放

2: 如果一个变量在自动释放池之外创建,如下,需要通过__autoreleasing该修饰符将其加入到自动释放池。

 @autoreleasepool {

}
Person *   __autoreleasing p = [
[Person alloc]init];
 self.person = p;

系统就是通过@autoreleasepool {}这种方式来为我们创建自动释放池的,一个线程对应一个runloop,系统会为每一个runloop隐式的创建一个自动释放池,所有的autoreleasePool构成一个栈式结构,在每个runloop结束时,当前栈顶的autoreleasePool会被销毁,而且会对其中的每一个对象做一次release(严格来说,是你对这个对象做了几次autorelease就会做几次release,不一定是一次),特别指出,使用容器的block版本的枚举器的时候,系统会自动添加一个autoreleasePool

[array enumerateObjectsUsingBlock:^(id obj, NSUInteger idx, BOOL *stop) {
// 这里被一个局部@autoreleasepool包围着
}];

ARC

ARC下除了NSAutoreleasePool不可用以外,其他的同MRC

自动释放池的原理

在了解自动释放池的原理之前,我们先来看一下以下几个概念

AutoreleasePoolPage:每一个自动释放池没有单独的结构,每一个autorealeasePool对象都是由若干个autoreleasePoolPage通过双向链表连接而成,类的定义如下

class AutoreleasePoolPage 
{
    magic_t const magic;
    id *next;//指向栈顶最新被添加进来的autorelease对象的下一个位置
    pthread_t const thread;//指向当前线程
    AutoreleasePoolPage * const parent;
    AutoreleasePoolPage *child;
    uint32_t const depth;
    uint32_t 
  }
autoreleasePoolPage是按照线程一一对应的, autoreleasePoolPage会开辟4096字节空间,除了上面的实例变量所占的空间,剩余的空间全部用来存储autorelease对象的地址 id *next:指向栈顶最新被添加进来的autorelease对象的下一个位置 一个autoreleasePoolPage空间被占满时,会创建一个新的autoreleasePoolPage对象,后来的对象添加在在新
autoreleasePoolPage中

哨兵对象:本质是一个值为nil的对象,由被定义在* NSAutoreleasePool类中的_token指针来保存。

hotPage:最新创建的AutoreleasePoolPage.

系统通过一个栈来管理所有的自动释放池,每当创建了一个新的自动释放池,系统就会把它压入栈顶,并且传入一个哨兵对象,将哨兵对象插入hotPage,这里分三种情况

若hotPage未满,则直接插入哨兵对象, 要是满了,新建一个NSAutoreleasePoolPage,并将其作为hotPage,然后将哨兵对象插入 如果没有NSAutoreleasePoolPage,则新建一个NSAutoreleasePoolPage,并将其作为hotPage,插入哨兵对象,注意。这里的hotPage是没有父节点的。

每当有一个自动释放池要被释放的时候,哨兵对象就会作为参数被传入,找到该哨兵对象所在的位置后,将所有晚于哨兵对象的autorelease弹出,并对他们做一次release,然后将next指针一到合适的位置。

自动释放池的应用场景

MRC:

 

对象作为函数返回值
当一个对象要作为函数返回值的时候,因为要遵循谁申请谁释放的思想,所以应该在返回之前释放,但要是返回之前释放了,就会造成野指针错误,但是要是不释放,那么就违背了谁申请谁释放的原则,所以就可以使用autorelease延迟释放的特性,将其在返回之前做一次autorelease,加入到自动释放池中,保证可以被返回,一次runloop之>>后系统会帮我们释放他 临时生成大量对象,一定要将自动释放池放在for循环里面,要释放在外面,就会因为大量对象得不到及时释放,而造成内存紧张,最后程序意外退出
for (int i = 0; i<10000; i++) {
        @autoreleasepool {
            UIImageView *imegeV = [[UIImageView alloc]init];
            imegeV.image = [UIImage imageNamed:@"efef"];
            [self.view addSubview:imegeV];
        }
    }

嵌套的autoreleasepool

@autoreleasepool {//p1被放在该自动释放池里面
        Person *p1 = [[Person alloc]init];
        @autoreleasepool {//p2被放在该自动释放池里面
            Person *p2 = [[Person alloc]init];
        }
    }

以上说明autorelease对象被添加进离他最近的自动释放池,多层的pool会有多个哨兵对象。

ARC下autorelease的优化

ARC下,runtime提供了一套对autorelease返回值的优化策略TLS(线程局部存储),就是为每个线程单独分配一块栈控件。以key-value的形式对数据进行存储(ARC对autorelease对象的优化标记)。

1:先看优化中涉及到的几个函数

__builtin_return_address(int level)

是一个内建函数,作用是返回函数的地址,参数是层级,如果是0,则表示是当前函数体返回地址;如果是1:则表示调用这个函数的外层函数。当我们知道了一个函数体的返回地址的时候,就可以根据反汇编,利用某些固定的偏移量,被调方可以定位到主调放在返回值后>面的汇编指令,来确定该条函数指令调用完成后下一个调用的函数

objc_autoreleaseReturnValue

通过__builtin_return_address(int level)检测外部是不是ARC环境,可以替代autorelease,是的话直接返回object,不是的话调用objc_autorelease()将对象注册到自动释放池里面,最后通过objc_retain来获取对象。

objc_retainAutoreleasedReturnValue
通过以上代码可以看出,

与objc_autoreleaseReturnValue配合使用,如果在执行完objc_autoreleaseReturnValue()这个函数的下一个调用函数是objc_retainAutoreleasedReturnValue,那么就走最优化(在TLS中查询关于这个对象,如果有,直接返回对象,不再对对象做retain)。

2:过程

新建Person类 Person.h
#import 

@interface Person : NSObject
+(instancetype)createPerson;

@end
Person.m
#import "Person.h"

@implementation Person

+(instancetype)createPerson{
    return [self new];
}

@end
ViewController.m
#import "ViewController.h"
#import "Person.h"
@interface ViewController ()
@end

@implementation ViewController

- (void)viewDidLoad {
    [super viewDidLoad];
   [self testPerson];
}

- (void)TestPerson {
    self.person = [Person createPerson];
}
简化后对应的汇编:
+ (instancetype)createPerson {
    id tmp = [self new];  
    return objc_autoreleaseReturnValue(tmp); 
} 
- (void)testFoo {
    id tmp = _objc_retainAutoreleasedReturnValue([Person createPerson]); 

}
在调用objc_autoreleaseReturnValue的时候,会先通过__builtin_return_address这个内建函数return address,然后根据这个地址判断主调方在调用完objc_autoreleaseReturnValue这个函数以后是否紧接着调用了objc_retainAutoreleasedReturnValue函数,如果是,那么objc_autoreleaseReturnValue()就不将返回的对象注册到自动释放池里面(不做autorelease),runtime会将这个返回值存储在TLS中,做一个优化标记,然后直接返回这个对象给函数的调用方,在外部接收这个返回值的objc_retainAutoreleasedReturnValue()会先在TLS中查询有没有这个对象,如果有,那么就直接返回这个对象(不调用retain),所以通过objc_autoreleaseReturnValue和objc_retainAutoreleasedReturnValue的相互配合,利用TSL做一个中转,在ARC下省去了autorelease和retain的步骤,在一定程度上达到了最优化.