{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:15:22Z","timestamp":1775873722437,"version":"3.50.1"},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2015,1,20]],"date-time":"2015-01-20T00:00:00Z","timestamp":1421712000000},"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":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2015,1,20]]},"abstract":"<jats:p>Today's global services and applications are expected to be highly available, scale to an unprecedented number of clients, and offer reliable, low-latency operations. This can be achieved through geo-replication, particularly when data consistency is relaxed. There are, however, applications whose data must obey global invariants at all times. Strong consistency protocols easily address this issue, but require global coordination among replicas and inevitably degrade application throughput and latency.<\/jats:p>\n          <jats:p>While coordination is an inherent requirement for maintaining global application invariants, there are instances where coordination on a per operation basis can be avoided. In particular, it has been shown that either moving coordination outside the critical path for executing operations, or having one coordination round for multiple operations, are both effective ways to maintain global invariants and avoid most of the penalties of coordination. However, current georeplication protocols still have not taken advantage of these observations.<\/jats:p>\n          <jats:p>In this paper, we review the design space of current solutions for building geo-replicated applications and present our guiding vision towards a general technique for providing global application invariants under eventual consistency, as a much cheaper alternative to strong consistency.<\/jats:p>","DOI":"10.1145\/2723872.2723889","type":"journal-article","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T14:05:51Z","timestamp":1422453951000},"page":"121-125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Towards Fast Invariant Preservation in Geo-replicated Systems"],"prefix":"10.1145","volume":"49","author":[{"given":"Valter","family":"Balegas","sequence":"first","affiliation":[{"name":"NOVA-LINCS, DI\/FCT\/Univ. Nova de Lisboa"}]},{"given":"S\u00e9rgio","family":"Duarte","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, DI\/FCT\/Univ. Nova de Lisboa"}]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, DI\/FCT\/Univ. Nova de Lisboa"}]},{"given":"Rodrigo","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, DI\/FCT\/Univ. Nova de Lisboa"}]},{"given":"Nuno","family":"Pregui\u00e7a","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, DI\/FCT\/Univ. Nova de Lisboa"}]},{"given":"Mahsa","family":"Najafzadeh","sequence":"additional","affiliation":[{"name":"Inria &amp; UPMC-LIP6"}]},{"given":"Marc","family":"Shapiro","sequence":"additional","affiliation":[{"name":"Inria &amp; UPMC-LIP6"}]}],"member":"320","published-online":{"date-parts":[[2015,1,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465361"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_2_1_3_1","first-page":"2015","author":"Bailis P.","year":"2015","unstructured":"P. Bailis , A. Fekete , M. J. Franklin , A. Ghodsi , J. Hellerstein , and I. Stoica . Coordination Avoidance in Database Systems. In VLDB 2015 , 2015 . P. Bailis, A. Fekete, M. J. Franklin, A. Ghodsi, J. Hellerstein, and I. Stoica. Coordination Avoidance in Database Systems. In VLDB 2015, 2015.","journal-title":"Coordination Avoidance in Database Systems. In VLDB"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDSW.2014.30"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01232643"},{"key":"e_1_2_1_6_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein P. A.","year":"1986","unstructured":"P. A. Bernstein , V. Hadzilacos , N. Goodman . Concurrency Control and Recovery in Database Systems . Addison-Wesley , 1986 . P. A. Bernstein, V. Hadzilacos, N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1986."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343502"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391230"},{"key":"e_1_2_1_9_1","volume-title":"Proc. OSDI'12","author":"Corbett J.","year":"2012","unstructured":"J. Corbett , J. Dean , M. Epstein , et. al. Spanner : Google's globally-distributed database . In Proc. OSDI'12 , 2012 . J. Corbett, J. Dean, M. Epstein, et. al. Spanner: Google's globally-distributed database. In Proc. OSDI'12, 2012."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687657"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_14_1","volume-title":"Proc. USENIX ATC'14","author":"Li C.","year":"2014","unstructured":"C. Li , J. Leit\u00e4o , A. Clement , N. Pregui\u00e7a , R. Rodrigues , and V. Vafeiadis . Automating the choice of consistency levels in replicated systems . In Proc. USENIX ATC'14 , 2014 . C. Li, J. Leit\u00e4o, A. Clement, N. Pregui\u00e7a, R. Rodrigues, and V. Vafeiadis. Automating the choice of consistency levels in replicated systems. In Proc. USENIX ATC'14, 2014."},{"key":"e_1_2_1_15_1","volume-title":"Proc. OSDI'12","author":"Li C.","year":"2012","unstructured":"C. Li , D. Porto , A. Clement , J. Gehrke , N. Pregui\u00e7a , R. Rodrigues . Making geo-replicated systems fast as possible, consistent when necessary . In Proc. OSDI'12 , 2012 . C. Li, D. Porto, A. Clement, J. Gehrke, N. Pregui\u00e7a, R. Rodrigues. Making geo-replicated systems fast as possible, consistent when necessary. In Proc. OSDI'12, 2012."},{"key":"e_1_2_1_16_1","volume-title":"Proc. NSDI'14","author":"Liu J.","year":"2014","unstructured":"J. Liu , T. Magrino , O. Arden , M. George , A. Myers . Warranties for faster strong consistency . In Proc. NSDI'14 , 2014 . J. Liu, T. Magrino, O. Arden, M. George, A. Myers. Warranties for faster strong consistency. In Proc. NSDI'14, 2014."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_2_1_18_1","volume-title":"Proc. NSDI'13","author":"Lloyd W.","year":"2013","unstructured":"W. Lloyd , M. Freedman , M. Kaminsky , D. Andersen . Stronger semantics for low-latency geo-replicated storage . In Proc. NSDI'13 , 2013 . W. Lloyd, M. Freedman, M. Kaminsky, D. Andersen. Stronger semantics for low-latency geo-replicated storage. In Proc. NSDI'13, 2013."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/7239.7265"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066116.1189038"},{"key":"e_1_2_1_21_1","volume-title":"Writes that fall in the forest and make no sound: Semantics-based adaptive data consistency. CoRR, abs\/1403.2307","author":"Roy S.","year":"2014","unstructured":"S. Roy , L. Kot , N. Foster , J. Gehrke , H. Hojjat , C. Koch . Writes that fall in the forest and make no sound: Semantics-based adaptive data consistency. CoRR, abs\/1403.2307 , 2014 . S. Roy, L. Kot, N. Foster, J. Gehrke, H. Hojjat, C. Koch. Writes that fall in the forest and make no sound: Semantics-based adaptive data consistency. CoRR, abs\/1403.2307, 2014."},{"key":"e_1_2_1_22_1","volume-title":"Velocity","author":"Schurman E.","year":"2009","unstructured":"E. Schurman and J. Brutlag . Performance related changes and their user impact . In Velocity , 2009 . E. Schurman and J. Brutlag. Performance related changes and their user impact. In Velocity, 2009."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_2_1_24_1","volume-title":"Proc. Middleware '08","author":"Shrira L.","year":"2008","unstructured":"L. Shrira , H. Tian , D. Terry . Exo-leasing : Escrow synchronization for mobile clients of commodity storage servers . In Proc. Middleware '08 , 2008 . L. Shrira, H. Tian, D. Terry. Exo-leasing: Escrow synchronization for mobile clients of commodity storage servers. In Proc. Middleware '08, 2008."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536222.2536232"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/381992.383631"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224070"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/829520.830874"},{"key":"e_1_2_1_31_1","volume-title":"Proc. OSDI'00","author":"Yu H.","year":"2000","unstructured":"H. Yu and A. Vahdat . Design and evaluation of a continuous consistency model for replicated services . In Proc. OSDI'00 , 2000 . H. Yu and A. Vahdat. Design and evaluation of a continuous consistency model for replicated services. In Proc. OSDI'00, 2000."},{"key":"e_1_2_1_32_1","volume-title":"Swiftcloud: Fault-tolerant geo-replication integrated all the way to the client machine. CoRR, abs\/1310.3107","author":"Zawirski M.","year":"2013","unstructured":"M. Zawirski , A. Bieniusa , V. Balegas , S. Duarte , C. Baquero , M. Shapiro , and N. Pregui?ca. Swiftcloud: Fault-tolerant geo-replication integrated all the way to the client machine. CoRR, abs\/1310.3107 , 2013 . M. Zawirski, A. Bieniusa, V. Balegas, S. Duarte, C. Baquero, M. Shapiro, and N. Pregui?ca. Swiftcloud: Fault-tolerant geo-replication integrated all the way to the client machine. CoRR, abs\/1310.3107, 2013."}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723872.2723889","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2723872.2723889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:43Z","timestamp":1750227403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723872.2723889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,20]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,1,20]]}},"alternative-id":["10.1145\/2723872.2723889"],"URL":"https:\/\/doi.org\/10.1145\/2723872.2723889","relation":{},"ISSN":["0163-5980"],"issn-type":[{"value":"0163-5980","type":"print"}],"subject":[],"published":{"date-parts":[[2015,1,20]]},"assertion":[{"value":"2015-01-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}