iOS底层原理-内存管理

CADisplayLink、NSTimer使用注意点:

1.CADisplayLink、NSTimer会对target产生强引用,如果target又对他们产生强引用,就会产生循环引用
2.这两个定时器存在不准时的可能性

  • 解决循环引用的问题

解决方案1:消息转发机制+中间对象进行处理

//MXTestProxy:NSObject
+ (instancetype)proxyWithTarget:(id)target {
    MXTestProxy *pro = [[MXTestProxy alloc]init];
    pro.target = target;
    return pro;
    
}

- (id)forwardingTargetForSelector:(SEL)aSelector {
    return self.target;
}


//CADisplayLink
self.link = [CADisplayLink displayLinkWithTarget:[MXTestProxy proxyWithTarget:self] selector:@selector(test)];
[self.link addToRunLoop:[NSRunLoop currentRunLoop] forMode:NSDefaultRunLoopMode];

//注:CADisplayLink无需设置时间,因为其保证调用频率和屏幕的刷帧频率一致,60FTP(1秒调用60次).

由此,可以使用系统内部的NSProxy类,NSProxy本来就是用于设计消息转发的

//MXProxy : NSProxy
+ (instancetype)proxyWithTarget:(id)target {
    
    //NSProxy对象不需要调用init,因为它根本没有init方法,只需要调用alloc即可
    MXProxy *proxy = [MXProxy alloc];
    proxy.target = target;
    return proxy;
}

- (NSMethodSignature *)methodSignatureForSelector:(SEL)sel {
    return [self.target methodSignatureForSelector:sel];
}

- (void)forwardInvocation:(NSInvocation *)invocation {
    [invocation invokeWithTarget:self.target];
}

//CADisplayLink
self.link = [CADisplayLink displayLinkWithTarget:[MXProxy proxyWithTarget:self] selector:@selector(test)];
[self.link addToRunLoop:[NSRunLoop mainRunLoop] forMode:NSDefaultRunLoopMode];
  • 继承自NSObject,方法调用流程:即原先消息机制的3个部分
  • 继承自NSProxy,直接就进入消息转发,但其并没有- (id)forwardingTargetForSelector:(SEL)aSelector方法
MXProxy *pro = [MXProxy proxyWithTarget:self];
NSLog(@"%d",[pro isKindOfClass:[UIViewController class]]);
//该运行结果为1

以上结果为1,是因为若是继承自NSProxy的对象调用对应的NSObject的方法,由于其内部就是消息转发,故会令消息转发者发送对应消息,即假设proxy是继承自NSProxy,则[proxy isKindOfClass]方法的实际调用者还是消息转发者,而不是proxy

解决方案2:定义NSTimer使用block方法创建

__weak typeof(self)weakSelf = self;
self.timer = [NSTimer timerWithTimeInterval:1.0 repeats:YES block:^(NSTimer * _Nonnull timer) {
    [weakSelf test];
}];
[[NSRunLoop currentRunLoop]addTimer:self.timer forMode:NSRunLoopCommonModes];

若向原先的方式使用weakSelf,即往target中传入weakSelf会失败,因为这个是对block才有效,因为block特性是若外部变量使用的是弱指针进行引用,则block会对该变量有一个弱引用,同理,若是强指针进行引用,则block会对该变量有一个强引用.故传入弱指针解决循环引用只对block有效,定时器中传入的target,由于外部只是将参数地址传入,后赋值给timer内部对应的成员变量,故传入的是强指针还是弱指针是没有效果的

  • 解决定时器不准的问题

原因:CADisplayLink和NSTimer底层都是由runloop实现的,是依赖于runloop的,如果runloop的任务过于繁重,可能导致这两个定时器不准时

即假设定时器设置每隔1s调用一次方法,则runloop会每跑一次圈,就计算下时间,若没达到1s,则继续跑圈,当达到1s,就处理定时器任务但runloop的跑圈时间是不固定的,故会导致定时器时间不准时

由于GCD的定时器是直接与系统内核挂钩的,与runloop无关,故无论外部的runloop发生怎样的操作,都不会影响GCD定时器的运行

dispatch_queue_t queue = dispatch_get_main_queue();

dispatch_source_t timer = dispatch_source_create(DISPATCH_SOURCE_TYPE_TIMER, 0, 0, queue);

dispatch_source_set_timer(timer, DISPATCH_TIME_NOW, 1 * NSEC_PER_SEC, 0 * NSEC_PER_SEC);
//第二个参数:从什么时候开始,若需要延迟执行,则传入dispatch_time(DISPATCH_TIME_NOW, 延迟的秒数 * NSEC_PER_SEC)
//第三个参数:每个几秒执行
//第四个参数:传入0即可

dispatch_source_set_event_handler(timer, ^{
    NSLog(@"123");
});
dispatch_resume(timer);

注:GCD创建的对象在ARC环境中都不需要我们去管理内存

内存布局:

Snip20180713_2.png
  • 堆区的地址是从小到大分配的,且内存地址(十六进制)的最低位一定是0.因为内存对齐(最小单位为16)
  • 栈区的地址是从大到小分配的

Tagged Pointer:

  • 从64bit开始,iOS引入了tagged pointer技术,用于优化NSNumber、NSDate、NSString等小对象的存储
  • 在没有使用tagged pointer之前,NSNumber等对象需要动态分配内存,维护引用计数等,NSNumber指针存储的是堆中NSNumber对象的地址值
  • 使用tagged pointer之后,NSNumber指针里存储的数据变成了Tag+ Data,也就是将数据存储在了指针中
  • 当指针不够存储数据时,才会使用动态分配内存的方式来存储数据
  • objc_msgSend能识别tagged pointer,直接从指针提取数据,节省了以前的调用开销

一道面试题:

@property (strong, nonatomic) NSString *name;

dispatch_queue_t queue = dispatch_get_global_queue(0, 0);

for (int i = 0; i<100; i++) {
    dispatch_async(queue, ^{
        self.name = [NSString stringWithFormat:@"123hjgjhgjhgjg" ];
    });
}
//运行结果崩溃,会报坏内存访问

原因:for循环中实际是频繁调用setter方法,而ARC环境中的setter方法实际会转换为MRC中对应的代码内容

- (void)setName:(NSString *)name {
    if (_name != name) {
        [_name release];
        [name retain];
    }
}

当其他线程同时执行setter方法时,可能存在当name属性已经release,但其他线程继续调用release,导致其坏内存访问

其中,如上的代码策略对应的不同,即strong对应retain,copy对应copy

但上述面试题中,若self.name的字符串为tagged pointer时.不会报错,是因为tagged pointer本身就不是OC对象,是指针的赋值,不存在调用setter和getter进行赋值

  • 如何判断一个指针是否为Tagged Pointer?
    iOS平台,最高有效位是1(第64bit),其中需要保证其有64位,即0x后面的数字须有16位
    Mac平台,最低有效位是1

MRC:

  • 在iOS中,使用引用计数来管理OC对象的内存
  • 一个新创建的OC对象引用计数默认是1,当引用计数减为0,OC对象就会销毁,释放其占用的内存空间
  • 调用retain会让OC对象的引用计数+1,调用release会让OC对象的引用计数-1

在进行setter操作时,会先进行判断是否为同一对象,若为同一对象,则不会做任何事情,若为不同对象,则需要先释放之前的对象,在retain新的对象

  • 若是使用retain修饰,则setter会执行上面的代码
  • 若是使用assign修饰,则setter只会进行单纯的赋值操作
//MRC中setter方法写法
- (void)setName:(NSString *)name {
    if (_name != name) {
        [_name release];
        [name retain];
    }
}

//dealloc方法
- (void)dealloc {
    [_name release];
    _name = nil;
    
    //也可以用下面这一句代替上面两句,这两句是等价的
    //self.name = nil;
    
    //在dealloc方法中,父类的dealloc方法放在最后执行
    [super dealloc]
}
//在换属性时/自己挂掉时,要记得release操作

在MRC中,若使用retain关键词,系统会自动生成上述的setter和getter,但dealloc中还是需要自己完成,即释放还是需要自己去完成

内存管理的经验总结:

  • 当调用alloc、new、copy、mutableCopy方法返回了一个对象,在不需要这个对象时,要调用release或者autorelease来释放它
  • 想拥有某个对象,就让它的引用计数+1;不想再拥有某个对象,就让它的引用计数-1
  • 通过类方法创建的对象,在系统内部已经自动帮忙调用release,即除了alloc、copy、new方法创建对象,需要调用release,其余是不需要release的

使用MRC进行开发

self.dataArr =  [[[NSMutableArray alloc]init]autorelease];
//含义是:NSMutableArray *dataArr = [[NSMutableArray alloc]init];
self.dataArr = dataArr;
[dataArr release];
故在dealloc方法中,还需要调用self.dataArr = nil;

Copy:

  • 拷贝的目的:产生一个副本对象,跟原对象互不影响
    修改了原对象不会影响副本对象
    修改了副本对象,不会影响原对象

  • iOS提供了两个拷贝方法:
    1.copy:不可变拷贝,产生不可变副本
    2.mutableCopy:可变拷贝,产生可变副本

若两个对象(str1和str2)都为不可变字符串,即NSString,若str1 = [str2 copy],会发现str1和str2的内存地址是相同的
原因:由于拷贝的目的是,产生一个副本对象,跟原对象互不影响
且str1是一个不可变字符串,本身就没法修改内容,故可以直接令拷贝出来的字符串对象也指向原先相同的字符串对象

  • 深拷贝和浅拷贝:
    1.深拷贝:内容拷贝,产生新的对象
    2,浅拷贝:指针拷贝,没有产生新的对象(拷贝的内容没有拷贝)
Snip20180713_3.png

注意点:
1.当策略写的是copy,属性不要写不可变类型
基本上有关文字的,使用copy修饰,对于字典和数组,还是使用strong来的多
2.属性的修饰也一定是copy,不存在mutableCopy,因为mutableCopy只存在于NSString等foundation框架的部分类
3.自定义对象只需管好copy即可
4.自定义类需要实现copy操作,需要手动实现copyWithZone方法

引用计数的存储:

在64位系统中,引用计数可以直接存储在优化过的isa指针中,若引用计数过大,则isa中has_sidetable_rc的值为1,并且引用计数会存储在Side Table类中

//Side Table结构体定义:
struct SideTable {
    spinlock_t slock;
    RefcountMap refcnts; //是一个存放对象引用计数的散列表
    weak_table_t weak_table;
}

__strong: 强引用指针
__weak: 弱指针,当所指内容不存在时,指针会自动变为nil
__unsafe_unretained :也不会产生强引用,但当指针所指的内容不存在时,会报野指针错误

几道面试题:

1.weak指针的实现原理:
将弱引用存储到一张哈希表中,对象要销毁时,会取出当前对象对应的弱引用表,把弱引用表中的内容给清除掉(runtime)

2.ARC帮助我们做了什么?
ARC即LLVM+runtime的结果
ARC通过LLVM编译器,自动生成retain,release,autorelease代码,弱引用这样的存在,是通过runtime在对象销毁时,自动将弱引用清空掉

自动释放池:

使用release方法,会导致在release代码后,若继续使用被销毁的对象,则会报坏内存访问错误,若使用autorelease,则无需关心这个问题

从源码可以看出,@autoreleasepool通过转换为c++代码,即开头是一个构造函数:objc_autoreleasePoolPush()函数,结尾是一个析构函数:
objc_autoreleasePoolPop()函数

自动释放池的主要底层数据结构是:__AtAutoreleasePoolAutoreleasePoolPage
__AtAutoreleasePool是一个结构体,内部包含了构造函数:objc_autoreleasePoolPush()和析构函数:
objc_autoreleasePoolPop(),而push和pop两个函数都是与AutoreleasePoolPage相关

调用了autorelease的对象最终都是通过AutoreleasePoolPage对象来管理的
1)每个AutoreleasePoolPage对象占用4096字节内存,除了用来存放它内部的成员变量,剩下的空间用来存放autorelease对象(即调用autorelease方法的对象)的地址
2)所有的AutoreleasePoolPage对象通过双向链表的形式连接在一起

Snip20180713_4.png
  • 其中begin()中即为起始指针的地址(0X1000)加上指针自身大小(56字节)
    end()即为起始指针的地址(0X1000)加上AutoreleasePoolPage(4096字节)大小
  • begin和end之间才是存放autorelease对象的,其余是存放AutoreleasePoolPage原先的一些成员变量的
  • 调用push方法会将一个POOL_BOUNDARY入栈,并且返回其存放的内存地址
  • 调用pop方法时传入一个POOL_BOUNDARY的内存地址,会从最后一个入栈的对象开始发送release消息,直到遇到这个POOL_BOUNDARY
  • id *next指向了下一个能存放autorelease对象地址的区域
  • 可以通过以下私有函数来查看自动释放池的情况:extern void _objc_autoreleasePoolPrint(void);
  • autorelease对象在什么时机调用release?
    iOS在主线程的Runloop中注册了2个Observer
    第1个Observer监听了kCFRunLoopEntry事件,会调用objc_autoreleasePoolPush()
    第2个Observer监听了kCFRunLoopBeforeWaiting事件,会调用objc_autoreleasePoolPop()、objc_autoreleasePoolPush()
    监听了kCFRunLoopBeforeExit事件,会调用objc_autoreleasePoolPop()

  • 方法里有局部对象,出了方法后会立即释放吗?
    一般情况下,局部变量在方法结束后就会被立即释放
    但当局部变量有调用autorelease时,由于系统会在runloop的observer监听到runloop准备休眠时自动调用自动释放池的pop和push方法,若多个方法在同一个runloop运行循环中时,会待runloop进入下一个循环(休眠)时进行对autorelease的操作,有可能导致需等待多个方法结束后才会被释放

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

推荐阅读更多精彩内容

  • 1.ios高性能编程 (1).内层 最小的内层平均值和峰值(2).耗电量 高效的算法和数据结构(3).初始化时...
    欧辰_OSR阅读 29,245评论 8 265
  • 面向对象的三大特性:封装、继承、多态 OC内存管理 _strong 引用计数器来控制对象的生命周期。 _weak...
    运气不够技术凑阅读 1,070评论 0 10
  • 从上图可以看到,栈里面存放的是值类型,堆里面存放的是对象类型。对象的引用计数是在堆内存中操作的。下面我们讲讲堆和栈...
    jackyshan阅读 1,625评论 2 11
  • 37.cocoa内存管理规则 1)当你使用new,alloc或copy方法创建一个对象时,该对象的保留计数器值为1...
    如风家的秘密阅读 815评论 0 4
  • 内存管理ARC处理原理ARC是Objective-C编译器的特性,而不是运行时特性或者垃圾回收机制,ARC所做的只...
    X先生_未知数的X阅读 313评论 0 3