引用计数的存储
- 在64bit中，引用计数可以直接存储在优化过的isa指针中，也可能存储在SideTable类中
- refcnts是一个存放着对象引用计数的散列表
image.png
优化过的isa指针是一个union共用体.里面最后的19位存储着对象的引用计数.如果这19位不够存储,共用体内的has_sidetable_rc成员变量的值会变成1.
image.png
image.png - NSObject.mm源码 - 引用计数
uintptr_t
_objc_rootRetainCount(id obj)
{
assert(obj);
return obj->rootRetainCount();
}
inline uintptr_t
objc_object::rootRetainCount()
{
//是一个TaggedPointer 不是一个OC对象
if (isTaggedPointer()) return (uintptr_t)this;
sidetable_lock();
isa_t bits = LoadExclusive(&isa.bits);
ClearExclusive(&isa.bits);
if (bits.nonpointer) {//优化过的isa指针,引用计数这样获取
uintptr_t rc = 1 + bits.extra_rc;//19位够存储,直接取出引用计数 + 1
if (bits.has_sidetable_rc) {//如果19位不够存储,has_sidetable_rc值为1
rc += sidetable_getExtraRC_nolock();//从sidetable中获取额外的引用计数累加
}
sidetable_unlock();
return rc;//返回该对象的引用计数.
}
sidetable_unlock();
//没有优化过的isa指针,直接从sidetable中获取引用计数
return sidetable_retainCount();
}
dealloc weak指针实现原理
-
当一个对象要释放时，会自动调用dealloc，接下的调用轨迹是
dealloc
_objc_rootDealloc
rootDealloc
object_dispose
objc_destructInstance、free
image.png
ARC工作内容:
- LLVM编译器生成 内存管理代码 retain release
- RunTime对弱引用进行置空 等操作.
自动释放池
- 自动释放池的主要底层数据结构是：__AtAutoreleasePool、AutoreleasePoolPage
- 调用了autorelease的对象最终都是通过AutoreleasePoolPage对象来管理的
-
源码分析
clang重写@autoreleasepool
objc4源码：NSObject.mm
image.png - 每个AutoreleasePoolPage对象占用4096字节内存，除了用来存放它内部的成员变量，剩下的空间用来存放autorelease对象的地址
-
所有的AutoreleasePoolPage对象通过双向链表的形式连接在一起
image.png
AutoreleasePoolPage的结构
- 调用push方法会将一个POOL_BOUNDARY入栈，并且返回其存放的内存地址
- 调用pop方法时传入一个POOL_BOUNDARY的内存地址，会从最后一个入栈的对象开始发送release消息，直到遇到这个POOL_BOUNDARY
- id *next指向了下一个能存放autorelease对象地址的区域
Runloop和Autorelease
- iOS在主线程的Runloop中注册了2个Observer
- 第1个Observer监听了kCFRunLoopEntry事件，会调用objc_autoreleasePoolPush()
- 第2个Observer
监听了kCFRunLoopBeforeWaiting事件，会调用objc_autoreleasePoolPop()、objc_autoreleasePoolPush() - 监听了kCFRunLoopBeforeExit事件，会调用objc_autoreleasePoolPop()
autorelease对象在什么时机会被调用release
当前所处的RunLoop休眠之前,或退出前会调用pop操作,来释放autorelease对象.
方法里有局部对象， 出了方法后会立即释放吗
如果编译器对该局部对象生成的内存管理代码是autoreleasepool该对象不会立刻释放,需要在RunLoop休眠之前,或退出前会调用pop操作,来释放autorelease对象;如果编译器对该局部对象生成的内存管理代码是在方法结束插入relase代码,则该对象出了方法会立即释放.
