How to Add Threads to a Sequential Language Without Getting Tangled Up

How to Add Threads to a Sequential Language Without Getting Tangled Up
复制标题

如何在不混乱的情况下向顺序语言添加线程

DOI：
--
复制
发表时间：
2003
期刊：
--
影响因子：
--
通讯作者：
R. Kelsey
R. Kelsey
中科院分区：
--
文献类型：
--
作者：
Martin Gasbichler;Eric Knauel;Michael Sperber;R. Kelsey

文献摘要

被引文献

相似文献

可以以系统的方式整合方案风格的一流的连续性和线程。在示意图中添加线程并不是什么新鲜事，在相关问题中，许多问题是连续性的确切关系，而呼叫 - 连接式的原始性，线程之间的互动和动态 - 风格，在存在线程的情况下，动态绑定的语义以及线程 - 本地存储的语义很重要。
It is possible to integrate Scheme-style first-class continuations and threads in a systematic way. We expose the design choices, discuss their consequences, and present semantical frameworks that specify the behavior of Scheme programs in the presence of threads. While the issues concerning the addition of threads to Schemelike languages are not new, many questions have remained open. Among the pertinent issues are the exact relationship between continuations and the call-with-current-continuation primitive, the interaction between threads, first-class continuations, and dynamic-wind, the semantics of dynamic binding in the presence of threads, and the semantics of thread-local store. Clarifying these issues is important because the design decisions related to them have profound effects on the programmer’s ability to write modular