Asynchronous Signals in Standard ML

Asynchronous Signals in Standard ML (1990)

by John H. Reppy

Citations:

26 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Asynchronous Signals in Standard ML	SVM HeaderParse 0.1
AUTHOR NAME	John H. Reppy	user correction - Legacy Corrections
ABSTRACT	We describe the design, implementation and use of a mechanism for handling asynchronous signals, such as user interrupts, in the New Jersey implementation of Standard ML. Providing this kind of mechanism is a necessary requirement for the development of real-world application programs. Our mechanism uses first-class continuations to represent the execution state at the time at which a signal occurs. It has been used to support pre-emptive scheduling in concurrency packages and for forcing break-points in debuggers, as well as for handling user interrupts in the SML/NJ interactive environment. 1 Introduction Programs normally receive communication from the outside world via input operations. This method of communication is inherently synchronous: there is no way for the outside world to force the program to accept communication. But sometimes it is necessary to communicate asynchronously; for example, if the user wants to interrupt execution, or if the operating system needs to inform a...	user correction - Legacy Corrections
YEAR	1990	user correction - Legacy Corrections
CITATIONS	21 found	ParsCit 1.0