2011 | OriginalPaper | Buchkapitel
Deciding Robustness against Total Store Ordering
verfasst von : Ahmed Bouajjani, Roland Meyer, Eike Möhlmann
Erschienen in: Automata, Languages and Programming
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We address the problem of deciding robustness of a program against the total store ordering (TSO) relaxed memory model, i.e., of checking whether the behaviour under TSO coincides with the expected sequential consistency (SC) semantics. We prove that this problem is
PSpace
-complete. The key insight is that violations to robustness can be detected on pairs of SC computations.