iOS-OC底层27:内存管理
1.小对象类型
面试题
- (void)taggedPointerDemo {
self.queue = dispatch_queue_create("com.myself.cn", DISPATCH_QUEUE_CONCURRENT);
for (int i = 0; i<10000; i++) {
dispatch_async(self.queue, ^{
self.nameStr = [NSString stringWithFormat:@"hello"]; // alloc 堆 iOS优化 - taggedpointer
NSLog(@"%@",self.nameStr);
});
}
}
-(void) taggedPointerDemo2{
for (int i = 0; i<10000; i++) {
dispatch_async(self.queue, ^{
self.nameStr = [NSString stringWithFormat:@"hello_我是追梦的少年,你怎么不追梦呢"];
NSLog(@"%@",self.nameStr);
});
}}
taggedPointerDemo正常打印,taggedPointerDemo2 crash,出错的原因是objc_release,taggedPointerDemo2crash我们知道原因,self.nameStr调用set方法,对旧值的release 对新值retain,因为多线程,可能出现对同一个对象过度释放。但是taggedPointerDemo为什么没有问题呢?我们打印对象信息
在taggedPointerDemo打印self.nameStr,
(lldb) p self.nameStr
(NSTaggedPointerString *) $0 = 0xae6a0a553e3028c6 @"hello"
(lldb) p self.nameStr
(__NSCFString *) $0 = 0x0000000282774140 @"hello_我是追梦的少年,你怎么不追梦呢"
可以看出两个方法中的self.namestr是不同的类型TaggedPointer
我们先研究为什么TaggedPointer没有发生crash,我们看一下retain和release方法对TaggedPointer怎么处理的
在
id
objc_retain(id obj)
{
if (!obj) return obj;
if (obj->isTaggedPointer()) return obj;
return obj->retain();
}
void
objc_release(id obj)
{
if (!obj) return;
if (obj->isTaggedPointer()) return;
return obj->release();
}
在objc_retain和objc_release会判断是否为TaggedPointer,如果是直接返回,TaggedPointer的生命周期不做处理,所以不会发生过度释放。
TaggedPointer的研究
在read_images中有对taggedPointer的处理initializeTaggedPointerObfuscator在源码的文件objc-internal.h中可以看出对taggedPointer的详细处理
_objc_encodeTaggedPointer
_objc_decodeTaggedPointer
_objc_taggedPointersEnabled
_objc_makeTaggedPointer
_objc_isTaggedPointer
_objc_getTaggedPointerTag
_objc_getTaggedPointerValue
_objc_getTaggedPointerSignedValue
_objc_encodeTaggedPointer:对我们生成的TaggedPointer进行编码
_objc_decodeTaggedPointer:对TaggedPointer进行解码 编码和解码通过异或完成
_objc_taggedPointersEnabled:系统是否支付TaggedPointer
_objc_isTaggedPointer:这个指针是否是TaggedPointer类型
_objc_getTaggedPointerTag:获取指针内的数据是什么类型
_objc_getTaggedPointerValue:获取指针中包含的数据,获取到的数据是无符号的
_objc_getTaggedPointerSignedValue:获取指针中包含的数据,获取到的数据是有符号的
我们可以在我们的工程中做以下声明来方便我们研究taggedPointer的过程
#import <objc/runtime.h>
extern uintptr_t objc_debug_taggedpointer_obfuscator;
uintptr_t
_objc_decodeTaggedPointer_(id ptr)
{
return (uintptr_t)ptr ^ objc_debug_taggedpointer_obfuscator;
}
我们在项目中的TaggedPointer都是经过系统编码处理的,所以我们可以在项目中objc_decodeTaggedPointer解码处理。
1.获取TaggedPointer的类型_objc_getTaggedPointerTag
NSString *str1 = [NSString stringWithFormat:@"a"];
NSLog(@"---0x%lx",_objc_decodeTaggedPointer_(str1));
NSNumber *number1 = @1;
NSLog(@"0x%lx",_objc_decodeTaggedPointer_(number1));
0xa000000000000611
0xb000000000000012
看_objc_getTaggedPointerTag中的源码处理我们得出 $1 = 0x0000000000000002和0x0000000000000003.
((value >> _OBJC_TAG_INDEX_SHIFT) & _OBJC_TAG_INDEX_MASK)
objc_tag_index_t中OBJC_TAG_NSString为2,OBJC_TAG_NSNumber为3,的出验证。我们再创建NSDate对象进行验证,打印和输出结果如下
0xe2d2b71b2a103a5c
(lldb) p/x (0xe2d2b71b2a103a5c >> 0x3c) & 0x7
(unsigned long) $0 = 0x0000000000000006
OBJC_TAG_NSDate的值为6
2._objc_getTaggedPointerValue从指针中获取值
p/x (0xa000000000000611 << 0x4) >> 0x4
(unsigned long) $2 = 0x0000000000000611
a的scill码是0x61得以验证
散列表补充
2.retain
retain底层实现是objc_retain,如果是isTaggedPointer直接返回,
objc_retain--》rootRetain
1.先判断是否是nonpointer
如果不是
对散列表加1
如果是则进行2
2.判断是否在deallocating
如果是,不进行引用计数的操作,返回nil,让对象进行dealloc
如果不是则进行3
3.对引用计数加1
判断extra_rc是否存满
如果存满则进行4
如果没存满则不进行操作
4.对extra_rc减半处理并设置标记transcribeToSideTable为true
5.判断transcribeToSideTable,如果是true则把引用计数的一半加到散列表中。
3.retainCount
NSObject *objc = [NSObject alloc];
NSLog(@"%ld",CFGetRetainCount((__bridge CFTypeRef)objc));
打印结果是1,为什么呢?
inline uintptr_t
objc_object::rootRetainCount()
{
if (isTaggedPointer()) return (uintptr_t)this;
sidetable_lock();
isa_t bits = LoadExclusive(&isa.bits);
ClearExclusive(&isa.bits);
if (bits.nonpointer) {
uintptr_t rc = 1 + bits.extra_rc;
if (bits.has_sidetable_rc) {
rc += sidetable_getExtraRC_nolock();
}
sidetable_unlock();
return rc;
}
sidetable_unlock();
return sidetable_retainCount();
}
初始化的对像bits.extra_rc为0,因为rootRetainCount中有加1,所以返回是1.
即使CFGetRetainCount很多次返回依然是1,因为rootRetainCount中只加1,没有对bits.extra_rc操作。
4.release
先从bits.extra_rc减1.如果extra_rc减为0了,则从散列表中取出,并放置到extra_rc,如果extra_rc最终被减为0,则向对象发送delloc消息。
5.delloc
如果没有弱引用,关联对象,c++,散列表计数,就直接free,如果有,则object_dispose,
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); //销毁c++
if (assoc) _object_remove_assocations(obj);//清理关联的对象
obj->clearDeallocating();
}
return obj;
}
clearDeallocating对弱引用和散列表中的引用计数进行处理。