内存管理之引用计数

什么是引用计数?

引用计数是最普遍的垃圾回收策略之一。每一个对象都会有一个额外的计数值来表示当前被引用的次数。有新的引用,这个值就会+1;结束引用,这个值会自动-1,直到计数值为0时,对象所指的内存块就会废弃掉被系统回收,从而达到释放内存的目的。

在ARC还没引入之前,引用计数大都是Coder该思考的事情,所以我们可以先关掉项目的ARC来深入了解苹果的内存管理机制。(花括号 "{ }" 表示一个生命周期)

{
    // 初始化一个对象并被obj持有 reference count = 1
    NSObject *obj = [[NSObject alloc] init];
    
    // newObj 持有后,reference count = 2
    NSObject *newObj = [obj retain];
    
    // 连续释放对象
    [newObj release];
    [obj release];
    
    /// 两步release释放操作的是同一个对象
    /// reference count = 0, 对象被废弃回收
}

如何操作引用计数?

上一步操作中,其实已经涉及到如何操作引用计数了。显然,在Foundation框架中,NSObject 类负担了内存管理的职责,大部分对象都是继承自 NSObject。

+[NSObject alloc]        // 生成对象
-[NSObject retain]       // 持有对象,增加一个新的引用
-[NSObject release]      // 释放对象,减少一个引用
-[NSObject dealloc]      // 废弃对象

从上面的方法中可以看出,生成对象和持有对象是两个完全独立的过程,很多一开始接触代码就用ARC的童鞋会把这两个过程搞混淆,并且以为是一个整体。苹果主要有两大类方式来管理生成和持有对象。第一种是所有童鞋都知道的以 alloc / new / copy / mutableCopy 等开头的初始化方法名,这种是自己生成即持有。除了第一种以外的初始化方法,比如 +[NSArray array], 就是第二种,这种是别人生成,自己持有,有点类似于寄生,也是被大部分童鞋所忽略的。通过举栗子来分析两者的差别。

第一种生成即持有的栗子:

{
    // 以 alloc 等字眼为开头的初始化方法生成即持有
    NSArray *obj = [[NSArray alloc] init];
    
    // 释放 obj
    [obj release];
    
}

第二种生成不持有的栗子:

{
    // newObj 不持有新生成的对象
    NSArray *newObj = [NSArray array];
   
    // 通过调用 retain 来持有非自己生成的对象
    [newObj retain];
    
    // 释放对象。如果之前未调用retain,会导致程序崩溃
    [newObj release];
}

第二种生成方式需要显示地调用 -retain 才能真正持有对象,实际上 NSArray 的静态初始化方法,是调用了[[NSArray alloc] init],但是为什么我们还要手动再调一次 -retain 呢?,苹果在这里用了自动释放池 @autoreleasepool ,简单地说就是注册到释放池的对象会随着释放池生命周期结束而自动释放(如果博主勤快的话,自动释放池会在后续的章节里详细阐述)。

+ (instancetype)array {
    // 这是一种通认的实现方式
    NSArray *obj = [[[NSArray alloc] init] autorelease];
    return obj;
    
    /// 新生成的对象实际上是由自动释放池释放
    /// 这边引入释放池可以保证自己生成对象由自己释放
}

引用计数原理

苹果管理引用计数的方法是通过哈希表来实现的,具体实现我们来看下苹果的源码 ,下面提取的源码已进行过简化整合,并删除一些判断条件以及表锁。前面已经提到,引用计数的操作是NSObject负责的,我们可以在runtime/NSObject.mm类文件中找到相关源码。

我们先看下 -[NSObject retain] 是如果实现增加引用计数的:

- (id)retain {
    // 获取对象哈希表
    SideTable& table = SideTables()[this];
    
    // 获取对象当前的引用计数
    size_t& refcntStorage = table.refcnts[this];
    
    if (! (refcntStorage & SIDE_TABLE_RC_PINNED)) {
        // 如果当前引用计数未越界,增加引用计数
        refcntStorage += SIDE_TABLE_RC_ONE;
        return (id)this;
    }
    
    // 这一步是苹果做的优化
    // 如果前面操作引用计数失败,会进入sidetable_retain_slow函数
    // sidetable_retain_slow 做的是前面类似的工作
    return sidetable_retain_slow(table);
}

相对于 -[NSObject retain],-[NSObject release] 会多一步判断引用计数和释放内存块的过程:

- (oneway void)release {
    // 获取对象哈希表
    SideTable& table = SideTables()[this];
    
    bool do_dealloc = false;

    if (table.trylock()) {
    
        // 获取对象引用计数
        RefcountMap::iterator it = table.refcnts.find(this);
        
        if (it == table.refcnts.end()) {
            // 引用计数为0后设置delloc标记
            do_dealloc = true;
            
            // 重置引用计数
            table.refcnts[this] = SIDE_TABLE_DEALLOCATING;
            
        } else if (it->second < SIDE_TABLE_DEALLOCATING) {
            // 苹果还有一套弱引用管理机制,这里暂不讨论
            // SIDE_TABLE_WEAKLY_REFERENCED may be set. Don't change it.
            do_dealloc = true;
            it->second |= SIDE_TABLE_DEALLOCATING;
            
        } else if (! (it->second & SIDE_TABLE_RC_PINNED)) {
        
            // 引用计数递减
            it->second -= SIDE_TABLE_RC_ONE;
        }
        table.unlock();
            
        // release 传进来的 performDealloc = true
        if (do_dealloc  &&  performDealloc) {
            // 废弃对象
            ((void(*)(objc_object *, SEL))objc_msgSend)(this, SEL_dealloc);
        }
        
        return do_dealloc;
    }

    return sidetable_release_slow(table, performDealloc);
}

另外,分析下苹果的源码,就会发现苹果对引用计数做的一些优化:

  1. 使用哈希表管理引用计数,可以通过键值对追溯到对象的内存块,在内存泄露的时候很容易定位到问题的源头;
  2. 哈希表是分段的,也就是说,查找指定对象地址时,会先去查找对象的一个范围区间,再确定具体地址。类似于图书馆里的书都是分类整理的;
  3. 哈希表加入锁,线程安全;
  4. 操作引用计数失败,会有备案操作。
(经验水平有限,如有错误欢迎指正)
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,734评论 6 505
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,931评论 3 394
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,133评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,532评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,585评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,462评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,262评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,153评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,587评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,792评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,919评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,635评论 5 345
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,237评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,855评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,983评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,048评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,864评论 2 354

推荐阅读更多精彩内容

  • 1.1 什么是自动引用计数 概念:在 LLVM 编译器中设置 ARC(Automaitc Reference Co...
    __silhouette阅读 5,158评论 1 17
  • 29.理解引用计数 Objective-C语言使用引用计数来管理内存,也就是说,每个对象都有个可以递增或递减的计数...
    Code_Ninja阅读 1,490评论 1 3
  • 什么是引用计数 原理 当我们创建一个新对象的时候,它的引用计数为1;当有一个新的指针指向这个对象时,我们将其引用计...
    陈炯阅读 300评论 1 0
  • 内存管理 简述OC中内存管理机制。与retain配对使用的方法是dealloc还是release,为什么?需要与a...
    丶逐渐阅读 1,964评论 1 16
  • 萍踪侠影少年行,犯禁须得化境功; 着我真心书义字,管他假意走偏锋。 江湖兄弟无遗憾,段氏阿朱共鬼雄; 死志英杰传美...
    铨斋阅读 443评论 8 10