{"id":"W2095319311","doi":"10.1145/2663345","title":"Revisiting the Complexity of Hardware Cache Coherence and Some Implications","year":2014,"lang":"en","type":"article","venue":"ACM Transactions on Architecture and Code Optimization","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Illinois at Urbana-Champaign; Defense Advanced Research Projects Agency; National Science Foundation; Ministère de l'Économie, de la Science et de l'Innovation - Québec; Microelectronics Advanced Research Corporation; Qualcomm; Division of Computing and Communication Foundations; Semiconductor Research Corporation","keywords":"Computer science; Cache coherence; Correctness; Protocol (science); Model checking; Exploit; Software; Formal verification; Coherence (philosophical gambling strategy); Embedded system; Programming complexity; Cache; Theoretical computer science; Distributed computing; Parallel computing; Programming language; CPU cache; Software development; Cache algorithms; Computer security","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01037025,0.001015542,0.001187168,0.002024014,0.002220182,0.005109856,0.002865185,0.002206716,0.004716914],"category_scores_gemma":[0.07126429,0.001467307,0.00240823,0.00129691,0.009828858,0.01688811,0.005653064,0.007476613,0.0005324457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004569173,"about_ca_system_score_gemma":0.004464091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007505032,"about_ca_topic_score_gemma":0.00565579,"domain_scores_codex":[0.9808221,0.005809463,0.001138932,0.002209338,0.008694177,0.001325953],"domain_scores_gemma":[0.8919657,0.08351411,0.004471746,0.01184875,0.007494017,0.0007058091],"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.0005096312,0.0003318917,0.01027196,0.001882777,0.0002126453,0.001903639,0.004750623,0.1212356,0.02591567,0.7047703,0.008940818,0.1192745],"study_design_scores_gemma":[0.0001656571,0.0004468773,0.003534844,0.0009188274,0.0002036699,0.001746171,0.002374599,0.3407491,0.04913239,0.547793,0.05258998,0.0003448357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2813655,0.00953711,0.6291469,0.04329515,0.001244948,0.0003355323,0.0003567229,0.003289959,0.03142822],"genre_scores_gemma":[0.8404922,0.00565361,0.143513,0.002409632,0.000804337,0.0002177646,0.0002894897,0.001071077,0.005548864],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01037025,"threshold_uncertainty_score":0.05484372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02960204720697915,"score_gpt":0.2612191057671024,"score_spread":0.2316170585601232,"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."}}