License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.FSFMA.2013.32
URN: urn:nbn:de:0030-drops-40869
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4086/
Paun, Vladimir-Alexandru ;
Monsuez, Bruno ;
Baufreton, Philippe
On the Determinism of Multi-core Processors
Abstract
Hard real time systems are evolving in order to respond to the increasing demand in complex functionalities while taking advantage of newer hardware. Software development for safety critical systems has to comply with strict requirements that will facilitate the certification process. During this process, each part of the system is evaluated, requiring a certain level of assurance in order to provide confidence in the product. In particular there must be a level of confidence that the system behaves deterministically that may be based on functionality, resources and time. The success of system verification depends greatly on the capacity to determine its exact behavior. Nonetheless, hardware evolved in order to maximize the average computation power throughput with little to no regard to the deterministic aspect. Therefore modern architectural features of processors, like pipelines, cache memories and co-processors, make it hard to verify that all the needed properties are respected. The multi-core is furthermore difficult to analyze as the architecture employs mechanisms that compromise strong spatial and temporal partitioning when using shared resources without rigorous access control like shared caches or shared input/outputs. In this paper we identify and analyze the main sources of nondeterminism of the multi-cores with regard to the timing estimation. Precise determination of the worst case execution time is a challenging task even in single-core architectures. The problems are accentuated in the multi-core context mainly due to the resource sharing that can lead to highly complex interactions or to nondeterminism. Most of the units that generate behaviors that are hard to take into account can be deactivated, but it is not always easy to predict the impact on the performance. Nevertheless some of the features cannot be disabled (such as the out of order execution or some nondeterministic crossbar access policies) which leads to the invalidation of the respective platform for applications with high criticality level. We will address the problematic units, propose configuration or architecture guidelines and estimate their impact on the performance and determinism of the system.
BibTeX - Entry
@InProceedings{paun_et_al:OASIcs:2013:4086,
author = {Vladimir-Alexandru Paun and Bruno Monsuez and Philippe Baufreton},
title = {{On the Determinism of Multi-core Processors}},
booktitle = {1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
pages = {32--46},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-56-9},
ISSN = {2190-6807},
year = {2013},
volume = {31},
editor = {Christine Choppy and Jun Sun},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2013/4086},
URN = {urn:nbn:de:0030-drops-40869},
doi = {10.4230/OASIcs.FSFMA.2013.32},
annote = {Keywords: multi-core, determinism, hard-real time systems}
}
|
Keywords: |
|
multi-core, determinism, hard-real time systems |
|
Collection: |
|
1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) |
|
Issue Date: |
|
2013 |
|
Date of publication: |
|
14.07.2013 |
