A Model for Coherent Distributed Memory For Race Condition Detection

Salvato in:

Dettagli Bibliografici
Pubblicato in:	arXiv.org (Feb 12, 2011), p. n/a
Autore principale:	Butelle, Franck
Altri autori:	Coti, Camille
Pubblicazione:	Cornell University Library, arXiv.org
Soggetti:	Network interface cards Distributed shared memory Interface cards Algorithms Parallel programming Clocks Distributed memory
Accesso online:	Citation/Abstract Full text outside of ProQuest
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Descrizione
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.
ISSN:	2331-8422
Fonte:	Engineering Database