{"id":"W2970367809","doi":"10.48550/arxiv.1908.10826","title":"Strongly Linearizable Implementations of Snapshots and Other Types","year":2019,"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 Calgary","funders":"","keywords":"Linearizability; Computer science; Correctness; Bounded function; Atomicity; Implementation; Theoretical computer science; Algorithm; Parallel computing; Mathematics; Programming language","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.002061007,0.0007578315,0.0005660469,0.000670547,0.0006733792,0.003047596,0.00281906,0.001275634,0.007388785],"category_scores_gemma":[0.01018819,0.0007401003,0.001081102,0.001017219,0.003686089,0.007231771,0.002842585,0.003846996,0.001635251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001264088,"about_ca_system_score_gemma":0.001454917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007042731,"about_ca_topic_score_gemma":0.00064208,"domain_scores_codex":[0.9959691,0.0006316896,0.0004908859,0.0008883016,0.001483676,0.000536357],"domain_scores_gemma":[0.9882117,0.003802909,0.001439661,0.004978273,0.001325401,0.0002420665],"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.0003787962,0.0001274505,0.001665812,0.0002995533,0.0000427189,0.0002171623,0.0006143221,0.01368423,0.01363229,0.8878813,0.003018771,0.07843756],"study_design_scores_gemma":[0.0001560553,0.0004033247,0.0004560147,0.000129802,0.0001243631,0.000496354,0.0002033866,0.1348097,0.1114943,0.7173312,0.03427826,0.0001172464],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01376441,0.0001292863,0.9789541,0.0003094969,0.00006530449,0.0001011388,0.0001213356,0.002941996,0.003612936],"genre_scores_gemma":[0.4325405,0.0002951172,0.548851,0.0008908775,0.000210715,0.0006744445,0.0004468797,0.001026017,0.01506456],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007388785,"threshold_uncertainty_score":0.02471793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06657815158923644,"score_gpt":0.2117854515915703,"score_spread":0.1452073000023338,"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."}}