{"id":"W3209162960","doi":"10.1109/tcad.2021.3123056","title":"Automatic Construction of Predictable and High-Performance Cache Coherence Protocols for Multicore Real-Time Systems","year":2021,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Cache coherence; MESI protocol; MESIF protocol; Cache; Predictability; Bus sniffing; Multi-core processor; Protocol (science); Distributed computing; Implementation; Embedded system; Cache algorithms; Computer architecture; Operating system; 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.001741364,0.0009649323,0.0004729601,0.0006489018,0.0004978955,0.0009710083,0.001353449,0.0007126898,0.001629828],"category_scores_gemma":[0.005734261,0.0008278263,0.001024551,0.0003740769,0.001050147,0.001152223,0.001081764,0.00113816,0.0004520889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009603089,"about_ca_system_score_gemma":0.002830121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001701794,"about_ca_topic_score_gemma":0.002766929,"domain_scores_codex":[0.9980457,0.0004467894,0.0001974365,0.0003112048,0.0008142063,0.0001848282],"domain_scores_gemma":[0.9959508,0.002101988,0.0004430643,0.0006164673,0.0008051824,0.00008241852],"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.0003768505,0.000318829,0.005806805,0.001217044,0.0001765296,0.0007721086,0.0007139591,0.6236984,0.1733918,0.05580975,0.004753873,0.1329641],"study_design_scores_gemma":[0.00008908057,0.0001751679,0.0004028833,0.00004516852,0.00005391856,0.0001044114,0.0000827673,0.8724781,0.1107303,0.008500534,0.007305315,0.00003229754],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07872558,0.0001554637,0.907151,0.000129821,0.00006038394,0.0003307395,0.0004129513,0.01040421,0.002629783],"genre_scores_gemma":[0.3714195,0.0001686619,0.6231945,0.00007856172,0.00001741342,0.0005415176,0.001484136,0.001401385,0.001694412],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001741364,"threshold_uncertainty_score":0.009209335,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03260083596461848,"score_gpt":0.252032537314625,"score_spread":0.2194317013500066,"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."}}