Olin Shivers MIT AI Lab Cambridge, Massachusetts, USA  Home/Search
Context Related
| brics.dk/~cw97/ProceedingS/02.ps.gz mit.edu/people/shivers...cpsthreads.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/~cw97/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is well known [Wand] that concurrency can be expressed within languages that provide a continuation type. However, a number of misconceptions persist regarding the relationship between threads and continuations. I discuss the proper relationship between these two objects, and present a model for directly expressing concurrency using continuations. The model is designed to support systems programming, and has several novel features: it is synchronous, preemptable, and fully... (Update)
Context of citations to this paper: More
.... continuations, can be implemented using threads [15] Shivers has presented an implementation of threads using multicontinuation CPS [22]. The benefits of the precision gained using partial, composable continuations to capture control context, particularly when multiple...
.... of SML [AM91] provide first class continuations, which can be used to implement efficient concurrency libraries [Wan80, Shi97, Rep99] The approach that we take in the MOBY compiler builds on the idea that continuations can be used to implement concurrency....
Cited by: More
Categorical Structure of Continuation Passing Style - Thielecke (1997) (Correct)
Towards Trusted Systems from the Ground Up - Haldar, Franz (2002) (Correct)
Compiler Support for Lightweight Concurrency - Fisher, Reppy (2001) (Correct)
Active bibliography (related documents): More All
0.5: Automatic Management of Operating-System Resources - Shivers (1997) (Correct)
0.1: A Formulae-as-Types Notion of Control - Griffin (1990) (Correct)
0.1: Linear Continuations - Filinski (1992) (Correct)
Similar documents based on text: More All
0.2: A Universal Scripting Framework or Lambda: the ultimate "little.. - Shivers (1996) (Correct)
0.2: Retrospective: - Higher-Order Control-Flow Analysis (Correct)
0.2: Unknown - (Correct)
Related documents from co-citation: More All
2: Compiling with Continuations (context) - Appel - 1992
2: Continuations and Coroutines (context) - Haynes, Friedman et al. - 1984
2: The essence of compiling with continuations - Flanagan, Sabry et al.
BibTeX entry: (Update)
Olin Shivers. Continuations and threads: Expressing machine concurrency directly in advanced languages. In Proceedings of the Second ACM SIGPLAN Workshop on Continuations, pages 2--1---2--15, Paris (France), January 1997. ACM Press. http://citeseer.ist.psu.edu/288145.html More
@misc{ shivers97continuations,
author = "O. Shivers",
title = "Continuations and threads: Expressing machine concurrency directly in advanced
languages",
text = "Olin Shivers. Continuations and threads: Expressing machine concurrency
directly in advanced languages. In Proceedings of the Second ACM SIGPLAN
Workshop on Continuations, pages 2--1---2--15, Paris (France), January 1997.
ACM Press.",
year = "1997",
url = "citeseer.ist.psu.edu/288145.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
197 The revised 4 report on the algorithmic language Scheme - Rees, Clinger - 1991
57 Continuation-based multiprocessing - Wand - 1980
43 A tractable Scheme implementation - Kelsey, Rees
23 Engines from Continuations (context) - Dybvig, Hieb - 1989
15 Higher Order Concurrency (context) - Reppy - 1992
13 A foundation for an efficient multi-threaded Scheme System (context) - Jagannathan, Philbin
8 Computer Science Department (context) - Filinski, Categorical et al. - 1989
2 Also available as technical report TR (context) - Shivers, shell et al.
1 TOPS-20 Monitor Calls Reference Manual (context) - Corporation - 1980
1 The Design of an Operating System for Modern Programming Lan.. (context) - Philbin - 1993
1 CMU Technical Report CMU-CS (context) - Cooper, Draves et al. - 1990
1 Asnchronous signals in Standard ML (context) - Reppy - 1990
Documents on the same site (http://www.brics.dk/~cw97/): More
The Discoveries of Continuations - Reynolds (1993) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1996) (Correct)
An early use of continuations and partial evaluation for .. - Erik Sandewall.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC