{"id":"W2113401164","doi":"10.1145/1993316.1993573","title":"Synchronization via scheduling","year":2011,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"Electronic Arts (Canada); Simon Fraser University; University of British Columbia","funders":"","keywords":"Computer science; Software transactional memory; Transactional memory; Programmer; Debugging; Scheduling (production processes); Rollback; Distributed computing; Parallel computing; Synchronization (alternating current); Programming language; Database transaction","routes":{"ca_aff":true,"ca_fund":false,"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.000159829,0.00009975871,0.0001128484,0.00004391103,0.0001026166,0.0001046403,0.001107715,0.00005402951,0.00005233134],"category_scores_gemma":[0.00007891658,0.00008930278,0.00002837291,0.0002432126,0.00002142607,0.0006226713,0.0001660493,0.00007105842,0.0002714903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001589909,"about_ca_system_score_gemma":0.00002445444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001141736,"about_ca_topic_score_gemma":0.00001857435,"domain_scores_codex":[0.9991504,0.00003216474,0.0001805688,0.0002621814,0.0001658765,0.0002088212],"domain_scores_gemma":[0.9990635,0.00005196036,0.0001049023,0.000645311,0.00006633272,0.00006802312],"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.00005543249,0.0007286405,0.07485189,0.0004379448,0.0002529,0.0003741874,0.02127072,0.004317829,0.003919062,0.3413109,0.004103071,0.5483774],"study_design_scores_gemma":[0.001321058,0.0003601902,0.04939254,0.0003128166,0.00004761176,0.00008963372,0.0003352087,0.9017051,0.00986217,0.01795934,0.01716885,0.001445496],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02917667,0.0002692173,0.961287,0.0001470366,0.0006418843,0.00009904691,0.000004336265,0.0002375507,0.008137309],"genre_scores_gemma":[0.9399221,0.000003468957,0.05978478,0.0001271277,0.00008152738,0.000005554306,0.000007261333,0.000005879203,0.00006229382],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9107454,"threshold_uncertainty_score":0.3641661,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03181491806750968,"score_gpt":0.237042772319435,"score_spread":0.2052278542519253,"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."}}