rwlock

type rwlock

A read-write lock for synchronizing concurrent code.

fun rwlock(): rwlock

Returns a new read-write lock.

meth (Lock: rwlock):rdlock

Locks Lock for reading, waiting if there are any writers using or waiting to use Lock.

meth (Lock: rwlock):unlock

Unlocks Lock, resuming any waiting writers or readers (giving preference to writers).

meth (Lock: rwlock):wrlock

Locks Lock for reading, waiting if there are any readers or other writers using Lock.