{"id":"W4379116080","doi":"10.23919/date56975.2023.10136986","title":"Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems","year":2023,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"MESI protocol; Computer science; Cache coherence; MESIF protocol; Scalability; Directory; Bus sniffing; Multi-core processor; Cache; Parallel computing; Cache algorithms; Coherence (philosophical gambling strategy); CPU cache; Operating system","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.001093691,0.0002263513,0.0003588976,0.0001644283,0.000234855,0.0003991987,0.000971758,0.0001228736,0.00001615792],"category_scores_gemma":[0.0009066017,0.0001907023,0.0001332286,0.00068982,0.00007164112,0.0003961293,0.0001637633,0.0001299411,0.0005401971],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001010348,"about_ca_system_score_gemma":0.0001873485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003135244,"about_ca_topic_score_gemma":0.00001955767,"domain_scores_codex":[0.9975634,0.0001692355,0.0004823713,0.0006716417,0.0004725963,0.0006407864],"domain_scores_gemma":[0.9960107,0.002586906,0.00007881107,0.0008515237,0.0002376253,0.000234439],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001584635,0.0005679812,0.009175912,0.0040252,0.0002802704,0.0004164504,0.002945613,0.09281641,0.06707687,0.7278301,0.05404996,0.04065675],"study_design_scores_gemma":[0.0004756227,0.00006815764,0.0006452837,0.0001347461,0.000008833698,0.000009122641,0.0001262733,0.9900553,0.002768573,0.0002516633,0.00515654,0.0002998822],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003469378,0.0001076429,0.9878371,0.001196919,0.002140245,0.0009059228,0.0000180586,0.001582634,0.002742096],"genre_scores_gemma":[0.9459812,0.000001323531,0.051579,0.000118161,0.0002365885,0.0003196681,0.00001454175,0.00003137894,0.001718104],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9425119,"threshold_uncertainty_score":0.7776612,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04772445816760726,"score_gpt":0.3191943841421753,"score_spread":0.2714699259745681,"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."}}