Advancing Multicore Timing Analysis: Modeling Contention and Deriving WCET Bounds in Cyclic Executive Systems
Aquesta tesi aborda el repte de determinar el temps d'execució en el pitjor cas (WCET) en sistemes multinucli en temps real, essencial per a aplicacions crítiques de seguretat. Proposa dues metodologies noves per a l'anàlisi de WCET: una formulació de programació lineal entera (ILP) que mo...
| Autor: | |
|---|---|
| Formato: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2025 |
| País: | España |
| Recursos: | CBUC, CESCA |
| Repositorio: | TDR. Tesis Doctorales en Red |
| OAI Identifier: | oai:www.tdx.cat:10803/695850 |
| Acesso em linha: | http://hdl.handle.net/10803/695850 |
| Access Level: | acceso abierto |
| Palavra-chave: | Contenció Multicore Pitjor cas temps d'execució Interferència Contención Multicore Peor caso tiempo ejecución Interferencia Multicore Contention Worst Case Exec. Time Interference Enginyeria i arquitectura 004 621.3 |
| Resumo: | Aquesta tesi aborda el repte de determinar el temps d'execució en el pitjor cas (WCET) en sistemes multinucli en temps real, essencial per a aplicacions crítiques de seguretat. Proposa dues metodologies noves per a l'anàlisi de WCET: una formulació de programació lineal entera (ILP) que modela escenaris de contenció per garantir resultats a nivell de sistema, i un enfocament iteratiu que ofereix límits pràctics i menys conservadors a nivell de tasca. Ambdós mètodes són adaptables a diverses plataformes multinucli. Per validar-los, es desenvolupen microbenchmarks a nivell d'assemblador per estressar components de hardware, assegurant la generació precisa d'esdeveniments com fallades de memòria cau. Els esdeveniments de rendiment es deriven amb comptadors (PMCs) i unitats (PMUs) de monitoratge. Per a plataformes sense PMUs, s'introdueixen un enfocament matemàtic i una solució de programari que aprofita funcions de depuració. Aquestes tècniques milloren la predictibilitat i seguretat dels sistemes multinucli en temps real. |
|---|