你好2019!一起努力呀!
直奔主题
1、dispatch_barrier_async VS dispatch_barrier_sync
Barrier blocks only behave specially when submitted to queues created with * the DISPATCH_QUEUE_CONCURRENT attribute; on such a queue, a barrier block * will not run until all blocks submitted to the queue earlier have completed, * and any blocks submitted to the queue after a barrier block will not run * until the barrier block has completed. * When submitted to a a global queue or to a queue not created with the * DISPATCH_QUEUE_CONCURRENT attribute, barrier blocks behave identically to * blocks submitted with the dispatch_async()/dispatch_sync() API.
NSLog(@"main ---1--"); dispatch_async(self.concurrentQueue, ^{ NSLog(@"test1 begin - "); sleep(3); NSLog(@"test1 - end - "); }); dispatch_async(self.concurrentQueue, ^{ NSLog(@"test2 begin - "); sleep(3); NSLog(@"test2 - end - "); }); dispatch_barrier_async(self.concurrentQueue, ^{///分界线在这里 请注意是同步的 NSLog(@"barrier -- start"); sleep(1); NSLog(@"barrier -- end"); }); dispatch_async(self.concurrentQueue, ^{ NSLog(@"test4 begin - "); sleep(3); NSLog(@"test4 - end - "); }); dispatch_async(self.concurrentQueue, ^{ NSLog(@"test5 begin - "); sleep(3); NSLog(@"test5 - end - "); }); NSLog(@"main ---6--");
2019-01-26 14:10:42.327067+0800 HaiFeiArrangeProject[28551:342894] main ---1-- 2019-01-26 14:10:42.327227+0800 HaiFeiArrangeProject[28551:342894] main ---6-- 2019-01-26 14:10:42.327229+0800 HaiFeiArrangeProject[28551:342934] test1 begin - 2019-01-26 14:10:42.327253+0800 HaiFeiArrangeProject[28551:342935] test2 begin - 2019-01-26 14:10:45.331341+0800 HaiFeiArrangeProject[28551:342934] test1 - end - 2019-01-26 14:10:45.331341+0800 HaiFeiArrangeProject[28551:342935] test2 - end - 2019-01-26 14:10:45.331612+0800 HaiFeiArrangeProject[28551:342935] barrier -- start 2019-01-26 14:10:46.336684+0800 HaiFeiArrangeProject[28551:342935] barrier -- end 2019-01-26 14:10:46.336910+0800 HaiFeiArrangeProject[28551:342935] test4 begin - 2019-01-26 14:10:46.336911+0800 HaiFeiArrangeProject[28551:342934] test5 begin - 2019-01-26 14:10:49.341715+0800 HaiFeiArrangeProject[28551:342934] test5 - end - 2019-01-26 14:10:49.341715+0800 HaiFeiArrangeProject[28551:342935] test4 - end -
2019-01-26 14:10:03.909859+0800 HaiFeiArrangeProject[28531:342041] main ---1-- 2019-01-26 14:10:03.910086+0800 HaiFeiArrangeProject[28531:342080] test1 begin - 2019-01-26 14:10:03.910101+0800 HaiFeiArrangeProject[28531:342081] test2 begin - 2019-01-26 14:10:06.913917+0800 HaiFeiArrangeProject[28531:342081] test2 - end - 2019-01-26 14:10:06.913964+0800 HaiFeiArrangeProject[28531:342080] test1 - end - 2019-01-26 14:10:06.914284+0800 HaiFeiArrangeProject[28531:342041] barrier -- start 2019-01-26 14:10:07.915035+0800 HaiFeiArrangeProject[28531:342041] barrier -- end 2019-01-26 14:10:07.915219+0800 HaiFeiArrangeProject[28531:342041] main ---6-- 2019-01-26 14:10:07.915247+0800 HaiFeiArrangeProject[28531:342081] test4 begin - 2019-01-26 14:10:07.915251+0800 HaiFeiArrangeProject[28531:342082] test5 begin - 2019-01-26 14:10:10.919249+0800 HaiFeiArrangeProject[28531:342081] test4 - end - 2019-01-26 14:10:10.919276+0800 HaiFeiArrangeProject[28531:342082] test5 - end -
结果分析:
dispatch_barrier_sync(queue,void(^block)())会将queue中barrier前面添加的任务block全部执行后,再执行barrier任务的block,再执行barrier后面添加的任务block,同时阻塞住线程.
dispatch_barrier_async(queue,void(^block)())会将queue中barrier前面添加的任务block只添加不执行,继续添加barrier的block,再添加barrier后面的block,同时不影响主线程(或者操作添加任务的线程)中代码的执行!
简单理解就是:sync 阻塞主线程;async:不阻塞! 参看打印的“main ---6--”!!!
需要注意的:
若将dispatch_barrier加入到global队列中,dispatch_barrier无效
在使用栅栏函数时.使用自定义队列才有意义,如果用的是串行队列或者系统提供的全局并发队列,这个栅栏函数的作用等同于一个同步函数的作用
2、dispatch_after
DISPATCH_TIME_NOW,表示从现在开始。 DISPATCH_TIME_FOREVER,表示遥远的未来 NSEC:纳秒。 USEC:微妙。 MSEC:毫秒 SEC:秒 PER:每 1s=10的3次方 ms(毫秒) =10的6次方μs(微秒) =10v的9次方ns(纳秒) #define NSEC_PER_SEC 1000000000ull 每秒有多少纳秒 #define NSEC_PER_MSEC 1000000ull 每毫秒有多少纳秒 #define USEC_PER_SEC 1000000ull 每秒有多少微秒。(注意是指在纳秒的基础上) #define NSEC_PER_USEC 1000ull 每微秒有多少纳秒。 dispatch_after函数并不是延迟对应时间后立即执行block块中的操作,而是将任务追加到对应的队列中,考虑到队列阻塞等情况,所以这个任务从加入队列到真正执行的时间并不准确! 3.0 * NSEC_PER_SEC 表示:3秒
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3.0 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"执行任务");
});
3、dispatch_once
typedef void (^TestBlock)(void); TestBlock myTestBlock=^(){ static int count = 0; NSLog(@"count = %d",count ++); }; - (void)dispatchOnceTest { /* dispatch_once 一般多用于单例构造方法中,目前尚未在其他方法中使用过! 关于单例构造的具体实现也不仅仅只有这个还需要重写其他的方法! 之后完善 单例!!! 使用dispatch_once需要注意:其block中的包裹的内容,尽量避免与其他类耦合! */ static dispatch_once_t onceToken; dispatch_once(&onceToken, myTestBlock); dispatch_once(&onceToken, myTestBlock); //虽然执行两次,只有一个输出 /* 2019-01-26 15:37:15.438356+0800 HaiFeiArrangeProject[29785:403238] count = 0 */ }
4、dispatch_group_notify
//创建队列组 dispatch_group_t group = dispatch_group_create(); NSLog(@"----group--start----"); //封装任务 dispatch_group_async(group, self.concurrentQueue, ^{ sleep(2); NSLog(@"1----------%@",[NSThread currentThread]); }); dispatch_group_async(group, self.concurrentQueue, ^{ sleep(1); NSLog(@"2----------%@",[NSThread currentThread]); }); dispatch_group_async(group, self.concurrentQueue, ^{ sleep(3); NSLog(@"3----------%@",[NSThread currentThread]); }); //4.拦截通知 dispatch_group_notify(group, self.concurrentQueue, ^{ NSLog(@"---dispatch_group_notify------%@",[NSThread currentThread]); }); //不用等待 队列执行完就会执行这个代码 NSLog(@"----group--end----");
这个代码是 加入到group中的异步操作 这个操作内部是同步的,在这样的情况下 可以如下使用,但是如果异步操作内部也是异步 就需要配合enter和leave实现目前实现的效果! 参看enter 和 leave的操作
5、dispatch_group_leave 和 dispatch_group_leave
dispatch_group_t group =dispatch_group_create(); dispatch_group_enter(group); //模拟多线程耗时操作 dispatch_group_async(group, self.concurrentQueue, ^{ dispatch_async(self.concurrentQueue, ^{ NSLog(@"1---1--begin"); sleep(3); NSLog(@"1---1--end"); dispatch_group_leave(group); }); }); dispatch_group_enter(group); //模拟多线程耗时操作 dispatch_group_async(group, self.concurrentQueue, ^{ dispatch_async(self.concurrentQueue, ^{ NSLog(@"2---2--begin"); sleep(2); NSLog(@"2--2-end"); dispatch_group_leave(group); }); }); dispatch_group_notify(group, dispatch_get_global_queue(0, 0), ^{ NSLog(@"%@---全部done。。。",[NSThread currentThread]); }); NSLog(@"main");
2019-01-26 16:32:11.860953+0800 HaiFeiArrangeProject[30753:447579] 1---1--begin 2019-01-26 16:32:11.860953+0800 HaiFeiArrangeProject[30753:447327] main 2019-01-26 16:32:11.860957+0800 HaiFeiArrangeProject[30753:447367] 2---2--begin 2019-01-26 16:32:13.861316+0800 HaiFeiArrangeProject[30753:447367] 2--2-end 2019-01-26 16:32:14.866069+0800 HaiFeiArrangeProject[30753:447579] 1---1--end 2019-01-26 16:32:14.866708+0800 HaiFeiArrangeProject[30753:447579] <NSThread: 0x6000000f0b40>{number = 3, name = (null)}---全部done。。。
2019-01-26 16:33:19.111523+0800 HaiFeiArrangeProject[30784:448544] 1---1--begin 2019-01-26 16:33:19.111520+0800 HaiFeiArrangeProject[30784:448504] main 2019-01-26 16:33:19.111544+0800 HaiFeiArrangeProject[30784:448871] 2---2--begin 2019-01-26 16:33:19.111605+0800 HaiFeiArrangeProject[30784:448868] <NSThread: 0x6000019c3600>{number = 3, name = (null)}---全部done。。。 2019-01-26 16:33:21.113975+0800 HaiFeiArrangeProject[30784:448871] 2--2-end 2019-01-26 16:33:22.114889+0800 HaiFeiArrangeProject[30784:448544] 1---1--end
结论:
1、在加入group的异步操作其内部如果是同步操作,enter和leave加不加均可,若其内部是异步操作,必须使用enter和leave
2、enter 和 leave 必须是成对的出现:若一对enter和leave 只有enter 会导致notify用不执行,如果只有leave,会直接崩溃!
6、dispatch_group_wait
dispatch_group_t group = dispatch_group_create(); //异步 dispatch_group_async(group, self.concurrentQueue, ^{ sleep(2); NSLog(@"1"); }); dispatch_group_async(group, self.concurrentQueue, ^{ sleep(1.5); NSLog(@"2"); }); dispatch_group_async(group, self.concurrentQueue, ^{ sleep(3); NSLog(@"3"); }); NSLog(@"aaaaa"); dispatch_time_t time = dispatch_time(DISPATCH_TIME_NOW, 5 * NSEC_PER_SEC); long result = dispatch_group_wait(group, time); if (result == 0){ // 属于Dispatch Group的Block全部处理结束 NSLog(@"全部处理结束"); }else{ // 属于Dispatch Group的某一个处理还在执行中 NSLog(@"某一个处理还在执行中"); } NSLog(@"main");
2019-01-26 15:56:15.450252+0800 HaiFeiArrangeProject[30168:420683] aaaaa 2019-01-26 15:56:16.453528+0800 HaiFeiArrangeProject[30168:420709] 2 2019-01-26 15:56:17.451638+0800 HaiFeiArrangeProject[30168:420683] 某一个处理还在执行中 2019-01-26 15:56:17.451927+0800 HaiFeiArrangeProject[30168:420683] main 2019-01-26 15:56:17.453986+0800 HaiFeiArrangeProject[30168:420707] 1 2019-01-26 15:56:18.453192+0800 HaiFeiArrangeProject[30168:420706] 3
2019-01-26 15:57:15.072096+0800 HaiFeiArrangeProject[30189:421617] aaaaa 2019-01-26 15:57:16.075428+0800 HaiFeiArrangeProject[30189:421665] 2 2019-01-26 15:57:17.076848+0800 HaiFeiArrangeProject[30189:421915] 1 2019-01-26 15:57:18.072394+0800 HaiFeiArrangeProject[30189:421920] 3 2019-01-26 15:57:18.072845+0800 HaiFeiArrangeProject[30189:421617] 全部处理结束 2019-01-26 15:57:18.073139+0800 HaiFeiArrangeProject[30189:421617] main
这里起了3个异步线程放在一个组里,之后通过dispatch_time_t创建了一个超时时间(2秒),程序之后行,立即输出了aaaaa,这是主线程输出的,
当遇到dispatch_group_wait时,主线程会被挂起,等待2秒,在等待的过程当中,子线程分别输出了1和2,2秒时间达到后,主线程发现组里的任务并没有全部结束,然后输出了main。
在这里,如果超时时间设置得比较长(比如5秒),那么会在3秒时第三个任务结束后,立即输出main,也就是说,当组中的任务全部执行完毕时,主线程就不再被阻塞了。
如果希望永久等待下去,时间可以设置为DISPATCH_TIME_FOREVER。
7、dispatch_semaphore_wait
7.1:加锁、
dispatch_semaphore_t semaphore = dispatch_semaphore_create(1); for (int i = 0; i < 10000; i++) { dispatch_async(queue, ^{ dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER); //临界区,即待加锁的代码区域 dispatch_semaphore_signal(semaphore); }); }
在这里,当第一条线程访问临界区时,信号量计数为初始值1,
dispatch_semaphore_wait() 函数判断到计数大于0,于是将计数减1,从而线程允许访问临界区。其它线程因为信号量等于0,就在临界区外等待。
在第一条线程访问完临界区后,这条线程需要发出一个信号,来表明我已经用完临界区的资源了,下个正在等待的线程可以去访问了。
dispatch_semaphore_signal()会将信号量计数加1,就好像发出了一个信号一样,下个在临界区前等待的线程会去接收它。接收到了信号的线程判断到信号量计数大于零了,于是访问临界区。
通过重复这个过程,所有线程都会安全地访问一遍临界区。
可以参考YYKit中的简单的加锁代码
- (instancetype)init { self = [super init]; _lock = dispatch_semaphore_create(1); return self; } - (NSURL *)imageURL { dispatch_semaphore_wait(_lock, DISPATCH_TIME_FOREVER); NSURL *imageURL = _imageURL; dispatch_semaphore_signal(_lock); return imageURL; }
7.2:异步返回、
- (NSArray *)tasksForKeyPath:(NSString *)keyPath { __block NSArray *tasks = nil; dispatch_semaphore_t semaphore = dispatch_semaphore_create(0); [self.session getTasksWithCompletionHandler:^(NSArray *dataTasks, NSArray *uploadTasks, NSArray *downloadTasks) { if ([keyPath isEqualToString:NSStringFromSelector(@selector(dataTasks))]) { tasks = dataTasks; } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(uploadTasks))]) { tasks = uploadTasks; } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(downloadTasks))]) { tasks = downloadTasks; } else if ([keyPath isEqualToString:NSStringFromSelector(@selector(tasks))]) { tasks = [@[dataTasks, uploadTasks, downloadTasks] valueForKeyPath:@"@unionOfArrays.self"]; } dispatch_semaphore_signal(semaphore); }]; dispatch_semaphore_wait(semaphore); return tasks; }
这段代码的功能是通过异步的请求取得键路径为 keyPath 的任务数组 tasks,然后返回它。这个方法虽然是异步的,但是执行时间较短。
碰到这种情况,我们肯定最先想到的是用代码块 block 或者代理 delegate 来实现,然后我们就得去声明一个代理,写一个协议方法,或者写一个带有一个参数的代码块,这里AFNetworking巧妙地通过信号量解决了。
我们跟之前的加锁对比,可以发现,信号量在创建时计数是0,
dispatch_semaphore_signal() 函数在 dispatch_semaphore_wait() 函数之前。
AFNetworking 把 dispatch_semaphore_wait() 函数放在返回语句之前,同时信号量计数初始为0,是为了让线程在 tasks 有值之前一直等待。获取 tasks 的异步操作结束之后,这时候 tasks 赋值好了,于是通过 dispatch_semaphore_signal() 函数发出信号,外面的线程就知道不用等待,可以返回 tasks 了。
7.3:控制线程并发数
dispatch_group_t group = dispatch_group_create(); for (int i = 0; i < 10; i++) { dispatch_group_async(group, self.concurrentQueue, ^{ dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER); NSLog(@"%d --- 开始 --",i + 1 ); // 线程操作区域 最多有两个线程在此做事情 sleep(2); NSLog(@"%d --- end --",i + 1 ); dispatch_semaphore_signal(semaphore); }); } // group任务全部执行完毕回调 dispatch_group_notify(group, self.concurrentQueue, ^{ NSLog(@"done"); });
备注:在应用场景上,限制线程并发数是为了性能考虑,而加锁是为了安全而考虑。
遗留问题:信号量是否线程安全?
文中若有不对之处,还请劳驾之处,谢谢!
信号量部分分析参考自:https://www.jianshu.com/p/de75da4173cf !