1 Search Results for "Paun, Vladimir-Alexandru"

Document

DOI: 10.4230/OASIcs.FSFMA.2013.32

On the Determinism of Multi-core Processors

Authors: Vladimir-Alexandru Paun, Bruno Monsuez, and Philippe Baufreton

Published in: OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)

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.

Cite as

Vladimir-Alexandru Paun, Bruno Monsuez, and Philippe Baufreton. On the Determinism of Multi-core Processors. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, pp. 32-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{paun_et_al:OASIcs.FSFMA.2013.32,
  author =	{Paun, Vladimir-Alexandru and Monsuez, Bruno and Baufreton, Philippe},
  title =	{{On the Determinism of Multi-core Processors}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{32--46},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Choppy, Christine and Sun, Jun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.32},
  URN =		{urn:nbn:de:0030-drops-40869},
  doi =		{10.4230/OASIcs.FSFMA.2013.32},
  annote =	{Keywords: multi-core, determinism, hard-real time systems}
}

Refine by Author
1 Baufreton, Philippe
1 Monsuez, Bruno
1 Paun, Vladimir-Alexandru

Refine by Classification

Refine by Keyword
1 determinism
1 hard-real time systems
1 multi-core

Refine by Type
1 document

Refine by Publication Year
1 2013

1 Search Results for "Paun, Vladimir-Alexandru"

On the Determinism of Multi-core Processors

Abstract

Cite as

Thanks for your feedback!

Could not send message