Fast In-Memory Transaction Processing Using RDMA and HTM
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency