Signals provides an interface to signal system.
| HANDLER of (signal * int * unit cont) -> unit cont
val listSignals : unit -> signal list
val toString : signal -> string
val fromString : string -> signal option
val setHandler : (signal * sig_action) -> sig_action
val overrideHandler : (signal * sig_action) -> sig_action
val inqHandler : signal -> sig_action
| MASK of signal list
val maskSignals : sigmask -> unit
val unmaskSignals : sigmask -> unit
val masked : unit -> sigmask
val pause : unit -> unit
val sigINT : signal
val sigALRM : signal
val sigTERM : signal
val sigGC : signal
map toString (listSignals())to see their names.
NONEif there is no such signal.
The structure UnixSignals defines several of these signal values, so that you need not suffer the indignity and insecurity of using fromString to look them up.
setHandler (signal, IGNORE)
setHandler (signal, DEFAULT)
setHandler (signal, HANDLER(f))
DEFAULT tells the operating system to perform the default action for signal.
HANDLER(f) installs a handler for a signal. When signal is delivered to the process, the execution state of the current thread will be bundled up as a continuation
k, then f(signal,
k) will be called. The number
n is the number of times signal has been signalled since the last time f was invoked for it. During the execution of f, all signals are held (not delivered). When f returns some continuation
k', signals are re-enabled, and then
k' is invoked.
overrideHandler (signal, handler)
MASKmeans that no signals are masked.
Last Modified October 28, 1997
Comments to email@example.com
Copyright © 1998 Bell Labs, Lucent Technologies