HLDArena
HLD-405·Coordination & IDs
Expert · 2,000 pts

Multi-Tenant Distributed Lock & Lease Coordinator

Design a strongly consistent distributed lock and monotonic fencing-token service backing leader election across thousands of tenant clusters.

Max p99
≤ 85 ms
Availability
≥ 99.5%
Budget
≤ $8,900

Functional Requirements

  • FR-1POST /leases/{namespace_id}/acquire — Grants exclusive lock with monotonically increasing fencing token.
  • FR-2GET /leases/{namespace_id}/verify — High-QPS lease liveness and fencing-token validation.
  • FR-3DELETE /leases/{namespace_id}/acquire — Releases canceled or expired leases/holds atomically and immediately refreshes cached availability.
  • FR-4Must never grant split-brain duplicate locks or lose committed leases when a leader node crashes.

Workload Profile

Baseline Heartbeats55,000 Verify Read RPS / 11,000 Lease Write RPS
Rebalance Storm Peak150,000 Read RPS / 32,000 Lease Write RPS
Active Working Set24 GB active lock table & session TTLs
Consistency GateLinearizable fencing tokens + RPO = 0 quorum failover

Consistency Model

Strict linearizable / serializable lease CAS + quorum replication (RPO = 0); stale split-brain reads prohibited.

Design Write-up
0 boxes · 0 edges
0 words
Hidden Cases #4–#7 run automatically on Submit
Case 1: Smoke & API ContractInput Workload
Read RPS
2,000 rps
Write RPS
400 rps
Key Distribution
Uniform (Low Skew)
Chaos Fault
None (Healthy Cluster)
Expected Pass CriteriaASSERTIONS
• Tail Latency: p99 ≤ 170 ms
• Availability: ≥ 99.5%
Valid end-to-end Client → Compute → Storage topology