Module Core_extended.Rw_mutex

r_pref preference kind for readers.

w_pref preference kind for writers.

np_pref no preference for readers or writers.

create pref returns a r/w-mutex with preference kind pref.

r_lock mtx locks mtx for a reader.

r_unlock mtx unlocks mtx for a reader.

w_lock mtx locks mtx for a writer.

w_unlock mtx unlocks mtx for a writer.

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

• Returns true iff mtx could be locked, false otherwise.

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

• Returns true iff mtx could be locked, false otherwise.

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

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.

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.

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

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.

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.