Distributed lock service implemented in Erlang using the Paxos algorithm