Utformningen av blandkritiska system innebär ofta smärtsamma kompromisser mellan säkerhetsgarantier och prestanda. Användningen av mer detaljerade arkitektoniska modeller vid utformning och analys av schemaläggning av blandade kritiska system kan dock ge större förtroende för analysen, men också möjligheter till bättre prestanda. Motiverade av denna åsikt föreslår vi en förlängning av Vesals modell för multikärnsystem med blandad kritik som (i) står för uppdelningen per uppgift av den sista nivåns cache och (ii) stöder den dynamiska omfördelningen, för bättre schemamässighet, av cachedelar som ursprungligen reserverats för uppgifter med lägre kritiskhet till de högre kritiska uppgifterna, när systemet övergår till högkritiskt läge. På denna modell tillämpar vi partitionerad EDF schemaläggning med Ekberg och Yis deadline-skalningsteknik. Vår schemaläggningsanalys och skalfaktorberäkning är samstämmig med de cacheresurser som tilldelats varje uppgift, genom att använda WCET:s uppskattningar som tar hänsyn till dessa resurser. Det är därför möjligt att utnyttja den dynamiska omkonfigurering av cachepartitionen, vid lägesändring, för bättre prestanda, i termer av påvisbar schedulability. Vi föreslår också heuristik för att dela upp cache i låg och hög-kritiskt läge, som främjar schedulability. Våra experiment med syntetiska uppgiftsuppsättningar, indikerar påtagliga förbättringar i schemaläggning jämfört med en baslinje cache-aware arrangemang där det inte finns någon omfördelning av cache resurser från låg- till hög-kritiska uppgifter i händelse av ett läge förändring.
Denna dynamiska omfördelning av resurser vid modeförändring är något vi också utforskade med cacheresurser i REF.
Mixed-criticality Scheduling with Dynamic Redistribution of Shared Cache
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}