{"id":"W1531673041","doi":"10.1007/11577188_36","title":"Can Out-of-Order Instruction Execution in Multiprocessors Be Made Sequentially Consistent?","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Correctness; Sequential consistency; Synchronization (alternating current); Consistency (knowledge bases); Parallel computing; Consistency model; Out-of-order execution; Order (exchange); Programming language; Theoretical computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00425925,0.0005391902,0.001170155,0.0006190098,0.001343009,0.00237362,0.002815578,0.001819752,0.00312075],"category_scores_gemma":[0.02642178,0.001416917,0.0008600115,0.001279886,0.002648062,0.007418117,0.001283671,0.002782905,0.0007532265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007375874,"about_ca_system_score_gemma":0.003244191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002012167,"about_ca_topic_score_gemma":0.003143927,"domain_scores_codex":[0.9978023,0.0006072567,0.0001499882,0.0003242262,0.0006790897,0.0004370711],"domain_scores_gemma":[0.9771938,0.008403996,0.001937139,0.009529362,0.0024172,0.0005185377],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001477538,0.000399136,0.007032693,0.0003452128,0.000129204,0.0003591808,0.0008249139,0.083967,0.01366903,0.7591341,0.009870005,0.122792],"study_design_scores_gemma":[0.0002053805,0.0001931791,0.001003291,0.00005944864,0.0001020263,0.0001088245,0.0002324775,0.1466935,0.01925433,0.8228344,0.009269997,0.00004320396],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.249159,0.001017913,0.7269228,0.003040512,0.0008176227,0.000130507,0.0003570097,0.003216409,0.01533824],"genre_scores_gemma":[0.8300976,0.000526776,0.1610667,0.0006192172,0.0002527578,0.0001653909,0.0003998994,0.001024288,0.005847465],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00425925,"threshold_uncertainty_score":0.02252531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02210780547691989,"score_gpt":0.2617374258447762,"score_spread":0.2396296203678563,"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."}}