{"id":"W3186685762","doi":"10.1145/3465084.3467925","title":"On Register Linearizability and Termination","year":2021,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linearizability; Property (philosophy); Computer science; Atomicity; Algorithm; Theoretical computer science; Programming language; Epistemology","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.005585911,0.0008975035,0.001377203,0.00153105,0.002277545,0.002568442,0.001729297,0.002017648,0.005811793],"category_scores_gemma":[0.02685399,0.0005788018,0.001258354,0.001966992,0.00979774,0.01012953,0.004547655,0.006564909,0.001016921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002525668,"about_ca_system_score_gemma":0.001783213,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002410979,"about_ca_topic_score_gemma":0.001297517,"domain_scores_codex":[0.992935,0.002150591,0.0004148564,0.00140272,0.001826568,0.00127021],"domain_scores_gemma":[0.9605601,0.03042817,0.00214985,0.00415697,0.002057858,0.0006470961],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001688087,0.0000644585,0.0009007689,0.00009524206,0.00002085702,0.0001877393,0.0004040238,0.01870337,0.001059124,0.9517452,0.002493679,0.02415678],"study_design_scores_gemma":[0.00006220336,0.00006889409,0.0002505233,0.00004342114,0.00001978338,0.0001082759,0.00004992802,0.04372131,0.001191264,0.9502628,0.004202054,0.00001967581],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09465399,0.00682112,0.7953455,0.01102587,0.0006942072,0.0001529528,0.000161531,0.001325288,0.0898195],"genre_scores_gemma":[0.9008655,0.004994446,0.0591144,0.002201644,0.002095365,0.0005523739,0.0002557465,0.0006206339,0.0293],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005811793,"threshold_uncertainty_score":0.02954149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008669910984347697,"score_gpt":0.2331910222907986,"score_spread":0.2245211113064509,"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."}}