Algebra of N-event synchronization
Ernesto Gomez (1), Keith E. Schubert (2), and Khalil Dajani (1) ((1), California State University San Bernardino, School of Computer Science and, Engineering, (2) Baylor University, Department of Electrical, Computer, Engineering)
TL;DR
This paper introduces a synchronization matrix and algebra for N-event synchronization, facilitating analysis of complex event relations in parallel processes and extending previous algebraic frameworks.
Contribution
It presents the synchronization matrix and algebra for N-event synchronization, enabling systematic analysis of multi-event relations in parallel computing.
Findings
Derived general properties of N-event synchronization
Analyzed effects on phase space of parallel execution
Extended previous algebraic framework
Abstract
We have previously defined synchronization (Gomez, E. and K. Schubert 2011) as a relation between the times at which a pair of events can happen, and introduced an algebra that covers all possible relations for such pairs. In this work we introduce the synchronization matrix, to make it easier to calculate the properties and results of event synchronizations, such as are commonly encountered in parallel execution of multiple processes. The synchronization matrix leads to the definition of N-event synchronization algebras as specific extensions to the original algebra. We derive general properties of such synchronization, and we are able to analyze effects of synchronization on the phase space of parallel execution introduced in (Gomez E Kai R, Schubert KE 2017)
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Petri Nets in System Modeling · Interconnection Networks and Systems