今天去網(wǎng)易面試狰腌，面試官出了一道面試題柳畔，下面代碼會發(fā)生什么問題鼎姐？(PS:我TMD啥時候能去網(wǎng)易面試)
@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];
});
}
當(dāng)時我把自定義的隊列看成了串行隊列，然后回答：“沒錯呀”船殉。后來一運行崩潰了……
面試后鲫趁，我就仔細回想，敲了Demo捺弦，看看崩潰原因是啥饮寞。
正好試試小伙伴給我介紹的調(diào)試野指針的方法孝扛，XCode7以上才有的Address Sanitizer。
打開后發(fā)現(xiàn)是經(jīng)典的EXC_BAD_ACCESS錯誤幽崩，以我淺薄的經(jīng)驗來看苦始，這種一般是對一個已釋放的內(nèi)存的對象再次發(fā)送消息出現(xiàn)的。
再看看崩潰堆棧
噢慌申，看來是對已釋放的對象再次發(fā)送了release信息陌选。
我又留意到，這個對象是Strong修飾的蹄溉。
那么他的Setter方法在MRC上就相當(dāng)于
- (void)setTarget:(NSString *)target {
[target retain];//先保留新值
[_target release];//再釋放舊值
_target = target;//再進行賦值
}
那么什么時候會導(dǎo)致過多調(diào)用release呢咨油，因為這是個并行隊列+異步。
那么假如隊列A執(zhí)行到步奏2柒爵，還沒到步驟3時役电，隊列B也執(zhí)行到步驟2，那么這個對象就會被過度釋放棉胀，導(dǎo)致向已釋放內(nèi)存對象發(fā)送消息而崩潰法瑟。
后來我想怎么可以修改這段代碼變?yōu)椴槐罎⒌哪兀?/p>
1.使用串行隊列
將set方法改成在串行隊列中執(zhí)行就行，這樣即使異步唁奢，但所有block操作追加在隊列最后依次執(zhí)行霎挟。
- 使用atomic
atomic關(guān)鍵字相當(dāng)于在setter方法加鎖，這樣每次執(zhí)行setter都是線程安全的麻掸，但這只是單獨針對setter方法而言的狹義的線程安全酥夭。
3.使用weak關(guān)鍵字
weak的setter沒有保留新值或者保留舊值的操作，所以不會引發(fā)重復(fù)釋放脊奋。當(dāng)然這個時候要看具體情況能否使用weak熬北，可能值并不是所需要的值。
4.使用Tagged Pointer
Tagged Pointer是蘋果在64位系統(tǒng)引入的內(nèi)存技術(shù)诚隙。簡單來說就是對于NSString（內(nèi)存小于60位的字符串）或NSNumber（小于2^31）蒜埋，64位的指針有8個字節(jié)，完全可以直接用這個空間來直接表示值最楷，這樣的話其實會將NSString和NSNumber對象由一個指針轉(zhuǎn)換成一個值類型，而值類型的setter和getter又是原子的待错，從而線程安全籽孙。
比如上述代碼的字符串改短一些，就不會崩潰了火俄。
從而我們可以總結(jié)到犯建，線程安全有以下幾種方法：
單線程串行訪問
訪問加鎖
使用不進行額外操作的關(guān)鍵字（weak）
使用值類型
然而這只是保證了基本的線程安全（不崩潰），若是需要保證訪問出符合預(yù)期的數(shù)據(jù)瓜客，則需要采用GCD的barrier或者自己在合適的時機加鎖适瓦。
