printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

Publication Details for Article "A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets"

 

 Back

 New Search

 

Authors: Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu, Nikolay Stoimenov
Group: Computer Engineering
Type: Article
Title: A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets
Year: 2014
Month: November
Journal: Real-Time Systems
Volume: 50
Number: 5
Pages: 736-773
Keywords: MPA, MOC, ESD
Abstract: Multicore technology has the potential for drastically increasing productivity of embedded real-time computing. However, joint use of hardware, e.g., caches, memory banks and on-chip buses makes the integration of multiple real-time applications into a single system difficult: resource accesses are exclusive and need to be sequenced. Moreover, resource access schemes of modern off-the-shelf multicore chips are commonly optimized for the average-case, rather than being timing predictable. Real-time analysis for such architectures is complex, as execution times depend on the deployed hardware, as well as on the software executing on other cores. This will ask for significant abstractions in the timing analysis, where the resulting pessimism will lead to over-provisioned system designs and a lowered productivity as the number of applications to be put together into a single architecture needs to be decreased. In response to this, (a) we present a formal approach for bounding the worst-case response time of concurrently executing real-time tasks under resource contention and almost arbitrarily complex resource arbitration policies, with a focus on main memory as shared resource, (b) we present a simulation framework which allows for detailed modeling and empirical evaluation of modern multicore platforms and applications running on top of them, and (c) we present experiments to demonstrate the advantages and disadvantages of the presented methodologies and compare their accuracy. For limiting non-determinism inherent to the occurrence of cache misses, we particularly take advantage from the PRedictable Execution Model (PREM) as discussed in recent works.
Resources: [BibTeX] [ External LINK ] [Paper as PDF]

 

 Back

 New Search

top
© 2019 Laboratory TIK, ETH Zurich | Imprint | Last updated on Wed, 16 May, 2018 17:35 | t=0.0039s | Valid HTML 4.01