Sistemi real-time

Giorgio Buttazzo      Tel. (+39) 050 882.012

Il corso introduce i meccanismi di kernel e le tecniche per aumentare la predicibilità dei sistemi controllati da computer.

1. Concetti di base sull’elaborazione real-time. Domini dell’applicazione. Tipici requisiti di sistema. Limiti degli approcci tradizionali. Modelli dei task. Tipiche specifiche di tempo. Scheduling dei task. Metriche per la valutazione di prestazioni. 2. Algoritmi di scheduling Real-Time Tassonomia degli algoritmi. Scheduling con specifiche di precedenza. Scheduling di task periodici. Analisi basat sull’utilizzazione. Analisi basata sul tempo di risposta. Gestione di task non periodici. Server a priorità fissata. Server a priorità dinamica. 3. Protocolli per l’accesso a risorse distribuite Il fenomeno di inversione di priorità. Protocolli non-preemptive Protocolli ad eredità della priorità. Politica di gestione dello stack di risorse. Tempi di blocco dell’elaborazione. Analisi della schedulability. 4. gestione del sovraccarico Definizione di carico computazionale. Metodi per la gestione del sovraccarico. Controllo d’accesso. SCheduling robusto. Elaborazione non perfetta. Salto del job. Scheduling elastico. Gestione degli overrun. Meccanismo di prenotazione delle risorse. Tecniche di richiamo delle risorse. 5. aspetti implementativi Meccanismi di kernel per il supporto real-time Strutture dati richieste. Rappresentazione temporale Problemi di overhead. Primitive fondamentali del kernel. Stati del processo e transizione di stati. Sincronicità e asincronicità.