Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Global conditions in debugging distributed programs
Journal of Parallel and Distributed Computing
Detecting atomic sequences of predicates in distributed computations
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Detection of Global State Predicates
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Faster Possibility Detection by Combining Two Approaches
WDAG '95 Proceedings of the 9th International Workshop on Distributed Algorithms
Hierarchy in Testing Distributed programs
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Efficient Symbolic Detection of Global Properties in Distributed Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A generalized approach to monitoring distributed computations for event occurrences
A generalized approach to monitoring distributed computations for event occurrences
Algorithmic Combinatorics Based on Slicing Posets
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Software Fault Tolerance of Distributed Programs Using Computation Slicing
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
ACM SIGACT News distributed computing column 12
ACM SIGACT News
Efficient dependency tracking for relevant events in shared-memory systems
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Techniques and applications of computation slicing
Distributed Computing
Algorithmic combinatorics based on slicing posets
Theoretical Computer Science
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Efficient dependency tracking for relevant events in concurrent systems
Distributed Computing
Detection of disjunctive normal form predicate in distributed systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
| Hi-index | 0.00 |
Global predicate detection, which is an important problem in testing and debugging distributed programs, is very hard due to the combinatorial explosion of the global state space. This paper presents several techniques to tackle the state explosion problem in detecting whether an arbitrary predicate $\Phi$ is true at some consistent global state of a distributed system. We present space efficient on-line algorithms for detecting $\Phi$. We then improve the performance of our algorithms, both in space and time, by increasing the granularity of the execution step from an event to a sequence of events in each process.