{"id":"W4321372296","doi":"10.1145/3584696","title":"MCSH, a Lock with the Standard Interface","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Parallel Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Correctness; Lock (firearm); Mutual exclusion; Thread (computing); Critical section; Interface (matter); Pointer (user interface); Skew; Distributed computing; Embedded system; Parallel computing; Algorithm; Operating system; Computer hardware","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.002694592,0.0007683427,0.000766268,0.001470886,0.001379617,0.002519073,0.002775881,0.001283197,0.01666598],"category_scores_gemma":[0.01202625,0.0009067899,0.000878759,0.001432558,0.002756834,0.006102153,0.004301748,0.003044941,0.003234364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001269444,"about_ca_system_score_gemma":0.00319456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00423838,"about_ca_topic_score_gemma":0.00544446,"domain_scores_codex":[0.9963599,0.0005010529,0.0003004789,0.0004259598,0.002015731,0.0003968756],"domain_scores_gemma":[0.9956189,0.001269147,0.0003536873,0.001574973,0.0008955263,0.0002877393],"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.0007621953,0.0001494645,0.001384014,0.0005287585,0.00008553422,0.00014392,0.0006173376,0.004198128,0.01021979,0.4810319,0.1071495,0.3937295],"study_design_scores_gemma":[0.0004239302,0.0003318842,0.0006709003,0.0001499104,0.0001400024,0.0004625662,0.0001339177,0.04590702,0.02329942,0.1199073,0.8084423,0.000130903],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004425821,0.001399783,0.9572912,0.0008257304,0.001195407,0.0004016572,0.0005548727,0.01975848,0.01414713],"genre_scores_gemma":[0.1736394,0.001550862,0.7713022,0.002033194,0.001308478,0.0008050192,0.001492362,0.005794483,0.04207405],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01666598,"threshold_uncertainty_score":0.05575323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01950741890194746,"score_gpt":0.2695897864393166,"score_spread":0.2500823675373692,"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."}}