Index

API symbols

acquire:

• wrflock: acquire(lock: WRFLock; op: static WRFLockOp): bool

countersOffset:

• spec: countersOffset

currStateFreeMask32:

• spec: currStateFreeMask32

currStateFreeMask64:

• spec: currStateFreeMask64

currStateReadMask32:

• spec: currStateReadMask32

currStateReadMask64:

• spec: currStateReadMask64

currStateValueMask32:

• spec: currStateValueMask32

currStateValueMask64:

• spec: currStateValueMask64

currStateWriteMask32:

• spec: currStateWriteMask32

currStateWriteMask64:

• spec: currStateWriteMask64

fAcquire:

• wrflock: fAcquire(lock: WRFLock): bool

frAcquireValueMask32:

• spec: frAcquireValueMask32

frAcquireValueMask64:

• spec: frAcquireValueMask64

frAcquireValueShift32:

• spec: frAcquireValueShift32

frAcquireValueShift64:

• spec: frAcquireValueShift64

Free:

• WRFLockOp.Free

FreeBlock:

• WaitType.FreeBlock

freeWRFLock:

• wrflock: freeWRFLock(lock: WRFLock)

FreeYield:

• WaitType.FreeYield

fRelease:

• wrflock: fRelease(lock: WRFLock): bool

fTryWait:

• wrflock: fTryWait(lock: WRFLock): bool

fWait:

• wrflock: fWait(lock: WRFLock; time: int = 0): bool

fWaitBlock:

• spec: fWaitBlock

fWaitYield:

• spec: fWaitYield

fWaitYieldMask32:

• spec: fWaitYieldMask32

fWaitYieldMask64:

• spec: fWaitYieldMask64

getCurrState:

• wrflock: getCurrState(lock: WRFLock): WRFLockOp

initWRFLock:

• wrflock: initWRFLock(waitType: set[WaitType] = {}; pshared: bool = false): WRFLock

makeFlags:

• spec: makeFlags(flags: typed; le: bool): untyped

makeShift:

• spec: makeShift(shift: untyped; le: bool): untyped

nextStateReadFreeMask32:

• spec: nextStateReadFreeMask32

nextStateReadFreeMask64:

• spec: nextStateReadFreeMask64

nextStateValueMask32:

• spec: nextStateValueMask32

nextStateValueMask64:

• spec: nextStateValueMask64

nextStateWriteMask32:

• spec: nextStateWriteMask32

nextStateWriteMask64:

• spec: nextStateWriteMask64

privateMask32:

• spec: privateMask32

privateMask64:

• spec: privateMask64

rAcquire:

• wrflock: rAcquire(lock: WRFLock): bool

rdAcquireCounterMask32:

• spec: rdAcquireCounterMask32

rdAcquireCounterMask64:

• spec: rdAcquireCounterMask64

rdAcquireCounterShift32:

• spec: rdAcquireCounterShift32

rdAcquireCounterShift64:

• spec: rdAcquireCounterShift64

rdAcquireValueMask32:

• spec: rdAcquireValueMask32

rdAcquireValueMask64:

• spec: rdAcquireValueMask64

rdAcquireValueShift32:

• spec: rdAcquireValueShift32

rdAcquireValueShift64:

• spec: rdAcquireValueShift64

rdNxtLoopFlagMask32:

• spec: rdNxtLoopFlagMask32

rdNxtLoopFlagMask64:

• spec: rdNxtLoopFlagMask64

Read:

• WRFLockOp.Read

ReadBlock:

• WaitType.ReadBlock

ReadYield:

• WaitType.ReadYield

release:

• wrflock: release(lock: WRFLock; op: static WRFLockOp): bool

rRelease:

• wrflock: rRelease(lock: WRFLock): bool

rTryWait:

• wrflock: rTryWait(lock: WRFLock): bool

rWait:

• wrflock: rWait(lock: WRFLock; time: int = 0): bool

rWaitBlock:

• spec: rWaitBlock

rWaitYield:

• spec: rWaitYield

rWaitYieldMask32:

• spec: rWaitYieldMask32

rWaitYieldMask64:

• spec: rWaitYieldMask64

setFlags:

• wrflock: setFlags(lock: WRFLock; flags: set[WaitType])

stateOffset:

• spec: stateOffset

tryWait:

• wrflock: tryWait(lock: WRFLock; op: static WRFLockOp): bool

wAcquire:

• wrflock: wAcquire(lock: WRFLock): bool

wait:

• wrflock: wait(lock: WRFLock; op: static WRFLockOp; time: int = 0): bool
• futexes: wait[T](monitor: ptr T; compare: T; time: int = 0): bool

WaitType:

• wrflock: WaitType

wake:

• futexes: wake(monitor: pointer)

wakeAll:

• futexes: wakeAll(monitor: pointer)

whileTryingLock:

• wrflock: whileTryingLock(lock: WRFLock; op: static WRFLockOp; body: untyped; succ: untyped): untyped

withLock:

• wrflock: withLock(lock: WRFLock; op: static WRFLockOp; body: untyped): untyped

wrAcquireValueMask32:

• spec: wrAcquireValueMask32

wrAcquireValueMask64:

• spec: wrAcquireValueMask64

wrAcquireValueShift32:

• spec: wrAcquireValueShift32

wrAcquireValueShift64:

• spec: wrAcquireValueShift64

wRelease:

• wrflock: wRelease(lock: WRFLock): bool

WRFLock:

• wrflock: WRFLock

WRFLockOp:

• wrflock: WRFLockOp

Write:

• WRFLockOp.Write

WriteBlock:

• WaitType.WriteBlock

WriteYield:

• WaitType.WriteYield

wTryWait:

• wrflock: wTryWait(lock: WRFLock): bool

wWait:

• wrflock: wWait(lock: WRFLock; time: int = 0): bool

wWaitBlock:

• spec: wWaitBlock

wWaitYield:

• spec: wWaitYield

wWaitYieldMask32:

• spec: wWaitYieldMask32

wWaitYieldMask64:

• spec: wWaitYieldMask64