GCD避免死锁的三要素

平时总在用GCD,但你知不知道,GCD一不小心就会出现死锁,如果死锁在主线程上,整个程序就完了,所以避免死锁是我们则无旁贷的责任。

那我们先看看造成GCD死锁的三要素(以下内容是我个人总结,并写了一些测试用例,如有不对的地方,请大家指正 PS:我把GCD死锁分成 “普通死锁” ,“高级死锁”,"混合死锁")

普通死锁 必要条件

1.队列 串行队列:1 并行队列:0
2.调度方法 同步调用(dispatch_sync):1 异步调用(dispatch_async):0
3.同一个Q 当前所分发到的Q 和 "外部Q" 是否是同一个Q 同一个:1 不同:0

PS:"外部Q"是指
1.当前嵌套在外部的Q 如以下形式,Q1就是外部Q

dispatch_sync(Q1, ^{
     NSLog(@"b");
     dispatch_sync(Q2, ^{
            NSLog(@"c");
     });
  });)              

2.外部的方法执行时 所在的Q 如以下形式 dead1第二次运行时所在的Q是Q1 它就是外部Q

- (void)dead1{
    NSLog(@"不死1");
     __weak typeof (self) weakSelf = self;
     dispatch_sync(Q1, ^{
           NSLog(@"第二次运行死");
           [weakSelf dead1];
});}

#######结论: 如果三个条件同时满足 则死锁,如果其中一个不满足 不会死锁

高级死锁 必要条件

1.调度方法 同步阻塞调用(dispatch_barrier_sync):1 异步阻塞调用(dispatch_barrier_async):0
2.同一个Q 当前所分发到的Q 和 "外部Q" 是否是同一个Q 同一个:1 不同:0

#######结论: 如果两个条件同时满足 则死锁,如果其中一个不满足 不会死锁 (高级死锁主要针对dispatch_barrier而言)

混合死锁 必要条件

1.调度方法 同步阻塞调用(dispatch_barrier_sync)或同步调用(dispatch_sync):1 异步阻塞调用(dispatch_barrier_async)或异步调用(dispatch_async):0
2.同一个Q 当前所分发到的Q 和 "外部Q" 是否是同一个Q 同一个:1 不同:0

#######结论: 如果两个条件同时满足 则死锁,如果其中一个不满足 不会死锁 (混合死锁主要针对dispatch_barrier 和 dispatch_async,dispatch_sync嵌套调用而言)

---

以下是死锁测试用例

- (void)viewDidLoad 
{
     [super viewDidLoad];
    // 创建两个串行队列和一个并行队列
    _serialQueue = dispatch_queue_create("aabbcc", DISPATCH_QUEUE_SERIAL);
    _secondSerialQueue = dispatch_queue_create("ssss", DISPATCH_QUEUE_SERIAL);
    _concurrentQueue = dispatch_queue_create("dddd", DISPATCH_QUEUE_CONCURRENT); 
    [self dead1];
    [self dead2];
    [self dead3];
 }

一 普通死锁

- (void)dead1
{
    NSLog(@"不死1");
    __weak typeof (self) weakSelf = self;
    dispatch_sync(_serialQueue, ^{
        NSLog(@"第二次运行死");
        [weakSelf dead1];
    });
} 

PS:打印日志如下:
2015-10-29 16:46:35.611 DeadLockTest[19971:204243] 不死1
2015-10-29 16:46:35.612 DeadLockTest[19971:204243] 第二次运行死
2015-10-29 16:46:35.612 DeadLockTest[19971:204243] 不死1
原因 在[weakSelf dead1]; 循环调用方法本身时,它就在_serialQueue队列上运行,此时“dispatch_sync(_serialQueue, ^{}” 满足条件三,同一个Q _serialQueue上 同时又满足 串行Q 和 同步分发 所以在第二次运行时产生死锁。

- (void)dead2
{
    NSLog(@"不死1");
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"死锁");
    });
}    

PS:打印日志如下:
2015-10-29 16:52:45.435 DeadLockTest[20036:206574] 不死1
原因 dispatch_get_main_queue() 是主Q dead2本身就在主Q 上运行 符合同一个Q 并且同时符合2，3条件 所以死锁

二 高级死锁

//死在子线程
- (void)dead3
{
    //并行队列死锁
    NSLog(@"a");
    dispatch_async(_concurrentQueue, ^{
        NSLog(@"b");
        dispatch_barrier_sync(_concurrentQueue, ^{
             NSLog(@"c");
        });
    });
}

PS:打印日志如下:
2015-10-29 18:15:02.522 DeadLockTest[27790:256689] a
2015-10-29 18:15:05.919 DeadLockTest[27790:256851] b
原因 同时满足 1都是同一个Q _concurrentQueue 2同步分发 使用dispatch_barrier_sync 所以死锁

三 混合死锁

//混合模式,内部使用dispatch_sync 又是同一Q _concurrentQueue 死锁
- (void)dead4
{
    NSLog(@"不死1");
    dispatch_barrier_async(_concurrentQueue, ^{
        NSLog(@"不死2");
       dispatch_sync(_concurrentQueue, ^{
           NSLog(@"死在子线程上");
       });
    });
}

PS:打印日志如下:
2015-10-30 10:13:08.544 DeadLockTest[5346:35961] 不死1
2015-10-30 10:13:08.550 DeadLockTest[5346:36036] 不死2
原因 同时满足 1都是同一个Q _concurrentQueue 2同步分发 使用dispatch_sync 所以死锁

//混合模式,内部使用dispatch_barrier_sync 又是同一Q _concurrentQueue 死锁
- (void)dead5
{
    NSLog(@"不死1");
    dispatch_async(_concurrentQueue, ^{
        NSLog(@"不死2");
        dispatch_barrier_sync(_concurrentQueue, ^{
           NSLog(@"死在子线程上");
       });
    });
}

PS:打印日志如下:
2015-10-30 10:14:08.544 DeadLockTest[5346:35961] 不死1
2015-10-30 10:14:08.550 DeadLockTest[5346:36036] 不死2
原因 同时满足 1都是同一个Q _concurrentQueue 2同步分发 使用dispatch_barrier_sync 所以死锁

---

以下是非死锁测试用例

/*打破条件1  _concurrentQueue 是并行队列 不死锁 */
- (void)noDead1
{
    NSLog(@"a");
    dispatch_async(_concurrentQueue, ^{
        NSLog(@"b");
       dispatch_sync(_concurrentQueue, ^{
           NSLog(@"c");
       });
    });
}

PS:打印日志如下
2015-10-29 18:22:36.724 DeadLockTest[27922:261502] a
2015-10-29 18:22:36.725 DeadLockTest[27922:261633] b
2015-10-29 18:22:36.726 DeadLockTest[27922:261633] c

  /*虽然说三条日志都在主线程上执行,但是因为是在两个不同的队列上 打破条件3  
  不会死锁 _serialQueue和_secondSerialQueue 不是同一个队列*/
- (void)noDead2
{
    NSLog(@"不死1");
    dispatch_sync(_serialQueue, ^{
        NSLog(@"不死2");
        dispatch_sync(_secondSerialQueue, ^{
            NSLog(@"不死3");
        });
    });
}

PS:打印日志如下
2015-10-29 18:26:23.876 DeadLockTest[27977:263046] 不死1
2015-10-29 18:26:23.877 DeadLockTest[27977:263046] 不死2
2015-10-29 18:26:23.878 DeadLockTest[27977:263046] 不死3

---

以上就是对死锁的分析,如果掌握了这几个必要条件,赶快用下面的链接练练手吧,检验一下对不对
http://www.cnblogs.com/tangbinblog/p/4133481.html