如何定位GCD造成的死锁

我们都知道,如果在使用GCD的sync不当的时候,很容易造成死锁。比如这样:

dispatch_queue_t mainQueue = dispatch_get_main_queue();
NSLog(@"this is task 1");
dispatch_sync(mainQueue, ^{
    NSLog(@"this is task 2");
});
NSlog(@"this is task 3");

在这里不得不吐槽下被转载的很多的一篇《五个案例让你明白GCD死锁》,表示我在以前学习的时候直接看第一个案例就晕掉了。作者举了个和上面代码一样的例子,然后如下描述:

首先执行任务1,这是肯定没问题的,只是接下来,程序遇到了同步线程,那么它会进入等待,等待任务2执行完,然后执行任务3。但这是队列,有任务来,当然会将任务加到队尾,然后遵循FIFO原则执行任务。那么,现在任务2就会被加到最后,任务3排在了任务2前面,问题来了:

任务3要等任务2执行完才能执行,任务2由排在任务3后面,意味着任务2要在任务3执行完才能执行,所以他们进入了互相等待的局面。【既然这样,那干脆就卡在这里吧】这就是死锁。

可能作者自己心里是明白的,但不得不说这段表述很容易让人疑惑和误解,把人绕晕了。而且即使我们删掉任务3,这段代码就可以没问题的执行么?显然是禁不起推敲的,把最后一行的NSLog删掉,这段代码一样会死锁。

当然在实际的使用过程中,我们很少会犯这样的错误,然而这样的死锁问题离我们并不远。造成死锁的问题不是自己的线程阻塞自己,而是线程之间相互锁住了,比如:

dispatch_queue_t queue1;
dispatch_queue_t queue2;
- (void)testDeadLock {
    queue1 = dispatch_queue_create("com.demo.queue1", DISPATCH_QUEUE_SERIAL);
    queue2 = dispatch_queue_create("com.demo.queue2", DISPATCH_QUEUE_SERIAL);

    dispatch_async(queue1, ^{
        [self taskA];
    });
}

- (void)taskA {
    dispatch_sync(queue2, ^{
        NSLog(@"this is taskA");
        [self taskB];
    });
}

- (void)taskB {
    dispatch_sync(queue1, ^{
        NSLog(@"this is taskB");
    });
}

这还只是一种简单的情况,事实上,可能在1线程上的A任务调用B任务,B调用C任务,后面这个圈子越来越大,最后X任务同步Y任务到1线程,死锁就是这样造成的,然而对于Y任务来说,他可能对中间的调度并不清楚,从而引起了死锁。

如何避免GCD中的死锁,网上的文章很多,但如果已经发生了,我们如何去查找这种死锁,是一个比较费时费力的工作,然而我们可以换一种思路来定位:是否可以用其他的方法重写sync,并在超时的时候打印出debug信息,这样我们的定位工作就简单多了。用异步的写法代替同步网上有很多方法:使用dispatch_group或者dispatch_barrier_async,其实用信号量实现也很简单:

+ (void)syncTask:(void(^)())task queue:(dispatch_queue_t)queue {
    dispatch_semaphore_t sem = dispatch_semaphore_create(0);
    dispatch_async(queue, ^{
        task();
        dispatch_semaphore_signal(sem);
    });
    
    dispatch_semaphore_wait(sem, DISPATCH_TIME_FOREVER);
}

这样我们就实现了用async实现了sync的功能了。下面把这个稍加改动,打印出debug信息:

+ (void)syncTask:(void(^)())task queue:(dispatch_queue_t)queue timeOut:(float)seconds {
    dispatch_semaphore_t sem = dispatch_semaphore_create(0);
    dispatch_async(queue, ^{
        task();
        dispatch_semaphore_signal(sem);
    });
    
    if (dispatch_semaphore_wait(sem, dispatch_time(DISPATCH_TIME_NOW, (int64_t)(seconds * NSEC_PER_SEC))) != 0)
    {
        NSLog(@"dispatch timeout! queue:%@", queue);
    }
}

在我们定位问题的时候,把sync替换成这个,根据业务不同来设置seconds参数,我们就可以缩小可能造成死锁的位置了,再进一步review代码就八九不离十了。当然这个方法主要用于我们调试的时候更合适,如果是在线上的话,超时时间设置的过小而并没有发生死锁,那么就可能会造成逻辑上的问题了。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 202,723评论 5 476
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,080评论 2 379
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 149,604评论 0 335
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,440评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,431评论 5 364
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,499评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,893评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,541评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,751评论 1 296
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,547评论 2 319
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,619评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,320评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,890评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,896评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,137评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,796评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,335评论 2 342

推荐阅读更多精彩内容