Abstract-This paper introducerar en effektiv statisk probabilistic Timing Analysis (SPTA) för multi-pat program. I analysen uppskattas det tidsbundna bidraget från en slumpmässig ersättningscache till den probabilistiska Worst-Case Execution Time (pWCET)-distributionen av multipatprogram. Analysen använder en konservativ ledfunktion som ger en korrekt överskattning av det möjliga cacheinnehållet och pWCET-distributionen på vägkonvergens, oberoende av den faktiska väg som följs under utförandet. Enkla programomvandlingar införs som minskar effekten av vägodeterminism samtidigt som man säkerställer sunda pWCET-uppskattningar. Utvärderingen visar att den föreslagna metoden är effektiv för att fånga lokalitet i cache, och väsentligt överträffar det enda tidigare tillvägagångssättet till SPTA för multi-pat program baserat på att gå samman. Utvärderingsresultaten visar ojämförbarhet med analys för ett likvärdigt deterministiskt system med hjälp av en LRU-cache.
REF utvecklar en SPTA för multi-pat program.
Static Probabilistic Timing Analysis for Multi-path Programs
{'venue': '2015 IEEE Real-Time Systems Symposium', 'journal': '2015 IEEE Real-Time Systems Symposium', 'mag_field_of_study': ['Computer Science']}