Skip to Main content Skip to Navigation
Conference papers

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Abstract : Utilizing a stack cache in a real-time system can aid predictability by avoiding interference between accesses to regular data and stack data. While loads and stores are guaranteed cache hits, explicit operations are required to manage the stack cache. The (timing) behavior of these operations depends on the cache occupancy, which has to be bounded during timing analysis. The precision of the computed occupancy bounds naturally impacts the precision of the timing analysis. In this work, we compare the precision of stack cache occupancy bounds computed by two different approaches: (1) classical inter-procedural data-flow analysis and (2) a specialized stack cache analysis (SCA). Our evaluation, using MiBench benchmarks, shows that the SCA technique usually provides more precise occupancy bounds.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01246343
Contributor : Florian Brandner Connect in order to contact the contributor
Submitted on : Friday, December 18, 2015 - 1:04:35 PM
Last modification on : Friday, December 3, 2021 - 11:34:11 AM

Identifiers

  • HAL Id : hal-01246343, version 1

Citation

Amine Naji, Florian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses. 9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4. ⟨hal-01246343⟩

Share

Metrics

Les métriques sont temporairement indisponibles