{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003697803,0.0001807786,0.0001907644,0.00008842878,0.0006036359,0.0002571616,0.001346239,0.0000474623,0.000008664028],"category_scores_gemma":[0.00001113362,0.0001193603,0.00008084668,0.001101731,0.00005705333,0.0001972539,0.00004039057,0.0003118219,0.0002239448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004620555,"about_ca_system_score_gemma":0.0000549636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002830691,"about_ca_topic_score_gemma":0.00002576278,"domain_scores_codex":[0.9985189,0.0000833213,0.0002229737,0.0004077618,0.0003734759,0.0003935383],"domain_scores_gemma":[0.9985252,0.0002396575,0.00008513234,0.0009883882,0.0000871514,0.00007445823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005264743,0.00004871545,0.00003812278,0.00002262498,0.00008721674,0.0000333044,0.002039314,0.8783095,0.00005159901,0.002169966,0.004774195,0.1123727],"study_design_scores_gemma":[0.001776882,0.0006262911,0.002040494,0.0003058459,0.00002628124,0.0001254091,0.001019273,0.9122485,0.0005063075,0.001063739,0.07956933,0.0006916687],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0131123,0.00003988541,0.9783697,0.006780135,0.0003045959,0.0002198175,0.00001207493,0.0006177807,0.000543732],"genre_scores_gemma":[0.9831998,0.000007458118,0.01588489,0.0002527437,0.00003795423,0.0000175147,0.000002027301,0.00001451021,0.000583097],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9700875,"threshold_uncertainty_score":0.4867371,"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."}}