{"id":"W4366158775","doi":"10.1007/978-3-031-20002-1_9","title":"Abortable Recoverable Mutual Exclusion","year":2023,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on distributed computing theory","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mutual exclusion; Critical section; Lock (firearm); Computer science; Abort; Logarithm; Process (computing); Task (project management); Distributed computing; Parallel computing; Operating system; Mathematics; Engineering","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00197087,0.001135862,0.001322654,0.0004325275,0.0008478165,0.0006343616,0.002907572,0.000939829,0.0002365776],"category_scores_gemma":[0.0008226066,0.001053569,0.0006267115,0.000414188,0.0001555521,0.0002054428,0.0009033465,0.001268016,0.00178749],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004249158,"about_ca_system_score_gemma":0.0002964062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002060926,"about_ca_topic_score_gemma":0.000009836331,"domain_scores_codex":[0.9944113,0.0003587573,0.001079816,0.001858303,0.001145481,0.001146335],"domain_scores_gemma":[0.9928045,0.003418619,0.0008387301,0.002335325,0.0002888153,0.000313999],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009772625,0.00006837596,0.000002121737,0.000122717,0.0003263373,0.0001912316,0.0001168963,0.005050998,0.00005397115,0.854865,0.05320859,0.0858961],"study_design_scores_gemma":[0.000636383,0.0002914263,0.0001076931,0.003922519,0.0001719684,0.00009477296,0.00002474063,0.02468987,0.001346115,0.4551544,0.5107117,0.002848355],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00009648411,0.001182934,0.5851729,0.0006551038,0.004026521,0.0009502221,0.002230737,0.003510098,0.402175],"genre_scores_gemma":[0.3310824,0.0006437817,0.004577117,0.002368519,0.003544305,0.0001659853,0.002588613,0.001062263,0.653967],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.5805958,"threshold_uncertainty_score":0.9991915,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01606183671958233,"score_gpt":0.230215265144554,"score_spread":0.2141534284249717,"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."}}