{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:32:18Z","timestamp":1740133938068,"version":"3.37.3"},"reference-count":16,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","funder":[{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"crossref","award":["61462041"],"award-info":[{"award-number":["61462041"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2021,1]]},"abstract":"<jats:p> Linearizability is a commonly accepted consistency condition for concurrent objects. Filipovi\u0107 et al. show that linearizability is equivalent to observational refinement. However, linearizability does not permit concurrent objects to share memory spaces with their client programs. We show that linearizability (or observational refinement) can be broken even though a client program of an object accesses the shared memory spaces without interleaving with the methods of the object. In this paper, we present strict linearizability which lifts this limitation and can ensure client-side traces and final-states equivalence even in a relaxed program model allowing clients to directly access the internal states of concurrent objects. We also investigate several important properties of strict linearizability. At a high level of abstraction, a concurrent object can be viewed as a concurrent implementation of an abstract data type (ADT). We also present a correctness criterion for relating an ADT and its concurrent implementation, which is the combination of linearizability and data abstraction and can ensure observational equivalence. We also investigate its relationship with strict linearizability. <\/jats:p>","DOI":"10.1142\/s0129054121500015","type":"journal-article","created":{"date-parts":[[2021,1,7]],"date-time":"2021-01-07T14:03:41Z","timestamp":1610028221000},"page":"1-35","source":"Crossref","is-referenced-by-count":2,"title":["Strict Linearizability and Abstract Atomicity"],"prefix":"10.1142","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2910-2214","authenticated-orcid":false,"given":"Tangliu","family":"Wen","sequence":"first","affiliation":[{"name":"College of Applied Science, Jiangxi University of Science and Technology, Ganzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Peng","sequence":"additional","affiliation":[{"name":"College of Applied Science, Jiangxi University of Science and Technology, Ganzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[{"name":"State International S&T Cooperation Base of Networked Supporting, Jiangxi Normal University, Nanchang, 330022, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhen","family":"You","sequence":"additional","affiliation":[{"name":"State International S&T Cooperation Base of Networked Supporting, Jiangxi Normal University, Nanchang, 330022, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lan","family":"Song","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Software Engineering, School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2021,1,6]]},"reference":[{"key":"S0129054121500015BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_18"},{"key":"S0129054121500015BIB003","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0250-7"},{"key":"S0129054121500015BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_8"},{"key":"S0129054121500015BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17653-1_29"},{"key":"S0129054121500015BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43951-7_9"},{"key":"S0129054121500015BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"S0129054121500015BIB013","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"S0129054121500015BIB015","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"S0129054121500015BIB016","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"S0129054121500015BIB017","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.021"},{"key":"S0129054121500015BIB023","doi-asserted-by":"publisher","DOI":"10.1145\/982962.964023"},{"key":"S0129054121500015BIB024","doi-asserted-by":"publisher","DOI":"10.1145\/1889997.1890001"},{"key":"S0129054121500015BIB026","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"S0129054121500015BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/s11784-012-0071-6"},{"key":"S0129054121500015BIB028","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.034"},{"key":"S0129054121500015BIB029","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054121500015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T08:38:47Z","timestamp":1613723927000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054121500015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":16,"journal-issue":{"issue":"01","published-print":{"date-parts":[[2021,1]]}},"alternative-id":["10.1142\/S0129054121500015"],"URL":"https:\/\/doi.org\/10.1142\/s0129054121500015","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"type":"print","value":"0129-0541"},{"type":"electronic","value":"1793-6373"}],"subject":[],"published":{"date-parts":[[2021,1]]}}}