Worst-case execution time: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile |
m Bot: numeri di pagina nei template citazione |
||
| (3 versioni intermedie di un altro utente non mostrate) | |||
Riga 10:
Altri sigle comunemente utilizzate nella letteratura scientifica per identificare tempi di esecuzioni particolari sono<ref name="wcet-overview">
{{cita pubblicazione|autore=Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat, Per Stenstrom|titolo=The Worst-Case Execution Time Problem — Overview of Methods and Survey of Tools|rivista=Transactions on Embedded Computing Systems
|editore=ACM|volume=7|numero=3|anno=2008|mese=maggio|
</ref><ref>{{cita pubblicazione|titolo=ACET Based Scheduling of Soft Real-Time Systems: An Approach to Optimise Resource Budgeting|rivista=International Journal of Computers and Communications|anno=2007|autore=X. Guo, M. Boubekeur, J. McEnery, and D. Hickey|volume=1|numero=3}}</ref>:
* BCET - Best-Case Execution Time: il tempo di esecuzione nel caso migliore
Riga 16:
== Modalità di stima ==
È possibile classificare le modalità di stima del WCET in quattro categorie<ref>{{cita pubblicazione|titolo=On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques|autore=J. Abella, D. Hardy, I. Puaut, E. Quiñones, F. J. Cazorla|anno=2014|doi=10.1109/ECRTS.2014.16|editore=IEEE|rivista=26th Euromicro Conference on Real-Time Systems}}</ref><ref>{{cita libro|titolo=Rugged Embedded Systems: Computing in Harsh Environments|autore=Augusto Vega, Pradip Bose, Alper Buyuktosunoglu|anno=2016|editore=Morgan Kaufmann|ISBN=9780128026328}} </ref>:
* SDTA: Deterministico, statico
* MBDTA: Deterministico, basato su misure
Riga 24:
=== SDTA ===
L'analisi temporale statica deterministica (Static Deterministic Timing Analysis, SPTA) si basa sulla dettagliata conoscenza di software e hardware, in particolare delle loro caratteristiche temporali. Il [[control-flow graph]] del programma di cui si vuole calcolare il WCET viene analizzato al fine di trovare il ''path'' peggiore i termini di tempo.
La [[complessità computazionale]] degli algoritmi utilizzati per questa analisi è il maggiore limite nell'uso di approcci statici su architetture di processori complesse. Per ovviare al problema, si introducono nell'analisi alcune semplificazioni hardware. Per esempio, se è presenta una memoria [[cache]], si assume sempre ''miss''. Queste semplificazioni riducono il tempo necessario all'analisi ma peggiora la stima del WCET che diventa in questo modo pessimistica.
=== MBDTA ===
La tecnica '''Measurement-Based Deterministic Timing Analysis (MBDTA)''' consiste nel misurare direttamente il tempo di esecuzione del sistema stesso e utilizzare il massimo osservato come WCET. Questo approccio non richiede complesse analisi dell'hardware e software, perché il tempo odi esecuzione viene misurato direttamente.
Tuttavia, per fare in modo che questa tecnica sia sicura e che non sottostimi il WCET, è necessario assicurarsi di aver visitato tutti gli stati dell'hardware e aver visitato tutti i path (o quantomeno i peggiori) del [[control-flow graph]]. Ottenere questa certezza è il maggior problema della tecnica MBDTA e le tecniche attuali richiedono un effort parti alle analisi di SDTA.
=== SPTA ===
{{...|informatica}}
| |||