Data Coherency in Distributed Shared Memory

Franck Butelle (1) , Camille Coti (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 AOC

We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations, remote direct memory access and OS bypass. This model leads to new interpretations of distributed algorithms allowing us to propose an innovative detection technique of race conditions only based on logical clocks. Indeed, the presence of (data) races in a parallel program makes it hard to reason about and is usually considered as a bug.

Mots clés: Distributed shared memory; concurrent systems; race condition

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Franck Butelle, Camille Coti. Data Coherency in Distributed Shared Memory. International Journal of Networking and Computing, 2012, 1 (2), pp.117--130. ⟨hal-00656075⟩