{"id":"W4366158500","doi":"10.1007/978-3-031-20002-1","title":"Recoverable Mutual Exclusion","year":2023,"lang":"en","type":"book","venue":"Synthesis lectures on distributed computing theory","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; University of Waterloo; National Science Foundation","keywords":"Mutual exclusion; Computer science; Programming language","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.0002539917,0.0007880669,0.0005370813,0.0005591809,0.0008158548,0.001252198,0.0008281501,0.0005700611,0.03558053],"category_scores_gemma":[0.0008568917,0.0003865263,0.0003426139,0.0008057454,0.0008530424,0.001910515,0.00135464,0.001924304,0.01289882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000815284,"about_ca_system_score_gemma":0.0006348868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007773212,"about_ca_topic_score_gemma":0.001294192,"domain_scores_codex":[0.9996532,0.00003742615,0.000008783001,0.00005491193,0.0002088023,0.00003680479],"domain_scores_gemma":[0.9997397,0.00008120332,0.00001392252,0.00008582475,0.00006199123,0.00001731172],"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.0001088294,0.00005686168,0.00005589919,0.0001954791,0.00001418281,0.00008546979,0.0001877315,0.006914171,0.00513054,0.4353588,0.1992681,0.352624],"study_design_scores_gemma":[0.00001853742,0.00003797622,0.0001446166,0.00009493253,0.00001257663,0.0001508811,0.00003941768,0.01223097,0.005139577,0.3113416,0.6707695,0.00001949652],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.0042449,0.009819052,0.2272117,0.002149426,0.002881724,0.0001122801,0.000466561,0.003238727,0.7498757],"genre_scores_gemma":[0.07997745,0.006476702,0.039636,0.0007189252,0.001127882,0.0001714462,0.001045265,0.001005025,0.8698412],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.03558053,"threshold_uncertainty_score":0.1190288,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01359175138905108,"score_gpt":0.2350745560832588,"score_spread":0.2214828046942078,"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."}}