Integrated Worst-Case Response Time Evaluation of Multicore Non-Preemptive Applications
Abstract
Worst-case execution time (WCET) analysis has reached a high level of precision in the analysis of sequential programs executing on single-processor targets. In this paper we extend a state-of-the-art WCET analysis algorithm and tool to allow the computation of \textit{tight} estimates of the worst-case response time (WCRTs) of parallel non-preemptive applications running on multicore platforms. The proposed technique is termed \textit{integrated} in the sense it estimates jointly WCETs and WCRTs. We demonstrate that using such an integrated approach allows to obtain tighter response times than the more classical \textit{decoupled} approaches, that compute WCRTs based on the composition of WCETs estimated on code portions considered in isolation. We show that the proposed approach outperforms a baseline integrated WCRT estimation approach on two embedded control applications, by 21\% in average.
Les techniques d'analyse de pire temps d'exécution (WCET) ont atteint une trés bonne précision dans l'analyse de programmes séquentiels s'exécutant sur architectures monoprocesseurs. Dans cet article, nous étendons une technique récente d'analyse WCET et l'outil associé pour permettre de calculer des estimations précises du temps de réponse (WCRT) d'applications paralléles non-préemptives s'exécutant sur des plates-formes multi-coeurs. La technique proposée est {\em intégrée} dans le sens oú elle calcule en même temps les estimations WCET des fragments de code séquentiel et le WCRT global. L'utilisation de cette methode produit des estimations plus précises que les approches {\em découplées} plus classiques oú le calcul du WCRT est réalisé á partir de valeurs WCET précalculées séparément pour chacun des fragments de code séquentiel. Sur 2 exemples d'applications de contrôle embarqué notre technique d'analyse améliore les estimations WCRT de 21\% en moyenne.
Domains
Embedded Systems
Origin : Files produced by the author(s)
Loading...