Finding missing synchronization in a distributed computation using controlled re-execution

DOI10.1007/s00446-003-0104-xzbMath1448.68149OpenAlexW2059600276MaRDI QIDQ5138509

Vijay K. Garg, Neeraj Mittal

Publication date: 4 December 2020

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

Full work available at URL: https://doi.org/10.1007/s00446-003-0104-x

zbMATH Keywords

distributed systemdebuggingsoftware fault-tolerancepredicate controlcontrolled re-execution

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Distributed systems (68M14)

Cites Work

• Modeling a solution for a control problem in distributed systems by restrictions
• Recovery in distributed systems using optimistic message logging and checkpointing
• Time, clocks, and the ordering of events in a distributed system
• Debugging distributed programs using controlled re-execution
• Unnamed Item
• Unnamed Item
• Unnamed Item