{"id":"W1984303085","doi":"10.5555/2486788.2486831","title":"Detecting deadlock in programs with data-centric synchronization","year":2013,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Atomicity; Programmer; Concurrency; Programming language; Java; Concurrency control; Lock (firearm); Synchronization (alternating current); Deadlock; Compiler; Parallel computing; Deadlock prevention algorithms; Semaphore; Concurrent computing; Distributed computing; Exception handling; Operating system; Database transaction; Computer network","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004414233,0.000500723,0.0005603739,0.0007960731,0.0007349082,0.001499359,0.001611037,0.0006834411,0.0006981192],"category_scores_gemma":[0.01353881,0.0006324343,0.0005596741,0.0006326595,0.001846656,0.001856417,0.001868898,0.001088931,0.000140986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007829152,"about_ca_system_score_gemma":0.001686311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002440318,"about_ca_topic_score_gemma":0.00201022,"domain_scores_codex":[0.9965983,0.001455478,0.0002828612,0.0004229618,0.0009075086,0.0003328418],"domain_scores_gemma":[0.9842793,0.009496427,0.001461887,0.002594023,0.001899568,0.0002688601],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.003391525,0.001015888,0.08249096,0.001188784,0.0003356848,0.001527087,0.002735755,0.267696,0.2566673,0.05624006,0.003663569,0.3230473],"study_design_scores_gemma":[0.0001538216,0.0003126505,0.002300445,0.0000616713,0.0001191169,0.0003063992,0.0001568366,0.8411305,0.1341832,0.01782762,0.003400184,0.00004756816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2648488,0.0001173122,0.724646,0.0001939046,0.00004102844,0.00009573303,0.00004883538,0.008853089,0.0011553],"genre_scores_gemma":[0.7339227,0.00004786431,0.2646763,0.0001023379,0.00001626567,0.00006644167,0.0001173001,0.0003776679,0.0006730984],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004414233,"threshold_uncertainty_score":0.02334493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01872003671858108,"score_gpt":0.226390380773395,"score_spread":0.2076703440548139,"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."}}