{"id":"W3041616069","doi":"10.1145/3350755.3400269","title":"Benchmarking Recoverable Mutex Locks","year":2020,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Semaphore; Mutual exclusion; Computer science; Parallel computing; Queue; Benchmarking; Lock (firearm); Multiprocessing; Dram; Operating system; Distributed computing; Embedded system; Computer network; Computer hardware; Engineering","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.00009203731,0.0000787316,0.0001137957,0.00001283839,0.0000695449,0.0001744692,0.0005312852,0.00003357109,0.0001280204],"category_scores_gemma":[0.00001497709,0.00006829201,0.00004374826,0.0002953118,0.000007275291,0.0003634605,0.0001259605,0.00007730079,0.0002643338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001303555,"about_ca_system_score_gemma":0.00002749801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004176886,"about_ca_topic_score_gemma":0.000003293283,"domain_scores_codex":[0.9991922,0.00001885732,0.0001549505,0.0002872566,0.0001555855,0.0001911648],"domain_scores_gemma":[0.9995406,0.00002090042,0.00003905099,0.0002438334,0.00003579183,0.0001198367],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001068345,0.00007355273,0.001947409,0.00007197454,0.00004582628,0.0001155195,0.001579111,0.002087089,0.002645008,0.2419766,0.4759549,0.2734923],"study_design_scores_gemma":[0.0002640178,0.00007785046,0.0004155824,0.0000175429,0.000001479273,0.000009539292,0.00002380635,0.379991,0.001075109,0.0005268887,0.6173805,0.000216667],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001222754,0.00008048883,0.9046107,0.003489289,0.0003192606,0.00006714655,0.000002686947,0.0002128896,0.08999481],"genre_scores_gemma":[0.9712235,0.000006691794,0.02341855,0.003885988,0.0002580081,0.000005449226,0.000003710765,0.000004936257,0.001193118],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9700008,"threshold_uncertainty_score":0.3397564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0183159324998887,"score_gpt":0.1980266228312823,"score_spread":0.1797106903313936,"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."}}