{"id":"W2165821496","doi":"10.1002/cpe.3263","title":"High‐performance<i>N</i>‐thread software solutions for mutual exclusion","year":2014,"lang":"en","type":"article","venue":"Concurrency and Computation Practice and Experience","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"National Research Council Canada; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Mutual exclusion; Correctness; Thread (computing); Intuition; Algorithm; Software; Implementation; Critical section; Parallel computing; Programming language","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.0004089778,0.0001440035,0.0001696811,0.0000452587,0.0007254697,0.0002486467,0.0002075962,0.00006164434,0.000001950133],"category_scores_gemma":[0.0003132043,0.0001349346,0.00002335971,0.0001903037,0.0001019127,0.001929116,0.0001651854,0.00009520556,0.000008421293],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001215611,"about_ca_system_score_gemma":0.0000410256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000210127,"about_ca_topic_score_gemma":0.000001300018,"domain_scores_codex":[0.998776,0.00007323791,0.000273365,0.0004172954,0.0001777841,0.0002823882],"domain_scores_gemma":[0.9988157,0.0005002021,0.0001746959,0.0001807602,0.0002199481,0.0001086869],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003334124,0.00008783022,0.0002916929,0.00008765778,0.00001125005,0.000001488225,0.006318867,0.0005659214,0.0001560683,0.150132,0.001058147,0.8412558],"study_design_scores_gemma":[0.002140038,0.0008507814,0.003403402,0.0001951684,0.00003267074,0.0001850229,0.001554301,0.831328,0.0004336065,0.008248956,0.1508867,0.0007413545],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09106638,0.0007210114,0.9064361,0.0006487423,0.0006420357,0.0001981979,0.000008316441,0.0001047524,0.0001744152],"genre_scores_gemma":[0.9680474,0.0002012577,0.03104943,0.0004651705,0.00008975574,0.00008873695,0.00001881105,0.000005139251,0.00003433129],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.876981,"threshold_uncertainty_score":0.5579799,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02517790342176533,"score_gpt":0.2955406178304535,"score_spread":0.2703627144086881,"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."}}