Alignment of Memory Transfers of a Time-Predictable Stack Cache

Sahar Abbaspourseyedi, Florian Brandner

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

126 Downloads (Pure)

Abstract

Modern computer architectures use features which often complicate the WCET analysis of real-time software. Alternative time-predictable designs, and in particular caches, thus are gaining more and more interest. A recently proposed stack cache, for instance, avoids the need for the analysis of complex cache states. Instead, only the occupancy level of the cache has to be determined.

The memory transfers generated by the standard stack cache are not generally aligned. These unaligned accesses risk to introduce complexity to the otherwise simple WCET analysis. In this work, we investigate three different approaches to handle the alignment problem in the stack cache: (1) unaligned transfers, (2) alignment through compiler-generated padding, (3) a novel hardware extension ensuring the alignment of all transfers. Simulation results show that our hardware extension offers a good compromise between average-case performance and analysis complexity.
Original languageEnglish
Title of host publicationProceedings of the 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)
Publication date2014
Pages17-20
Publication statusPublished - 2014
Event8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014) - Versailles, France
Duration: 8 Oct 2014 → …
Conference number: 8
http://www.cister.isep.ipp.pt/jrwrtc2014/

Workshop

Workshop8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)
Number8
CountryFrance
CityVersailles
Period08/10/2014 → …
OtherIn conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2014)
Internet address

Keywords

  • Block-Aligned Stack Cache
  • Alignment
  • Real-Time Systems

Fingerprint Dive into the research topics of 'Alignment of Memory Transfers of a Time-Predictable Stack Cache'. Together they form a unique fingerprint.

Cite this