Leader Election, Consensus, and Distributed Locks · Anvil