纤维/协程vs定界连续

时间:2018-06-26 01:43:54

标签: theory coroutine fiber delimited-continuations

因此,我在此处http://open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf阅读了一篇有关并发窃取双端队列的文章。他们提到“偷儿童vs继续偷”,并说偷儿童可能需要无限制的堆栈空间来容纳尚未执行的任务,这与继续偷不同,这是P =#processors的一个恒定因素。

我对纤维/协程与定界延续之间的区别有一个理论上的疑问。首先,我接受协程和纤维几乎相等,但是纤维也等同于延续吗?我暗中怀疑我将要实现的根本上是错误的(即用光纤替换线程,而实际上没有实现不需要无限制内存的版本)。

1 个答案:

答案 0 :(得分:0)

从概念上讲,“堆栈式协程”就其表达性而言等效于“定界连续性”,而fibre表示具有(通常是可插入的)调度程序的堆栈式协程。