多线程

作者: 余立徽 | 来源:发表于2020-05-25 11:20 被阅读0次

    一、进程、线程

    一、 进程:

    • 1.进程是一个具有一定独立功能的程序关于某次数据集合的一次运行活动,它是操作系统分配资 源的基本单元.

    • 2.进程是指在系统中正在运行的一个应用程序,就是一段程序的执行过程,我们可以理解为手机上 的一个 app.

    • 3.每个进程之间是独立的,每个进程均运行在其专用且受保护的内存空间内,拥有独立运行所需 的全部资源

    二、 线程

    • 1.程序执行流的最小单元,线程是进程中的一个实体.

    • 2.一个进程要想执行任务,必须至少有一条线程.应用程序启动的时候,系统会默认开启一条线程,

      也就是主线程

    三、 进程和线程的关系

    • 1.线程是进程的执行单元,进程的所有任务都在线程中执行

    • 2.线程是 CPU 分配资源和调度的最小单位

    • 3.一个程序可以对应多个进程(多进程),一个进程中可有多个线程,但至少要有一条线程

    • 4.同一个进程内的线程共享进程资源

    二、多进程、多线程

    多进程 打开 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(先进先出)的原则。两者的主要区别是: 执行顺序不同,以及开启线程数不同。

    • 串行队列(Serial Dispatch Queue): 同一时间内,队列中只能执行一个任务,只有当前的任务执行完成之后,才能执行下一个任务。(只 开启一个线程,一个任务执行完毕后,再执行下一个任务)。主队列是主线程上的一个串行队列,是 系统自动为我们创建的

    • 并发队列(Concurrent Dispatch Queue): 同时允许多个任务并发执行。(可以开启多个线程,并且同时执行任务)。并发队列的并发功能只有 在异步(dispatch_async)函数下才有效

      四、iOS 中的多线程

      主要有三种:NSThread、NSoperationQueue、GCD

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

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


      4516DA37-6CD3-4592-B140-718A768AD033.png

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

    919516E5-DF9C-4C8B-836A-91E3DF591D6E.png

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

    EABC9BE3-938A-4307-AC75-B5F3445EAB48.png

    而 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)

    • 实际项目开发中,很多时候只是会用到异步操作,不会有特别复杂的线程关系管理,所以苹果推崇的 且优化完善、运行快速的 GCD 是首选

    • 如果考虑异步操作之间的事务性,顺序行,依赖关系,比如多线程并发下载,GCD需要自己写更多的 代码来实现,而 NSOperationQueue 已经内建了这些支持

    • 不论是GCD还是NSOperationQueue,我们接触的都是任务和队列,都没有直接接触到线程,事实上 线程管理也的确不需要我们操心,系统对于线程的创建,调度管理和释放都做得很好。而 NSThread 需要我们自己去管理线程的生命周期,还要考虑线程同步、加锁问题,造成一些性能上的开销

    五、GCD---队列 iOS 中,有 GCD、NSOperation、NSThread 等几种多线程技术方案。

    而 GCD 共有三种队列类型: main queue:通过 dispatch_get_main_queue()获得,这是一个与主线程相关的串行队列。
    
    global queue:全局队列是并发队列,由整个进程共享。存在着高、中、低三种优先级的全局队列。调用 dispath_get_global_queue 并传入优先级来访问队列。
    
    自定义队列:通过函数 dispatch_queue_create 创建的队列
    

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

    1、一个比较常见的死锁例子:主队列同步
    04AD478E-C296-4BE9-8D55-282800ADB83F.png

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

    2、同样,下边的代码也会造成死锁:
    67BA4B00-7B77-4DFA-A02C-3EA3E50117E4.png

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

    F5A4879A-303B-4E63-A3D4-27537791DA5A.png

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

    七、GCD 任务执行顺序

    1、串行队列先异步后同步
    821A3B0E-F8E9-4FA1-8053-F0085A6DB912.png

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

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

    2、performSelector
    0B51E6A1-5733-441F-8D09-8BACE8DC65C0.png

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

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

    八、dispatch_barrier_async

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

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

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

    2、dispatch_barrier_sync 的用法:
    ADC5C317-5E15-4508-92E8-433EE481D69F.png

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

    • dispatch_barrier_sync: Submits a barrier block object for execution and waits until that block completes.(提交一个栅栏函数在执行中,它会等待栅栏函数执行完)

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

    3、则可以这样设计多读单写:
    761B89E0-7ED9-40D5-A348-1958812F702D.png

    [图片上传中...(C5F76CA6-44FA-4AB7-9FB6-FAA9BAF84BBD.png-b2f98-1590378545844-0)]

    九、dispatch_group_async

    场景:在 n 个耗时并发任务都完成后,再去执行接下来的任务。比如,在 n 个网络请求完成后去刷新 UI 页 面。
    
    C5F76CA6-44FA-4AB7-9FB6-FAA9BAF84BBD.png

    十、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、保持线程同步:
    FDC80EF9-C479-4290-85CA-00F2A3D699AE.png

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

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

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

    76A5D887-0868-4BBB-967C-6A2DADE3EC55.png

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

    F389BC50-6BAB-4DCB-BBB4-9C0BA3AEC252.png

    异步并发调用 asyncTask

    DBABE7F5-CAD3-4A48-B1A9-B0176EBD1261.png

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

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

    十一、延时函数(dispatch_after)

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

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

    83EF35CD-FDFF-4481-A255-B9D508C6287B.png

    十二、使用 dispatch_once 实现单例

    EB8E68BB-F437-4913-8D10-E768CF97D4EB.png

    十三、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,或者自定义子类来封装操作。

    操作队列(Operation Queues):

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

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

    而自定义队列在后台执行。

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

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

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

    E90F9007-370C-4A82-B0A3-4FA1B63AC145.png

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

    052F1285-EAB3-4486-B09C-D385FDD2F9B7.png

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

    500B495B-A479-41E6-910E-52E9AC81F8D7.png

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

    十六、自旋锁与互斥锁 自旋锁:

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

    互斥锁:

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

    总结:

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

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

    优缺点:

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

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

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

    相关文章

      网友评论

          本文标题:多线程

          本文链接:https://www.haomeiwen.com/subject/wgaeahtx.html