Adding threads to Standard ML
FigsharePublished 30 June 2018Open access
Eric C. Cooper, J. Gregory Morrisett
Citations53
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Standard ML has added multiple threads of control to the Standard ML programming language and it is demonstrated how other concurrency and synchronization operations, such as cobegin/coend, futures, and events, can be implemented in terms of the thread interface.
Abstract
Abstract: "We have added multiple threads of control to the Standard ML programming language. Standard ML's support for first-class functions and automatic storage management influenced the design in a number of ways. We demonstrate how other concurrency and synchronization operations, such as cobegin/coend, futures, and events, can be implemented in terms of the thread interface. Finally, we describe three implementations of the thread interface: a coroutine version, a uniprocessor preemptive version, and a multiprocessor Mach-based version."
Keywords
Computer Science
The MIT Press eBooksThe Definition of Standard ML
2,411 Citations1997Robin Milner, Robert Harper +2 more
This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers, and the authors have defined their semantic objects in mathematical notation that is completely independent of StandardML.
ACM Transactions on Programming Languages and SystemsMULTILISP: a language for concurrent symbolic computation
1,072 Citations1985Robert H. Halstead
A recommended Multilisp programming style is presented which, if followed, should lead to highly parallel, easily understandable programs.
USENIX SummerMach: A New Kernel Foundation for UNIX Development.
918 Citations1986Michael J. Accetta, R. Baron +5 more
Mach is a multiprocessor operating system kernel and environment under development at Carnegie Mellon University that provides a new foundation for UNIX development that spans networks of uniprocessors and multiprocessionors.
Communications of the ACMExperience with processes and monitors in Mesa
399 Citations1980Butler Lampson, David D. Redell
These problems are addressed by the facilities described here for concurrent programming in Mesa, and experience with several substantial applications gives us some confidence in the validity of the solutions.
Software Practice and ExperienceSimple generational garbage collection and fast allocation
305 Citations1989Andrew W. Appel
A scheme for quick record allocation attacks this bottleneck because many garbage‐collected environments do not know when to ask the operating system for more memory, and a robust heuristic solves this problem.
ACM SIGOPS Operating Systems ReviewMachine-independent virtual memory management for paged uniprocessor and multiprocessor architectures
230 Citations1987Richard F. Rashid, Avadis Tevanian +6 more
ACM SIGPLAN NoticesReal-time concurrent collection on stock multiprocessors
216 Citations2004Andrew W. Appel
UNIX as an Application Program.
204 Citations1990David Golub, Randall W. Dean +2 more
The implementation of Unix as a multithreaded application program running on the Mach kernel is described and the rationale, design, implementation history and performance of the system is presented.
Scheduler activations
180 Citations1991Thomas E. Anderson, Brian N. Bershad +2 more
It is argued that the performance of kernel threads is inherently worse than that of user-level threads, rather than this being an artifact of existing implementations, and that managing parallelism at the user level is essential to high-performance parallel computing.
Continuation-passing, closure-passing style
168 Citations1989Andrew W. Appel, Trevor Jim
This work implemented a continuation-passing style (CPS) code generator for ML that separates the code generation into phases that rewrite this representation of the language into ever-simpler forms.
ComputerScheduling support for concurrency and parallelism in the Mach operating system
147 Citations1990David L. Black
Support for common uniform-memory-access architectures that have all memory equidistant from all processors in terms of access time is emphasized, but it does not provide a complete solution to load-balancing problems for this class of machine.
ACM Transactions on Programming Languages and SystemsSynchronization in Distributed Programs
144 Citations1982Fred B. Schneider
The technique can be used to solve synchronization problems directly, to implement new synchronization mechanisms, and to construct distributed versions of existing synchronization mechanisms.
Continuation-based multiprocessing
139 Citations1980Mitchell Wand
This work considers the implementation of other schedulers, interrupts, and the implications of these ideas for language design, by writing the kernel and some modules for a multiprocessing system.
An Introduction to Programming with Threads
135 Citations1996Andrew Birrell
This paper provides an introduction to writing concurrent programs with “threads”, and describes the basic thread and synchronization primitives, then for each primitive provides a tutorial on how to use it.
Lecture notes in computer scienceA standard ML compiler
100 Citations1987Andrew W. Appel, David MacQueen
This work describes the first compiler written for Standard ML in Standard ML, a major revision of earlier dialects of the functional language ML that incorporates a number of novel features and techniques.
Typing first-class continuations in ML
99 Citations1991Bruce F. Duba, Robert Harper +1 more
The soundness of the Damas–Milner polymorphic type assignment system with respect to this semantics is proved, and the full Damas-Milner type system is shown to be unsound in the presence of first-class continuations.
ACM Letters on Programming Languages and SystemsNo assembly required
93 Citations1992David Tarditi, Peter Lee +1 more
This work shows how to compile Standard ML to C without compromising on portability and proper tail recursion, and analyzes the performance and determines the aspects of the compilation method that lead to the observed slowdown.
ACM Transactions on Programming Languages and SystemsOutput Guards and Nondeterminism in “Communicating Sequential Processes”
88 Citations1980Arthur Bernstein
This paper points out two problems that arise in connection with guarded commands and nondeterminism in a language for concurrent programming and addresses one of them.
IEEE SoftwareExtending Modula-2 to Build Large, Integrated Systems
75 Citations1986Paul Rovner
Designed to build both system and application software for large systems, Modula-2+ supports exception handling, automatic storage management, and concurrency for multiprocessors without compromising the integrity of Modulas 2.
ACM Transactions on Programming Languages and SystemsThe multiway rendezvous
64 Citations1987Arthur Charlesworth
The degree of support for multiway rendezvous applications by several well-known languages that support the two- way rendezvous is examined and well-integrated extensions to these languages are considered that would help provide such support.
ACM SIGOPS Operating Systems ReviewSynchronization primitives for a multiprocessor: a formal specification
55 Citations1987Andrew Birrell, John V. Guttag +2 more
IEEE Transactions on Software EngineeringCommunication and Synchronization in Distributed Systems
42 Citations1979Abraham Silberschatz
This paper examines Hoare's concepts in greater detail by concentrating on the following two issues: 1) allowing both input and output commands to appear in guards, 2) sinple abstract implementation of the input andoutput constructs.
eCommons (Cornell University)First-Class Synchronous Operations in Standard ML
24 Citations1989John Reppy
This paper describes this mechanism and presents a new implementation of events as part of a coroutine package for Standard ML, written entirely in SML, using first-class continuations, and provides very light-weight processes.
The mach exception handling facility
22 Citations1988David L. Black, David Golub +3 more