Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238705038> ?p ?o ?g. }
- W4238705038 endingPage "127" @default.
- W4238705038 startingPage "115" @default.
- W4238705038 abstract "Shared-memory languages and systems generally provide weak or undefined semantics for executions with data races. Prior work has proposed memory consistency models that ensure well-defined, easy-to-understand semantics based on region serializability (RS), but the resulting system may throw a consistency exception in the presence of a data race. Consistency exceptions can occur unexpectedly even in well-tested programs, hurting availability and thus limiting the practicality of RS-based memory models. To our knowledge, this paper is the first to consider the problem of availability for memory consistency models that throw consistency exceptions. We first extend existing approaches that enforce RSx , a memory model based on serializability of synchronization-free regions (SFRs), to avoid region conflicts and thus consistency exceptions. These new approaches demonstrate both the potential for and limitations of avoiding consistency exceptions under RSx. To improve availability further, we introduce (1) a new memory model called RIx based on isolation of SFRs and (2) a new approach called Avalon that provides RIx. We demonstrate two variants of Avalon that offer different performance-availability tradeoffs for RIx. An evaluation on real Java programs shows that this work's novel approaches are able to reduce consistency exceptions, thereby improving the applicability of strong memory consistency models. Furthermore, the approaches provide compelling points in the performance-availability tradeoff space for memory consistency enforcement. RIx and Avalon thus represent a promising direction for tackling the challenge of availability under strong consistency models that throw consistency exceptions." @default.
- W4238705038 created "2022-05-12" @default.
- W4238705038 creator A5044161672 @default.
- W4238705038 creator A5077768924 @default.
- W4238705038 creator A5089244894 @default.
- W4238705038 date "2017-06-18" @default.
- W4238705038 modified "2023-10-01" @default.
- W4238705038 title "Avoiding consistency exceptions under strong memory models" @default.
- W4238705038 cites W1482397304 @default.
- W4238705038 cites W1572187826 @default.
- W4238705038 cites W1966151719 @default.
- W4238705038 cites W1987358714 @default.
- W4238705038 cites W1995288535 @default.
- W4238705038 cites W1996009176 @default.
- W4238705038 cites W1996587743 @default.
- W4238705038 cites W1996952974 @default.
- W4238705038 cites W2002179840 @default.
- W4238705038 cites W2010497096 @default.
- W4238705038 cites W2016323637 @default.
- W4238705038 cites W2025819261 @default.
- W4238705038 cites W2029601347 @default.
- W4238705038 cites W2038736729 @default.
- W4238705038 cites W2039509099 @default.
- W4238705038 cites W2043255549 @default.
- W4238705038 cites W2050801173 @default.
- W4238705038 cites W2054391605 @default.
- W4238705038 cites W2054739713 @default.
- W4238705038 cites W2066775342 @default.
- W4238705038 cites W2067967561 @default.
- W4238705038 cites W2068530820 @default.
- W4238705038 cites W2078197548 @default.
- W4238705038 cites W2082484926 @default.
- W4238705038 cites W2087969648 @default.
- W4238705038 cites W2091085450 @default.
- W4238705038 cites W2093755302 @default.
- W4238705038 cites W2096527448 @default.
- W4238705038 cites W2096956970 @default.
- W4238705038 cites W2099537990 @default.
- W4238705038 cites W2099735635 @default.
- W4238705038 cites W2100505193 @default.
- W4238705038 cites W2101161997 @default.
- W4238705038 cites W2102839400 @default.
- W4238705038 cites W2103408719 @default.
- W4238705038 cites W2105768827 @default.
- W4238705038 cites W2107529624 @default.
- W4238705038 cites W2117069557 @default.
- W4238705038 cites W2117917070 @default.
- W4238705038 cites W2119567442 @default.
- W4238705038 cites W2119887456 @default.
- W4238705038 cites W2121696621 @default.
- W4238705038 cites W2123184511 @default.
- W4238705038 cites W2127591346 @default.
- W4238705038 cites W2127731413 @default.
- W4238705038 cites W2127989655 @default.
- W4238705038 cites W2131751093 @default.
- W4238705038 cites W2134440791 @default.
- W4238705038 cites W2135023759 @default.
- W4238705038 cites W2135395375 @default.
- W4238705038 cites W2139285682 @default.
- W4238705038 cites W2140034113 @default.
- W4238705038 cites W2141222493 @default.
- W4238705038 cites W2143869535 @default.
- W4238705038 cites W2146766856 @default.
- W4238705038 cites W2152621318 @default.
- W4238705038 cites W2152885346 @default.
- W4238705038 cites W2153174073 @default.
- W4238705038 cites W2154557525 @default.
- W4238705038 cites W2155500238 @default.
- W4238705038 cites W2156428492 @default.
- W4238705038 cites W2160963348 @default.
- W4238705038 cites W2162630235 @default.
- W4238705038 cites W2166091242 @default.
- W4238705038 cites W2166266685 @default.
- W4238705038 cites W2166615267 @default.
- W4238705038 cites W2167744164 @default.
- W4238705038 cites W2171076136 @default.
- W4238705038 cites W2171745083 @default.
- W4238705038 cites W2410648606 @default.
- W4238705038 cites W3003689949 @default.
- W4238705038 cites W3142284768 @default.
- W4238705038 cites W4206635466 @default.
- W4238705038 cites W4229635525 @default.
- W4238705038 cites W4235385348 @default.
- W4238705038 cites W4248655060 @default.
- W4238705038 cites W4251803824 @default.
- W4238705038 cites W4251987281 @default.
- W4238705038 cites W4298077439 @default.
- W4238705038 cites W4300810260 @default.
- W4238705038 doi "https://doi.org/10.1145/3156685.3092271" @default.
- W4238705038 hasPublicationYear "2017" @default.
- W4238705038 type Work @default.
- W4238705038 citedByCount "0" @default.
- W4238705038 crossrefType "journal-article" @default.
- W4238705038 hasAuthorship W4238705038A5044161672 @default.
- W4238705038 hasAuthorship W4238705038A5077768924 @default.
- W4238705038 hasAuthorship W4238705038A5089244894 @default.
- W4238705038 hasConcept C105795698 @default.
- W4238705038 hasConcept C115537543 @default.