Android面试题之Kotlin 协程的挂起、执行和恢复过程

57 篇文章 0 订阅

本文首发于公众号“AntDream”,欢迎微信搜索“AntDream”或扫描文章底部二维码关注,和我一起每天进步一点点

协程的挂起、执行和恢复过程到底是怎么样的?

协程(Coroutine)的挂起和恢复机制是其高效管理并发性的核心。这些过程涉及多个关键步骤,包括状态和上下文的保存、释放线程控制权、以及恢复时的通知等。
我们来详细讲解一下这些机制。

1. 协程挂起和恢复时保存的状态和上下文

1.1 状态信息

协程的状态信息主要包括:

  • 局部变量:函数当前执行到的位置以及所有局部变量的值。
  • 挂起点:协程挂起的位置,这个位置通常是代码中的一个挂起点(suspend函数)。
  • 调用栈:它对应当前执行的协程堆栈帧,可以看作是对函数调用链的保存。
1.2 上下文信息

协程的上下文信息通常包括:

  • 调度器:即协程运行的调度器(例如 Dispatchers.IO, Dispatchers.MainDispatchers.Default)。
  • 异步工作器:包含了协程的执行环境和工作状态。
  • 取消状态:协程是否被取消或处于取消状态。

2. 状态与上下文的保存形式

2.1 协程堆栈帧

协程在挂起时,会将当前的堆栈帧转换为对象并存储在堆中。这个对象包含了所有当前帧的局部变量、挂起点以及其他必要信息。恢复时,这个对象重新转换为堆栈帧并继续执行。

2.2 Continuation

Kotlin中的挂起函数实质上会被编译器转换成带有回调的 Continuation 对象。该对象包含两个主要部分:

  • 上下文(Continuation Context):绑定的执行环境。
  • 恢复逻辑(Resume Logic):保存和处理挂起点的逻辑。
interface Continuation<in T> {
    val context: CoroutineContext
    fun resumeWith(result: Result<T>)
}

3. 协程挂起后切换到其他线程执行

当协程遇到挂起点(如 delay, awaitsuspend 函数)时,它会触发挂起机制,具体步骤如下:

3.1 挂起点的处理

当协程在挂起点被挂起时,当前函数状态和局部变量会被保存到 Continuation 对象中。
挂起函数会将 Continuation 对象传递给协程的调度器。

3.2 挂起协程和释放线程

调度器会暂停当前协程的执行,把线程控制权交给调度器管理的线程池或其他任务,从而释放当前线程。

4. 切换到其他线程执行

4.1 恢复协程条件满足

当挂起的条件满足(例如 delay 到期,或者异步任务完成),调度器会收到执行恢复逻辑的通知。

4.2 调度器分配新的线程运行

调度器会将保存的 Continuation 对象重新分配给线程池中的某个线程,调用 resumeWith 方法恢复协程:

continuation.resumeWith(Result.success(result))

这时,协程会恢复到挂起点之后的代码继续正常执行。

5. 协程在其他线程执行完后的通知机制

5.1 异步任务完成通知

当协程在新的线程中执行完任务(比如完成网络请求等异步任务)时,执行环境会调用 ContinuationresumeWith 方法:

continuation.resumeWith(Result.success(result))
5.2 通知调度器

resumeWith 方法会触发协程恢复处理,同时通知调度器该协程已准备好继续执行。

6. 调度器恢复协程到原线程

6.1 检查恢复环境

调度器检查协程需要恢复的环境,特别是上下文中的线程调度信息。如果协程需要恢复到特定线程(例如主线程),调度器会安排该任务。

6.2 分配线程

调度器找到或分配合适的线程,根据协程上下文完成恢复调度。典型的调度器如 Dispatchers.Main 或自定义调度器负责将任务放回特定线程运行。

6.3 恢复执行

调度器调用 Continuationresume 方法,将保存的上下文和状态恢复到协程堆栈:

continuation.resume(result)

然后,协程在新的或原来的线程上恢复执行挂起点之后的代码。
以下是一个简单的示例,展示了协程如何在挂起后切换到不同线程并恢复到主线程:

import kotlinx.coroutines.*

fun main() = runBlocking {
    withContext(Dispatchers.Main) {
        println("Running on main thread: ${Thread.currentThread().name}")
        
        withContext(Dispatchers.IO) {
            println("Switching to IO thread: ${Thread.currentThread().name}")
            delay(1000) // 挂起点
            println("Resuming on IO thread: ${Thread.currentThread().name}")
        }

        println("Back to main thread: ${Thread.currentThread().name}")
    }
}

在这个例子中:

  • withContext(Dispatchers.Main) 确保代码一开始运行在主线程。
  • withContext(Dispatchers.IO) 切换到 I/O 线程,执行 delay 挂起。
  • 挂起后,协程会保存当前状态和上下文,并交由 Dispatchers.IO 管理。
  • 延时结束后,Dispatchers.IO 恢复协程执行。
  • withContext(Dispatchers.Main) 之后的代码切换回主线程,保证恢复到原来的执行环境。

总结

综上所述,Kotlin 协程在挂起和恢复过程中,通过调度器实现线程的切换和任务调度:

  1. 挂起点保存当前状态由Continuation管理。
  2. 调度器控制挂起后的线程控制权交还。
  3. 恢复条件满足时,调度器分配新线程,调用resumeWith方法恢复协程。
  4. 调度器检查恢复环境,分配合适线程并调用resume方法继续执行。

欢迎关注我的公众号查看更多精彩文章!

AntDream

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值