{"id":"W2113863982","doi":"10.1002/cpe.3659","title":"Dekker's mutual exclusion algorithm made RW‐safe","year":2015,"lang":"en","type":"article","venue":"Concurrency and Computation Practice and Experience","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Thread (computing); Mutual exclusion; Correctness; Algorithm; Computer science; Tournament; Parallel computing; Mathematics; Theoretical computer science; Operating system; Combinatorics","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.001413701,0.0004944088,0.0006992755,0.0004688547,0.001206746,0.001278945,0.001540817,0.0008907226,0.004244087],"category_scores_gemma":[0.005474781,0.0002687576,0.0006116827,0.0003624817,0.0008137724,0.001278398,0.001674112,0.001090453,0.001027127],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007789347,"about_ca_system_score_gemma":0.002200531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002656252,"about_ca_topic_score_gemma":0.002535192,"domain_scores_codex":[0.9986678,0.0002343211,0.0001395837,0.0002581597,0.0004020833,0.0002981056],"domain_scores_gemma":[0.9976037,0.0008351565,0.0002029918,0.000673824,0.0005567588,0.0001274981],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001608043,0.0003295099,0.004299744,0.0002347824,0.0001157451,0.0003992507,0.0008719946,0.2311392,0.05374664,0.1966446,0.009722483,0.500888],"study_design_scores_gemma":[0.0002168169,0.0002609188,0.0007794149,0.0000322259,0.00004803391,0.0002764327,0.0001165786,0.8777581,0.0465633,0.05743665,0.01645375,0.00005774963],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1462864,0.0001156738,0.8354575,0.0004290527,0.0002183558,0.0002139597,0.00009678535,0.002416252,0.01476597],"genre_scores_gemma":[0.6233167,0.00006442648,0.3629745,0.0001571516,0.00003373056,0.0001672457,0.0002416162,0.0003206986,0.01272394],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004244087,"threshold_uncertainty_score":0.01419789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03383703133070081,"score_gpt":0.3251101534292374,"score_spread":0.2912731220985366,"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."}}