协程这个概念在1958年就开始出现, 比线程更早, 目前很多语言开始原生支, Java没有原生协程但是可以大型公司都自己或者使用第三方库来支持协程编程, 但是Kotlin原生支持协程.
我认为协程的核心就是一个词: 作用域, 理解什么是作用域就理解协程了
什么是协程
协程是协作式任务, 线程是抢占式任务, 本质上两者都属于并发
Kotlin协程就是线程库不是协程? 内部代码用的线程池?
- 最知名的协程语言Go内部也是维护了线程, 他也不是协程了?
- 协程只是方便开发者处理异步, 线程才能提升性能效率, 两者本身不是替换关系没有说用了谁就不用另一个了
- 协程是一种概念, 无关乎具体实现方式
- kotlin标准库中的协程不包含线程池代码, 仅扩展库才内部处理了线程池
协程设计来源
- Kotlin的协程完美复刻了谷歌的Go语言的协程设计模式(
作用域/channel/select
), 将作用域用对象来具化出来; 且可以更好地控制作用域生命周期; await
模式(JavaScript的异步任务解决方案)- Kotlin参考RxJava响应式框架创造出
Flow
- 使用协程开始就不需要考虑线程的问题, 只需要在不同场景使用不同的调度器(调度器会对特定任务进行优化)就好
特性
使用场景
假设首页存在七个接口网络请求(后端人员处理差)的情况一个个使用串行网络请求的时间比并发网络请求慢了接近七倍
目前计算机都是通过多核CPU提升计算能力, 所以熟练掌握并发编程是未来的趋势
协程优势
- 并发实现方便
- 没有回调嵌套发生, 代码结构清晰
- 创建协程性能开销优于创建线程, 一个线程可以运行多个协程, 单线程即可异步
实验特性
协程在Kotlin1.3时候放出正式版本, 目前仍然存在不稳定函数(不影响项目开发), 通过注解标识
@FlowPreview 代表可能以后存在Api函数变动
@ExperimentalCoroutinesApi 代表目前可能存在不稳定的因素的函数
@ObsoleteCoroutinesApi 可能存在被废弃的可能
构成
Kotlin的协程主要构成分为三部分
CoroutineScope
协程作用域: 每个协程体都存在一个作用域, 异步还是同步由该作用域决定Channel
通道: 数据如同一个通道进行发送和接收, 可以在协程之间互相传递数据或者控制阻塞和继续Flow
响应流: 类似RxJava等结构写法
为自动化/并发网络请求我创建一个库, 我姑且称为Android最强的网络请求库: Net
1.0+版本为RxJava实现, 2.0+版本为Coroutine实现, 同时包含更强的轮循器用于替代RxJava的轮循功能
因为需要抛弃RxJava, 取代RxBus事件分发我使用协程创建出一个更加强大的: Channel
我们公司项目属于 MVVM + Kotlin + Coroutine + JetPack
, 在国外很常用, 主要带来的优势;
- 简洁, 减少70%左右代码
- 双向数据绑定
- 并发异步任务(网络)倍增速度
- 更健壮的数据保存和恢复
我平时项目开发必备框架
框架 | 描述 |
---|---|
Net | Android不是最强网络请求/异步任务库 |
BRV | Android不是最强列表 |
Serialize | 创建自动保存和恢复的字段 |
StateLayout | Android不是最强缺省页 |
LogCat | JSON和长文本日志打印工具 |
Tooltip | 完善的吐司工具 |
DebugKit | 开发调试窗口工具 |
StatusBar | 一行代码创建透明状态栏 |
Channel | 基于协程和JetPack特性的事件分发框架 |
展望
协程对于后端高并发优势很大, 至于Google的Jetpack基本上都有针对协程扩展, 最明显的是并发网络请求速度倍增; 同时代码更加结构清晰, 本文章后续会根据Kotlin的版本中的协程迭代进行更新
依赖
这里我们使用协程扩展库, kotlin标准库的协程太过于简陋不适用于开发者使用
implementation "org.jetbrains.kotlinx:kotlinx-coroutines-core:1.3.9"
implementation "org.jetbrains.kotlinx:kotlinx-coroutines-android:1.3.9"
创建协程
开启主协程的分为三种方式
生命周期和App一致, 无法取消(不存在Job), 不存在线程阻塞
fun main() {
GlobalScope.launch {
// 在后台启动一个新的协程并继续
delay(1000L)
println("World!")
}
Thread.sleep(2000) // 防止JVM虚拟机退出
}
这里说的是GlobalScope没有Job, 但是启动的launch都是拥有Job的. GlobalScope本身就是一个作用域, launch属于其子作用域;
不存在线程阻塞, 可以取消, 可以通过CoroutineContext控制协程生命周期
fun main() {
CoroutineScope(Dispatchers.IO).launch {
}
Thread.sleep(1000)
}
线程阻塞, 适用于单元测试, 不需要延迟阻塞防止JVM虚拟机退出. runBlocking属于全局函数可以在任意地方调用
一般我们在项目中是不会使用runBlocking, 因为阻塞主线程没有开启的任何意义
fun main() = runBlocking {
// 阻塞线程直到协程作用域内部所有协程执行完毕
}
创建作用域
协程内部还可以使用函数创建其他协程作用域, 分为两种创建函数:
CoroutineScope
的扩展函数, 只有在作用域内部才能创建其他的作用域suspend
修饰的函数内部- 协程永远会等待其内部作用域内所有协程都执行完毕后才会关闭协程
在主协程内还可以创建子协程作用域, 创建函数分为两种
-
阻塞作用域(串行): 会阻塞当前作用域
-
挂起作用域(并发): 不会阻塞当前作用域
同步作用域函数
都属于suspend函数
withContext
可以切换调度器, 有返回结果coroutineScope
创建一个协程作用域, 该作用域会阻塞当前所在作用域并且等待其子协程执行完才会恢复, 有返回结果supervisorScope
使用SupervisorJob的coroutineScope, 异常不会取消父协程
public suspend fun <T> withContext(
context: CoroutineContext,
block: suspend CoroutineScope.() -> T
): T
// 返回结果; 可以和当前协程的父协程存在交互关系, 主要作用为来回切换调度器
public suspend inline operator fun <T> CoroutineDispatcher.invoke(
noinline block: suspend CoroutineScope.() -> T
): T = withContext(this, block)
// withContext工具函数而已
public suspend fun <R> coroutineScope(block: suspend CoroutineScope.() -> R): R
public suspend fun <R> supervisorScope(block: suspend CoroutineScope.() -> R): R
public suspend inline fun <T> suspendCoroutine(crossinline block: (Continuation<T>) -> Unit): T
异步作用域函数
这两个函数都不属于suspend, 只需要CoroutineScope就可以调用
launch
: 异步并发, 没有返回结果async
: 异步并发, 有返回结果
public fun CoroutineScope.launch(
context: CoroutineContext = EmptyCoroutineContext,
start: CoroutineStart = CoroutineStart.DEFAULT,
block: suspend CoroutineScope.() -> Unit
): Job
public fun <T> CoroutineScope.async(
context: CoroutineContext = EmptyCoroutineContext,
start: CoroutineStart = CoroutineStart.DEFAULT,
block: suspend CoroutineScope.() -> T
): Deferred<T>
并发
同一个协程作用域中的异步任务遵守顺序原则开始执行; 适用于串行网络请求, 在一个异步任务需要上个异步任务的结果时.
协程挂起需要时间, 所以异步协程永远比同步代码执行慢
fun main() = runBlocking<Unit> {
launch {
System.err.println("(Main.kt:34) 后执行")
}
System.err.println("(Main.kt:37) 先执行")
}
当在协程作用域中使用async
函数时可以创建并发任务
public fun <T> CoroutineScope.async(
context: CoroutineContext = EmptyCoroutineContext,
start: CoroutineStart = CoroutineStart.DEFAULT,
block: suspend CoroutineScope.() -> T
): Deferred<T>
示例
fun main() = runBlocking<Unit> {
val name = async {
getName() }
val title = async {
getTitle() }
System.err.println("(Main.kt:35) result = ${
name.await() + title.await()}")
delay(2000)
}
- 返回对象
Deferred
; 通过函数await
获取结果值 - Deferred集合还可以使用
awaitAll()
等待全部完成 - 不执行
await
任务也会等待执行完协程关闭 - 如果Deferred不执行await函数则async内部抛出的异常不会被logCat或tryCatch捕获, 但是依然会导致作用域取消和异常崩溃; 但当执 行await时异常信息会重新抛出
惰性并发
将async函数中的start
设置为CoroutineStart.LAZY
时则只有调用Deferred对象的await
时才会开始执行异步任务(或者执行start
函数)
启动模式
DEFAULT
立即执行LAZY
直到Job执行start或者join才开始执行ATOMIC
在作用域开始执行之前无法取消UNDISPATCHED
不执行任何调度器, 直接在当前线程中执行, 但是会根据第一个挂起函数的调度器切换
异常
协程中发生异常, 则父协程取消并且父协程其他的子协程同样全部取消
Deferred
继承自Job
提供一个全局函数用于创建CompletableDeferred对象, 该对象可以实现自定义Deferred功能
public suspend fun await(): T
// 结果
public val onAwait: SelectClause1<T>
// 在select中使用
public fun getCompleted(): T
// 如果完成[isCompleted]则返回结果, 否则抛出异常
public fun getCompletionExceptionOrNull(): Throwable?
// 如果完成[isCompleted]则返回结果, 否则抛出异常
示例
fun main() = runBlocking<Unit> {
val deferred = CompletableDeferred<Int>()
launch {
delay(1000 )
deferred.complete(23)
}
System.err.println("(Demo.kt:72) 结果 = ${
deferred.await()}")
}
创建CompletableDeferred
的顶层函数
public fun <T> CompletableDeferred(parent: Job? = null): CompletableDeferred<T>
public fun <T> CompletableDeferred(value: T): CompletableDeferred<T>
CompletableDeferred函数
public fun complete(value: T): Boolean
// 结果
public fun completeExceptionally(exception: Throwable): Boolean
// 抛出异常, 异常发生在`await()`时
public fun <T> CompletableDeferred<T>.completeWith(result: Result<T>): Boolean
// 可以通过标记来判断是否成功, 避免异常抛出
CoroutineScope
创建此对象表示创建一个协程作用域
结构化并发
如果你看协程的教程可能会经常看到这个词, 这就是作用域内部开启新的协程; 父协程会限制子协程的生命周期, 子协程承接父协程的上下文, 这种层级关系就是结构化并发
在一个协程作用域里面开启多个子协程进行并发行为
CoroutineContext
协程上下文, 我认为协程上下文可以看做包含协程基本信息的一个Context(上下文), 其可以决定协程的名称或者运行
创建一个新的调度器
fun newSingleThreadContext(name: String): ExecutorCoroutineDispatcher
fun newFixedThreadPoolContext(nThreads: Int, name: String): ExecutorCoroutineDispatcher
创建新的调度器比较消耗资源, 建议复用且当不需要的时候使用close
函数释放
调度器
Dispatchers
继承自CoroutineContext, 该枚举拥有三个实现; 表示不同的线程调度; 当函数不使用调度器时承接当前作用域的调度器
Dispatchers.Unconfined
不指定线程, 如果子协程切换线程那么接下来的代码也运行在该线程上Dispatchers.IO
适用于IO读写Dispatchers.Main
根据平台不同而有所差, Android上为主线程Dispatchers.Default
默认调度器, 在线程池中执行协程体, 适用于计算操作
立即执行
Dispatchers.Main.immediate
immediate
属于所有调度器都有的属性, 该属性代表着如果当前正处于该调度器中不执行调度器切换直接执行, 可以理解为在同一调度器内属于同步协程作用域
例如launch
函数开启作用域会比后续代码执行顺序低, 但是使用该属性协程属于顺序执行
示例
CoroutineScope(Job() + Dispatchers.Main.immediate).launch {
// 执行顺序 1
}
// 执行顺序 2
CoroutineScope(Job() + Dispatchers.Main).launch {
// 执行顺序 4
}
// 执行顺序 3
协程命名
通过创建一个CoroutineName
对象, 在构造函数中指定参数为协程名称, CoroutineName
继承自CoroutineContext.
launch(CoroutineName("吴彦祖")){
}
协程上下文名称用于方便调试使用
协程挂起
yield函数可以让当前协程暂时挂起执行其他协程体, 如果没有其他正在并发的协程体则继续执行当前协程体(相当于无效调用)
public suspend fun yield(): Unit
看协程中可能经常提及挂起, 挂起可以理解为这段代码(作用域)暂停, 然后执行后续代码; 挂起函数一般表示suspend关键字修饰的函数, suspend要求只允许在suspend修饰的函数内部调用, 但是本身这个关键字是没做任何事的. 只是为了限制开发者随意调用
挂起函数调用会在左侧行号列显示箭头图标
![image-20200106120117080](https://tva1.sinaimg.cn/large/006tNbRwgy1gampitfx7vj314s09aq4f.jpg)
JOB
在协程中Job通常被称为作业, 表示一个协程工作任务, 他同样继承自CoroutineContext
val job = launch {
}
Job属于接口
interface Job : CoroutineContext.Element
函数
public suspend fun join()
// 等待协程执行完毕都阻塞当前线程
public val onJoin: SelectClause0
// 后面提及的选择器中使用
public fun cancel(cause: CancellationException? = null)
// 取消协程
public suspend fun Job.cancelAndJoin()
// 阻塞并且在协程结束以后取消协程
public fun start(): Boolean
public val children: Sequence<Job>
// 全部子作业
public fun getCancellationException(): CancellationException
public fun invokeOnCompletion(
onCancelling: Boolean = false,
invokeImmediately: Boolean = true,
handler: CompletionHandler): DisposableHandle
// p1: 当为true表示cancel不会回调handler
// p2: 当为true则先执行[handler]然后再返回[DisposableHandle], 为false则先返回[DisposableHandle]
public fun invokeOnCompletion(handler: CompletionHandler): DisposableHandle
// 当其作用域完成以后执行, 主协程指定才有效, 直接给CoroutineScope指定时无效的
// 手动抛出CancellationException同样会赋值给cause
状态
通过字段可以获取JOB当前处于状态
public val isActive: Boolean
public val isCancelled: Boolean
public val isCompleted: Boolean
扩展函数
public fun Job.cancelChildren(cause: CancellationException? = null)
public suspend fun Job.cancelAndJoin()
每个协程作用域都存在coroutineContext. 而协程上下文中都存在Job对象
coroutineContext[Job]
结束协程
如果协程作用域内存在计算任务(一直打日志也算)则无法被取消, 如果使用delay函数则可以被取消;
fun main() = runBlocking<Unit> {
val job = launch(Dispatchers.Default) {
while (true){
delay(100) // 这行代码存在则可以成功取消协程, 不存在则无法取消
System.err.println("(Main.kt:30) "