package core_unix
Install
Dune Dependency
Authors
Maintainers
Sources
md5=9370dca36f518fcea046d2752e3de22b
sha512=c4e8ce9d5885ac8fa8d554a97e1857f3a1c933e0eb5dfd4fe874412b9d09e6d0a2973b644733855553f33f5c859719228f0e6aaf3a2b7eb5befb46fc513750de
doc/core_unix.signal_unix/Signal_unix/index.html
Module Signal_unix
Source
Signal handlers.
of_system_int
and to_system_int
return and take respectively a signal number corresponding to those in the system's /usr/include/bits/signum.h (or equivalent). It is not guaranteed that these numbers are portable across any given pair of systems -- although some are defined as standard by POSIX.
send signal pid_spec
sends signal
to the processes specified by pid_spec
.
send_i
is like send
, except that it silently returns if the specified processes don't exist.
send_exn
is like send
, except that it raises if the specified processes don't exist.
All of send
, send_i
, and send_exn
raise if you don't have permission to send the signal to the specified processes or if signal
is unknown.
can_send_to pid
returns true if pid
is running and the current process has permission to send it signals.
sigprocmask cmd sigs
changes the set of blocked signals.
- If
cmd
is`Set
, blocked signals are set to those in the listsigs
. - If
cmd
is`Block
, the signals insigs
are added to the set of blocked signals. - If
cmd
is`Unblock
, the signals insigs
are removed from the set of blocked signals.
sigprocmask
returns the set of previously blocked signals.
sigpending ()
returns the set of blocked signals that are currently pending.
sigsuspend sigs
atomically sets the blocked signals to sigs
and waits for * a non-ignored, non-blocked signal to be delivered. On return, the blocked * signals are reset to their initial value.