Efficient online algorithm for identifying useless states in distributed systems

DOI10.1007/S00446-010-0124-2MaRDI QIDQ658673zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

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

Cited in

(1)

• 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

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