Rethinking database high availability with RDMA networks | Synapse