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

DOI10.1007/S00446-003-0104-XMaRDI QIDQ5138509zbMATH OpenOpenAlexFDO

Authors Neeraj Mittal, Vijay K. Garg

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

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

Recommendations

• Debugging distributed programs using controlled re-execution
• Predicate control: synchronization in distributed computations with look-ahead.
• Techniques and applications of computation slicing
• Principles of Distributed Systems
• Parallel Processing and Applied Mathematics

Cites work

• scientific article; zbMATH DE number 1670782 (Why is no real title available?)
• Debugging distributed programs using controlled re-execution
• Detection of global predicates: techniques and their limitations
• Introduction to algorithms.
• 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

Cited in

(3)

• Techniques and applications of computation slicing
• Predicate control: synchronization in distributed computations with look-ahead.
• Precision, recall, and sensitivity of monitoring partially synchronous distributed programs

This page was built for publication: Finding missing synchronization in a distributed computation using controlled re-execution

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