{"id":"W4378801269","doi":"10.1145/3558481.3591317","title":"Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures","year":2023,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mutual exclusion; Computer science; Variety (cybernetics); Constant (computer programming); Process (computing); Self-stabilization; Fault tolerance; Theoretical computer science; Distributed computing; Artificial intelligence; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005630582,0.0001842178,0.0002230795,0.0001306331,0.0003653021,0.0004143695,0.000695677,0.00008293098,0.00003434888],"category_scores_gemma":[0.00003866341,0.0001537304,0.0000795302,0.0007921399,0.00001886673,0.0005323894,0.0003115319,0.0001239292,0.00125512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001547469,"about_ca_system_score_gemma":0.00006414857,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000323459,"about_ca_topic_score_gemma":0.00005031301,"domain_scores_codex":[0.9980152,0.00007587665,0.0003370025,0.0005458986,0.0005444609,0.0004815203],"domain_scores_gemma":[0.9988811,0.0001622573,0.00009666126,0.0006585307,0.00009105074,0.0001103976],"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.00001850985,0.00008170554,0.0003434192,0.0001537457,0.00004503087,0.0001126268,0.000543688,0.01197807,0.001296476,0.6020038,0.3754727,0.007950203],"study_design_scores_gemma":[0.001210895,0.0002884933,0.002730759,0.0007013516,0.000007417696,0.0000335847,0.001048138,0.4744032,0.001256867,0.001773129,0.5158008,0.0007453226],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01639535,0.0001184065,0.8398811,0.003884281,0.002266093,0.0004985398,0.00003069678,0.002271978,0.1346535],"genre_scores_gemma":[0.9842405,0.00001357383,0.001076637,0.000805814,0.0001316007,0.00003035783,0.00003037061,0.00001444574,0.01365667],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9678452,"threshold_uncertainty_score":0.9995225,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01804470894290667,"score_gpt":0.2395489438565349,"score_spread":0.2215042349136283,"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."}}