Efficient synchronization in message passing systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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 of a region synchronization algorithm is to constrain the region entry and exit of processes in a manner that satisfies the global invariant. This paper proposes efficient algorithms for region synchronization in message passing systems. In particular, we propose extensions of two existing mutual exclusion algorithms to solve the region synchronization problem. We show that our algorithms are message efficient and satisfy the property of absence of unnecessary synchronization. We show that many existing synchronization problems such as group mutual exclusion, readers/writers, committee coordination, and barrier can be specified as instances of the region synchronization problem, and hence our algorithms can be used to solve a large class of problems.

Original languageEnglish (US)
Title of host publicationProceedings - 22nd International Conference on Advanced Information Networking and Applications, AINA 2008
Pages219-226
Number of pages8
DOIs
StatePublished - Sep 1 2008
Externally publishedYes
Event22nd International Conference on Advanced Information Networking and Applications, AINA 2008 - Gino-wan, Okinawa, Japan
Duration: Mar 25 2008Mar 28 2008

Publication series

NameProceedings - International Conference on Advanced Information Networking and Applications, AINA
ISSN (Print)1550-445X

Other

Other22nd International Conference on Advanced Information Networking and Applications, AINA 2008
CountryJapan
CityGino-wan, Okinawa
Period3/25/083/28/08

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Efficient synchronization in message passing systems'. Together they form a unique fingerprint.

  • Cite this

    Singh, G., & Su, Y. (2008). Efficient synchronization in message passing systems. In Proceedings - 22nd International Conference on Advanced Information Networking and Applications, AINA 2008 (pp. 219-226). [4482711] (Proceedings - International Conference on Advanced Information Networking and Applications, AINA). https://doi.org/10.1109/AINA.2008.116