协程&挂起&恢复

协程

协程通用概念:Coroutination passing style(CPS),即传接续体风格。

kotlin协程可以简化为【状态机+续体CPS】

  • 续体负责传递上一步骤的执行结果和后续操作步骤
  • 状态机负责记录和转移执行状态(这里值执行点位置)

挂起

一段协程的代码,例如通过launch启动一个协程,内部的代码,如果存在挂起点,那么就会以挂起点为分界把代码包装为一个续体类,也就是协程CPS转换。

在kotlin中,协程CPS本质也确实是做了一个callback的处理(在编译期)。

在上面的【状态机+续体CPS】 模型中,挂起点之前的代码,就是状态机状态转移前执行,随后把挂起点后的代码包装为续体coroutination等待恢复后继续执行。 这里在包装续体时,会将当前续体以及状态一起传递给新的续体(或称子续体)

恢复

恢复机制:挂起点通知续体恢复。例如我们常用的suspendCoroutine{}, 在挂起点通过调用续体的resume/resumeWith来通知恢复。

kotlin 复制代码
suspend fun doSomething(): String = suspendCoroutine {
    net.getDataFromRemote() { data ->
        it.resume(data)
    }
}

Q:遇到挂起点了,不是已经被挂起了吗....为什么挂起点还能通知恢复?是什么机制 ?

A:

  • 挂起点也是另一个执行点,如果把协程简化为线程池中的runnable,那么挂起点内部也是一个runnable,只不过给它传递了父协程,然后在内部runnable执行结束时,调用父runnable的resumeWith
  • 这也是为什么协程切换可能会发生在同一个线程上的原因
  • 能恢复父协程继续往下执行的原因也在于,在挂起之前执行状态会转移到下一个状态,因此在恢复时就可以根据这个状态找到对应的恢复点继续执行

和线程对比

协程也常常被称为轻量级线程。

线程:

  • 操作系统底层支持的,CPU执行的最小单元
  • 线程间内存空间是独立的,线程切换需要较大的系统开销
    • 上下文保存和恢复,涉及了用户态和内核态的切换
  • 启动一个线程执行任务,那么线程就会被这个任务阻塞;
  • 由于资源占用和系统开销,线程开启的数量往往是有限的、较少的

协程:

  • 协程是上层设计,不同的开发语言有不同的实现
  • 不同的协程是共享线程资源的,协程间的切换就不涉及太多的系统开销,也不涉及用户态和内核态的切换
  • 协程是非阻塞式挂起,即不阻塞线程的,因此即使在安卓开发中也可以放心使用
  • 协程可以同时启动很多,甚至是数以万计

你可参考:

相关推荐
Mintopia3 小时前
单体 vs 微服务:当 Next.js 长成“巨石阵”以后 🪨➡️🧩
前端·后端·全栈
吃饺子不吃馅3 小时前
大家都在找的手绘/素描风格图编辑器它它它来了
前端·javascript·css
陈随易3 小时前
改变世界的编程语言MoonBit:配置系统介绍(上)
前端·后端·程序员
Zhencode3 小时前
CSS变量的应用
前端·css
Mintopia3 小时前
AIGC 训练数据的隐私保护技术:联邦学习在 Web 场景的落地
前端·javascript·aigc
鹏多多3 小时前
React项目集成苹果登录react-apple-signin-auth插件手把手指南
前端·javascript·react.js
白水先森3 小时前
Python 字符串与布尔值详解
java·服务器·前端
TZOF3 小时前
TypeScript的新类型(五):tuple元组
前端·后端·typescript
TZOF3 小时前
TypeScript的object大小写的区别
前端·后端·typescript