并发机制研究

在iOS中,进程或应用程序由一个或多个线程组成。操作系统调度程序彼此独立地管理线程。

进程和线程都是一个时间段的描述,是CPU工作时间段的描述。
进程是系统资源分配的最小单位,线程是cpu调度资源的最小单位

单核设备通过时间切片time-slicing的方法实现并发。它们运行一个线程,执行上下文切换,然后运行另一个线程。
多核设备通过parallelism同时执行多个线程


不同设备并发机制

GCD建立在线程之上,它负责管理共享线程池。使用GCD,可以添加代码块或工作项来调度队列dispatch queues,GCD决定执行它们的线程

GCD通过一个名为DispatchQueue的类来操作调度队列。将工作单位提交到此队列,GCD以FIFO顺序(先进先出)执行它们,保证提交的第一个任务是第一个启动的任务

GCD提供三种主要类型的队列
· Main queue 主队列:在主线程上运行,是一个串行队列。
· Global queues 全局队列 整个系统共享的并发队列。有四个优先级 high, default, low, backgound
· Custome queues 自定义队列,可以自己创建的一个串行或并发的队列。但实际上还是请求一个全局队列

至于线程和队列的关系,我看了其他的资料,觉得这个说得蛮有道理
https://www.jianshu.com/p/0763add61358

int main(void) {
dispatch_queue_t queue = dispatch_queue_create(“com.somecompany.queue”, nil);
dispatch_async(queue, ^{ //任务1
    [self goDoSomethingLongAndInvolved]; 
    dispatch_sync(queue, ^{ // 任务2
        NSLog(@"Situation 1"); 
    });
});
return 0;
}

以上代码调用会死锁,任务2和任务1互相等待,程序会崩溃

int main(void) {
dispatch_queue_t queue = dispatch_queue_create(“com.somecompany.queue”, nil);
dispatch_sync(queue, ^{ // 任务1
        NSLog(@"Situation 1"); 
});
return 0;
}

这种场景正常,queue是主线程生成的串行队列

int main(void) {
dispatch_queue_t queue = dispatch_get_main_queue();
dispatch_sync(queue, ^{ // 任务1
        NSLog(@"Situation 1"); 
});
return 0;
}

这种会死锁,queue是主队列,也是串行队列

为什么都是串行队列,场景3卡死是因为本身sync函数调用本身就在主队列中

首先,死锁的原因第一个是同步提交(可以类似等待操作),这种方式会阻塞当前线程,其次是相同队列,在场景3,任务1处于主线程,主队列,所以里面的打印需要等主队列执行完“return 0”才能执行,但“return 0”需要主队列执行完打印才能执行,这样就造成了死锁。

接下来看另一种场景

dispatch_queue_t serialQueue = dispatch_queue_create("fjajfklj", DISPATCH_QUEUE_SERIAL);
 dispatch_async(serialQueue, ^{
        NSLog(@"111");
        NSLog(@"%@",[NSThread currentThread]);
    });
    dispatch_async(serialQueue, ^{
        NSLog(@"222");
        NSLog(@"%@",[NSThread currentThread]);
    });
    dispatch_async(serialQueue, ^{
        NSLog(@"333");
        NSLog(@"%@",[NSThread currentThread]);
    });
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(5 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        dispatch_async(serialQueue, ^{
            NSLog(@"444");
            NSLog(@"%@",[NSThread currentThread]);
        });
    });

打印如下

2018-09-13 16:41:01.792392+0800 ConcurrentDemo[21815:1015633] 111
2018-09-13 16:41:01.792640+0800 ConcurrentDemo[21815:1015633] <NSThread: 0x600000465040>{number = 3, name = (null)}
2018-09-13 16:41:01.792743+0800 ConcurrentDemo[21815:1015633] 222
2018-09-13 16:41:01.793222+0800 ConcurrentDemo[21815:1015633] <NSThread: 0x600000465040>{number = 3, name = (null)}
2018-09-13 16:41:01.793740+0800 ConcurrentDemo[21815:1015633] 333
2018-09-13 16:41:01.793833+0800 ConcurrentDemo[21815:1015633] <NSThread: 0x600000465040>{number = 3, name = (null)}
2018-09-13 16:41:07.281068+0800 ConcurrentDemo[21815:1015636] 444
2018-09-13 16:41:07.281254+0800 ConcurrentDemo[21815:1015636] <NSThread: 0x60000027aa80>{number = 4, name = (null)}

输出444的有几率在另一个线程进行,但是他们同属于一个串行队列,所不同的444延迟了几秒执行。

里面的主要原因就是runloop的原因,串行队列里面所调度的线程,在一个runloop的区间内用完就释放了

这段代码运行于viewDidLoad{}里面。可以认为是主队列的一个任务片段,这个任务片段处于同一个runloop周期内,前面3个dispatch_async是属于这个任务片段内的一个小片段,也就是说,这3个小片段都属于主队列的runloop周期里面,且是异步操作,因此能够很快返回。

至于最后一个dispatch_asnyc因为延迟函数,在主runloop当前的循环的下一个或者几个循环里面。上面创造的thread已经消亡,所以主runloop会去新建一个线程。

GCD实现原理

GCD有一个底层线程池,这个池中存放的是一个个线程,线程可以复用,一段时间没有被调用的话,这个线程就会被销毁。开多少线程是由底层线程池决定,池是系统自动来维护,不需要我们程序员来维护。

我们在使用同步提交的时候可以看到不会创建新的线程,异步提交的时候一般会创建新的线程。因为开不开新线程,并不是异步提交来决定的,而是由队列这个线程调度的掌控者来决定的。

因为每个队列下面都维护线程池,如果线程池的线程有空,我为何要重新开辟一个新线程呢?

至于死锁的问题,我查看了一下bestswifter(https://bestswifter.com/deep-gcd/)
的博客和查看了GCD的源码
GCD文档上写了调用dispatch_sync的时候,指定的队列不应该是当前上下文的队列,不然会造成死锁

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

推荐阅读更多精彩内容

  • 从哪说起呢? 单纯讲多线程编程真的不知道从哪下嘴。。 不如我直接引用一个最简单的问题,以这个作为切入点好了 在ma...
    Mr_Baymax阅读 2,726评论 1 17
  • 1.ios高性能编程 (1).内层 最小的内层平均值和峰值(2).耗电量 高效的算法和数据结构(3).初始化时...
    欧辰_OSR阅读 29,299评论 8 265
  • GCD调度队列是执行任务的强大工具。调度队列允许您相对于调度者异步或者同步的执行任意代码块。您能够使用调度队列来执...
    坤坤同学阅读 6,661评论 1 3
  • 本文首发于我的个人博客:「程序员充电站」[https://itcharge.cn]文章链接:「传送门」[https...
    ITCharge阅读 347,180评论 308 1,924
  • 所谓人生,归根到底,就是“一瞬间、一瞬间持续的积累”,如此而已。每一秒钟的积累成为今天这一天;每一天的积累成为一周...
    聚字成书阅读 957评论 0 0