Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Consistent global states of distributed systems: fundamental concepts and mechanisms
Distributed systems (2nd Ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Detection of Global State Predicates
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Detecting Quantified Global Predicates in Parallel Programs
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
Adding Advanced Synchronization to Processes in GRADE
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
On Detecting Global Predicates in Distributed Computations
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Predicate Control for Active Debugging of Distributed Programs
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Detecting global predicates in distributed systems with clocks
Distributed Computing
Fine-grained network time synchronization using reference broadcasts
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Hi-index | 0.00 |
Observation of global states is of a great importance in the area of distributed systems monitoring. Global states constructed with the use of real time timestamps involve small communication and computational cost and therefore are suitable for monitoring large systems. Properties of Strongly Consistent Global States (SCGS) make them especially useful for on-line monitoring and direct application control. SCGS detection depends heavily on clock synchronization quality. This quality can be improved easily (or it is very good already) locally, within a subset of processes. A SCGS detection algorithm exploiting local fine synchronization is presented. It detects more states than a usual algorithm allowing for more strict control over a monitored application.