-
协程是什么
协程基于线程,它是轻量级线程
协程让异步逻辑同步化,杜绝回调地狱
协程最核心的点就是,函数或者一段程序能够被挂起,稍后再在挂起的位置恢复(借助kotlin编译器实现的)
-
在Android中协程用来解决什么问题
- 处理耗时任务(这种任务常常会阻塞主线程)
- 保证主线程(确保安全地从主线程调用任务suspend函数)
-
协程的挂起和恢复
常规函数基础操作包括:invoke(或call)和return,协程新增了suspend和resume
- suspend -- 也称为挂起或者暂停,用于暂停执行当前协程,并保存所有局部变量;
- resume -- 用于让已暂停的协程从其暂停处继续执行。
-
挂起与阻塞的区别
- 阻塞:去商场吃饭,点击满桌后需要取号排队,这时坐在门口硬等不做其他事;
- 挂起:去商场吃饭,点击满桌后需要取号排队,给商家留一个号码,到号后商家会通知你,这时你就可以去商场逛逛不闲着。
-
挂起函数
- 使用suspend关键字修饰的函数叫做挂起函数
- 挂起函数只能在协程体内或其他挂起函数内调用
-
协程的两部分
kotlin的协程实现分为两个层次
- 基础设施层 -- 标准库的协程API,主要对协程提供了概念和语义上最基本的支持
- 业务框架层 -- 协程的上层框架支撑
-
调度器
所有协程必须在调度器中运行,即使它们在主线程上运行也是如此;如果没有指定是default
- Dispatchers.Main -- android上的主线程,用来处理UI交互和一些轻量级任务
- Dispatchers.IO -- 非主线程专为磁盘和网络IO进行了优化(数据库、网络数据获取、文件读写)
- Dispatchers.Default -- 非主线程专为CPU密集型任务进行了优化(数组排序、JSON数据解析、处理差异判断)
-
任务泄漏
- 当某一个协程任务丢失,无法追踪,会导致内存、cpu、磁盘等资源浪费,甚至发送一个无用的网络请求,存在这些情况称为任务泄漏;
- 为了能够避免协程任务泄漏,kotlin引入了结构化并发机制
-
结构化并发机制
使用结构化并发可以做到:
- 取消任务 -- 当某项任务不再需要时取消它;
- 追踪任务 -- 当任务正在执行时,追踪它;
- 发出错误信号 -- 当协程失败时,发出错误信号表明有错误发生
对应代码就是协程作用域
-
CoroutineScope协程作用域
定义协程必须指定其CoroutineScope,它会跟踪所有协程,同样它还可以取消由它所启动的协程
常用的相关API有:
- GlobalScope -- 生命周期是process级别的,即使Activity或者Fragment已经被销毁,协程仍然在执行;
- MainScope -- 在Activity中使用,可以在onDestory()中取消协程;
- ViewModelScope -- 只能在ViewModel中使用,绑定ViewModel的生命周期;
- LifecycleScope -- 只能在Activity、Fragment中使用,会绑定Activity、Fragment的生命周期。
-
协程构建器
- launch -- 返回一个job并且不附带任何结果值;
- async -- 返回一个deferred,deferred继承自job,可以使用.await()在一个延期的值上得到它的最终结果。
- join和await(launch使用join,async使用await),都是挂起函数
- async组合并发
-
启动模式
- DEFAULT -- 协程创建后,立即开始调度,在调度前如果协程被取消,其将直接进入取消响应的状态;
- ATOMIC -- 协程创建后,立即开始调度,协程执行到第一个挂起点之前不响应取消;
- LAZY -- 只有协程被需要时,包括主动调用协程的start、join或者await等函数时才会开始调度,如果调度前就被取消,那么该协程将直接进入异常结束状态;
- UNDISPATCHED -- 协程创建后立即在当前函数调用栈中执行,直到遇到第一个真正挂起的点
-
协程的作用域构建器
coroutineScope和runBlocking
- runBlocking是常规函数,而coroutineScope是挂起函数;
- 它们都会等待其协程体以及所有子协程结束,主要区别在于runBlocking方法会阻塞当前线程来等待,而coroutineScope只是挂起,会释放底层线程用于其他用途。
coroutineScope和supervisorScope
- coroutineScope -- 一个协程失败了,所有的其他兄弟协程也会被取消
- supervisorScope -- 一个协程失败了,不会影响其他兄弟协程
-
Job对象
- 对于每一个创建的协程(通过launch或者async),会返回一个Job实例,该实例是协程的唯一标示,并且负责管理协程的生命周期;
- 一个任务可以包含一系列状态:新创建(new)、活跃(active)、完成中(completing)、已完成(completed)、取消中(cancelling)、和已取消(cancelled)。虽然我们无法直接访问这些状态,但是我们可以访问job的属性:isActive、isCancelled和isCompleted。
-
协程的取消
- 取消作用域会取消它的子协程;
- 被取消的子协程并不会影响其余兄弟协程;
- 协程通过抛出一个特殊的异常CancellationException来处理取消操作;
- 所有kotlinx.coroutines中的挂起函数(withContext、delay等)都是可取消的。
-
CPU密集型任务取消
- isActive是一个可以被使用在CoroutineScope中的扩展属性,检查Job是否处于活跃状态;
- ensureActive(),如果job处于非活跃状态,这个方法会立即抛出异常;
- yield函数会检查所在协程的状态,如果已经取消,则抛出CancellationException予以响应。此外,它还会尝试出让线程的执行权,给其他协程提供执行机会
-
协程取消的副作用
- 在finally中释放资源
- use函数 -- 该函数只能被实现了Closeable的对象使用,程序结束的时候会自动调用close方法,适合文件对象。