{"id":"W4411277168","doi":"10.1145/3732772.3733564","title":"Brief Announcement: Self-Stabilizing Recoverable Mutual Exclusion","year":2025,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Google","keywords":"Mutual exclusion; Computer science; Distributed computing","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.001518108,0.0004804676,0.000447786,0.0003358358,0.0007109796,0.001570331,0.001447274,0.002859206,0.007171006],"category_scores_gemma":[0.004073108,0.0002966028,0.0003655058,0.0005849796,0.001249515,0.00214172,0.0006729195,0.002504435,0.00282413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008519308,"about_ca_system_score_gemma":0.0008071828,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005729549,"about_ca_topic_score_gemma":0.0006771261,"domain_scores_codex":[0.9990867,0.000229266,0.00003936492,0.0001846152,0.0003386742,0.000121197],"domain_scores_gemma":[0.9987024,0.0005590033,0.00008701569,0.0001109898,0.000372728,0.0001677846],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003558083,0.0001038051,0.0003806592,0.000785252,0.0000487284,0.0005069678,0.0001420147,0.009270747,0.005922384,0.2470739,0.5624412,0.1729686],"study_design_scores_gemma":[0.0001507281,0.0003547227,0.0005327113,0.000109451,0.00006043397,0.0006610939,0.00008390106,0.0413822,0.009184141,0.105252,0.8421307,0.00009793399],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02056418,0.02692001,0.4852577,0.1861019,0.2057955,0.0004163559,0.001047562,0.004000803,0.06989589],"genre_scores_gemma":[0.4309023,0.03046979,0.0893028,0.03666258,0.1623463,0.0004567521,0.002484893,0.000882893,0.2464917],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007171006,"threshold_uncertainty_score":0.02398938,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006973474947594971,"score_gpt":0.2360564177817943,"score_spread":0.2290829428341994,"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."}}