{"id":"W2336088419","doi":"10.1109/tpds.2016.2556669","title":"Limitations of Highly-Available Eventually-Consistent Data Stores","year":2016,"lang":"en","type":"article","venue":"IEEE Transactions on Parallel and Distributed Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Israel Science Foundation","keywords":"Liveness; Computer science; Consistency (knowledge bases); Concurrency; Consistency model; Causal consistency; Eventual consistency; Sequential consistency; Data consistency; Causality (physics); Weak consistency; Distributed computing; Strong consistency; Concurrency control; Theoretical computer science; Programming language; Database transaction; Artificial intelligence; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01725597,0.0008338737,0.001591733,0.001105696,0.002325467,0.006557148,0.008577469,0.002812792,0.007006085],"category_scores_gemma":[0.06867635,0.002031099,0.001613511,0.002129105,0.004805019,0.01722767,0.006382195,0.00460515,0.001569646],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002486422,"about_ca_system_score_gemma":0.006416729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005177622,"about_ca_topic_score_gemma":0.003300657,"domain_scores_codex":[0.9759836,0.006403647,0.002436833,0.002111294,0.0112429,0.001821742],"domain_scores_gemma":[0.8773646,0.06235851,0.005012618,0.03911562,0.01426835,0.001880206],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002045958,0.0005053201,0.00877153,0.001409342,0.0002341762,0.001226255,0.002563481,0.1589088,0.01294043,0.7016583,0.008849598,0.1008869],"study_design_scores_gemma":[0.0006170498,0.0008359221,0.0011827,0.0004408091,0.0002365014,0.001630234,0.001680468,0.4189917,0.02814703,0.4955047,0.05050908,0.0002237916],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1678426,0.003496266,0.7950487,0.006666332,0.0002800311,0.0005682295,0.001214807,0.003645514,0.02123742],"genre_scores_gemma":[0.8676436,0.001787027,0.1213308,0.0008629953,0.000215192,0.0005550284,0.0007612411,0.000439551,0.006404518],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01725597,"threshold_uncertainty_score":0.09125942,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.101871782258235,"score_gpt":0.2534145340961861,"score_spread":0.1515427518379511,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}