SIRe: An efficient snapshot isolation-based memory model for detecting and tolerating region conflicts

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

Abstract

A strong memory model, such as region serializability, helps programmers reason about programs in the granularity of synchronization free regions and allows compiler and hardware to more freely reorder accesses. However, providing region serializability usually is expensive in software or requires custom hardware. We introduce a new approach to support a memory model that guarantees write-atomicity and a consistent snapshot view to reads in a synchronization free region by tolerating the majority region-conflicts caused by write-write and write-read conflicts and freezes the program state if a read-write conflict violates the memory model.

Original languageEnglish (US)
Title of host publicationSPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications
Subtitle of host publicationSoftware for Humanity
EditorsPatrick Eugster, Jonathan Aldrich
PublisherAssociation for Computing Machinery
Pages87-88
Number of pages2
ISBN (Electronic)9781450337229
DOIs
StatePublished - Oct 25 2015
Externally publishedYes
EventACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015 - Pittsburgh, United States
Duration: Oct 25 2015Oct 30 2015

Publication series

NameSPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

Conference

ConferenceACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015
Country/TerritoryUnited States
CityPittsburgh
Period10/25/1510/30/15

Keywords

  • Biased reader-writer locks
  • Concurrent programs
  • Memory model
  • Synchronization-free regions

ASJC Scopus subject areas

  • Computer Science Applications
  • Software
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'SIRe: An efficient snapshot isolation-based memory model for detecting and tolerating region conflicts'. Together they form a unique fingerprint.

Cite this