Efficient online algorithm for identifying useless states in distributed systems

DOI10.1007/s00446-010-0124-2zbMath1231.68069OpenAlexW2039340297MaRDI QIDQ658673

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

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

Cites Work

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

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