Detecting data races on weak memory systems

Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H.B. Netzer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The authors investigate the extension of dynamic data race detection techniques developed for sequentially consistent systems to weak systems. A potential problem is that in the presence of a data race, weak systems fail to guarantee sequential consistency and therefore dynamic techniques may not give meaningful results. However, the authors reason that in practice a weak system will preserve sequential consistency at least until the 'first' data races since it cannot predict if a data race will occur. They formalize this condition and show that it allows data races to be dynamically detected. Further, since this condition is already obeyed by all proposed implementations of weak systems, the full performance of weak systems can be exploited.

Original languageEnglish (US)
Title of host publicationConference Proceedings - Annual Symposium on Computer Architecture
PublisherPubl by IEEE
Pages234-243
Number of pages10
ISBN (Print)0897913949, 9780897913942
DOIs
StatePublished - Jan 1 1991
Externally publishedYes
EventProceedings of the 18th International Symposium on Computer Architecture - Toronto, Ont, Can
Duration: May 27 1991May 30 1991

Publication series

NameConference Proceedings - Annual Symposium on Computer Architecture
ISSN (Print)0149-7111

Other

OtherProceedings of the 18th International Symposium on Computer Architecture
CityToronto, Ont, Can
Period5/27/915/30/91

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Detecting data races on weak memory systems'. Together they form a unique fingerprint.

  • Cite this

    Adve, S. V., Hill, M. D., Miller, B. P., & Netzer, R. H. B. (1991). Detecting data races on weak memory systems. In Conference Proceedings - Annual Symposium on Computer Architecture (pp. 234-243). (Conference Proceedings - Annual Symposium on Computer Architecture). Publ by IEEE. https://doi.org/10.1145/115952.115976