Timing predictability of cache replacement policies

DOI10.1007/S11241-007-9032-3MaRDI QIDQ2460197zbMATH OpenOpenAlexFDO

Authors Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm

Publication date 14 November 2007

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11241-007-9032-3

zbMATH Keywords

Hard real-time systemsPredictabilityCache analysisCache replacement policiesTiming analysis

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Recommendations

• Abstract Interpretation of FIFO Replacement
• On the complexity of cache analysis for different replacement policies
• Static probabilistic timing analysis for real-time systems using random replacement caches
• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
• Formal Methods for Components and Objects

Cited in

(9)

• Data cache organization for accurate timing analysis
• Impact of DM-LRU on WCET: A Static Analysis Approach
• Memory-centric scheduling for multicore hard real-time systems
• Scalable and precise refinement of cache timing analysis via path-sensitive verification
• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
• On the complexity of cache analysis for different replacement policies
• Caching with time windows
• Response-time analysis for fixed-priority systems with a write-back cache
• Abstract Interpretation of FIFO Replacement

Describes a project that uses

Uses Software

• SPEC Benchmarks

This page was built for publication: Timing predictability of cache replacement policies

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