A Model for Coherent Distributed Memory For Race Condition Detection

Guardat en:
Dades bibliogràfiques
Publicat a:arXiv.org (Feb 12, 2011), p. n/a
Autor principal: Butelle, Franck
Altres autors: Coti, Camille
Publicat:
Cornell University Library, arXiv.org
Matèries:
Accés en línia:Citation/Abstract
Full text outside of ProQuest
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Descripció
Resum: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
Font:Engineering Database