Specifying synchronization in distributed shared memory programs

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

1 Scopus citations

Abstract

Several notions of consistency have been proposed to provide a consistent view of the shared memory. A consistency notion imposes constraints on the order in which updates to shared variables are made visible to various processes. We classify such constraints as intra-process constraints and many existing consistency notions provide flexible mechanisms to specify such constraints. We may also need to specify inter-process constraints to restrict the sequence in which updates issued by different processes are made visible. We propose the notion of invariant consistency that allows specification of such interprocess synchronization constraints. For this propose, we allow a programmer to label program operations and specify an invariant I constraining the execution of labeled operations at different processes. The implementation of invariant consistency ensures that the labeled operations are made visible in an order that satisfies I. We also give an implementation of invariant consistency that involves a mechanical translation of invariants to synchronization code. We show that invariant consistency simplifies programming as it eliminates application-level synchronization code to enforce inter-process constraints.

Original languageEnglish (US)
Title of host publicationProceedings - International Conference on Parallel Processing Workshops, ICPPW 2002
EditorsStephan Olariu
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages375-382
Number of pages8
ISBN (Electronic)0769516807
DOIs
StatePublished - Jan 1 2002
Externally publishedYes
EventInternational Conference on Parallel Processing Workshops, ICPPW 2002 - Vancouver, Canada
Duration: Aug 18 2002Aug 21 2002

Publication series

NameProceedings of the International Conference on Parallel Processing Workshops
Volume2002-January
ISSN (Print)1530-2016

Other

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

ASJC Scopus subject areas

  • Software
  • Mathematics(all)
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Specifying synchronization in distributed shared memory programs'. Together they form a unique fingerprint.

Cite this