{"id":"W3135491762","doi":"10.48550/arxiv.2102.13242","title":"On Register Linearizability and Termination","year":2021,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Linearizability; Correctness; Impossibility; Computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":false,"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.009913071,0.001439798,0.002005681,0.001925783,0.003026487,0.004212641,0.002848426,0.003011587,0.008609571],"category_scores_gemma":[0.05149865,0.001328051,0.002868322,0.002047572,0.01644329,0.01734459,0.008752977,0.01168448,0.001888985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003946299,"about_ca_system_score_gemma":0.003415323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002710402,"about_ca_topic_score_gemma":0.001270093,"domain_scores_codex":[0.9771069,0.006270413,0.001835206,0.005384165,0.005770595,0.003632745],"domain_scores_gemma":[0.9211296,0.05354936,0.004363204,0.0147404,0.005259652,0.0009577861],"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.0003382166,0.0001277223,0.001560532,0.0002781375,0.0000585828,0.0002506129,0.0008455992,0.02518215,0.003638822,0.9229476,0.003362007,0.04140995],"study_design_scores_gemma":[0.0001750943,0.000196642,0.0003315494,0.0001444276,0.00007291063,0.0001882186,0.0001101339,0.06995065,0.007463713,0.9114847,0.009814207,0.00006775252],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03943599,0.001912145,0.9126036,0.006251939,0.0004835193,0.0003024678,0.0001464017,0.003018995,0.0358448],"genre_scores_gemma":[0.7702132,0.002464334,0.1859317,0.004781163,0.002075073,0.001728906,0.0005266092,0.001965508,0.03031339],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009913071,"threshold_uncertainty_score":0.05242598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05467048063850892,"score_gpt":0.1857430572779266,"score_spread":0.1310725766394177,"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."}}