GCD 线程间的通信

在iOS开发过程中,我们一般在主线程里边进行UI刷新,例如:点击、滚动、拖拽等事件。我们通常把一些耗时的操作放在其他线程,比如说图片下载、文件上传等耗时操作。而当我们有时候在其他线程完成了耗时操作时,需要回到主线程,那么就用到了线程之间的通讯。

 //        GCD 线程间的通信
gcd.communication() print("<-------------------------线程结束-------------------------->") //线程间通信
- (void)communication {
// 获取全局并发队列
dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, );
// 获取主队列
dispatch_queue_t mainQueue = dispatch_get_main_queue(); dispatch_async(queue, ^{
// 异步追加任务
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"1---%@",[NSThread currentThread]); // 打印当前线程
} // 回到主线程
dispatch_async(mainQueue, ^{
// 追加在主线程中执行的任务
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"2---%@",[NSThread currentThread]); // 打印当前线程
});
});
}

打印结果:

 <-------------------------线程结束-------------------------->
-- ::07.472967+ StruggleSwift[:] ---<NSThread: 0x604000270a80>{number = , name = (null)}
-- ::11.877147+ StruggleSwift[:] ---<NSThread: 0x604000270a80>{number = , name = (null)}
-- ::16.845082+ StruggleSwift[:] ---<NSThread: 0x60c000262100>{number = , name = main}

结论:可以看到在其他线程中先执行任务,执行完了之后回到主线程执行主线程的相应操作。

GCD API的其他方法

GCD 栅栏方法:dispatch_barrier_async

我们有时需要异步执行两组操作,而且第一组操作执行完之后,才能开始执行第二组操作。这样我们就需要一个相当于栅栏一样的一个方法将两组异步执行的操作组给分割起来,当然这里的操作组里可以包含一个或多个任务。这就需要用到dispatch_barrier_async方法在两个操作组间形成栅栏。
dispatch_barrier_async函数会等待前边追加到并发队列中的任务全部执行完毕之后,再将指定的任务追加到该异步队列中。然后在dispatch_barrier_async函数追加的任务执行完毕之后,异步队列才恢复为一般动作,接着追加任务到该异步队列并开始执行。具体如下图所示:

 //        GCD 栅栏方法
gcd.barrier()
print("<-------------------------线程结束-------------------------->") /栅栏方法 dispatch_barrier_async
- (void)barrier{
dispatch_queue_t queue = dispatch_queue_create("net.bujige.testQueue", DISPATCH_QUEUE_CONCURRENT); dispatch_async(queue, ^{
// 追加任务1
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"1---%@",[NSThread currentThread]); // 打印当前线程
}
});
dispatch_async(queue, ^{
// 追加任务2
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"2---%@",[NSThread currentThread]); // 打印当前线程
}
}); dispatch_barrier_async(queue, ^{
// 追加任务 barrier
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"barrier---%@",[NSThread currentThread]);// 打印当前线程
}
}); dispatch_async(queue, ^{
// 追加任务3
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"3---%@",[NSThread currentThread]); // 打印当前线程
}
});
dispatch_async(queue, ^{
// 追加任务4
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"4---%@",[NSThread currentThread]); // 打印当前线程
}
}); }

打印结果:

 <-------------------------线程结束-------------------------->
-- ::10.556316+ StruggleSwift[:] ---<NSThread: 0x608000667a00>{number = , name = (null)}
-- ::10.556325+ StruggleSwift[:] ---<NSThread: 0x600000275900>{number = , name = (null)}
-- ::12.557738+ StruggleSwift[:] ---<NSThread: 0x608000667a00>{number = , name = (null)}
-- ::12.557738+ StruggleSwift[:] ---<NSThread: 0x600000275900>{number = , name = (null)}
-- ::14.563020+ StruggleSwift[:] barrier---<NSThread: 0x600000275900>{number = , name = (null)}
-- ::16.563415+ StruggleSwift[:] barrier---<NSThread: 0x600000275900>{number = , name = (null)}
-- ::18.568870+ StruggleSwift[:] ---<NSThread: 0x600000275900>{number = , name = (null)}
-- ::18.568988+ StruggleSwift[:] ---<NSThread: 0x60400007a940>{number = , name = (null)}
-- ::20.570592+ StruggleSwift[:] ---<NSThread: 0x600000275900>{number = , name = (null)}
-- ::20.570592+ StruggleSwift[:] ---<NSThread: 0x60400007a940>{number = , name = (null)}

结论:在执行完栅栏前面的操作之后,才执行栅栏操作,最后再执行栅栏后边的操作。

GCD 延时执行方法:dispatch_after

在指定时间(例如3秒)之后执行某个任务。可以用 GCD 的dispatch_after函数来实现。需要注意的是:dispatch_after函数并不是在指定时间之后才开始执行处理,而是在指定时间之后将任务追加到主队列中。严格来说,这个时间并不是绝对准确的,但想要大致延迟执行任务,dispatch_after函数是很有效的。

 //        延时执行
gcd.after() print("<-------------------------线程结束-------------------------->") //GCD 延时执行方法:dispatch_after
- (void)after {
NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"asyncMain---begin"); dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(10.0 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
// 2.0秒后异步追加任务代码到主队列,并开始执行
NSLog(@"after---%@",[NSThread currentThread]); // 打印当前线程
});
}

打印结果:

 -- ::53.737909+ StruggleSwift[:] currentThread---<NSThread: 0x608000260a00>{number = , name = main}
-- ::56.680732+ StruggleSwift[:] asyncMain---begin
<-------------------------线程结束-------------------------->
-- ::09.704708+ StruggleSwift[:] after---<NSThread: 0x608000260a00>{number = , name = main}

GCD 一次性代码(只执行一次):dispatch_once

我们在创建单例、或者有整个程序运行过程中只执行一次的代码时,我们就用到了 GCD 的 dispatch_once 函数。使用dispatch_once 函数能保证某段代码在程序运行过程中只被执行1次,并且即使在多线程的环境下,dispatch_once也可以保证线程安全。

 //         一次性代码(只执行一次)
gcd.once() print("<-------------------------线程结束-------------------------->") //一次性代码(只执行一次)
- (void)once {
static dispatch_once_t onceToken;
dispatch_once(&onceToken, ^{
// 只执行1次的代码(这里面默认是线程安全的)
NSLog(@"只执行1次的代码(这里面默认是线程安全的)");
});
}

打印结果:

-- ::53.632569+ StruggleSwift[:] 只执行1次的代码(这里面默认是线程安全的)
<-------------------------线程结束-------------------------->
<-------------------------线程结束-------------------------->
<-------------------------线程结束-------------------------->

我把方法放在一个按钮的点击事件中,多次点击以后,通过上图可以发现,线程中的代码只会执行一次,所以它是安全的。

GCD 快速迭代方法:dispatch_apply

通常我们会用 for 循环遍历,但是 GCD 给我们提供了快速迭代的函数dispatch_applydispatch_apply按照指定的次数将指定的任务追加到指定的队列中,并等待全部队列执行结束,比如:apply--end 最后打印。

如果是在串行队列中使用 dispatch_apply,那么就和 for 循环一样,按顺序同步执行。可这样就体现不出快速迭代的意义了。我们可以利用并发队列进行异步执行。比如说遍历 0~5 这6个数字,for 循环的做法是每次取出一个元素,逐个遍历。dispatch_apply 可以 在多个线程中同时(异步)遍历多个数字。还有一点,无论是在串行队列,还是异步队列中,dispatch_apply 都会等待全部任务执行完毕,这点就像是同步操作,也像是队列组中的 dispatch_group_wait方法。

 //          快速迭代方法 dispatch_apply
gcd.apply()
print("<-------------------------线程结束-------------------------->") //快速迭代方法 dispatch_apply
- (void)apply {
dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, ); NSLog(@"apply---begin");
dispatch_apply(, queue, ^(size_t index) {
NSLog(@"%zd---%@",index, [NSThread currentThread]);
});
NSLog(@"apply---end");
}

打印结果:

 -- ::01.232112+ StruggleSwift[:] apply---begin
-- ::07.599789+ StruggleSwift[:] ---<NSThread: 0x604000073a80>{number = , name = main}
-- ::07.599789+ StruggleSwift[:] ---<NSThread: 0x608000275b80>{number = , name = (null)}
-- ::07.599818+ StruggleSwift[:] ---<NSThread: 0x604000460080>{number = , name = (null)}
-- ::07.599820+ StruggleSwift[:] ---<NSThread: 0x60c00007aa00>{number = , name = (null)}
-- ::07.599859+ StruggleSwift[:] ---<NSThread: 0x60c00007a2c0>{number = , name = (null)}
-- ::07.599897+ StruggleSwift[:] ---<NSThread: 0x6000002693c0>{number = , name = (null)}
-- ::14.736663+ StruggleSwift[:] apply---end
<-------------------------线程结束-------------------------->

GCD 队列组:dispatch_group

有时候我们会有这样的需求:分别异步执行2个耗时任务,然后当2个耗时任务都执行完毕后再回到主线程执行任务。这时候我们可以用到 GCD 的队列组。

  • 调用队列组的 dispatch_group_async 先把任务放到队列中,然后将队列放入队列组中。或者使用队列组的 dispatch_group_enter、dispatch_group_leave 组合 来实现
    dispatch_group_async
  • 调用队列组的 dispatch_group_notify 回到指定线程执行任务。或者使用 dispatch_group_wait 回到当前线程继续向下执行(会阻塞当前线程)。

dispatch_group_notify

监听 group 中任务的完成状态,当所有的任务都执行完成后,追加任务到 group 中,并执行任务。

 //队列组 dispatch_group_notify
- (void)groupNotify {
NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"group---begin"); dispatch_group_t group = dispatch_group_create(); dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, ), ^{
// 追加任务1
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"1---%@",[NSThread currentThread]); // 打印当前线程
}
}); dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, ), ^{
// 追加任务2
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"2---%@",[NSThread currentThread]); // 打印当前线程
}
}); dispatch_group_notify(group, dispatch_get_main_queue(), ^{
// 等前面的异步任务1、任务2都执行完毕后,回到主线程执行下边任务
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"3---%@",[NSThread currentThread]); // 打印当前线程
}
NSLog(@"group---end");
});
}

打印结果:

 -- ::53.721865+ StruggleSwift[:] currentThread---<NSThread: 0x60800007efc0>{number = , name = main}
-- ::53.722043+ StruggleSwift[:] group---begin
<-------------------------线程结束-------------------------->
-- ::55.727591+ StruggleSwift[:] ---<NSThread: 0x60800047de00>{number = , name = (null)}
-- ::55.727592+ StruggleSwift[:] ---<NSThread: 0x60c000269ac0>{number = , name = (null)}
-- ::57.733127+ StruggleSwift[:] ---<NSThread: 0x60c000269ac0>{number = , name = (null)}
-- ::57.733129+ StruggleSwift[:] ---<NSThread: 0x60800047de00>{number = , name = (null)}
-- ::59.734785+ StruggleSwift[:] ---<NSThread: 0x60800007efc0>{number = , name = main}
-- ::01.736370+ StruggleSwift[:] ---<NSThread: 0x60800007efc0>{number = , name = main}
-- ::01.736724+ StruggleSwift[:] group---end

结果看现象:从dispatch_group_notify相关代码运行输出结果可以看出,当所有任务都执行完成之后,才执行dispatch_group_notify block 中的任务。

dispatch_group_wait

 //队列组 dispatch_group_wait
- (void)groupWait {
NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"group---begin"); dispatch_group_t group = dispatch_group_create(); dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, ), ^{
// 追加任务1
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"1---%@",[NSThread currentThread]); // 打印当前线程
}
}); dispatch_group_async(group, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, ), ^{
// 追加任务2
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"2---%@",[NSThread currentThread]); // 打印当前线程
}
}); // 等待上面的任务全部完成后,会往下继续执行(会阻塞当前线程)
dispatch_group_wait(group, DISPATCH_TIME_FOREVER); NSLog(@"group---end");
}

打印结果:

 -- ::18.536481+ StruggleSwift[:] currentThread---<NSThread: 0x600000065080>{number = , name = main}
-- ::18.536728+ StruggleSwift[:] group---begin
-- ::30.950636+ StruggleSwift[:] ---<NSThread: 0x608000078880>{number = , name = (null)}
-- ::34.966640+ StruggleSwift[:] ---<NSThread: 0x608000078880>{number = , name = (null)}
-- ::34.966646+ StruggleSwift[:] ---<NSThread: 0x60800006de00>{number = , name = (null)}
-- ::37.922334+ StruggleSwift[:] ---<NSThread: 0x60800006de00>{number = , name = (null)}
-- ::40.322614+ StruggleSwift[:] group---end
<-------------------------线程结束-------------------------->

现象看本质:当所有任务执行完成之后,才执行 dispatch_group_wait 之后的操作。但是,使用dispatch_group_wait 会阻塞当前线程。

dispatch_group_enter、dispatch_group_leave

  • dispatch_group_enter 标志着一个任务追加到 group,执行一次,相当于 group 中未执行完毕任务数+1
  • dispatch_group_leave 标志着一个任务离开了 group,执行一次,相当于 group 中未执行完毕任务数-1。
  • 当 group 中未执行完毕任务数为0的时候,才会使dispatch_group_wait解除阻塞,以及执行追加到dispatch_group_notify中的任务。
 //队列组 dispatch_group_enter、dispatch_group_leave
- (void)groupEnterAndLeave
{
NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"group---begin"); dispatch_group_t group = dispatch_group_create();
dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, );
dispatch_group_enter(group);
dispatch_async(queue, ^{
// 追加任务1
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"1---%@",[NSThread currentThread]); // 打印当前线程
}
dispatch_group_leave(group);
}); dispatch_group_enter(group);
dispatch_async(queue, ^{
// 追加任务2
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"2---%@",[NSThread currentThread]); // 打印当前线程
}
dispatch_group_leave(group);
}); dispatch_group_notify(group, dispatch_get_main_queue(), ^{
// 等前面的异步操作都执行完毕后,回到主线程.
for (int i = ; i < ; ++i) {
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"3---%@",[NSThread currentThread]); // 打印当前线程
}
NSLog(@"group---end");
}); // // 等待上面的任务全部完成后,会往下继续执行(会阻塞当前线程)
// dispatch_group_wait(group, DISPATCH_TIME_FOREVER);
//
// NSLog(@"group---end");
}
打印结果:
 -- ::09.424085+ StruggleSwift[:] currentThread---<NSThread: 0x60000006fac0>{number = , name = main}
-- ::09.424244+ StruggleSwift[:] group---begin
<-------------------------线程结束-------------------------->
-- ::22.208661+ StruggleSwift[:] ---<NSThread: 0x600000273fc0>{number = , name = (null)}
-- ::28.076730+ StruggleSwift[:] ---<NSThread: 0x600000273fc0>{number = , name = (null)}
-- ::28.076747+ StruggleSwift[:] ---<NSThread: 0x600000273240>{number = , name = (null)}
-- ::32.059499+ StruggleSwift[:] ---<NSThread: 0x600000273240>{number = , name = (null)}
-- ::40.543141+ StruggleSwift[:] ---<NSThread: 0x60000006fac0>{number = , name = main}
-- ::43.619775+ StruggleSwift[:] ---<NSThread: 0x60000006fac0>{number = , name = main}
-- ::43.620013+ StruggleSwift[:] group---end

现象看本质:当所有任务执行完成之后,才执行 dispatch_group_notify 中的任务。这里的dispatch_group_enter、dispatch_group_leave组合,其实等同于dispatch_group_async

dispatch_get_global_queue(long identifier, unsigned long flags)  并行队列

简介:

long identifier: 作为线程的优先级使用;

- DISPATCH_QUEUE_PRIORITY_HIGH:         QOS_CLASS_USER_INITIATED

*  - DISPATCH_QUEUE_PRIORITY_DEFAULT:      QOS_CLASS_DEFAULT  //当值为 0 时,表示默认

*  - DISPATCH_QUEUE_PRIORITY_LOW:          QOS_CLASS_UTILITY

*  - DISPATCH_QUEUE_PRIORITY_BACKGROUND:   QOS_CLASS_BACKGROUND

unsigned long flags: 未来变量来使用的;

线程优先级

 - (void) priority {
dispatch_queue_t q1 = dispatch_queue_create("com.q1", DISPATCH_QUEUE_SERIAL);
dispatch_queue_t q2 = dispatch_queue_create("com.q2", DISPATCH_QUEUE_SERIAL);
dispatch_queue_t q3 = dispatch_queue_create("com.q3", DISPATCH_QUEUE_SERIAL); //设置优先级
dispatch_set_target_queue(q1, dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_LOW, )); dispatch_async(q1, ^{
NSLog(@""); //优先级降低了
});
dispatch_async(q2, ^{
NSLog(@"");
});
dispatch_async(q3, ^{
sleep();
NSLog(@"");
});
}

打印结果:

 -- ::02.643135+ BlockTest[:]
-- ::02.643161+ BlockTest[:]
-- ::03.644093+ BlockTest[:]

栅栏

 - (void) barrier {
// dispatch_get_global_queue(0, 0);不能使用全局和串行队列,否则它只能是异步的,没什么用了。必须是自定义并发的队列
dispatch_queue_t q = dispatch_queue_create("com.barrier", DISPATCH_QUEUE_CONCURRENT);
dispatch_async(q, ^{
NSLog(@"");
});
dispatch_async(q, ^{
NSLog(@"");
}); // 像一个栅栏一样,把上下两部分隔开,都是随机的
dispatch_barrier_async(q, ^{
NSLog(@"barrier");
}); dispatch_async(q, ^{
NSLog(@"");
});
dispatch_async(q, ^{
NSLog(@"");
});
}

打印结果:

2018-06-25 08:24:31.630939+0800 BlockTest[1005:24509] 1
2018-06-25 08:24:31.630946+0800 BlockTest[1005:24515] 2
2018-06-25 08:24:31.631125+0800 BlockTest[1005:24515] barrier
2018-06-25 08:24:31.631448+0800 BlockTest[1005:24515] 3
2018-06-25 08:24:31.631452+0800 BlockTest[1005:24509] 4

线程安全

线程安全:内存的数据被多个线程读写,出现的结果是可遇见的

锁:保护线程安全

锁:确保只有一条线程在读取数据

锁的种类以及性能图:

OSSpinLock 自旋锁(虽然已经被证明不安全 优先级翻转),性能最高的锁。原理很简单,就是一直 do while 忙等。它的缺点是当等待时会消耗大量 CPU 资源,所以它不适用于较长时间的任务。对于内存缓存的存取来说,它非常合适。

dispatch_semaphore 是信号量,但当信号总量设为 1 时也可以当作锁来。在没有等待情况出现时,它的性能比 pthread_mutex 还要高,但一旦有等待情况出现时,性能就会下降许多。相对于 OSSpinLock 来说,它的优势在于等待时不会消耗 CPU 资源。对磁盘缓存来说,它比较合适。

线程不安全:

 - (void) synchronized {
dispatch_async(dispatch_get_global_queue(, ), ^{
NSLog(@"");
sleep();
NSLog(@"1 ok");
}); dispatch_async(dispatch_get_global_queue(, ), ^{
NSLog(@"");
sleep();
NSLog(@"2 ok");
});
}

打印结果:

2018-06-25 08:35:42.019703+0800 BlockTest[1088:30404] 2
2018-06-25 08:35:42.019731+0800 BlockTest[1088:30405] 1
2018-06-25 08:35:44.023813+0800 BlockTest[1088:30404] 2 ok
2018-06-25 08:35:44.023812+0800 BlockTest[1088:30405] 1 ok

线程安全:

synchronized 锁(互斥锁[也叫同步锁]:其他线程):简单,效率最低

 - (void) synchronized {
dispatch_async(dispatch_get_global_queue(, ), ^{
@synchronized(self) {
NSLog(@"");
sleep();
NSLog(@"1 ok");
}
}); dispatch_async(dispatch_get_global_queue(, ), ^{
@synchronized(self) {
NSLog(@"");
sleep();
NSLog(@"2 ok");
}
});
}

打印结果:

 -- ::40.233467+ BlockTest[:]
-- ::42.239071+ BlockTest[:] ok
-- ::42.239650+ BlockTest[:]
-- ::44.239926+ BlockTest[:] ok

@synchronzied 若使用不当,可能会造成死锁。请看这里

GCD 信号量(自旋锁:其他线程正在执行我们锁定的代码,其他线程就会进入死循环,处在等待中。):dispatch_semaphore

GCD 中的信号量是指 Dispatch Semaphore,是持有计数的信号。类似于过高速路收费站的栏杆。可以通过时,打开栏杆,不可以通过时,关闭栏杆。在 Dispatch Semaphore 中,使用计数来完成这个功能,计数为0时等待,不可通过。计数为1或大于1时,计数减1且不等待,可通过。
Dispatch Semaphore 提供了三个函数。

  • dispatch_semaphore_create:创建一个Semaphore并初始化信号的总量
  • dispatch_semaphore_signal:发送一个信号,让信号总量加1
  • dispatch_semaphore_wait:可以使总信号量减1,当信号总量为0时就会一直等待(阻塞所在线程),否则就可以正常执行。

注意:注意:信号量的使用前提是:想清楚你需要处理哪个线程等待(阻塞),又要哪个线程继续执行,然后使用信号量。

Dispatch Semaphore 在实际开发中主要用于:

  • 保持线程同步,将异步执行任务转换为同步执行任务
  • 保证线程安全,为线程加锁

Demo

 - (void) semaphore {
dispatch_semaphore_t semaphore = dispatch_semaphore_create(); //这个1代表多少条并发数,写为1,确保1个线程在走
dispatch_async(dispatch_get_global_queue(, ), ^{
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER); // 加锁,本来信号量是 1,在这里是 -1
NSLog(@"");
sleep();
NSLog(@"1 ok");
dispatch_semaphore_signal(semaphore); //解锁, 信号量 +1, 信号量 >=0 ,才可以执行其中的代码块
}); dispatch_async(dispatch_get_global_queue(, ), ^{
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
NSLog(@"");
sleep();
NSLog(@"2 ok");
dispatch_semaphore_signal(semaphore);
});
}

打印结果:

 -- ::51.991505+ BlockTest[:]
-- ::53.992362+ BlockTest[:] ok
-- ::53.992792+ BlockTest[:]
-- ::55.998304+ BlockTest[:] ok

Dispatch Semaphore 线程同步

进行开发时,会遇到这种情况:异步执行耗时任务,并使用异步执行的结果进行一些额外的操作。换句话说,相当于,将将异步执行任务转换为同步执行任务。比如说:AFNetworking 中 AFURLSessionManager.m 里面的 tasksForKeyPath: 方法。通过引入信号量的方式,等待异步执行任务结果,获取到 tasks,然后再返回该 tasks。
 
利用 Dispatch Semaphore 实现线程同步,将异步执行任务转换为同步执行任务。
 //semaphore 线程同步
- (void)semaphoreSync { NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"semaphore---begin"); dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, );
dispatch_semaphore_t semaphore = dispatch_semaphore_create(); __block int number = ;
dispatch_async(queue, ^{
// 追加任务1
[NSThread sleepForTimeInterval:]; // 模拟耗时操作
NSLog(@"1---%@",[NSThread currentThread]); // 打印当前线程 number = ; dispatch_semaphore_signal(semaphore);
}); dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
NSLog(@"semaphore---end,number = %zd",number);
}
打印结果:
 -- ::40.177072+ StruggleSwift[:] currentThread---<NSThread: 0x600000076100>{number = , name = main}
-- ::40.829169+ StruggleSwift[:] semaphore---begin
-- ::56.402609+ StruggleSwift[:] ---<NSThread: 0x604000278300>{number = , name = (null)}
-- ::03.504049+ StruggleSwift[:] semaphore---end,number =
<-------------------------线程结束-------------------------->

分析原因:

semaphore---end 是在执行完 number = 100; 之后才打印的。而且输出结果 number 为 100。
这是因为异步执行不会做任何等待,可以继续执行任务。异步执行将任务1追加到队列之后,不做等待,接着执行dispatch_semaphore_wait方法。此时 semaphore == 0,当前线程进入等待状态。然后,异步任务1开始执行。任务1执行到dispatch_semaphore_signal之后,总信号量,此时 semaphore == 1,dispatch_semaphore_wait方法使总信号量减1,正在被阻塞的线程(主线程)恢复继续执行。最后打印semaphore---end,number = 100。这样就实现了线程同步,将异步执行任务转换为同步执行任务。


 

Dispatch Semaphore 线程安全和线程同步(为线程加锁)

线程安全:如果你的代码所在的进程中有多个线程在同时运行,而这些线程可能会同时运行这段代码。如果每次运行结果和单线程运行的结果是一样的,而且其他的变量的值也和预期的是一样的,就是线程安全的。

若每个线程中对全局变量、静态变量只有读操作,而无写操作,一般来说,这个全局变量是线程安全的;若有多个线程同时执行写操作(更改变量),一般都需要考虑线程同步,否则的话就可能影响线程安全。

线程同步:可理解为线程 A 和 线程 B 一块配合,A 执行到一定程度时要依靠线程 B 的某个结果,于是停下来,示意 B 运行;B 依言执行,再将结果给 A;A 再继续操作。

举个简单例子就是:两个人在一起聊天。两个人不能同时说话,避免听不清(操作冲突)。等一个人说完(一个线程结束操作),另一个再说(另一个线程再开始操作)。

下面,我们模拟火车票售卖的方式,实现 NSThread 线程安全和解决线程同步问题。

场景:总共有50张火车票,有两个售卖火车票的窗口,一个是北京火车票售卖窗口,另一个是上海火车票售卖窗口。两个窗口同时售卖火车票,卖完为止。

非线程安全(不使用 semaphore)

 //非线程安全:不使用 semaphore
//初始化火车票数量、卖票窗口(非线程安全)、并开始卖票
- (void)initTicketStatusNotSave {
NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"semaphore---begin"); self.ticketSurplusCount = ; // queue1 代表北京火车票售卖窗口
dispatch_queue_t queue1 = dispatch_queue_create("net.bujige.testQueue1", DISPATCH_QUEUE_SERIAL);
// queue2 代表上海火车票售卖窗口
dispatch_queue_t queue2 = dispatch_queue_create("net.bujige.testQueue2", DISPATCH_QUEUE_SERIAL); __weak typeof(self) weakSelf = self;
dispatch_async(queue1, ^{
[weakSelf saleTicketNotSafe];
}); dispatch_async(queue2, ^{
[weakSelf saleTicketNotSafe];
});
} //售卖火车票(非线程安全)
- (void)saleTicketNotSafe {
while () { if (self.ticketSurplusCount > ) { //如果还有票,继续售卖
self.ticketSurplusCount--;
NSLog(@"%@", [NSString stringWithFormat:@"剩余票数:%d 窗口:%@", self.ticketSurplusCount, [NSThread currentThread]]);
[NSThread sleepForTimeInterval:0.2];
} else { //如果已卖完,关闭售票窗口
NSLog(@"所有火车票均已售完");
break;
} }
}

打印结果:

 <------------------- ::10.615223+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026e2c0>{number = , name = (null)}
--------线程结束-------------------------->
-- ::13.731504+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026d300>{number = , name = (null)}
-- ::13.936378+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026d300>{number = , name = (null)}
-- ::13.936379+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026e2c0>{number = , name = (null)}
-- ::14.140956+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026d300>{number = , name = (null)}
-- ::14.140956+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026e2c0>{number = , name = (null)}
-- ::14.345573+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026d300>{number = , name = (null)}
-- ::14.345573+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026e2c0>{number = , name = (null)}
-- ::14.549357+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026e2c0>{number = , name = (null)}
-- ::14.549367+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60800026d300>{number = , name = (null)}
-- ::14.753734+ StruggleSwift[:] 所有火车票均已售完
-- ::18.034888+ StruggleSwift[:] 所有火车票均已售完

结论:可以看到在不考虑线程安全,不使用 semaphore 的情况下,得到票数是错乱的,这样显然不符合我们的需求,所以我们需要考虑线程安全问题。

线程安全(使用 semaphore 加锁)

 //线程安全:使用 semaphore 加锁
//初始化火车票数量、卖票窗口(线程安全)、并开始卖票
- (void)initTicketStatusSave {
NSLog(@"currentThread---%@",[NSThread currentThread]); // 打印当前线程
NSLog(@"semaphore---begin"); semaphoreLock = dispatch_semaphore_create(); self.ticketSurplusCount = ; // queue1 代表北京火车票售卖窗口
dispatch_queue_t queue1 = dispatch_queue_create("net.bujige.testQueue1", DISPATCH_QUEUE_SERIAL);
// queue2 代表上海火车票售卖窗口
dispatch_queue_t queue2 = dispatch_queue_create("net.bujige.testQueue2", DISPATCH_QUEUE_SERIAL); __weak typeof(self) weakSelf = self;
dispatch_async(queue1, ^{
[weakSelf saleTicketSafe];
}); dispatch_async(queue2, ^{
[weakSelf saleTicketSafe];
});
} //售卖火车票(线程安全)
- (void)saleTicketSafe {
while () {
// 相当于加锁
dispatch_semaphore_wait(semaphoreLock, DISPATCH_TIME_FOREVER); if (self.ticketSurplusCount > ) { //如果还有票,继续售卖
self.ticketSurplusCount--;
NSLog(@"%@", [NSString stringWithFormat:@"剩余票数:%d 窗口:%@", self.ticketSurplusCount, [NSThread currentThread]]);
[NSThread sleepForTimeInterval:0.2];
} else { //如果已卖完,关闭售票窗口
NSLog(@"所有火车票均已售完"); // 相当于解锁
dispatch_semaphore_signal(semaphoreLock);
break;
} // 相当于解锁
dispatch_semaphore_signal(semaphoreLock);
}
}

打印结果:

 -- ::06.952639+ StruggleSwift[:] currentThread---<NSThread: 0x604000061980>{number = , name = main}
-- ::06.952836+ StruggleSwift[:] semaphore---begin
<-------------------------线程结束-------------------------->
-- ::06.953153+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60c00027b540>{number = , name = (null)}
-- ::07.158734+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x600000076dc0>{number = , name = (null)}
-- ::07.362105+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60c00027b540>{number = , name = (null)}
-- ::07.567641+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x600000076dc0>{number = , name = (null)}
-- ::07.769686+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60c00027b540>{number = , name = (null)}
-- ::07.975049+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x600000076dc0>{number = , name = (null)}
-- ::08.175885+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60c00027b540>{number = , name = (null)}
-- ::08.377316+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x600000076dc0>{number = , name = (null)}
-- ::08.582909+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x60c00027b540>{number = , name = (null)}
-- ::08.786384+ StruggleSwift[:] 剩余票数: 窗口:<NSThread: 0x600000076dc0>{number = , name = (null)}
-- ::08.987007+ StruggleSwift[:] 所有火车票均已售完
-- ::08.987249+ StruggleSwift[:] 所有火车票均已售完

考虑了线程安全的情况下,使用 dispatch_semaphore
机制之后,得到的票数是正确的,没有出现混乱的情况。我们也就解决了多个线程同步的问题。


线程不安全:

 - (void) test2 {
_number = ;
dispatch_apply(, dispatch_get_global_queue(, ), ^(size_t index) {
self.number ++;
}); NSLog(@"number = %d", self.number);
} 

打印结果:

2018-06-25 09:46:44.002556+0800 BlockTest[1704:68408] number = 66782

结论:

atomic: 原子性

     原子- 不可再划分,已经最小的一个操作单位(内存的读写),set方法加锁

    使用atomic不一定安全,当线程数量开到100000,它会消耗性能

使用场景:适用于简单set/get方法操作,也就是只有一个set/get方法。当多个set/get方法操作时,它就不适合了,例如:self.number ++

natomic: UIKit的类使用它,因为UIKit没有使用多线程。

线程安全:

NSLock

 @property(atomic, assign) int number;

 - (void) test2 {
_number = ;
NSLock *lock = [[NSLock alloc] init];
dispatch_apply(, dispatch_get_global_queue(, ), ^(size_t index) {
[lock lock];
self.number ++;
[lock unlock];
}); NSLog(@"number = %d", self.number);
}

打印结果:

2018-06-25 09:49:48.568766+0800 BlockTest[1734:70803] number = 100000

参考资料:

GCD(III)的更多相关文章

  1. Project Euler 453 Lattice Quadrilaterals 困难的计数问题

    这是一道很综合的计数问题,对于思维的全面性,解法的过渡性,代码能力,细节处理,计数问题中的各种算法,像gcd.容斥.类欧几里德算法都有考察.在省选模拟赛中做到了这题,然而数据范围是n,m小于等于100 ...

  2. P2651 添加括号III

    P2651 添加括号III无论怎么添加,a2一定是分母,其他的可以是分子,所以最后看看,(a1*a3*..*an)%a2==0即可 #include<iostream> #include& ...

  3. 浅谈欧几里得算法求最大公约数(GCD)的原理及简单应用

    一.欧几里得算法及其证明 1.定义: 欧几里得算法又称辗转相除法,用于求两数的最大公约数,计算公式为GCD(a,b)=GCD(b,a%b): 2.证明: 设x为两整数a,b(a>=b)的最大公约 ...

  4. SPOJ - Find The Determinant III 计算矩阵的行列式答案 + 辗转相除法思想

    SPOJ -Find The Determinant III 参考:https://blog.csdn.net/zhoufenqin/article/details/7779707 参考中还有几个关于 ...

  5. LeetCode 5198. 丑数 III(Java)容斥原理和二分查找

    题目链接:5198. 丑数 III 请你帮忙设计一个程序,用来找出第 n 个丑数. 丑数是可以被 a 或 b 或 c 整除的 正整数. 示例 1: 输入:n = 3, a = 2, b = 3, c ...

  6. 初等数论学习笔记 III:数论函数与筛法

    初等数论学习笔记 I:同余相关. 初等数论学习笔记 II:分解质因数. 1. 数论函数 本篇笔记所有内容均与数论函数相关.因此充分了解各种数论函数的名称,定义,符号和性质是必要的. 1.1 相关定义 ...

  7. Objective-C三种定时器CADisplayLink / NSTimer / GCD的使用

    OC中的三种定时器:CADisplayLink.NSTimer.GCD 我们先来看看CADiskplayLink, 点进头文件里面看看, 用注释来说明下 @interface CADisplayLin ...

  8. iOS 多线程之GCD的使用

    在iOS开发中,遇到耗时操作,我们经常用到多线程技术.Grand Central Dispatch (GCD)是Apple开发的一个多核编程的解决方法,只需定义想要执行的任务,然后添加到适当的调度队列 ...

  9. 【swift】BlockOperation和GCD实用代码块

    //BlockOperation // // ViewController.swift import UIKit class ViewController: UIViewController { @I ...

随机推荐

  1. 洛谷P4151 最大XOR和路径 [WC2011] 线性基+图论

    正解:线性基+图论 解题报告: 传送门 首先可以思考一下有意义的路径会是什么样子,,,那就一定是一条链+一些环 挺显然的因为一条路径原路返回有没有意义辣?所以一定是走一条链+一些环(当然也可以麻油环, ...

  2. python 合并列表 从大到小排序

    #!/usr/bin/env python # -*- coding: utf-8 -*- a = [1,2,3,4,5] b = [6,7,8,9,10] a.extend(b) a.reverse ...

  3. MySql left join 多表连接查询优化语句

    先过滤条件然后再根据表连接 同时在表中建立相关查询字段的索引这样在大数据多表联合查询的情况下速度相当快 创建索引: create index ix_register_year ON dbo.selec ...

  4. 20170712 SQL Server 日志文件收索

    -- 1 日志文件增长过快,未进行任务计划截断备份 造成文件过大199G 左右,而可用空间不足8% -- 2 日志备份之前,需要一次完整备份 再进行截断备份 出现可用空间99% 此时可以选择收索数据库 ...

  5. MACD回零轴有三种方式

    MACD回零轴三种方式 MACD上双线回抽或者回档到0轴附近: 第一主动回零轴. 第二被动回零轴. 第三单N回零轴. 随后的走势第二种涨幅最猛.第三种级别最大. 这里要正确理解背离.背离有三种.1,指 ...

  6. JavaScript 全栈工程师培训教程 - 阮一峰

    http://www.ruanyifeng.com/blog/2016/11/javascript.html https://github.com/ruanyf/jstraining 我现在的技术方向 ...

  7. cmd项目目录结构以及配置文件的升级编写

    一.项目的目录结构: bin:执行文件夹 config:自定义配置文件 lib:公共的模块或者类文件 src:核心业务逻辑代码 二.配置文件的编写 1)config代码如下 from lib.conf ...

  8. [py]python __file__ 与argv[0]

    http://andylin02.iteye.com/blog/933237 BASE_DIR = os.path.dirname(os.path.dirname(os.path.abspath(__ ...

  9. 【LeetCode每天一题】Combination Sum II(组合和II)

    Given a collection of candidate numbers (candidates) and a target number (target), find all unique c ...

  10. Spring MVC 简介及入门小例子

    说明:文章内容全部截选自实验楼教程[Spring MVC 简易教程] 一.什么是 Spring MVC Spring MVC 属于 SpringFrameWork 的后续产品,已经融合在 Spring ...