Kotlin协程介绍（二）实现原理

古城微笑少年丶 2023-07-02 06:25 11阅读 0赞

通过[Kotlin协程介绍（一）][Kotlin]我们了解到协程可以让顺序的代码实现CPS的效果，实际上协程的本质就是在编译期将顺序代码变为CPS。协程用suspend关键字声明一个挂起函数

suspend fun delay(time: Int)

挂起函数经过编译后，在jvm里会变成一个CPS：

//Continuation用来实现CPS的回调
    interface Continuation<T> {
        void resumeWith(Result<T> result)
    }
    
    void delay(Int time, Continuation<Int> continuation)

delay通过continuation.resumeWith回调执行后续代码。挂起函数编译生成的CPS，不是一个简单的回调，而是一个状态机模型：

suspend fun simpleCoroutine() {
        val start = System.currentTimeMillis()
        println("start")
        delay(1000) // 挂起点
        println("end ${System.currentTimeMillis() - start}")
    }

上面的代码编译器变为一个状态机：

class SimpleCoroutine {
        var label = 0
        var start = 0L
    
        fun resume() {
            when (label) {
                0 -> {
                    start = System.currentTimeMillis()
                    println(“start")
                    label++
                    delay(1000, this)
                }
                1 -> {
                    println("end ${System.currentTimeMillis() - start}”)
                    label++
                }
            }
        }
    }

label代表当前状态，每一个挂起点和初始挂起点对应的 Continuation 都会转化为一种状态。随着挂起点的增加，只会增加状态，但不会增加回调嵌套的深度。挂起函数将执行过程分为多个 Continuation 片段，并且利用状态机的方式保证各个片段是顺序执行的。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3ZpdGF2aXZh_size_16_color_FFFFFF_t_70][]

[Kotlin]: https://blog.csdn.net/vitaviva/article/details/104092389
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3ZpdGF2aXZh_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20200127171436122.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3ZpdGF2aXZh,size_16,color_FFFFFF,t_70