module Netsys_oothr: sig
.. end
Object-oriented thread API
Makes the most important multi-threading primitives available using
object types. For single-threaded apps, the operations are substituted
by no-ops.
class type mtprovider = object
.. end
class type thread = object
.. end
class type mutex = object
.. end
class type condition = object
.. end
val provider : mtprovider Pervasives.ref
Return the multi-threading provider
val serialize : mutex -> ('a -> 'b) -> 'a -> 'b
serialize m f arg
: Locks m
, runs f arg
, unlocks m
, and returns
the result.