Predicate control: synchronization in distributed computations with look-ahead.

DOI10.1016/J.JPDC.2003.11.004MaRDI QIDQ1427456zbMATH OpenOpenAlexFDO

Authors Ashis Tarafdar, Vijay K. Garg

Publication date 14 March 2004

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpdc.2003.11.004

zbMATH Keywords

synchronizationmutual exclusionpredicate detectionrollback recoverydistributed computationdistributed debuggingpredicate control

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 47016
• Predicate detection for parallel computations with locking constraints
• Parallel Processing and Applied Mathematics
• scientific article; zbMATH DE number 1927560
• Finding missing synchronization in a distributed computation using controlled re-execution
• Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach
• scientific article; zbMATH DE number 222692
• The Complexity of Distributed Concurrency Control
• scientific article; zbMATH DE number 7730616

Cited in

(5)

• Finding missing synchronization in a distributed computation using controlled re-execution
• scientific article; zbMATH DE number 4050964 (Why is no real title available?)
• Predicate detection for parallel computations with locking constraints
• Parallel Processing and Applied Mathematics
• The buck stops here: order, chance, and coordination in distributed control

This page was built for publication: Predicate control: synchronization in distributed computations with look-ahead.

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