{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005820175,0.0002612451,0.0006517725,0.0002320572,0.0001910188,0.0002016403,0.0002983118,0.0001768235,0.000002655118],"category_scores_gemma":[0.00001450188,0.0002319917,0.00005640606,0.0004765405,0.0001216927,0.000307293,0.000005989951,0.0001546555,8.853687e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005819822,"about_ca_system_score_gemma":0.0002617201,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001834485,"about_ca_topic_score_gemma":7.01318e-7,"domain_scores_codex":[0.9978002,0.0003392068,0.0008510214,0.0004920193,0.000273864,0.0002437446],"domain_scores_gemma":[0.9977313,0.0004706693,0.000452843,0.0004512147,0.0007926675,0.0001013018],"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.00005690196,0.0004230766,0.00009795895,0.002536054,0.0003000003,0.000008199843,0.0007680242,0.8021051,0.05618229,0.002939284,0.0003048483,0.1342782],"study_design_scores_gemma":[0.0007766417,0.0007830405,0.00004837259,0.001614576,0.00002910794,0.000142735,0.00005521825,0.9384549,0.05783686,0.00004414782,0.00001293102,0.0002014592],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03096973,0.0000898113,0.9633763,0.00001110679,0.0004243514,0.004735648,0.00004843697,0.000314519,0.00003013646],"genre_scores_gemma":[0.8555874,0.00007617145,0.1428535,0.000007220536,0.00002531893,0.001330145,0.000006502857,0.00001891916,0.00009489426],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8246176,"threshold_uncertainty_score":0.9460348,"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."}}