2-内存管理

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

内存管理的RetainCount

简单来说，内存管理就是retainCount到0时，如果还要进行release那么该对象需要被释放。不论是MRC、ARC环境中，其底层的内存管理都依赖于它。下面从retain、release两个小节来说明如何维护retainCount来进行引用计数。

一、retain

1.1 正常的rootRetain

这里假设isa中的extra_rc的位数足以存储retainCount，关于extra_rc参考2.1.2节，简化后代码如下：

• 使用 LoadExclusive 加载 isa 的值
• 调用 addc(newisa.bits, RC_ONE, 0, &carry) 方法将 isa 的值加RC_ONE
• 调用 StoreExclusive(&isa.bits, oldisa.bits, newisa.bits) 更新 isa 的值
• 返回当前对象

1.2 有进位版的rootRetain

如果addc方法对extra_rc加RC_ONE溢出时，简化后代码如下：

当方法传入的 handleOverflow = false 时（这也是通常情况），我们会调用 rootRetain_overflow 方法：

这个方法其实就是重新执行 rootRetain 方法，并传入 handleOverflow = true。这时就会在 rootRetain 方法中处理引用计数的溢出。简化后代码如下：


溢出之前是11111111，+1之后溢出处理：

• 将isa的extra_rc变成10000000
• 将10000000进位到sidetable中
  
  
  因为 refcnts 中的 64 位的最低两位是有意义的标志位，所以在使用 addc 时要将 delta_rc 左移SIDE_TABLE_RC_SHIFT，获得一个新的引用计数 newRefcnt，如果这时出现了溢出，那么就会撤销这次的行为。否则，会将新的引用计数存储到 refcntStorage 指针中。

二 release

2.1 正常的release

假设extra_rc不会发生溢出，就是extra_rc减一(RC_ONE)，简化后的代码如下：

• 使用 LoadExclusive 获取 isa 内容
• 将 isa 中的引用计数减一
• 调用 StoreReleaseExclusive 方法保存新的 isa

2.2 从 SideTable 借位

去掉锁相关操作以及调用StoreExclusive失败后恢复现场的代码。简化后如下：

这里也有一个 handleUnderflow，与 retain 中的相同，如果发生了 underflow，会重新调用该 rootRelease 方法，并传入 handleUnderflow = true。在调用 sidetable_subExtraRC_nolock 成功借位之后(sidetable中减去RC_HALF)，重新设置 newisa 的值 newisa.extra_rc = borrowed - 1 并更新 isa。

2.3 release中的dealloc

如果在 SideTable 中也没有获取到借位的话，就说明没有任何的变量引用了当前对象（即 retainCount = 0），就需要向它发送 dealloc 消息了。为了确保消息只会发送一次，使用 deallocating 标记位。

三、dealloc

当对象的引用计数为0时，底层会调用_objc_rootDealloc方法对对象进行释放，而在_objc_rootDealloc方法里面会调用rootDealloc方法。如下是rootDealloc方法(objc-object.h)的代码实现。

object_dispose(objc-runtime-new.mm)内部只是调用了objc_destructInstance方法，代码如下：

objc_destructInstance方法关于删除对象的assocation，以及清除weak引用的细节后续再说，具体代码注解如下：

总结

• retainCount是由isa中extra_rc和Sidetable一起组成
• 对象的retainCount归零时，还要再减一的时候，会调用dealloc方法回收对象
• extra_rc = 0是代表retainCount为1