@inproceedings{6b0bac784a704fb5962ce61e7d558a68,
title = "SIRe: An efficient snapshot isolation-based memory model for detecting and tolerating region conflicts",
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.",
keywords = "Biased reader-writer locks, Concurrent programs, Memory model, Synchronization-free regions",
author = "Minjia Zhang",
year = "2015",
month = oct,
day = "25",
doi = "10.1145/2814189.2815371",
language = "English (US)",
series = "SPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity",
publisher = "Association for Computing Machinery",
pages = "87--88",
editor = "Patrick Eugster and Jonathan Aldrich",
booktitle = "SPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications",
address = "United States",
note = "ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015 ; Conference date: 25-10-2015 Through 30-10-2015",
}