多线程面试题

2020-05-26  本文已影响0人  super_2e20

一、进程

多线程面试题
三、 进程和线程的关系
二、多进程、多线程

多进程

打开 mac 的活动监视器,可以看到很多个进程同时运行

多线程

1. 同一时间,CPU 只能处理 1 条线程,只有 1 条线程在执行。多线程并发执行,其实是 CPU 快速地在多 条线程之间调度(切换)。如果 CPU 调度线程的时间足够快,就造成了多线程并发执行的假象

2. 如果线程非常非常多,CPU 会在 N 多线程之间调度,消耗大量的 CPU 资源,每条线程被调度执行的频 次会降低(线程的执行效率降低)

3. 多线程的优点: 能适当提高程序的执行效率 能适当提高资源利用率(CPU、内存利用率)

4. 多线程的缺点:
开启线程需要占用一定的内存空间(默认情况下,主线程占用 1M,子线程占用 512KB),如果开启大量的 线程,会占用大量的内存空间,降低程序的性能
线程越多,CPU 在调度线程上的开销就越大 程序设计更加复杂:比如线程之间的通信、多线程的数据共享

三、任务、队列

任务

就是执行操作的意思,也就是在线程中执行的那段代码。在 GCD 中是放在 block 中的。执行任务有两种 方式:同步执行(sync)和异步执行(async)

同步(Sync):同步添加任务到指定的队列中,在添加的任务执行结束之前,会一直等待,直到队列里面的任 务完成之后再继续执行,即会阻塞线程。只能在当前线程中执行任务(是当前线程,不一定是主线程),不具 备开启新线程的能力。

异步(Async):线程会立即返回,无需等待就会继续执行下面的任务,不阻塞当前线程。可以在新的线程中 执行任务,具备开启新线程的能力(并不一定开启新线程)。如果不是添加到主队列上,异步会在子线程中执 行任务

队列

队列(Dispatch Queue):这里的队列指执行任务的等待队列,即用来存放任务的队列。队列是一种特殊的 线性表,采用 FIFO(先进先出)的原则,即新任务总是被插入到队列的末尾,而读取任务的时候总是从队 列的头部开始读取。每读取一个任务,则从队列中释放一个任务
在 GCD 中有两种队列:串行队列和并发队列。两者都符合 FIFO(先进先出)的原则。两者的主要区别是: 执行顺序不同,以及开启线程数不同。

四、iOS 中的多线程

主要有三种:NSThread、NSoperationQueue、GCD

1. NSThread:轻量级别的多线程技术

是我们自己手动开辟的子线程,如果使用的是初始化方式就需要我们自己启动,如果使用的是构造器方式
它就会自动启动。只要是我们手动开辟的线程,都需要我们自己管理该线程,不只是启动,还有该线程使
用完毕后的资源回收

[图片上传失败...(image-dc20d6-1590475342086)]

performSelector...只要是 NSObject 的子类或者对象都可以通过调用方法进入子线程和主线程,其实这些方法 所开辟的子线程也是 NSThread 的另一种体现方式。 在编译阶段并不会去检查方法是否有效存在,如果不存在只会给出警告

需要注意的是:如果是带 afterDelay 的延时函数,会在内部创建一个 NSTimer,然后添加到当前线程的 Runloop 中。也就是如果当前线程没有开启 runloop,该方法会失效。在子线程中,需要启动 runloop(注意调 用顺序)

[图片上传失败...(image-250f41-1590474913626)]

[图片上传失败...(image-ea7499-1590474913626)]

[图片上传失败...(image-9f5acf-1590474913626)]

而 performSelector:withObject:只是一个单纯的消息发送,和时间没有一点关系。所以不需要添加到子线程的 Runloop 中也能执行

2、GCD 对比 NSOprationQueue

我们要明确 NSOperationQueue 与 GCD 之间的关系
GCD 是面向底层的 C 语言的 API,NSOpertaionQueue 用 GCD 构建封装的,是 GCD 的高级抽象。

1、GCD 执行效率更高,而且由于队列中执行的是由 block 构成的任务,这是一个轻量级的数据结构,写起 来更方便
2、GCD 只支持 FIFO 的队列,而 NSOperationQueue 可以通过设置最大并发数,设置优先级,添加依赖关系 等调整执行顺序

3、NSOperationQueue 甚至可以跨队列设置依赖关系,但是 GCD 只能通过设置串行队列,或者在队列内添 加 barrier(dispatch_barrier_async)任务,才能控制执行顺序,较为复杂
4、NSOperationQueue 因为面向对象,所以支持 KVO,可以监测 operation 是否正在执行(isExecuted)、是 否结束(isFinished)、是否取消(isCanceld)

六、死锁死锁就是队列引起的循环等待

1、一个比较常见的死锁例子:主队列同步

[图片上传失败...(image-bbe506-1590474913626)]

在主线程中运用主队列同步,也就是把任务放到了主线程的队列中。 同步对于任务是立刻执行的,那么当把任务放进主队列时,它就会立马执行,只有执行完这个任务, viewDidLoad 才会继续向下执行。
而 viewDidLoad 和任务都是在主队列上的,由于队列的先进先出原则,任务又需等待 viewDidLoad 执行完毕 后才能继续执行,viewDidLoad 和这个任务就形成了相互循环等待,就造成了死锁。 想避免这种死锁,可以将同步改成异步 dispatch_async,或者将 dispatch_get_main_queue 换成其他串行或并行 队列,都可以解决。

2、同样,下边的代码也会造成死锁:

[图片上传失败...(image-5432b7-1590474913626)]

外面的函数无论是同步还是异步都会造成死锁。
这是因为里面的任务和外面的任务都在同一个 serialQueue 队列内,又是同步,这就和上边主队列同步的例 子一样造成了死锁
解决方法也和上边一样,将里面的同步改成异步 dispatch_async,或者将 serialQueue 换成其他串行或并行队 列,都可以解决

[图片上传失败...(image-65d80c-1590474913626)]

这样是不会死锁的,并且 serialQueue 和 serialQueue2 是在同一个线程中的。

七、GCD 任务执行顺序

1、串行队列先异步后同步

打印顺序是 13245
原因是:
首先先打印 1
接下来将任务 2 其添加至串行队列上,由于任务 2 是异步,不会阻塞线程,继续向下执行,打印 3 然后是任务 4,将任务 4 添加至串行队列上,因为任务 4 和任务 2 在同一串行队列,根据队列先进先出原则, 任务 4 必须等任务 2 执行后才能执行,又因为任务 4 是同步任务,会阻塞线程,只有执行完任务 4 才能继 续向下执行打印 5

所以最终顺序就是 13245。
这里的任务 4 在主线程中执行,而任务 2 在子线程中执行。
如果任务 4 是添加到另一个串行队列或者并行队列,则任务 2 和任务 4 无序执行(可以添加多个任务看效果)

[图片上传失败...(image-6d6bd3-1590474913626)]

2、performSelector

[图片上传失败...(image-2be933-1590474913626)]

这里的 test 方法是不会去执行的,原因在于

这个方法要创建提交任务到 runloop 上的,而 gcd 底层创建的线程是默认没有开启对应 runloop 的,所有这 个方法就会失效。
而如果将 dispatch_get_global_queue 改成主队列,由于主队列所在的主线程是默认开启了 runloop 的,就会 去执行(将 dispatch_async 改成同步,因为同步是在当前线程执行,那么如果当前线程是主线程,test 方法也 是会去执行的)。

八、dispatch_barrier_async

1、问:怎么用 GCD 实现多读单写?

多读单写的意思就是:可以多个读者同时读取数据,而在读的时候,不能取写入数据。并且,在写的过程 中,不能有其他写者去写。即读者之间是并发的,写者与读者或其他写者是互斥的。

这里的写处理就是通过栅栏的形式去写。 就可以用 dispatch_barrier_sync(栅栏函数)去实现

2、dispatch_barrier_sync 的用法:

[图片上传失败...(image-dcb042-1590474913626)]

[图片上传失败...(image-b48aa4-1590474913626)]

这里的 dispatch_barrier_sync 上的队列要和需要阻塞的任务在同一队列上,否则是无效的。 从打印上看,任务 0-9 和任务任务 10-19 因为是异步并发的原因,彼此是无序的。而由于栅栏函数的存在, 导致顺序必然是先执行任务 0-9,再执行栅栏函数,再去执行任务 10-19。

*dispatch_barrier_async:Submitsabarrierblockforasynchronousexecutionandreturnsimmediately.(提交一 个栅栏函数在异步执行中,它会立马返回)
而 dispatch_barrier_sync 和 dispatch_barrier_async 的区别也就在于会不会阻塞当前线程 比如,上述代码如果在 dispatch_barrier_async 后随便加一条打印,则会先去执行该打印,再去执行任 务 0-9 和栅栏函数;而如果是 dispatch_barrier_sync,则会在任务 0-9 和栅栏函数后去执行这条打印。

3、则可以这样设计多读单写:
九、dispatch_group_async

场景:在 n 个耗时并发任务都完成后,再去执行接下来的任务。比如,在 n 个网络请求完成后去刷新 UI 页面。

[图片上传失败...(image-4dcf68-1590474913626)]

[图片上传失败...(image-2421ee-1590474913626)]

十、Dispatch Semaphore

GCD 中的信号量是指 Dispatch Semaphore,是持有计数的信号。Dispatch Semaphore 提供了三个函数

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

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

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

1、保持线程同步:

[图片上传失败...(image-375f09-1590474913626)]

dispatch_semaphore_wait 加锁阻塞了当前线程,dispatch_semaphore_signal 解锁后当前线程继续执行

2、保证线程安全,为线程加锁:

在线程安全中可以将 dispatch_semaphore_wait 看作加锁,而 dispatch_semaphore_signal 看作解锁 首先创建全局变量

注意到这里的初始化信号量是 1。

[图片上传失败...(image-a4be45-1590474913626)]

[图片上传失败...(image-c4ebe7-1590474913625)]

异步并发调用 asyncTask

[图片上传失败...(image-31795a-1590474913625)]

然后发现打印是从任务 1 顺序执行到 100,没有发生两个任务同时执行的情况。

原因如下: 在子线程中并发执行 asyncTask,那么第一个添加到并发队列里的,会将信号量减 1,此时信号量等于 0, 可以执行接下来的任务。而并发队列中其他任务,由于此时信号量不等于 0,必须等当前正在执行的任务 执行完毕后调用 dispatch_semaphore_signal 将信号量加 1,才可以继续执行接下来的任务,以此类推, 从而达到线程加锁的目的。

十一、延时函数(dispatch_after)

dispatch_after 能让我们添加进队列的任务延时执行,该函数并不是在指定时间后执行处理,而只是在指定 时间追加处理到 dispatch_queue

由于其内部使用的是 dispatch_time_t 管理时间,而不是 NSTimer。 所以如果在子线程中调用,相比 performSelector:afterDelay,不用关心 runloop 是否开启

[图片上传失败...(image-8f5514-1590474913625)]

十二、使用 dispatch_once 实现单例

十三、NSOperationQueue 的优点

NSOperation、NSOperationQueue 是苹果提供给我们的一套多线程解决方案。实际上 NSOperation、NSOperationQueue 是基于 GCD 更高一层的封装,完全面向对象。但是比 GCD 更简单易用、代码可读 性也更高。

1、可以添加任务依赖,方便控制执行顺序2、可以设定操作执行的优先级3、任务执行状态控制:isReady,isExecuting,isFinished,isCancelled

如果只是重写 NSOperation 的 main 方法,由底层控制变更任务执行及完成状态,以及任务退出 如果重写了 NSOperation 的 start 方法,自行控制任务状态
系统通过 KVO 的方式移除 isFinished==YES 的 NSOperation

3、可以设置最大并发量十四、NSOperation 和 NSOperationQueue 操作(Operation):

执行操作的意思,换句话说就是你在线程中执行的那段代码。
在 GCD 中是放在 block 中的。在 NSOperation 中,使用 NSOperation 子类 NSInvocationOperation、 NSBlockOperation,或者自定义子类来封装操作。

 操作队列(OperationQueues):

这里的队列指操作队列,即用来存放操作的队列。不同于 GCD 中的调度队列 FIFO(先进先出)的原则。NSOperationQueue 对于添加到队列中的操作,首先进入准备就绪的状态(就绪状态取决于操作之间的依 赖关系),然后进入就绪状态的操作的开始执行顺序(非结束执行顺序)由操作之间相对的优先级决定(优 先级是操作对象自身的属性)。

[图片上传失败...(image-a80213-1590474913625)]

操作队列通过设置最大并发操作数(maxConcurrentOperationCount)来控制并发、串行。NSOperationQueue 为我们提供了两种不同类型的队列:主队列和自定义队列。主队列运行在主线程之上,

<pre>而自定义队列在后台执行。 </pre>

十五、NSThread+runloop 实现常驻线程 NSThread 在实际开发中比较常用到的场景就是去实现常驻线程。

由于每次开辟子线程都会消耗cpu,在需要频繁使用子线程的情况下,频繁开辟子线程会消耗大量的 cpu,而且创建线程都是任务执行完成之后也就释放了,不能再次利用,那么如何创建一个线程可以 让它可以再次工作呢?也就是创建一个常驻线程。

首先常驻线程既然是常驻,那么我们可以用 GCD 实现一个单例来保存 NSThread

这样创建的 thread 就不会销毁了吗?

并没有打印,说明 test 方法没有被调用。 那么可以用 runloop 来让线程常驻

[图片上传失败...(image-2401b2-1590474913625)]

[图片上传失败...(image-49eb1f-1590474913625)]

[图片上传失败...(image-cb014a-1590474913625)]

这时候再去调用 performSelector 就有打印了。

十六、自旋锁与互斥锁

自旋锁:

是一种用于保护多线程共享资源的锁,与一般互斥锁(mutex)不同之处在于当自旋锁尝试获取锁时以忙 等待(busy waiting)的形式不断地循环检查锁是否可用。当上一个线程的任务没有执行完毕的时候(被锁 住),那么下一个线程会一直等待(不会睡眠),当上一个线程的任务执行完毕,下一个线程会立即执行。 在多 CPU 的环境中,对持有锁较短的程序来说,使用自旋锁代替一般的互斥锁往往能够提高程序的性能。

互斥锁:

当上一个线程的任务没有执行完毕的时候(被锁住),那么下一个线程会进入睡眠状态等待任务执行完毕, 当上一个线程的任务执行完毕,下一个线程会自动唤醒然后执行任务。

总结:

自旋锁会忙等: 所谓忙等,即在访问被锁资源时,调用者线程不会休眠,而是不停循环在那里,直到被锁 资源释放锁。

互斥锁会休眠: 所谓休眠,即在访问被锁资源时,调用者线程会休眠,此时 cpu 可以调度其他线程工 作。直到被锁资源释放锁。此时会唤醒休眠线程。

优缺点:

自旋锁的优点在于,因为自旋锁不会引起调用者睡眠,所以不会进行线程调度,CPU 时间片轮转等耗时操 作。所有如果能在很短的时间内获得锁,自旋锁的效率远高于互斥锁。

缺点在于,自旋锁一直占用 CPU,他在未获得锁的情况下,一直运行--自旋,所以占用着 CPU,如果 不能在很短的时 间内获得锁,这无疑会使 CPU 效率降低。自旋锁不能实现递归调用。

自旋锁:atomic、OSSpinLock、dispatch_semaphore_t 互 斥 锁 : pthread_mutex 、 @ synchronized 、 NSLock 、 NSConditionLock 、 NSCondition 、NSRecursiveLock

上一篇下一篇

猜你喜欢

热点阅读