lock server and client WITHOUT Paxos, but functional