irmin

Irmin, a distributed database that follows the same design principles as Git
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library irmin
Module type Irmin . Backend . Lock . S
type t

The type for lock manager.

type key

The type for key to be locked.

val v : unit -> t

Create a lock manager.

val 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.

val stats : t -> int