Step 1 of 13 ยท Intro
Meet the product
Many machines must agree that exactly one of them does a job at a time: run the nightly report, own a shard, or be the leader. Design a lock and leader-election service that stays correct when holders crash, freeze for 40 seconds, get partitioned or when its own storage fails over, while handling tens of thousands of lease renewals a second.