Region synchronization in message passing systems

G. Singh, Ye Su

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

2 Scopus citations

Abstract

The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronization code for message passing systems. Our approach is to factor out synchronization as a separate aspect, synthesize synchronization code and then compose it with the functional code. Specifically, we allow the designer of an application to first design the functional code. The designer can then annotate the functional code with regions and specify a high-level "global invariant" specifying the synchronization policy. A synchronization policy essentially gives the occupancy rules for the various regions. The solution to this problem, which we term the region synchronization problem, involves deriving a set of rules for entering and exiting each region. We provide a systematic invariant into a message passing algorithm for a point-to-point message passing system. We show that many existing synchronization problems can be specified as instances of the region synchronization problem. Hence, our algorithms can be used to solve a large class of synchronization problems.

Original languageEnglish (US)
Title of host publicationProceedings - International Conference on Parallel Processing, ICPP 2002
EditorsTarek S. Abdelrahman
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages276-283
Number of pages8
ISBN (Electronic)0769516777
DOIs
StatePublished - Jan 1 2002
Externally publishedYes
EventInternational Conference on Parallel Processing, ICPP 2002 - Vancouver, Canada
Duration: Aug 18 2002Aug 21 2002

Publication series

NameProceedings of the International Conference on Parallel Processing
Volume2002-January
ISSN (Print)0190-3918

Other

OtherInternational Conference on Parallel Processing, ICPP 2002
CountryCanada
CityVancouver
Period8/18/028/21/02

Keywords

  • Contracts
  • Counting circuits
  • Design methodology
  • Distributed computing
  • Formal specifications
  • Message passing
  • Operating systems
  • Parallel processing
  • Unified modeling language

ASJC Scopus subject areas

  • Software
  • Mathematics(all)
  • Hardware and Architecture

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

  • Cite this

    Singh, G., & Su, Y. (2002). Region synchronization in message passing systems. In T. S. Abdelrahman (Ed.), Proceedings - International Conference on Parallel Processing, ICPP 2002 (pp. 276-283). [1040883] (Proceedings of the International Conference on Parallel Processing; Vol. 2002-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICPP.2002.1040883