The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Database system concepts
Theoretical Computer Science
Global events and global breakpoints in distributed systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Partial orders for parallel debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
ACM Computing Surveys (CSUR)
Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Detection of unstable predicates in debugging distributed programs
Detection of unstable predicates in debugging distributed programs
Concurrent regular expressions and their relationship to Petri nets
Theoretical Computer Science
Some optimal algorithms for decomposed partially ordered sets
Information Processing Letters
Detecting relational global predicates in distributed systems
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Detecting atomic sequences of predicates in distributed computations
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Detection of Unstable Predicates in Distributed Programs
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
Enhancing Distributed Event Predicate Detection Algorithms
IEEE Transactions on Parallel and Distributed Systems
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Distributed Predicate Detection in Series-Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
Methods for Observing Global Properties in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
IEEE Transactions on Software Engineering
Detecting Temporal Logic Predicates on the Happened-Before Model
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
On the Complexity of the Minimum and Maximum Global Snapshot Problems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Debugging in a Distributed World: Observation and Control
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
On Detecting Global Predicates in Distributed Computations
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
On Slicing a Distributed Computation
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A Fine-Grained Modality Classification for Global Predicates
IEEE Transactions on Parallel and Distributed Systems
Distributed algorithm to detect strong conjunctive predicates
Information Processing Letters
Detecting global predicates in distributed systems with clocks
Distributed Computing
Detection of global predicates: techniques and their limitations
Distributed Computing
Intractability results in predicate detection
Information Processing Letters
Causality-Based Predicate Detection across Space and Time
IEEE Transactions on Computers
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Journal of Parallel and Distributed Computing
Manufacturing opaque predicates in distributed systems for code obfuscation
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers
Testing Dynamic Adaptation in Distributed Systems
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Testing Distributed Systems Through Symbolic Model Checking
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Macrodebugging: global views of distributed program execution
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
On Detecting Regular Predicates in Distributed Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Intractability results in predicate detection
Information Processing Letters
Web services discovery and constraints composition
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Detection of disjunctive normal form predicate in distributed systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Strongly consistent global states detection using relative clock errors
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Modeling and analyzing periodic distributed computations
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A lattice-theoretic approach to runtime property detection for pervasive context
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
Repeated detection of conjunctive predicates in distributed executions
Information Processing Letters
Immediate detection of predicates in pervasive environments
Journal of Parallel and Distributed Computing
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Detecting stable locality-aware predicates
Journal of Parallel and Distributed Computing
Modeling, analyzing and slicing periodic distributed computations
Information and Computation
| Hi-index | 0.01 |
This paper discusses detection of global predicates in a distributed program. Earlieralgorithms for detection of global predicates proposed by Chandy and Lamport (1985)work only for stable predicates. A predicate is stable if it does not turn false once itbecomes true. Our algorithms detect even unstable predicates, without excessiveoverhead. In the past, such predicates have been regarded as too difficult to detect.The predicates are specified by using a logic described formally in this paper. We discussdetection of weak conjunctive predicates that are formed by conjunction of predicateslocal to processes in the system. Our detection methods will detect whether such apredicate is true for any interleaving of events in the system, regardless of whether thepredicate is stable. Also, any predicate that can be reduced to a set of weak conjunctivepredicates is detectable. This class of predicates captures many global predicates thatare of interest to a programmer. The message complexity of our algorithm is bounded bythe number of messages used by the program. The main applications of our results are indebugging and testing of distributed programs. Our algorithms have been incorporated ina distributed debugger that runs on a network of Sun workstations in UNIX.