协程, 是 为了 避免 闭包传递变量 的 性能损耗 而产生 。
如果不是 为了 避免 闭包传递变量 的 性能损耗 , 线程池 和 Task 已经够了, 不需要 再设计 出 协程 来 。
闭包, 会 让 所有共享 的 变量 变成 引用 访问 的 方式,包括 值变量 。
因为 闭包 是将 变量 放到 堆 里 共享 。
协程 就是在 堆 里 模拟出一个 堆栈 和 协程“上下文” 存储区, 这和 操作系统 的 线程 堆栈 和 上下文 架构 是 相似 的 。
上下文存储区 保存 每个 协程 的 堆栈 的 栈顶 栈底, 在 切换 协程 时, 将 栈顶 栈底 存入 CPU 寄存器,
这样, 代码 中 对 变量 的 访问 就可以 和 线程 一样, 通过 编译在 指令中 的 偏移量 操作数 加上 栈底 的 地址 就可以得到 变量 的 地址 。
这样 对 函数 局部变量 的 访问 就和 线程 一样 , 指令 偏移量 操作数 + 栈底 , 这样 一次 寻址 。
避免了 闭包 将 变量 变成 引用访问 的 二次寻址 带来 的 性能损耗 。
所以, C# 的 async await 本身 就 包含了 一个 协程 的 实现, 这大概也是 C# async await 要通过 编译器 把 代码 编译为 状态机 而不是 Task.ContinueWith() 的 原因 。
协程 需要 编译器 在 汇编 层面 实现, 不能 通过 高级语言 的 类库 / 封装 / 设计模式 的 方式实现 。
InnerC 还不能 描述 协程, 可以考虑 给 InnerC 增加 协程 的 语法支持 。
在 现阶段, 协程 是一个 有 技术含量 和 竞争力 的 技术 。