{"id":"W2133365899","doi":"10.1109/ispan.1997.645055","title":"Critical sections and producer/consumer queues in weak memory systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Critical section; Synchronization (alternating current); Queue; Mutual exclusion; Consistency (knowledge bases); Distributed computing; Theoretical computer science; Programming language; Artificial intelligence","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.0001948632,0.00009441889,0.0001532048,0.00007235046,0.00008354624,0.0002517466,0.0002055973,0.00005297607,0.00002317013],"category_scores_gemma":[0.00007223398,0.00008008443,0.00001992269,0.0002828582,0.00005312166,0.0004711495,0.00006559545,0.0001062883,0.00008663108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002362282,"about_ca_system_score_gemma":0.00001044568,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003840982,"about_ca_topic_score_gemma":0.00009026911,"domain_scores_codex":[0.9989957,0.00006651336,0.0002207435,0.0003480803,0.0001431856,0.0002258318],"domain_scores_gemma":[0.9994203,0.00007329022,0.00002077247,0.0003322531,0.00006794236,0.00008546268],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003622405,0.0005186088,0.007109144,0.0003263113,0.00003327344,0.0000912479,0.001992349,0.0004091923,0.0006822539,0.8673915,0.09681567,0.02462679],"study_design_scores_gemma":[0.000907018,0.0001141632,0.01048836,0.0002851457,0.00000954003,0.0005630979,0.0008838951,0.7880414,0.0004142405,0.0006445356,0.1968862,0.0007624195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1286341,0.0276099,0.3439829,0.01584603,0.00730822,0.001725899,0.00004326225,0.001524846,0.4733248],"genre_scores_gemma":[0.9934733,0.00003496283,0.0007178239,0.00006619276,0.00006842928,0.00003834413,4.213438e-7,0.000004401055,0.005596156],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.866747,"threshold_uncertainty_score":0.3265748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02072539827895298,"score_gpt":0.2468007270164386,"score_spread":0.2260753287374856,"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."}}