{"id":"W3183627489","doi":"10.23919/date51398.2021.9474238","title":"Automated Synthesis of Predictable and High-Performance Cache Coherence Protocols","year":2021,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Cache coherence; MESI protocol; Predictability; Correctness; Implementation; MESIF protocol; Protocol (science); Embedded system; Cache; Construct (python library); Multi-core processor; Computer architecture; Distributed computing; Parallel computing; Cache algorithms; CPU cache; Programming language","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.0007111111,0.000762546,0.0004316414,0.0004047455,0.0003669913,0.0006485794,0.0008995973,0.0004408022,0.00178743],"category_scores_gemma":[0.002828843,0.000518236,0.0006115253,0.0002819569,0.0007078606,0.0006653306,0.0006502143,0.0007185198,0.0003931494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006382707,"about_ca_system_score_gemma":0.001768632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001620611,"about_ca_topic_score_gemma":0.002510931,"domain_scores_codex":[0.9992931,0.000176459,0.0000581664,0.0001339318,0.0002581888,0.00008026756],"domain_scores_gemma":[0.9981778,0.001018563,0.0001489188,0.0003296279,0.0002847568,0.00004031633],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002009558,0.0001418524,0.001984426,0.000476394,0.00007807021,0.0002726496,0.0002532564,0.7671047,0.1122667,0.02605119,0.001976233,0.08919355],"study_design_scores_gemma":[0.00006136728,0.0001096822,0.000231063,0.00001722245,0.0000292497,0.00004710073,0.00003659816,0.9060361,0.08474077,0.0053435,0.003331796,0.00001548022],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1201558,0.0001356451,0.8660532,0.0001148363,0.00005269123,0.0001459165,0.000382293,0.008238672,0.004720929],"genre_scores_gemma":[0.6091437,0.0001251026,0.3871894,0.00004906168,0.00001078933,0.000252065,0.0008068125,0.0009959998,0.001426929],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00178743,"threshold_uncertainty_score":0.005979538,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01620893684503247,"score_gpt":0.2614073387136369,"score_spread":0.2451984018686044,"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."}}