Efficient online algorithm for identifying useless states in distributed systems

DOI10.1007/S00446-010-0124-2zbMATH Open1231.68069OpenAlexW2039340297MaRDI QIDQ658673FDOQ658673

Lung-Pin Chen, Der-Johng Sun, William Chu

Publication date: 6 February 2012

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-010-0124-2

zbMATH Keywords

checkpointdistributed debuggingglobal predicate detection

Mathematics Subject Classification ID

Online algorithms; streaming algorithms (68W27) Distributed systems (68M14)

Cites Work

• Time, clocks, and the ordering of events in a distributed system
• Consistent global checkpoints based on direct dependency tracking
• On Detection of Bounded Global Predicates
• Detecting causal relationships in distributed computations: In search of the holy grail
• Techniques and applications of computation slicing
• Precluding useless events for on-line global predicate detections

Cited In (1)

• Precluding useless events for on-line global predicate detections

   Recommendations

• Precluding useless events for on-line global predicate detections 👍 👎
• Efficient detection of a locally stable predicate in a distributed system 👍 👎
• Global conditions in debugging distributed programs 👍 👎
• Distributed algorithm to detect strong conjunctive predicates 👍 👎
• Reachability analysis on distributed executions 👍 👎

This page was built for publication: Efficient online algorithm for identifying useless states in distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q658673)