Representing control in the presence of one-shot continuations
Representing control in the presence of one-shot continuations
复制标题
表示存在一次性延续时的控制
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
R. Dybvig
中科院分区：
文献类型：
--
作者：
Carl Bruggeman;Oscar Waddell;R. Dybvig
传统的一等延续机制允许多次调用捕获的延续。然而，许多延续只被调用一次。本文介绍了单镜头连续，展示了它们如何与传统的多镜头连续交互，并描述了一种基于堆栈的控制实现，可以处理单镜头和多镜头连续。该实现消除了单次延续的复制开销，这是多次延续所固有的。
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduces one-shot continuations, shows how they interact with traditional multi-shot continuations, and describes a stack-based implementation of control that handles both one-shot and multi-shot continuations. The implementation eliminates the copying overhead for one-shot continuations that is inherent in multi-shot continuations.