Plasma GitLab Archive
Projects Blog Knowledge

Module Netsys_oothr

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.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml