内存管理

1、何检测内存泄漏

  • Memory Leaks
  • Alloctions
  • Analyse
  • Debug Memory Graph
  • MLeaksFinder

泄露的内存主要有以下两种:

  • Laek Memory 这种是忘记Release 操作所泄露的内存。
  • Abandon Memory 这种是循环引用,无法释放掉的内存。

2、循环引用

实质:多个对象相互之间有强引用,不能释放让系统回收。

如何解决循环引用?

  • 1、避免产生循环引用,通常是将strong引用改为 weak 引用。
  • 在合适时机去手动断开循环引用。

MRC 下,__block不会增加其引用计数,避免了循环引用
ARC 下,__block 修饰对象会被强引用,无法避免循环引用,需要手动解除。

NSTimer 循环引用属于相互循环使用
创建 NSTimer 作为其属性,由于定时器创建后也会强引用该控制器对象,那么该对象和定时 器就相互循环引用了。
将定时器invalidate 并置为nil 即可

3、悬垂指针?野指针?

悬垂指针:指针指向的内存已经被释放了,但是指针还存在,这就是一个 悬垂指针 或者说 迷途指针

野指针: 没有进行初始化的指针,其实都是 野指针

retain,copy,assign,weak,_Unsafe_Unretain

Strong 修饰符表示指向持有该对象,其修饰对象的引用计数会加 1。该对象只要引用计数不为 0 就不会 被销毁。当然可以通过将变量强制赋值 nil 来进行销毁。

weak 修饰符指向但是并不持有对象,引用计数也不会加 1。在 Runtime 中对该属性进行了相关操作, 无需处理,可以自动销毁。weak 用来修饰对象,多用于避免循环引用的地方。weak 不可以修饰基本数据 类型。

assign主要用于修饰基本数据类型, 例如 NSInteger,CGFloat,存储在栈中,内存不用程序员管理。assign 是可以修饰对象的,但是会出现问 题。

copy 关键字和 strong 类似,copy 多用于修饰有可变类型的不可变对象 NSString,NSArray,NSDictionary 上。

__unsafe_unretain 类似于weak ,但是当对象被释放后,指针已然保存着之前的地址,被释放后的地址 变为 僵尸对象,访问被释放的地址就会出问题,所以说他是不安全的。

__autoreleasing 将对象赋值给附有 __autoreleasing 修饰的变量等同于 ARC 无效时调用对象的 autorelease 方法,实质 就是扔进了自动释放池。

4、深拷贝 和 浅拷贝 集合类深拷贝如何实现

深拷贝: 该对象是否复制一份,内容拷贝
浅拷贝: 指针拷贝,

对于集合对象的内容复制仅仅是对对象本身,但是对象的里面的元素还是指针复制。要想复制整个 集合对象,就要用集合深复制的方法,有两种:

(1)使用 initWithArray:copyItems:方法,将第二个参数设置为 YES 即可

NSDictionary * dct  = [[NSDictionary alloc] initWithDictionary:dicto copyItems:YES]

(2)将集合对象进行归档(archive)然后解归档(unarchive):

 NSArray *trueDeepCopyArray = [NSKeyedUnarchiver unarchiveObjectWithData:[NSKeyedArchiver archivedDataWithRootObject:oldArr]]

5、Dealloc 的实现机制

一、Dealloc调用流程

  • 1.首先调用 _objc_rootDealloc()
  • 2.接下来调用 rootDealloc()
  • 3.这时候会判断是否可以被释放,判断的依据主要有 5 个,判断是否有以上五种情况
  • NONPointer_ISA
  • weakly_reference
  • has_assoc
  • has_cxx_dtor
  • has_sidetable_rc
  • 4-1.如果有以上五中任意一种,将会调用object_dispose()方法,做下一步的处理。
  • 4-2.如果没有之前五种情况的任意一种,则可以执行释放操作,C 函数的 free()。
  • 5.执行完毕。
- (void)dealloc {
    _objc_rootDealloc(self);
}
void _objc_rootDealloc(id obj)
{
    assert(obj);

    obj->rootDealloc();
}
inline void objc_object::rootDealloc(){
    if (isTaggedPointer()) return;  // fixme necessary?

    if (fastpath(isa.nonpointer  &&  
                 !isa.weakly_referenced  &&  
                 !isa.has_assoc  &&  
                 !isa.has_cxx_dtor  &&  
                 !isa.has_sidetable_rc))
    {
        assert(!sidetable_present());
        free(this);
    } 
    else {
        object_dispose((id)this);
    }
}
id object_dispose(id obj)
{
    if (!obj) return nil;

    objc_destructInstance(obj);    
    free(obj);

    return nil;
}

2.object_dispose() 调用流程。

  • 1.直接调用 objc_destructInstance()
  • 2.之后调用 C 函数的 free()
id 
object_dispose(id obj)
{
    if (!obj) return nil;

    objc_destructInstance(obj);    
    free(obj);

    return nil;
}

3.objc_destructInstance() 调用流程

void *objc_destructInstance(id obj) 
{
    if (obj) {
        // Read all of the flags at once for performance.
        bool cxx = obj->hasCxxDtor();
        bool assoc = obj->hasAssociatedObjects();

        // This order is important.
        if (cxx) object_cxxDestruct(obj);
        if (assoc) _object_remove_assocations(obj);
        obj->clearDeallocating();
    }

    return obj;
}

  • 1.先判断 hasCxxDtor,如果有 C++ 的相关内容,要调用 object_cxxDestruct() ,销毁 C++ 相关的内容。
  • 2.再判断 hasAssocitatedObjects,如果有的话,要调用 object_remove_associations(), 销毁关联对象的一系列操作。
  • 3.然后调用 clearDeallocating()。
  • 4.执行完毕。

4.clearDeallocating() 调用流程。

inline void 
objc_object::clearDeallocating()
{
    if (slowpath(!isa.nonpointer)) {
        // Slow path for raw pointer isa.
        sidetable_clearDeallocating();
    }
    else if (slowpath(isa.weakly_referenced  ||  isa.has_sidetable_rc)) {
        // Slow path for non-pointer isa with weak refs and/or side table data.
        clearDeallocating_slow();
    }

    assert(!sidetable_present());
}
  • 1.先执行 sideTable_clearDellocating()。
  • 2.再执行 weak_clear_no_lock,在这一步骤中,会将指向该对象的弱引用指针置为 nil。
  • 3.接下来执行 table.refcnts.eraser(),从引用计数表中擦除该对象的引用计数。
  • 4.至此为止,Dealloc 的执行流程结束。

7 、内存中的 5 大区

  • 栈区(stack):由编译器自动分配释放 ,存放函数的参数值,局部变量的值等。其 操作方式类似于 数据结构中的栈。
  • 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由 OS 回收 。注意它与 数据结构中的堆是两回事,分配方式倒是类似于链表。
  • 全局区(静态区)(static):全局变量和静态变量的存储是放在一块的,初始化的 全局变量和静态 变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束后 由系统释放。
  • 文字常量区:常量字符串就是放在这里的。 程序结束后由系统释放。
  • 程序代码区:存放函数体的二进制代码。

8、内存管理方案

  • taggedPointer :存储小对象如 NSNumber。深入理解 Tagged Pointer
  • NONPOINTER_ISA(非指针型的 isa):在 64 位架构下,isa 指针是占 64 比特位的,实际上只有 30 多位就 已经够用了,为了提高利用率,剩余的比特位存储了内存管理的相关数据内容
  • 散列表第一位的 0 或 1 代表是纯地址型 isa 指针,还是 NONPOINTER_ISA 指针。
  • 第二位,代表是否有关联对象
  • 第三位代表是否有 C++ 代码。
  • 接下来 33 位代表指向的内存地址
  • 接下来有 弱引用 的标记
  • 接下来有是否 delloc 的标记....等等
  • 复杂的数据结构,包括了引用计数表和弱引用表 通过 SideTables()结构来实现的,SideTables()结构下,有很多 SideTable 的数据结构。 而 sideTable 当中包含了自旋锁,引用计数表,弱引用表。 SideTables()实际上是一个哈希表,通过对象的地址来计算该对象的引用计数在哪个 sideTable 中
  • SideTables表在 非嵌入式的 64 位系统中,有 64 张 SideTable 表
  • 每一张 SideTable 主要是由三部分组成。自旋锁、引用计数表、弱引用表
  • 全局的 引用计数 之所以不存在同一张表中,是为了避免资源竞争,解决效率的问题。
  • 引用计数表 中引入了 分离锁的概念,将一张表分拆成多个部分,对他们分别加锁,可以实现并发操 作,提升执行效率

自旋锁:

  • 自旋锁是“忙等”的锁。
  • 适用于轻量访问。

引用计数表和弱引用表实际是一个哈希表,来提高查找效率。

9、内存布局

  • 栈(stack):方法调用,局部变量等,是连续的,高地址往低地址扩展
  • 堆(heap):通过 alloc 等分配的对象,是离散的,低地址往高地址扩展,需要我们手动控制
  • 未初始化数据(bss):未初始化的全局变量等
  • 已初始化数据(data):已初始化的全局变量等
  • 代码段(text):程序代码

10、@dynamic

@dynamic 意味着编译器不会帮助我们自动合成 settergetter 方法。我们需要手动实现、这里就涉及 到 Runtime 的动态添加方法的知识点。

11、@autoreleasePool 的数据结构

  • 简单说是双向链表,每张链表头尾相接,有 parent、child 指针 ;
  • 每创建一个池子,会在首部创建一个 哨兵 对象,作为标记;
  • 最外层池子的顶端会有一个next 指针。当链表容量满了,就会在链表的顶端,并指向下一张表。

objc_autoreleasePoolPush: 把当前 next 位置置为 nil,即哨兵对象,然后 next 指针指向下一个可入栈位置, AutoreleasePool 的多层嵌套,即每次 objc_autoreleasePoolPush,实际上是不断地向栈中插入哨兵 对象。
objc_autoreleasePoolPop: 根据传入的哨兵对象找到对应位置。 给上次 push 操作之后添加的对象依次发送release 消息。 回退next指针到正确的位置。

12、弱引用管理

  • 添加 weak 变量:通过哈希算法位置查找添加。如果查找对应位置中已经有了当前对象所对应的弱引用 数组,就把新的弱引用变量添加到数组当中;如果没有,就创建一个弱引用数组,并将该弱引用变量 添加到该数组中。  当一个被 weak 修饰的对象被释放后,weak 对象怎么处理的? 清除 weak 变量,同时设置指向为 nil。当对象被 dealloc 释放后,在 dealloc 的内部实现中,会调用弱 引用清除的相关函数,会根据当前对象指针查找弱引用表,找到当前对象所对应的弱引用数组,将数 组中的所有弱引用指针都置为 nil。

__weak 属性修饰的变量,如何实现在变量没有强引用后自动置为 nil ?

用的弱引用 - weak表。也是一张 哈希表。
weak修饰的指针变量所指向的地址是 key ,所有指向这块内存地址的指针会被添加在一个数组里, 这个数组是 Value。当内存地址销毁,数组里的所有对象被置为 nil。
weak修饰的指针变量,在指向的内存地址销毁后,会在 Runtime 的机制下,自动置为nil

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

推荐阅读更多精彩内容