{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:03Z","timestamp":1750308423469,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T00:00:00Z","timestamp":1619395200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,26]]},"DOI":"10.1145\/3447865.3457964","type":"proceedings-article","created":{"date-parts":[[2021,4,10]],"date-time":"2021-04-10T06:38:05Z","timestamp":1618036685000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards the Synthesis of Coherence\/Replication Protocols from Consistency Models via Real-Time Orderings"],"prefix":"10.1145","author":[{"given":"Vasilis","family":"Gavrielatos","sequence":"first","affiliation":[{"name":"University of Crete & FORTH-ICS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Nagarajan","sequence":"additional","affiliation":[{"name":"The University of Edinburgh"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiota","family":"Fatourou","sequence":"additional","affiliation":[{"name":"University of Crete & FORTH-ICS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,4,26]]},"reference":[{"volume-title":"April","year":"2014","key":"e_1_3_2_1_1_1","unstructured":"\"Manhattan , our real-time, multi-tenant distributed database for twitter scale,\" https:\/\/bit.ly\/2Vgu0wd , April 2014 , ( Accessed on 07\/08\/2019). \"Manhattan, our real-time, multi-tenant distributed database for twitter scale,\" https:\/\/bit.ly\/2Vgu0wd, April 2014, (Accessed on 07\/08\/2019)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_3_1","first-page":"29","volume-title":"Proceedings of the 33rd Annual International Symposium on Computer Architecture, ser. ISCA '06. USA: IEEE Computer Society, 2006","author":"Maessen J.-W.","year":"2006","unstructured":"Arvind and J.-W. Maessen , \"Memory Model = Instruction Reordering + Store Atomicity,\" in Proceedings of the 33rd Annual International Symposium on Computer Architecture, ser. ISCA '06. USA: IEEE Computer Society, 2006 , p. 29 -- 40 . [Online]. Available : https:\/\/doi.org\/10.1109\/ISCA. 2006 .26 10.1109\/ISCA.2006.26 Arvind and J.-W. Maessen, \"Memory Model = Instruction Reordering + Store Atomicity,\" in Proceedings of the 33rd Annual International Symposium on Computer Architecture, ser. ISCA '06. USA: IEEE Computer Society, 2006, p. 29--40. [Online]. Available: https:\/\/doi.org\/10.1109\/ISCA.2006.26"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000011"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087802"},{"key":"e_1_3_2_1_6_1","first-page":"0","volume-title":"Consistency models with global operation sequencing and their composition,\" in Leibniz International Proceedings in Informatics (LIPIcs)","author":"Gotsman A.","year":"2017","unstructured":"A. Gotsman and S. Burckhardt , \" Consistency models with global operation sequencing and their composition,\" in Leibniz International Proceedings in Informatics (LIPIcs) ; 31st International Symposium on Distributed Computing (DISC 2017 ), vol. 91 . Dagstuhl Publishing , October 2017, pp. 0 .959 027 778-0.969 444 444. [Online]. Available: https:\/\/www.microsoft.com\/en-us\/research\/publication\/consistency-models-with-global-operation-sequencing-and-their-composition\/ A. Gotsman and S. Burckhardt, \"Consistency models with global operation sequencing and their composition,\" in Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017), vol. 91. Dagstuhl Publishing, October 2017, pp. 0.959 027 778-0.969 444 444. [Online]. Available: https:\/\/www.microsoft.com\/en-us\/research\/publication\/consistency-models-with-global-operation-sequencing-and-their-composition\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1734069"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_9_1","first-page":"11","volume-title":"USENIXATC'10","author":"Hunt P.","year":"2010","unstructured":"P. Hunt , M. Konar , F. P. Junqueira , and B. Reed , \" ZooKeeper: Wait-free Coordination for Internet-scale Systems,\" in Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, ser . USENIXATC'10 . Berkeley, CA, USA: USENIX Association , 2010 , pp. 11 -- 11 . [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1855840.1855851 P. Hunt, M. Konar, F. P. Junqueira, and B. Reed, \"ZooKeeper: Wait-free Coordination for Internet-scale Systems,\" in Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, ser. USENIXATC'10. Berkeley, CA, USA: USENIX Association, 2010, pp. 11--11. [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1855840.1855851"},{"key":"e_1_3_2_1_10_1","first-page":"10","volume-title":"WTEC'94","author":"Keleher P.","year":"1994","unstructured":"P. Keleher , A. L. Cox , S. Dwarkadas , and W. Zwaenepoel , \" TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems,\" in Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, ser . WTEC'94 . Berkeley, CA, USA: USENIX Association , 1994 , pp. 10 -- 10 . [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1267074.1267084 P. Keleher, A. L. Cox, S. Dwarkadas, and W. Zwaenepoel, \"TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems,\" in Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, ser. WTEC'94. Berkeley, CA, USA: USENIX Association, 1994, pp. 10--10. [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1267074.1267084"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_12_1","volume-title":"Modular Composition of Coordination Services,\" in USENIX Annual Technical Conference","author":"Lev-Ari K.","year":"2016","unstructured":"K. Lev-Ari , E. Bortnikov , I. Keidar , and A. Shraer , \" Modular Composition of Coordination Services,\" in USENIX Annual Technical Conference , 2016 . K. Lev-Ari, E. Bortnikov, I. Keidar, and A. Shraer, \"Modular Composition of Coordination Services,\" in USENIX Annual Technical Conference, 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2017.03.004"},{"key":"e_1_3_2_1_14_1","first-page":"272","volume-title":"June 1997","author":"Lynch N. A.","unstructured":"N. A. Lynch and A. A. Shvartsman , \" Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts,\" in Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing , June 1997 , pp. 272 -- 281 . N. A. Lynch and A. A. Shvartsman, \"Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts,\" in Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing, June 1997, pp. 272--281."},{"key":"e_1_3_2_1_15_1","first-page":"26","volume-title":"CCICheck: using \u03bchb graphs to verify the coherence-consistency interface,\" in MICRO'15","author":"Manerkar Y. A.","year":"2015","unstructured":"Y. A. Manerkar , D. Lustig , M. Pellauer , and M. Martonosi , \" CCICheck: using \u03bchb graphs to verify the coherence-consistency interface,\" in MICRO'15 , 2015 , pp. 26 -- 37 . Y. A. Manerkar, D. Lustig, M. Pellauer, and M. Martonosi, \"CCICheck: using \u03bchb graphs to verify the coherence-consistency interface,\" in MICRO'15, 2015, pp. 26--37."},{"key":"e_1_3_2_1_16_1","first-page":"482","volume-title":"ISCA '05","author":"Meixner A.","year":"2005","unstructured":"A. Meixner and D. J. Sorin , \" Dynamic Verification of Sequential Consistency,\" in Proceedings of the 32nd Annual International Symposium on Computer Architecture, ser . ISCA '05 . USA: IEEE Computer Society , 2005 , p. 482 -- 493 . [Online]. Available: https:\/\/doi.org\/10.1109\/ISCA.2005.25 10.1109\/ISCA.2005.25 A. Meixner and D. J. Sorin, \"Dynamic Verification of Sequential Consistency,\" in Proceedings of the 32nd Annual International Symposium on Computer Architecture, ser. ISCA '05. USA: IEEE Computer Society, 2005, p. 482--493. [Online]. Available: https:\/\/doi.org\/10.1109\/ISCA.2005.25"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00962ED2V01Y201910CAC049"},{"key":"e_1_3_2_1_18_1","first-page":"391","volume-title":"TPHOLs '09","author":"Owens S.","year":"2009","unstructured":"S. Owens , S. Sarkar , and P. Sewell , \" A Better x86 Memory Model: X86-TSO,\" in Proceedings of the 22Nd International Conference on Theorem Proving in Higher Order Logics, ser . TPHOLs '09 . Berlin, Heidelberg : Springer-Verlag, 2009 , pp. 391 -- 407 . [Online]. Available: http:\/\/dx.doi.org\/10.1007\/978-3-642-03359-9_27 10.1007\/978-3-642-03359-9_27 S. Owens, S. Sarkar, and P. Sewell, \"A Better x86 Memory Model: X86-TSO,\" in Proceedings of the 22Nd International Conference on Theorem Proving in Higher Order Logics, ser. TPHOLs '09. Berlin, Heidelberg: Springer-Verlag, 2009, pp. 391--407. [Online]. Available: http:\/\/dx.doi.org\/10.1007\/978-3-642-03359-9_27"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266711"},{"key":"#cr-split#-e_1_3_2_1_20_1.1","doi-asserted-by":"crossref","unstructured":"A. Szekeres and I. Zhang \"Making consistency more consistent: A unified model for coherence consistency and isolation \" in Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data ser. PaPoC '18. New York NY USA: Association for Computing Machinery 2018. [Online]. Available: https:\/\/doi.org\/10.1145\/3194261.3194268 10.1145\/3194261.3194268","DOI":"10.1145\/3194261.3194268"},{"key":"#cr-split#-e_1_3_2_1_20_1.2","doi-asserted-by":"crossref","unstructured":"A. Szekeres and I. Zhang \"Making consistency more consistent: A unified model for coherence consistency and isolation \" in Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data ser. PaPoC '18. New York NY USA: Association for Computing Machinery 2018. [Online]. Available: https:\/\/doi.org\/10.1145\/3194261.3194268","DOI":"10.1145\/3194261.3194268"}],"event":{"name":"EuroSys '21: Sixteenth European Conference on Computer Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Online United Kingdom","acronym":"EuroSys '21"},"container-title":["Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447865.3457964","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447865.3457964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:28Z","timestamp":1750268968000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447865.3457964"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,26]]},"references-count":21,"alternative-id":["10.1145\/3447865.3457964","10.1145\/3447865"],"URL":"https:\/\/doi.org\/10.1145\/3447865.3457964","relation":{},"subject":[],"published":{"date-parts":[[2021,4,26]]},"assertion":[{"value":"2021-04-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}