Module Dolmen_loop.AlarmSource

The module signature that implements everything needed to use alarms for time and sizes.

An alarm system is a packed module.

Dummy implementation. Does nothing.

Linux alarms. Uses Gc alarm for size limits, and Unix timers for time limits. Fairly accurate and reliable.

Windows alarms. Uses Gc alarm for size limits as well as time limits. The time limit is not enforced very precisely/reliably because of the use of Gc alarms.

A default alarm, chosen based on `Sys.os_type`. Can be either

nux

}

or windows, and falls back on dummy for unknown os (e.g. js_of_ocaml).