Multitolerant barrier synchronization☆
References (6)
Phase synchronization
Inform. Process. Lett.
(1991)- et al.
Component based design of multitolerance
IEEE Trans. Soft. Eng.
(1997) - et al.
Concurrency Control and Recovery in Database Systems
(1987)
Cited by (15)
Gradual stabilization
2019, Journal of Parallel and Distributed ComputingCitation Excerpt :The three versions of unison we consider are respectively named strong, weak, and partial unison, and differ by their safety property. Strong unison is also known as the phase or barrier synchronization problem [24,26]. The weak unison appeared first in [8] under the name of asynchronous unison.
Action-based discovery of satisfying subsets: A distributed method for model correction
2013, Information and Software TechnologyCitation Excerpt :The corrected actions of P2 and P3 are structurally similar to those of P1, hence omitted. The automatically corrected Barrier protocol is the same as the one manually designed in [28]. While the instance of the Barrier synchronization protocol presented in this section includes only three processes, Section 5 presents our results on correcting instances of this protocol with up to 159 processes.
Resettable vector clocks
2006, Journal of Parallel and Distributed ComputingResettable Encoded Vector Clock for Causality Analysis with an Application to Dynamic Race Detection
2021, IEEE Transactions on Parallel and Distributed SystemsSize-independent self-stabilizing asynchronous phase synchronization in general graphs
2010, Journal of Information Science and EngineeringA time-optimal self-stabilizing synchronizer using a phase clock
2007, IEEE Transactions on Dependable and Secure Computing
- ☆
Research supported in part by OSU Grant 221506, NSF CCR-93-08640, and NSA MDA904-96-1-1011.