def wait_decision

mylsm-lsm-store@0.6.0.1 · src/DbLockPolicy.bend:90

import Base

90# Selects acquired, retry, timeout, or fatal handling from raw lock facts.
91def wait_decision(
92  acquired: Bool,
93  busy: Bool,
94  elapsed_ms: Nat,
95  timeout_ms: Nat,
96  backoff_ms: Nat
97) -> WaitDecision:
98  Bool.pick(WaitDecision, acquired, LockAcquired{},
99    Bool.pick(WaitDecision, busy,
100      busy_wait_decision(elapsed_ms, timeout_ms, backoff_ms),
101      LockFatal{}))