{"id":"W1982078374","doi":"10.1145/1189736.1189737","title":"Specifying memory consistency of write buffer multiprocessors","year":2007,"lang":"en","type":"article","venue":"ACM Transactions on Computer Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Consistency model; Cache coherence; Sequential consistency; Write buffer; Parallel computing; Memory model; Consistency (knowledge bases); Scalability; Shared memory; Out-of-order execution; Multiprocessing; Weak consistency; Equivalence (formal languages); Causal consistency; Abstraction; Programming language; Strong consistency; CPU cache; Correctness; Operating system; Cache","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.004886143,0.0007302414,0.0006303377,0.0006881941,0.000856014,0.003257039,0.002140512,0.001393236,0.001675515],"category_scores_gemma":[0.01224034,0.001170489,0.001176271,0.0006430666,0.002040853,0.004934526,0.00307898,0.001987714,0.000226475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001032201,"about_ca_system_score_gemma":0.001638752,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002347443,"about_ca_topic_score_gemma":0.002541818,"domain_scores_codex":[0.9951633,0.001481294,0.0005892197,0.0004783813,0.001619978,0.0006677791],"domain_scores_gemma":[0.9916609,0.003823915,0.0008591018,0.002249757,0.001273921,0.00013256],"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.0005711354,0.0001862778,0.006962948,0.0004420161,0.0001369648,0.001087492,0.002194637,0.2091289,0.03514441,0.7032832,0.002379508,0.03848255],"study_design_scores_gemma":[0.0002552254,0.0003872327,0.001148422,0.0001423962,0.0002275738,0.0005274084,0.000632735,0.5430593,0.1305455,0.2967958,0.02619079,0.0000875684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09707616,0.0002057793,0.8954623,0.0003060629,0.00004278581,0.0001885262,0.0002752502,0.001872496,0.004570654],"genre_scores_gemma":[0.7136075,0.0002673012,0.2805046,0.0003069472,0.00006602401,0.0004563908,0.000488667,0.0005969052,0.003705689],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004886143,"threshold_uncertainty_score":0.02584064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02920206529287197,"score_gpt":0.2672635606577219,"score_spread":0.2380614953648499,"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."}}