线程同步
阿里有个面试题
使用GCD如何实现A，B，C三个任务并发，完成后执行任务D？
// 异步 并发队列 当前线程不等待，而且任务是并发队列，一次可以执行多个
dispatch_async(dispatch_get_global_queue(0, 0), ^{
// 第一种 同步任务
NSLog(@"同步任务打印1");
// 第二种 网络请求发送任务 (发送这个操作是任务，而网络返回的报文是不归任务管理的，因此发送任务发送之后，任务已经结束)
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"异步任务返回报文打印1");
});
});
可以看到异步并发任务有两种，一种任务是同步的，一种任务是网络请求，发送操作是同步的，但是请求到的结果是异步的。阿里的面试题，肯定是后者异步并发队列里面的任务也是并发的操作，如何实现ABC三个网络请求都回来之后->执行D这样的操作？
异步并发（同步任务）
同步任务很简单，也是所有你能搜到的资料告诉你如何做到的几个方法。
第一种GCD group
dispatch_group_t group = dispatch_group_create();
dispatch_queue_t queue = dispatch_get_global_queue(0, 0);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务A");
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务B");
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务C");
});
dispatch_group_notify(group, queue, ^{
NSLog(@"任务完成执行");
});
// 2018-04-18 10:18:52.950271+0800 GCD[2283:78081] 同步任务B
// 2018-04-18 10:18:52.950271+0800 GCD[2283:78082] 同步任务C
// 2018-04-18 10:18:52.950273+0800 GCD[2283:78083] 同步任务A
// 2018-04-18 10:18:52.950424+0800 GCD[2283:78082] 任务完成执行
// 2018-04-18 10:19:30.821003+0800 GCD[2315:79354] 同步任务B
// 2018-04-18 10:19:30.821003+0800 GCD[2315:79355] 同步任务A
// 2018-04-18 10:19:30.821003+0800 GCD[2315:79370] 同步任务C
// 2018-04-18 10:19:30.821145+0800 GCD[2315:79355] 任务完成执行
可以看到，异步线程，并发队列里面，三个任务可以同时执行，因此打印顺序随机。但是由于打印的任务，这个打印的动作是同步的，没有再开线程有其他进一步的异步操作，所以你看起来好像没什么问题。
第二种 dispatch_barrier_async
dispatch_queue_t queue = dispatch_queue_create(0, DISPATCH_QUEUE_CONCURRENT);
dispatch_async(queue, ^{
NSLog(@"任务A");
});
dispatch_async(queue, ^{
NSLog(@"任务B");
});
dispatch_async(queue, ^{
NSLog(@"任务C");
});
dispatch_barrier_async(queue, ^{
NSLog(@"阻塞自定义并发队列");
});
dispatch_async(queue, ^{
NSLog(@"任务D");
});
dispatch_async(queue, ^{
NSLog(@"任务E");
});注意，这里用到的dispatch_barrier_async如果使用的队列是dispatch_global_queue，那么就等同意dispatch_async，起不到阻塞的作用。我们需要自己创建并发队列，然后再执行barrier函数，前面ABC三个任务随机，后面DE随机，但是DE的执行必须是等待ABC任务执行完的。
第三种 NSOperation
NSBlockOperation *operatioon1 = [NSBlockOperation blockOperationWithBlock:^{
NSLog(@"任务A");
}];
NSBlockOperation *operatioon2 = [NSBlockOperation blockOperationWithBlock:^{
NSLog(@"任务B");
}];
NSBlockOperation *operatioon3 = [NSBlockOperation blockOperationWithBlock:^{
NSLog(@"任务C");
}];
NSBlockOperation *operatioon4 = [NSBlockOperation blockOperationWithBlock:^{
NSLog(@"任务D");
}];
[operatioon4 addDependency:operatioon1];
[operatioon4 addDependency:operatioon2];
[operatioon4 addDependency:operatioon3];
NSOperationQueue *queue = [[NSOperationQueue alloc] init];
[queue addOperations:@[operatioon1,operatioon2,operatioon3,operatioon4] waitUntilFinished:YES];
NSLog(@"完成之后的操作");通过任务之间的依赖关系执行，最后的参数YES的时候是会阻塞当前线程，执行完之后再往后执行，NO的话就不阻塞
可以看到，上面的都是异步并发操作，而里面的任务是同步的，这里的任务指的是Block里面的所有操作，但是如果Block里面的操作是网络请求，也是异步的，那上面的做法就会有问题了，看如下代码
错误例子
dispatch_group_t group = dispatch_group_create();
dispatch_queue_t queue = dispatch_get_global_queue(0, 0);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务A");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务AA");
});
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务B");
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务C");
});
dispatch_group_notify(group, queue, ^{
NSLog(@"任务完成执行");
});
// 2018-04-18 10:53:16.294263+0800 GCD[3287:115681] 同步任务B
// 2018-04-18 10:53:16.294263+0800 GCD[3287:115679] 同步任务C
// 2018-04-18 10:53:16.294263+0800 GCD[3287:115699] 同步任务A
// 2018-04-18 10:53:16.294430+0800 GCD[3287:115699] 任务完成执行
// 2018-04-18 10:53:18.294592+0800 GCD[3287:115646] 网络异步任务AA
用dispatch_after来模拟网络请求，可以看到，同步任务ABC->D这些操作还是正确的，但是里面有个模拟网络请求的任务，就不会按我们所想的顺序执行了。为什么呢？很简单，首先都是异步的，子线程操作，而且是并发队列，那么任务可以多个一起，如果任务是单纯的打印，即同步任务，那么就能完成我们的预期，如果Block任务里面还嵌套异步任务，因为并发队列里面的任务，只是负责打印和发送请求的操作，异步回调数据是不归队列管的，任务的执行完毕，只是Block代码块代码执行完，如果里面还包含异步任务，这里就需要通过信号量dispatch_semaphore来实现了。
下面就来实现如果并发队列里面的任务是网络请求，如何等ABC三个网络请求回调之后，再执行D？
先来介绍下Dispatch_semaphore的使用
dispatch_semaphore是GCD用来同步的一种方式，与他相关的共有三个函数，分别是
dispatch_semaphore_create，dispatch_semaphore_signal，dispatch_semaphore_wait。
下面我们逐一介绍三个函数：
（1）dispatch_semaphore_create的声明为：
dispatch_semaphore_t dispatch_semaphore_create(long value);
传入的参数为long，输出一个dispatch_semaphore_t类型且值为value的信号量。
值得注意的是，这里的传入的参数value必须大于或等于0，否则dispatch_semaphore_create会返回NULL。
（关于信号量，我就不在这里累述了，网上很多介绍这个的。我们这里主要讲一下dispatch_semaphore这三个函数的用法）。
（2）dispatch_semaphore_signal的声明为：
long dispatch_semaphore_signal(dispatch_semaphore_t dsema)
这个函数会使传入的信号量dsema的值加1；（至于返回值，待会儿再讲）
(3) dispatch_semaphore_wait的声明为：
long dispatch_semaphore_wait(dispatch_semaphore_t dsema, dispatch_time_t timeout)；
这个函数会使传入的信号量dsema的值减1；
这个函数的作用是这样的，如果dsema信号量的值大于0，该函数所处线程就继续执行下面的语句，并且将信号量的值减1；
如果desema的值为0，那么这个函数就阻塞当前线程等待timeout（注意timeout的类型为dispatch_time_t，
不能直接传入整形或float型数），如果等待的期间desema的值被dispatch_semaphore_signal函数加1了，
且该函数（即dispatch_semaphore_wait）所处线程获得了信号量，那么就继续向下执行并将信号量减1。
如果等待期间没有获取到信号量或者信号量的值一直为0，那么等到timeout时，其所处线程自动执行其后语句。
（4）dispatch_semaphore_signal的返回值为long类型，当返回值为0时表示当前并没有线程等待其处理的信号量，其处理
的信号量的值加1即可。当返回值不为0时，表示其当前有（一个或多个）线程等待其处理的信号量，并且该函数唤醒了一
个等待的线程（当线程有优先级时，唤醒优先级最高的线程；否则随机唤醒）。
dispatch_semaphore_wait的返回值也为long型。当其返回0时表示在timeout之前，该函数所处的线程被成功唤醒。
当其返回不为0时，表示timeout发生。
（5）在设置timeout时，比较有用的两个宏：DISPATCH_TIME_NOW 和 DISPATCH_TIME_FOREVER。
DISPATCH_TIME_NOW 表示当前；
DISPATCH_TIME_FOREVER 表示遥远的未来；
一般可以直接设置timeout为这两个宏其中的一个，或者自己创建一个dispatch_time_t类型的变量。
创建dispatch_time_t类型的变量有两种方法，dispatch_time和dispatch_walltime。
利用创建dispatch_time创建dispatch_time_t类型变量的时候一般也会用到这两个变量。
dispatch_time的声明如下：
dispatch_time_t dispatch_time(dispatch_time_t when, int64_t delta)；
其参数when需传入一个dispatch_time_t类型的变量，和一个delta值。表示when加delta时间就是timeout的时间。
例如：dispatch_time_t t = dispatch_time(DISPATCH_TIME_NOW, 1*1000*1000*1000);
表示当前时间向后延时一秒为timeout的时间。
（6）关于信号量，一般可以用停车来比喻。
停车场剩余4个车位，那么即使同时来了四辆车也能停的下。如果此时来了五辆车，那么就有一辆需要等待。
信号量的值就相当于剩余车位的数目，dispatch_semaphore_wait函数就相当于来了一辆车，dispatch_semaphore_signal
就相当于走了一辆车。停车位的剩余数目在初始化的时候就已经指明了（dispatch_semaphore_create（long value）），
调用一次dispatch_semaphore_signal，剩余的车位就增加一个；调用一次dispatch_semaphore_wait剩余车位就减少一个；
当剩余车位为0时，再来车（即调用dispatch_semaphore_wait）就只能等待。有可能同时有几辆车等待一个停车位。有些车主
没有耐心，给自己设定了一段等待时间，这段时间内等不到停车位就走了，如果等到了就开进去停车。而有些车主就像把车停在这，
所以就一直等下去。
异步并发（模拟网络异步任务）
子线程同时执行ABC三个同步任务、全部执行完成再在子线程执行三个同步任务D。说队列组/依赖基本可以确定了解GCD/NSOpertion。但是比较麻烦、用线程栅栏dispatch_barrier的话会更简便一些
这个就是上面的同步介绍面试题
如果只说队列/任务组肯定不行。 因为网络请求本身是异步的、任务会立即完成、但数据还没有回来。
最好的就是在队列组的前提下。把异步的网络请求转化为同步、以捕获正确的完成时机。
具体操作需要使用信号量。
这里有个帖子有介绍这个，但是没有具体Demo，下面看看如何组合信号量实现的
第一种 dispatch_group + semaphore
dispatch_group_t group = dispatch_group_create();
dispatch_queue_t queue = dispatch_get_global_queue(0, 0);
dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务A");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务一");
dispatch_semaphore_signal(semaphore);
});
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务B");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(0.8f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务二");
dispatch_semaphore_signal(semaphore);
});
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务C");
});
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务D");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3.5f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务四");
dispatch_semaphore_signal(semaphore);
});
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
});
dispatch_group_notify(group, queue, ^{
NSLog(@"任务完成执行");
});
分析如下：
异步并发队列，里面添加了四个任务，任务AB有网络请求，C同步任务打印，D也有网络请求，如何在ABCD四个任务完成，而且网络请求也完成之后执行之后的操作？
可以看到，Block整个就是一个任务，如果没有dispatch_semaphore_wait，带有网络请求的任务，因为网络请求本身是异步的、任务会立即完成、但数据还没有回来。，因为发送网络请求，就已经把Block的任务完成了，异步回来的操作已经不属于并发队列里面的管理的任务了。就和上面的错误例子一样，完成任务的执行，和请求回调没有任何顺序关系了。那么如果我们在Block里面加了dispatch_semaphore_wait，什么意思呢？如果信号量为0的时候，那么就会一直在这里等待。可以理解为一开始发送网络请求出去，这个时候执行到wait函数，信号量为0，等待，队列任务没有执行完，只有当请求回来的时候调用singnal的时候，信号+1，wait的函数随机获取到信号，放开任务，执行完毕一个，剩下的没有获取到的信号继续等待，那么就会按我们的，执行完一个网络请求，信号+1，释放一个wait，执行完一个Block任务，那么，当所有的网络请求执行完，所有的wait都被释放，任务都完成了，才会通知Group调用完成。
第二种 dispatch_group_enter 和 dispatch_group_leave
dispatch_group_t group = dispatch_group_create();
dispatch_queue_t queue = dispatch_get_global_queue(0, 0);
dispatch_group_enter(group);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务A");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务一");
dispatch_group_leave(group);
});
});
dispatch_group_enter(group);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务B");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(0.8f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务二");
dispatch_group_leave(group);
});
});
dispatch_group_enter(group);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务C");
dispatch_group_leave(group);
});
dispatch_group_enter(group);
dispatch_group_async(group, queue, ^{
NSLog(@"同步任务D");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3.5f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络异步任务四");
dispatch_group_leave(group);
});
});
dispatch_group_notify(group, queue, ^{
NSLog(@"任务完成执行");
});
这种方法也是我之前项目中用的，也能实现上面的执行顺序。
ABCD异步顺序随机，无论任务是否有异步，都会等任务执行完（包括网络请求）再执行任务完成
异步串行（同步任务）
这个没什么好说的，同步任务，在串行队列，肯定顺序执行
异步串行（异步任务）
但是如果串行队列里面的任务是网络请求如何，再让等网络请求回调之后也顺序执行？
看代码 不做处理
dispatch_queue_t queue = dispatch_queue_create(0, DISPATCH_QUEUE_SERIAL);
dispatch_async(queue, ^{
NSLog(@"执行任务一");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络任务一");
});
});
dispatch_async(queue, ^{
NSLog(@"执行任务二");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(0.6 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络任务二");
});
});
dispatch_async(queue, ^{
NSLog(@"执行任务三");
});
dispatch_async(queue, ^{
NSLog(@"执行完成");
});
2018-04-18 12:11:04.956900+0800 GCD[4889:182340] 执行任务一
2018-04-18 12:11:04.957076+0800 GCD[4889:182340] 执行任务二
2018-04-18 12:11:04.957183+0800 GCD[4889:182340] 执行任务三
2018-04-18 12:11:04.957290+0800 GCD[4889:182340] 执行完成
2018-04-18 12:11:05.557397+0800 GCD[4889:182291] 网络任务二
2018-04-18 12:11:07.156658+0800 GCD[4889:182291] 网络任务一
可以看到串行队列任务执行是顺序的，但是异步网络请求回调是不按顺序的。下面我们用dispatch_semaphore处理下
dispatch_semaphore_t semaphore = dispatch_semaphore_create(1);
dispatch_queue_t queue = dispatch_queue_create(0, DISPATCH_QUEUE_SERIAL);
dispatch_async(queue, ^{
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
NSLog(@"执行任务一");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2.0f * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络任务一");
dispatch_semaphore_signal(semaphore);
});
});
dispatch_async(queue, ^{
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
NSLog(@"执行任务二");
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(0.6 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"网络任务二");
dispatch_semaphore_signal(semaphore);
});
});
dispatch_async(queue, ^{
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
NSLog(@"执行任务三");
dispatch_semaphore_signal(semaphore);
});
dispatch_async(queue, ^{
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
NSLog(@"执行完成");
dispatch_semaphore_signal(semaphore);
});
2018-04-18 13:54:20.412918+0800 GCD[6841:262952] 执行任务一
2018-04-18 13:54:22.413131+0800 GCD[6841:262916] 网络任务一
2018-04-18 13:54:22.413369+0800 GCD[6841:262952] 执行任务二
2018-04-18 13:54:23.073214+0800 GCD[6841:262916] 网络任务二
2018-04-18 13:54:23.073512+0800 GCD[6841:262952] 执行任务三
2018-04-18 13:54:23.073697+0800 GCD[6841:262952] 执行完成
当异步串行队列，而且任务有网络异步请求，我们需要用信号量，每次开放一个任务，当一个任务无论是同步还是异步，都是操作完之后再把信号量+1，然后下一个任务才会解锁。这里的信号量可以当做锁来理解。
总结
异步并发执行同步任务，可以用dispatch_group,dispatch_barrier和NSOperation的依赖
异步串行执行同步任务，默认就是顺序执行
异步并发执行异步任务，可以用dispatch_group+semaphore 初始化信号为0，执行完一个异步通过singnal释放一个wait任务
或者用disaptch_group_enter 和 dispatch_group_leave
异步串行执行异步任务，可以用dispatch_semaphore 初始化信号为1，顺序执行任务，每个任务都加锁，执行任务消耗锁，顺延任务等待，执行完一个任务，singnal，然后下一个任务开锁顺序执行
如果多个任务网络请求，NSOperation我感觉无法实现 多网络任务执行完之后再最终统一执行某一个人任务。这个时候只有用dispatch_group + semaphore来实现