Impact of DM-LRU on WCET: A Static Analysis Approach

DOI10.4230/LIPICS.ECRTS.2019.17MaRDI QIDQ5089121zbMATH OpenOpenAlexFDO

Authors Renato Mancuso, Heechul Yun, Isabelle Puaut

Publication date 18 July 2022

Full work available at URL https://hal.science/hal-02190255

zbMATH Keywords

abstract interpretationcache profilingdeterministic memorydynamic cache lockingLRUreal-timestatic cache analysisstatic cache lockingWCET analysis

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cites work

• Cache behavior prediction by abstract interpretation
• Cache behavior prediction by abstract interpretation
• Time-Predictable Out-of-Order Execution for Hard Real-Time Systems
• Timing predictability of cache replacement policies

This page was built for publication: Impact of DM-LRU on WCET: A Static Analysis Approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089121)