An implementation of the Chubby lock service protocol in MPRPC.