Expand description
Lease acquisition logic.
This module implements the lease acquisition behavior:
- A lease may be acquired when a run has no active lease.
- Acquisition fails if a lease already exists for the run.
The one-active-lease-per-run invariant is enforced at acquisition time.
Enums§
- Acquire
Result - Result of a lease acquisition attempt.
Functions§
- acquire
- Attempt to acquire a lease for a run.