Abstract
One of the nicest features of the future construct originally presented in Multilisp [2] is its near orthogonality with respect to a functional subset of Scheme [1]. Introducing futures into most functional programs does not affect the value returned, even though the parallel execution order might differ from the sequential. When futures and continuations are used in the same program, however, parallel and sequential executions can yield different results. No existing implementation of futures has yet addressed this issue. We make futures and continuations interact properly through a simple, yet important, change to the implementation of the future construct. This change causes a second problem to manifest itself: the creation of extraneous computation threads. The second problem is addressed by making an additional change to the future construct.
(a capsule summary)
Supported by Stanford University Computer Science Department.
Supported by Defense Advanced Research Projects Agency contract # N00014-87-K-0828.
This is a preview of subscription content, log in via an institution.
2 References
H. Abelson, et. al. Revised3 Report on the Algorithmic Language Scheme. MIT AI Memo 848a.
Robert H. Halstead, Jr. Multilisp: A Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems 7,4 (Oct. 1985), 501–538.
Robert H. Halstead, Jr. New Ideas in Parallel Lisp: Language Design, Implementation, and Tools. Paper presented at the U.S./Japan Workshop on Parallel Lisp, Sendai, Japan, June 1989, to be published in Lecture Notes in Computer Science, Springer-Verlag, Berlin.
Morry Katz and Daniel Weise. Continuing Into the Future: On the Interaction of Futures and First-Class Continuations. To be published in Proceedings of the 1990 ACM Conference on Lisp and Functional Programming.
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Katz, M., Weise, D. (1990). Continuing into the future: On the interaction of futures and first-class continuations. In: Ito, T., Halstead, R.H. (eds) Parallel Lisp: Languages and Systems. PSC 1989. Lecture Notes in Computer Science, vol 441. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024151
Download citation
DOI: https://doi.org/10.1007/BFb0024151
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52782-4
Online ISBN: 978-3-540-47143-1
eBook Packages: Springer Book Archive