Module Lock.MakeSource

Create a lock manager implementation.

Parameters

module K : Type.S

Signature

Sourcetype t

The type for lock manager.

Sourcetype key = K.t

The type for key to be locked.

Sourceval v : unit -> t

Create a lock manager.

Sourceval with_lock : t -> key -> (unit -> 'a Lwt.t) -> 'a Lwt.t

with_lock t k f executes f () while holding the exclusive lock associated to the key k.

Sourceval stats : t -> int