Kathleen Fisher, John Reppy  Home/Search
Context
Related
| belllabs.com/dist/j...bolconcur.ps.gz 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: belllabs.com/who/jhr/mob...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes our approach to implementing the concurrency features of the MOBY programming language. Our approach is based on our direct-style -calculus intermediate representation called BOL, which we have equipped with a weak but cheap form of continuations and primitives to support an abstract model of thread creation, termination, and scheduling. This implementation strategy allows flexibility in both the design of MOBY's surface language concurrency features and in the runtime... (Update)
Active bibliography (related documents): More All
0.8: Local CPS conversion - Reppy (2001) (Correct)
0.5: the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
0.5: Efficient Implementation of Concurrent Programming Languages - Stenman (2002) (Correct)
Similar documents based on text: More All
0.8: Data-Level Interoperability - Fisher, Pucella, Reppy (2000) (Correct)
0.6: A Framework for Interoperability - Fisher, Pucella, al. (2001) (Correct)
0.6: Inheritance-Based Subtyping - Fisher, Reppy (2000) (Correct)
BibTeX entry: (Update)
@misc{ fisher-compiler,
author = "Kathleen Fisher and John Reppy",
title = "Compiler Support for Lightweight Concurrency",
url = "citeseer.ist.psu.edu/fisher01compiler.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992 ACM
304 Scheduler activations: Effective kernel support for the user.. - Anderson, Bershad et al. - 1992 DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
159 CML: A higher-order concurrent language (context) - Reppy - 1991 DBLP
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993 ACM DBLP
87 Concurrent Haskell - Jones, Gordon et al. - 1996 ACM DBLP
83 Programming with POSIX Threads (context) - Butenhof - 1997 ACM
67 Representing control in the presence of first-class continua.. - Hieb, Dybvig et al. - 1990 ACM DBLP
63 Concurrent Programming in ML (context) - Reppy - 1999 ACM
63 functional language with state (context) - Barth, Nikhil et al. - 1991
57 Continuation-based multiprocessing - Wand - 1980 ACM DBLP
55 Adding threads to Standard ML - Cooper, Morrisett - 1990
49 Thin locks: Featherweight synchronization for Java - Bacon, Konuru et al. - 1998 DBLP
44 Compiler support for garbage collection in a statically type.. - Diwan, Moss et al. - 1992 ACM DBLP
44 Fast mutual exclusion for uniprocessors (context) - Bershad, Redell et al. - 1992 ACM DBLP
41 Implementation of Argus (context) - Liskov, Curtis et al. - 1987 ACM DBLP
37 The design of a class mechanism for Moby - Fisher, Reppy - 1999 ACM DBLP
32 Iterated register coalescing - George, Appel - 1996 ACM DBLP
29 American National Standard for Information Systems --- Progr.. (context) - Standards, Inc et al. - 1990
23 Representing control in the presence of one-shot continuatio.. - Bruggeman, Waddell et al. - 1996 ACM DBLP
23 Using threads in interactive systems: A case study (context) - Hauser, Jacobi et al. - 1993 DBLP
23 Revised report on the algorithmic language Scheme (context) - Abelson, Dybvig et al. - 1998 ACM DBLP
23 Asynchronous signals in Standard ML - Reppy - 1990
15 Support for garbage collection at every instruction in a Jav.. (context) - Stichnoth, Lueh et al. - 1999 ACM DBLP
15 Continuations and coroutines (context) - Haynes, Friedman et al. - 1984 ACM DBLP
14 Department of Computer Science (context) - Ramsey, programming - 1990
10 A single intermediate language that supports multiple implem.. - Ramsey, Jones - 2000
9 A portable assembly language (context) - Jones, Nordin et al. - 1997
9 Annotations for portable intermediate languages - Reig - 2001 DBLP
6 Mostly-copying collection: A viable alternative to conservat.. - Smith, Morrisett - 1997 ACM
5 Atomic heap transactions and fine-grain interrupts - Shivers, Clark et al. - 1999 ACM DBLP
5 Compact garbage collection tables (context) - Tarditi - 2000 ACM DBLP
4 Continuations and threads: Expressing machine concurrency di.. - Shivers - 1997
3 Concurrency features for the trellis /owl language (context) - Moss, Kohler - 1987
3 portable and optimizing back end SMLNJ compiler - Guillame, portable et al. - 1994
2 Local CPS conversion in a direct-style compiler - Reppy - 2001
2 Functional data structures as updatable objects (context) - Milewski - 1990 ACM DBLP
2 Featherweight concurrency in a portable assembly language - Ramsey, Jones - 2000
1 A framework for interoperability - Fisher, Pucella et al. - 2001 DBLP
Documents on the same site (http://www.cs.bell-labs.com/who/jhr/moby/index.html): More
A Calculus for Compiling and Linking Classes - Fisher, Reppy, Riecke (2000) (Correct)
Extending Moby with inheritance-based subtyping - Fisher, Reppy (2000) (Correct)
Data-Level Interoperability - Fisher, Pucella, Reppy (2000) (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