{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001104419,0.0005337999,0.0003174222,0.000999495,0.0008562363,0.0009532475,0.001575438,0.0004609617,0.003695903],"category_scores_gemma":[0.002897107,0.0003146038,0.0002351863,0.0008856855,0.0006994548,0.001313544,0.001250406,0.0008064593,0.0005736169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001517059,"about_ca_system_score_gemma":0.002576513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004650333,"about_ca_topic_score_gemma":0.01084538,"domain_scores_codex":[0.9988295,0.0001911525,0.00009044228,0.0001220654,0.0005691405,0.0001976372],"domain_scores_gemma":[0.997425,0.0005077914,0.0003384548,0.0007262453,0.0008171869,0.0001854012],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00236594,0.0006351419,0.01421588,0.001874922,0.0002737154,0.0006366738,0.0007997744,0.2338931,0.1604979,0.07063475,0.08405958,0.4301126],"study_design_scores_gemma":[0.000562886,0.001717889,0.003782609,0.0001163651,0.0001086833,0.0006002631,0.0002031364,0.7363074,0.1663084,0.01433853,0.07582644,0.0001274656],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2084063,0.004395126,0.7243099,0.0008553562,0.0004225585,0.0007630421,0.001393111,0.04014932,0.01930527],"genre_scores_gemma":[0.8570278,0.0004217416,0.1336058,0.0002937503,0.00008220281,0.0003497613,0.001420231,0.0006105131,0.006188181],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004650333,"threshold_uncertainty_score":0.01236403,"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."}}