~/jendhub

def jitter

bend-kit-retry@0.3.0.0 · retry.bend:207

import bend-kit-retry@0.3.0.0/retry.bend as Retry
import Base

207# Equal jitter: d / 2, plus r mod (d / 2 + 1). The wait is in [d / 2, d] for every r.
208def jitter(+d: Nat, +r: Nat) -> Nat:
209  +h = Nat.div(d, 2n)
210  Nat.add(h, Nat.mod(r, 1n+h))

Uses (4)

Used by (1)