Copyright © 2007 Elsevier B.V. All rights reserved.
Received 31 October 2006;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several well-known problems in faulty environments; furthermore, avoiding non-equivalence robust executions prevents conflicting observations in a distributed setting from occurring. Our results prove that scheduling pairs of states and transitions in a strongly fair manner suffices to prevent conspiratorial executions; we then establish a formal connection between conspiracies and equivalence robustness; finally, we present a transformation scheme to implement our results and show how to build them into a well-known distributed scheduler. Previous results were applicable to a subset of systems only, just attempted to characterise potential conspiracies, or were tightly bound up with a particular interaction model.
Keywords: Distributed systems; Concurrency; Conspiracies; Equivalence robustness; Fairness







E-mail Article
Add to my Quick Links

Cited By in Scopus (0)







