如何在Grand Central Dispatch中创建死锁？

Question

在苹果的文档，它说：

要点：你不应该叫dispatch_sync或从在同一队列执行任务dispatch_sync_f 功能，你是 规划传递给函数。这对保证死锁的 串行队列尤为重要，但对于并发队列也应避免 。

你如何编写代码来做到这一点？

创建

Answer 1

的在某个队列故意僵局：

dispatch_queue_t queue = dispatch_queue_create("my.label", DISPATCH_QUEUE_SERIAL); 
dispatch_async(queue, ^{ 
    dispatch_sync(queue, ^{ 
     // outer block is waiting for this inner block to complete, 
     // inner block won't start before outer block finishes 
     // => deadlock 
    }); 

    // this will never be reached 
}); 

很明显，这里说的外部和内部的块在同一个队列操作。发生这种情况的大多数情况是在那些不太明显dispatch_sync的调用者正在操作的队列中的哪个位置。这通常发生在一个（深）嵌套堆栈中，在这个堆栈中，您正在某个队列中初始启动的某个类中执行代码，并且偶然会将dispatch_sync调用到同一个队列中。

Answer 2

简单的代码僵局：

dispatch_queue_t q = dispatch_queue_create("deadlock queue", DISPATCH_QUEUE_SERIAL); 

NSLog(@"1"); 
dispatch_async(q, ^{ 
    NSLog(@"2"); 
    dispatch_sync(q, ^{ 
     NSLog(@"3"); 
    }); 
    NSLog(@"4"); 
}); 
NSLog(@"5"); 

日志输出：

1 
5 
2 

这里内部块定于串行队列q运行，但它不能运行，直到当前块已经结束了，当前块反过来等待内部完成，因为我们同时调用它。

Answer 3

到块的最简单方法是将dispatch_sync在当前队列：

dispatch_sync(dispatch_get_current_queue(), ^{}); 

此块在当前队列是一个串行队列，例如主队列。

Answer 4

在最新斯威夫特语法：

let queue = DispatchQueue(label: "label") 
queue.async { 
    queue.sync { 
     // outer block is waiting for this inner block to complete, 
     // inner block won't start before outer block finishes 
     // => deadlock 
    } 
    // this will never be reached 
}