Fibers / Coroutines vs Delimited Continuations

Question

所以我在这里阅读了一篇关于并发工作窃取双端队列的论文：http://open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf。他们提到了“Child-Stealing vs Continuation Stealing”，他们说 Child Stealing 可能需要无限的堆栈空间来保存尚未执行的任务，而 Continuation Stealing 是 P=#processors 的常数因子。

我对纤维/协程和定界延续之间的区别有一个理论问题。首先，我承认协程和纤程几乎是等价的，但纤程也等同于延续吗？我偷偷地怀疑我要实现的内容根本上是错误的（即用纤程替换线程，而不是实际实现不需要无限内存的版本）。

Answer 1

在概念层面上，“堆栈式协程”在表达性方面等同于“一次性定界延续”或“单次延续”，而 Fiber 意味着具有（通常是可插入的）调度程序的堆栈式协程，@987654321 @。