def busy_wait.remaining

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

import Base

78# Chooses a bounded sleep or timeout after a contended lock attempt.
79def busy_wait.remaining(remaining_ms: Nat, backoff_ms: Nat) -> WaitDecision:
80  match remaining_ms:
81    case 0n:
82      LockTimedOut{}
83    case 1n+rest:
84      LockRetry{Nat.min(backoff_ms, Nat.add(1n, rest))}