Specifying and Verifying RDMA Synchronisation (Extended Version)

Guillaume Ambal, Max Stupple, Brijesh Dongol +1

Remote direct memory access (RDMA) allows a machine to directly read from and write to the memory of remote machine, enabling high-throughput, low-latency data transfer. Ensuring c…