你们好，初次接触zig，对于它的协程实现有一些疑问

[npc1054657282]

我看到zig的协程力图实现“非染色”的协程，因此比较感兴趣，进而简单地了解了一下这个语言。看起来这个语言是偏向于底层，追求0成本抽象和极致显式的哲学，因此我对于它的协程的逻辑上的约定实现细节比较好奇：
zig的协程的变量是什么时候出现在堆上的？对于0成本抽象与非染色的协程，我的理解是“一个返回future的函数”，如果是这样的解释的话，协程中创建的变量应该约定为在首次await之前都在栈上，而在首次await的时候将所有变量转移到堆中的函数帧上，我的理解正确吗？

[jiacai2050]

我看到zig的协程力图实现“非染色”的协程，因此比较感兴趣，进而简单地了解了一下这个语言。

ziglang/zig#23446

这里有些最新的进展，不过也还没细看。

[npc1054657282]

https://kristoff.it/blog/asynchrony-is-not-concurrency/
这应该是最新的进展，看得我十分兴奋

[lujiaguo]

我对底层编码并不特别了解，说一下我的看法可以相互讨论学习。

对于0成本抽象与非染色的协程，我的理解是...

0成本抽象的说法不适用于协程，协程的实现必然会产生额外开销，如无栈协程需要保存挂起点状态，有栈协程使用独立的栈。

zig的协程的变量是什么时候出现在堆上的？

这个问题需要看具体的IO实现，以zig未合并到master的源码为例，保存的时机是在io.asyncConcurrent(io, function, args)执行时，而非执行至首次await时。

另外，协程的变量（或者说状态）似乎也有可能不保存在堆上而是栈上？

---

我对 Asynchrony is not Concurrency 一文的理解是

• **异步（asynchrony）**是一种能够执行非阻塞操作的能力，它并不表达逻辑是否是“并发（concurrency）”的；
• io.async()表达异步，但实际行为是否并发取决于IO实现。
• io.asyncConcurrent()表达需要并发的异步，适用于必须使用并发来保证正确性的情况（文中server.accept和client.connect的例子）。
• 既然io.async()表示可能并发，则需要保证其执行的逻辑具有“the possibility for tasks to run out of order and still be correct.”（原文对异步的描述）的特性。