Matches in SemOpenAlex for { <https://semopenalex.org/work/W2491434057> ?p ?o ?g. }
- W2491434057 abstract "Linearizability is a key correctness criterion for concurrent data structures, ensuring that each history of the concurrent object under consideration is consistent with respect to a history of the corresponding abstract data structure. Linearizability allows concurrent (i.e., overlapping) operation calls take effect in any order, but requires the real-time order of non-overlapping to be preserved. The sophisticated nature of concurrent objects means that linearizability is difficult to judge, and hence, over the years, numerous techniques for verifying linearizability have been developed using a variety of formal foundations such as data refinement, shape analysis, reduction, etc. However, because the underlying framework, nomenclature and terminology for each method is different, it has become difficult for practitioners to evaluate the differences between each approach, and hence, evaluate the methodology most appropriate for verifying the data structure at hand. In this paper, we compare the major of methods for verifying linearizability, describe the main contribution of each method, and compare their advantages and limitations." @default.
- W2491434057 created "2016-08-23" @default.
- W2491434057 creator A5012214843 @default.
- W2491434057 creator A5060549428 @default.
- W2491434057 date "2014-10-23" @default.
- W2491434057 modified "2023-09-27" @default.
- W2491434057 title "Verifying linearizability: A comparative survey" @default.
- W2491434057 cites W1189894384 @default.
- W2491434057 cites W127393827 @default.
- W2491434057 cites W1486290150 @default.
- W2491434057 cites W1495368328 @default.
- W2491434057 cites W1496133442 @default.
- W2491434057 cites W1497695679 @default.
- W2491434057 cites W1498342204 @default.
- W2491434057 cites W1503130891 @default.
- W2491434057 cites W1513633483 @default.
- W2491434057 cites W1516270816 @default.
- W2491434057 cites W1520380662 @default.
- W2491434057 cites W1525928249 @default.
- W2491434057 cites W1540179969 @default.
- W2491434057 cites W1540997098 @default.
- W2491434057 cites W1543180701 @default.
- W2491434057 cites W1545231995 @default.
- W2491434057 cites W1553228708 @default.
- W2491434057 cites W1556900989 @default.
- W2491434057 cites W1564637213 @default.
- W2491434057 cites W1566872606 @default.
- W2491434057 cites W1585648666 @default.
- W2491434057 cites W1592246973 @default.
- W2491434057 cites W1594023774 @default.
- W2491434057 cites W1598283028 @default.
- W2491434057 cites W1607976554 @default.
- W2491434057 cites W1612934218 @default.
- W2491434057 cites W1614124578 @default.
- W2491434057 cites W165625795 @default.
- W2491434057 cites W1659048632 @default.
- W2491434057 cites W1815021202 @default.
- W2491434057 cites W1818449680 @default.
- W2491434057 cites W1819989006 @default.
- W2491434057 cites W1821608153 @default.
- W2491434057 cites W1867941603 @default.
- W2491434057 cites W1915629499 @default.
- W2491434057 cites W1964727056 @default.
- W2491434057 cites W1965662337 @default.
- W2491434057 cites W1970628175 @default.
- W2491434057 cites W1971459700 @default.
- W2491434057 cites W1972955159 @default.
- W2491434057 cites W1980806195 @default.
- W2491434057 cites W1981393723 @default.
- W2491434057 cites W1981439955 @default.
- W2491434057 cites W1983572666 @default.
- W2491434057 cites W1986098737 @default.
- W2491434057 cites W1986732422 @default.
- W2491434057 cites W1996684662 @default.
- W2491434057 cites W1998133185 @default.
- W2491434057 cites W1999719510 @default.
- W2491434057 cites W2002096014 @default.
- W2491434057 cites W2004419599 @default.
- W2491434057 cites W2008182922 @default.
- W2491434057 cites W2009600579 @default.
- W2491434057 cites W2015706098 @default.
- W2491434057 cites W2017559473 @default.
- W2491434057 cites W2020514554 @default.
- W2491434057 cites W2023603488 @default.
- W2491434057 cites W2024464191 @default.
- W2491434057 cites W2029601347 @default.
- W2491434057 cites W2034963261 @default.
- W2491434057 cites W2038189819 @default.
- W2491434057 cites W2041617655 @default.
- W2491434057 cites W204208046 @default.
- W2491434057 cites W2048605787 @default.
- W2491434057 cites W2059074855 @default.
- W2491434057 cites W2063798543 @default.
- W2491434057 cites W2068404886 @default.
- W2491434057 cites W2072062729 @default.
- W2491434057 cites W2082679906 @default.
- W2491434057 cites W2089064888 @default.
- W2491434057 cites W2090551028 @default.
- W2491434057 cites W2099470183 @default.
- W2491434057 cites W2099899133 @default.
- W2491434057 cites W2101939036 @default.
- W2491434057 cites W2103524479 @default.
- W2491434057 cites W2104046157 @default.
- W2491434057 cites W2108915642 @default.
- W2491434057 cites W2109717427 @default.
- W2491434057 cites W2115781455 @default.
- W2491434057 cites W2123183457 @default.
- W2491434057 cites W2123596219 @default.
- W2491434057 cites W2124945255 @default.
- W2491434057 cites W2126972034 @default.
- W2491434057 cites W2127717454 @default.
- W2491434057 cites W2131660938 @default.
- W2491434057 cites W2132107743 @default.
- W2491434057 cites W2133352653 @default.
- W2491434057 cites W2137628566 @default.
- W2491434057 cites W2138927523 @default.
- W2491434057 cites W2139533136 @default.
- W2491434057 cites W2139609292 @default.
- W2491434057 cites W2140415449 @default.
- W2491434057 cites W2141494148 @default.