Up

Module Rw_mutex

Read/write mutexes

Author Markus Mottl <mmottl@janestreet.com>

Signature

Types

Real types

type 'pref t

Type of r/w mutexes

Phantom types

type pref = [
| `Readers
| `Writers
| `NoPref
]

Preference for readers, writers, or no preference

type 'pref kind

Preference kind of read/write mutexes

Phantom values

val r_pref : [
| `Readers
] kind

r_pref preference kind for readers.

val w_pref : [
| `Writers
] kind

w_pref preference kind for writers.

val np_pref : [
| `NoPref
] kind

np_pref no preference for readers or writers.

Mutex operations

val create : 'pref kind -> 'pref t

create pref

Returns a r/w-mutex with preference kind pref.
val r_lock : [<
| pref
] t -> unit

r_lock mtx locks mtx for a reader.

val r_unlock : [<
| pref
] t -> unit

r_unlock mtx unlocks mtx for a reader.

val w_lock : [<
| pref
] t -> unit

w_lock mtx locks mtx for a writer.

val w_unlock : [<
| pref
] t -> unit

w_unlock mtx unlocks mtx for a writer.

val try_r_lock : [<
| pref
] t -> bool

try_r_lock mtx tries to lock mtx for a reader without blocking.

Returns true iff mtx could be locked, false otherwise.
val try_w_lock : [<
| pref
] t -> bool

try_w_lock mtx tries to lock mtx for a writer without blocking.

Returns true iff mtx could be locked, false otherwise.
val wrap_r_lock : [<
| pref
] t -> (unit -> 'a) -> 'a

wrap_r_lock mtx f locks mtx for a reader, executes f and unlocks the mutex again.

Returns the result of f.
val try_wrap_r_lock : [<
| pref
] t -> (unit -> 'a) -> 'a option

try_wrap_r_lock mtx f tries to lock mtx for a reader without blocking, executes f and unlocks the mutex again.

Returns Some res, where res is the result of f, iff the mutex could be locked, None otherwise.
val btry_wrap_r_lock : [<
| pref
] t -> (unit -> unit) -> bool

btry_wrap_r_lock mtx f tries to lock mtx for a reader without blocking, executes f and unlocks the mutex again.

Returns true iff the mutex could be locked, false otherwise.
val wrap_w_lock : [<
| pref
] t -> (unit -> 'a) -> 'a

wrap_w_lock mtx f locks mtx for a writer, executes f and unlocks the mutex again.

Returns the result of f.
val try_wrap_w_lock : [<
| pref
] t -> (unit -> 'a) -> 'a option

try_wrap_w_lock mtx f tries to lock mtx for a writer without blocking, executes f and unlocks the mutex again.

Returns Some res, where res is the result of f, iff the mutex could be locked, None otherwise.
val btry_wrap_w_lock : [<
| pref
] t -> (unit -> unit) -> bool

btry_wrap_w_lock mtx f tries to lock mtx for a writer without blocking, executes f and unlocks the mutex again.

Returns true iff the mutex could be locked, false otherwise.