Skip to Main content Skip to Navigation
Conference papers

A Model for Coherent Distributed Memory For Race Condition Detection

Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00595914
Contributor : Franck Butelle <>
Submitted on : Wednesday, May 25, 2011 - 9:46:05 PM
Last modification on : Saturday, February 15, 2020 - 2:04:41 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

163