jon.recoil.org

Module Sys.SafeSource

Submodule containing non-backwards-compatible functions which enforce thread safety via modes.

Sourceval signal : int -> signal_behavior @ portable -> signal_behavior @ portable

Like signal, but is safe to call in the presence of multiple domains.

The provided signal_behavior must be portable as it is shared between all domains.

Sourceval set_signal : int -> signal_behavior @ portable -> unit

Like set_signal, but is safe to call in the presence of multiple domains.

The provided signal_behavior must be portable as it is shared between all domains.