@inproceedings{a87f2e78c7b3495197a4480f1d14b61d,
title = "POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models",
abstract = "This work considers the problem of availability for memory models that throw consistency exceptions. We define a new memory model called RIx based on isolation of synchronization-free regions and a new approach called Avalon that provides RIx. Our evaluation shows that Avalon and RIx substantially reduce consistency exceptions, by 1-3 orders of magnitude and sometimes eliminate them completely. Furthermore, our exploration provides new, compelling points in the performance-availability tradeoff space.",
keywords = "availability, concurrency, memory model, region isolation, runtime system",
author = "Minjia Zhang and Swamendu Biswas and Bond, {Michael D.}",
year = "2017",
month = jan,
day = "26",
doi = "10.1145/3018743.3019024",
language = "English (US)",
series = "ACM SIGPLAN Notices",
publisher = "Association for Computing Machinery",
pages = "459--460",
booktitle = "PPoPP 2017 - Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming",
address = "United States",
note = "22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2017 ; Conference date: 04-02-2017 Through 08-02-2017",
}