协程&挂起&恢复

协程

协程通用概念: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执行的最小单元
  • 线程间内存空间是独立的,线程切换需要较大的系统开销
    • 上下文保存和恢复,涉及了用户态和内核态的切换
  • 启动一个线程执行任务,那么线程就会被这个任务阻塞;
  • 由于资源占用和系统开销,线程开启的数量往往是有限的、较少的

协程:

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

你可参考:

相关推荐
hkNaruto5 小时前
【AI】基于大模型的AI游戏地图生成、控制方案:AI Native Game Harness 迁移操作手册
前端·人工智能·游戏
IT_陈寒5 小时前
Java序列化踩坑记:对象循环引用让我加班两小时
前端·人工智能·后端
Acro6 小时前
快给macOS 上的Grok Bot换一套皮肤
前端
flash俊杰6 小时前
双引擎 OCR 编排:逐页判定、视觉优先、partial 语义与三层超时
前端
计算机魔术师6 小时前
Reddit 每周被 Google 偷走 100 万次点击,CEO 摊牌了
前端
前端繁华如梦6 小时前
用 React Three Fiber 做一栋能编辑的教学楼数字孪生
前端
前端繁华如梦6 小时前
用 React Three Fiber 做一套智慧医院数字孪生:编辑器、大屏和 BIM 浏览器
前端
俊昭喜喜里7 小时前
理解全局跨域CORS配置
前端
锋行天下10 小时前
DeepSeek写Langgraph就是个大傻逼,一本正经胡说八道
前端·人工智能·后端
jktantan10 小时前
每个节点 41 字节:把一棵百万节点树拆进 14 个 typed array
前端·javascript·vue.js·算法·typescript