{"id":"https://openalex.org/W2336088419","doi":"https://doi.org/10.1109/tpds.2016.2556669","title":"Limitations of Highly-Available Eventually-Consistent Data Stores","display_name":"Limitations of Highly-Available Eventually-Consistent Data Stores","publication_year":2016,"publication_date":"2016-04-20","ids":{"openalex":"https://openalex.org/W2336088419","doi":"https://doi.org/10.1109/tpds.2016.2556669","mag":"2336088419"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2016.2556669","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2016.2556669","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029333678","display_name":"Hagit Attiya","orcid":"https://orcid.org/0000-0002-8017-6457"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Hagit Attiya","raw_affiliation_strings":["Computer Science Department, Technion\u2014Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Technion\u2014Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013813328","display_name":"Faith Ellen","orcid":"https://orcid.org/0000-0003-4473-931X"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Faith Ellen","raw_affiliation_strings":["Department of Computer Science, University of Toronto, Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101431627","display_name":"Adam Morrison","orcid":"https://orcid.org/0000-0002-5586-2615"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Adam Morrison","raw_affiliation_strings":["Computer Science Department, Technion\u2014Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Technion\u2014Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029333678"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":4.0535,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.94125641,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"28","issue":"1","first_page":"141","last_page":"155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9033024311065674},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8488364219665527},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7634694576263428},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.751781702041626},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.7289603352546692},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.7222414612770081},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.6642223596572876},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.6485497951507568},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.6223994493484497},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.5112252235412598},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.4985349178314209},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4794663190841675},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.4620055556297302},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4361259639263153},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4329894185066223},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3500173091888428},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.11177948117256165},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09753885865211487},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08114287257194519}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9033024311065674},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8488364219665527},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7634694576263428},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.751781702041626},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.7289603352546692},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.7222414612770081},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.6642223596572876},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.6485497951507568},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.6223994493484497},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.5112252235412598},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.4985349178314209},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4794663190841675},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.4620055556297302},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4361259639263153},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4329894185066223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3500173091888428},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.11177948117256165},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09753885865211487},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08114287257194519},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2016.2556669","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2016.2556669","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2291301941","display_name":null,"funder_award_id":"1749/14","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G6082995037","display_name":null,"funder_award_id":"1227/10","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W12688243","https://openalex.org/W114083770","https://openalex.org/W1516319412","https://openalex.org/W1548772126","https://openalex.org/W1652742168","https://openalex.org/W1689093460","https://openalex.org/W1763885578","https://openalex.org/W1925953220","https://openalex.org/W1973501242","https://openalex.org/W1981521402","https://openalex.org/W2007840840","https://openalex.org/W2026697016","https://openalex.org/W2039176376","https://openalex.org/W2054584570","https://openalex.org/W2071933194","https://openalex.org/W2082133002","https://openalex.org/W2087946700","https://openalex.org/W2098618284","https://openalex.org/W2101939036","https://openalex.org/W2118153508","https://openalex.org/W2127934681","https://openalex.org/W2143725230","https://openalex.org/W2144153901","https://openalex.org/W2153704625","https://openalex.org/W2161730338","https://openalex.org/W2285233517","https://openalex.org/W2341655714","https://openalex.org/W2914206182","https://openalex.org/W3137220996","https://openalex.org/W4205245394","https://openalex.org/W6600505298","https://openalex.org/W6604660168","https://openalex.org/W6632994813","https://openalex.org/W6636927302","https://openalex.org/W6637396797","https://openalex.org/W6640309566","https://openalex.org/W6695817155","https://openalex.org/W6764969450"],"related_works":["https://openalex.org/W2949587676","https://openalex.org/W2949499328","https://openalex.org/W4292345996","https://openalex.org/W2144153901","https://openalex.org/W2322874084","https://openalex.org/W3102338602","https://openalex.org/W2287614524","https://openalex.org/W2343489657","https://openalex.org/W4254952258","https://openalex.org/W4297824651"],"abstract_inverted_index":{"Modern":[0],"replicated":[1,41,142],"data":[2,42,81,129,143],"stores":[3,43],"aim":[4],"to":[5,12,48,72,116],"provide":[6],"high":[7],"availability,":[8],"by":[9,16,166],"immediately":[10],"responding":[11],"client":[13,111],"requests,":[14],"often":[15],"implementing":[17,83],"objects":[18],"that":[19,44],"expose":[20],"concurrency.":[21],"Such":[22],"objects,":[23,54,158],"for":[24,40,52],"example,":[25],"multi-valued":[26],"registers":[27],"(MVRs),":[28],"do":[29],"not":[30],"have":[31],"sequential":[32],"specifications.":[33],"This":[34,121],"paper":[35],"explores":[36],"a":[37,87,99],"recent":[38],"model":[39,69,89,100],"can":[45,113],"be":[46],"used":[47,71],"precisely":[49],"specify":[50],"causalconsistency":[51],"such":[53],"and":[55,139],"liveness":[56],"properties":[57],"like":[58],"eventual":[59],"consistency,":[60,105],"without":[61],"revealing":[62],"details":[63],"of":[64,119,148,154],"the":[65,74,128,133,152,155],"underlying":[66],"implementation.":[67],"The":[68],"is":[70,98,171,181],"prove":[73],"following":[75],"results:":[76],"1)":[77],"An":[78],"eventually":[79,137],"consistent":[80,138,141],"store":[82,144],"MVRs":[84],"cannot":[85],"satisfy":[86],"consistency":[88,95],"strictly":[90],"stronger":[91,102],"than":[92,103],"observable":[93],"causal":[94,104],"(OCC).":[96],"OCC":[97],"somewhat":[101],"which":[106,110,175],"captures":[107],"executions":[108],"in":[109,151,162,174],"observations":[112],"use":[114],"causality":[115],"infer":[117],"concurrency":[118],"operations.":[120],"result":[122],"holds":[123],"under":[124],"certain":[125],"assumptions":[126],"about":[127],"store.":[130],"2)":[131],"Under":[132],"same":[134],"assumptions,":[135],"an":[136,172,176],"causally":[140],"must":[145],"send":[146],"messages":[147],"size":[149,153],"linear":[150],"system:":[156],"Ifs":[157],"each":[159],"\u03a9(lg":[160],"k)-bit":[161,179],"size,":[163],"are":[164],"supported":[165],"n":[167],"replicas,":[168],"then":[169],"there":[170],"execution":[173],"\u03a9(min{n,":[177],"s}lg":[178],"message":[180],"sent.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}