package qcow-types

  1. Overview
  2. Docs

Module Qcow_locksSource

Sourcetype t

A set of per-cluster read and write locks

Sourceval make : unit -> t

Create a set of locks

Sourcetype lock

A value which represents holding a lock

Sourceval unlock : lock -> unit

unlock lock releases the lock. Note releasing the same lock more than once will trigger a runtime failure.

Sourcemodule Client : sig ... end
Sourcemodule Read : sig ... end

Non-exclusive read locks

Sourcemodule Write : sig ... end

Exclusive write locks

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

with_metadata_lock t f executes f () with the global metadata lock held. This prevents metadata blocks from moving while they're being used.

Sourcemodule Debug : sig ... end