Finding missing synchronization in a distributed computation using controlled re-execution (original) (raw)
Related papers
Debugging distributed programs using controlled re-execution
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing - PODC '00, 2000
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing, 2004
On Detecting Global Predicates in Distributed Computations
2001
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing, 2007
Detection of weak unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1994
Detection of strong unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1996
Sequentialization and Synchronization for Distributed Programs
2017
Predicate Control for Active Debugging of Distributed Programs
International Parallel and Distributed Processing Symposium/International Parallel Processing Symposium, 1998
Predicate Detection for Parallel Computations with Locking Constraints
2016
Distributed predicate detection in a faulty environment
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183)
Global Predicate Detection in Distributed Systems with Small Faults
Lecture Notes in Computer Science, 2007
Debugging in a distributed world: observation and control
Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering and Technology. ASSET-98 (Cat. No.98EX183), 1998
Distributed Runtime Verification Under Partial Synchrony
2021
Global conditions in debugging distributed programs
Monitoring and debugging of distributed real-time systems, 1995
Efficient Detection of Channel Predicates in Distributed Systems
Journal of Parallel and Distributed Computing, 1997
A method for the verification of a distributed and synchronized algorithm
International Journal of Production Research, 2004
Consistent global states of distributed systems: Fundamental concepts and mechanisms
1994
A decision procedure for detecting atomicity violations for communicating processes with locks
International Journal on Software Tools for Technology Transfer, 2011
Fault-tolerant concurrent branch and bound algorithms derived from program verification
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations
2015
Synchronization using failure detectors
Abstract Restoring Consistent Global States of Distributed Computations
2008
Synchronizability for Verification of Asynchronously Communicating Systems
Lecture Notes in Computer Science, 2012
Restoring consistent global states of distributed computations
1991
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05, 2005
An algorithm to achieve local consistency in distributed systems
Proceedings of the IEEE Conference on Decision and Control
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th international conference on Software engineering - ICSE '02, 2002
syncope: Automatic Enforcement of Distributed Consistency Guarantees
2017
Blazes: Coordination Analysis for Distributed Programs
Deriving distributed algorithms from a general predicate detector
computer software and applications conference, 1995
Stable Predicate Detection in Dynamic Systems
Lecture Notes in Computer Science, 2006
A hierarchy of conditions for asynchronous interactive consistency
Matthieu Roy, Achour Mostefaoui
On Composition and Implementation of Sequential Consistency (Extended Version)
ArXiv, 2016
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems, 1985