Efficient Synchronization in Message Passing Systems


The problem of synchronization can be formulated in terms of rules constraining the occupancy of regions in different processes, where a region is a block of code whose execution may require synchronization. In this region synchronization problem, the region occupancy rules (or the synchronization policy) can be specified using a global invariant. The task… (More)
DOI: 10.1109/AINA.2008.116


1 Figure or Table

Slides referencing similar topics