{"id":"W2985470207","doi":"10.1007/s00446-019-00364-0","title":"Recoverable mutual exclusion","year":2019,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Google","keywords":"Semaphore; Mutual exclusion; Critical section; Liveness; Computer science; Lock (firearm); Process (computing); Copycat; Reboot; Distributed computing; Operating system; Engineering","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004214123,0.0002117359,0.0002992387,0.0000645227,0.0002251415,0.0003338462,0.001128432,0.0001047528,0.00005061366],"category_scores_gemma":[0.00003558513,0.0002058418,0.0001153712,0.0007278445,0.00001695659,0.0004412431,0.0003832213,0.0002281381,0.0009325575],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001068917,"about_ca_system_score_gemma":0.00006711119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003281402,"about_ca_topic_score_gemma":9.452449e-7,"domain_scores_codex":[0.9979932,0.00008219246,0.00040286,0.000600575,0.0003732546,0.0005478711],"domain_scores_gemma":[0.9985892,0.0001162887,0.0001822664,0.0008397014,0.0001409043,0.0001317053],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008448117,0.0008717945,0.07012001,0.0003978615,0.000252267,0.0002798768,0.002154653,0.08303803,0.02349128,0.3929066,0.08048049,0.3459226],"study_design_scores_gemma":[0.0008954222,0.0001025255,0.007024153,0.0001515802,0.000004180744,0.00005144571,0.00007208163,0.9083718,0.001181516,0.0008634601,0.08079088,0.0004909195],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1575305,0.0001331787,0.8344969,0.0002461858,0.001282796,0.000225391,0.0000565643,0.0004543937,0.005574199],"genre_scores_gemma":[0.9946917,0.000003034715,0.004586481,0.0002002971,0.0001132247,0.000002877602,0.0001433108,0.0000116175,0.0002474429],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8371612,"threshold_uncertainty_score":0.9998453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007466612976992102,"score_gpt":0.2218891639147716,"score_spread":0.2144225509377795,"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."}}