Shared memory crash cast: a low level implementation of Paxos supporting crash failures in shared memory with RDMA

Paxos is the state-of-the-art algorithm to perform consensus in a distributed system with message-passing communication. In this thesis, we consider Paxos in the shared memory communication model by means of RDMA (Remote Direct Memory Access) hardware. We describe an implementation of the Paxos algorithm based on shared buffers instead of message exchanges. The designed algorithm was implemented in C and evaluated on a network of machines with RDMA hardware.

Paxos è l'algoritmo allo stato dell'arte per operare il consenso in un sistema distribuito basato sullo scambio di messaggi. In questa tesi, vedremo come l'utilizzo di hardware di tipo RDMA (Remote Direct Memory Access) permetta di virare da un approccio a scambio di messaggi verso un approccio a memoria condivisa. Vedremo come va modificato l'algoritmo di Paxos per funzionare in questo nuovo sistema basato su buffer condivisi piuttosto che su messaggi. L'algoritmo è stato poi sviluppato in C e testato su una rete di macchine equipaggiate con hardware di tipo RDMA.