从一道网易面试题浅谈OC线程安全
2017-08-25 16:36编辑:suiling分类:iOS开发来源:
376340
OC
招聘信息:
Mac开发
iOS高级开发工程师
iOS开发工程师
Cocos2d-x开发工程师
手游服务器开发工程师(C++)
Android / iOS / Web / Backend 资深开发工程师
iOS 开发工程师(实习)
iOS开发工程师
产品经理
cocos2d-x休闲游戏开发
Java工程师
今天去网易面试,面试官出了一道面试题,下面代码会发生什么问题?
1
2
3
4
5
6
7
8@property (nonatomic, strong) NSString *target;
//....
dispatch_queue_t queue = dispatch_queue_create("parallel", DISPATCH_QUEUE_CONCURRENT);
for(int i = 0; i < 1000000 ; i++) {
dispatch_async(queue, ^{
self.target = [NSString stringWithFormat:@"ksddkjalkjd%d",i];
});
}
当时我把自定义的队列看成了串行队列,然后回答:“没错呀”。后来一运行崩溃了……
面试后,我就仔细回想,敲了Demo,看看崩溃原因是啥。
正好试试小伙伴给我介绍的调试野指针的方法,XCode7以上才有的Address Sanitizer。
打开后发现是经典的EXC_BAD_ACCESS错误,以我浅薄的经验来看,这种一般是对一个已释放的内存的对象再次发送消息出现的。
![](http://img.e-com-net.com/image/info10/1f60dccdc49d4adbbae0631e2e9ccfb4.jpg)
屏幕快照 2017-08-25 上午1.55.50
再看看崩溃堆栈
屏幕快照 2017-08-25 上午1.53.22
噢,看来是对已释放的对象再次发送了release信息。
我又留意到,这个对象是Strong修饰的。
那么他的Setter方法在MRC上就相当于
1
2
3
4
5- (void)setTarget:(NSString *)target {
[target retain];//先保留新值
[_target release];//再释放旧值
_target = target;//再进行赋值
}
那么什么时候会导致过多调用release呢,因为这是个并行队列+异步。
那么假如队列A执行到步奏2,还没到步骤3时,队列B也执行到步骤2,那么这个对象就会被过度释放,导致向已释放内存对象发送消息而崩溃。
后来我想怎么可以修改这段代码变为不崩溃的呢?
1.使用串行队列
将set方法改成在串行队列中执行就行,这样即使异步,但所有block操作追加在队列最后依次执行。
2. 使用atomic
atomic关键字相当于在setter方法加锁,这样每次执行setter都是线程安全的,但这只是单独针对setter方法而言的狭义的线程安全。
3.使用weak关键字
weak的setter没有保留新值或者保留旧值的操作,所以不会引发重复释放。当然这个时候要看具体情况能否使用weak,可能值并不是所需要的值。
4.使用Tagged Pointer
Tagged Pointer是苹果在64位系统引入的内存技术。简单来说就是对于NSString(内存小于60位的字符串)或NSNumber(小于2^31),64位的指针有8个字节,完全可以直接用这个空间来直接表示值,这样的话其实会将NSString和NSNumber对象由一个指针转换成一个值类型,而值类型的setter和getter又是原子的,从而线程安全。
比如上述代码的字符串改短一些,就不会崩溃了。
从而我们可以总结到,线程安全有以下几种方法:
单线程串行访问
访问加锁
使用不进行额外操作的关键字(weak)
使用值类型
然而这只是保证了基本的线程安全(不崩溃),若是需要保证访问出符合预期的数据,则需要采用GCD的barrier或者自己在合适的时机加锁。