A Model for Coherent Distributed Memory For Race Condition Detection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A Model for Coherent Distributed Memory For Race Condition Detection

Franck Butelle
Camille Coti

Résumé

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.

Dates et versions

hal-00595914 , version 1 (25-05-2011)

Identifiants

Citer

Franck Butelle, Camille Coti. A Model for Coherent Distributed Memory For Race Condition Detection. IEEE International Parallel & Distributed Processing Symposium (IPDPS 2011) / APDCM, May 2011, Anchorage, United States. pp.579--585, ⟨10.1109/IPDPS.2011.196⟩. ⟨hal-00595914⟩
53 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More