Sistemi Operativi Open-source, Embedded E Real-time 2016/2017

 OBBIETTIVI Il corso intende fornire allo studente un quadro aggiornato dell'attuale tecnologia dei sistemi operativi open-source, embedded e real-time.  PROGRAMMA * Sistemi operativi open-source e Linux: Nascita ed evoluzione dei sistemi operativi.  Il software libero. Nascita ed evoluzione di Linux. Scrittura di moduli di Linux.  Parametri e simboli dei moduli. Kernel debugging: printk; il filesystem /proc, seqfile.  Wait queue. Gestione del tempo.  Funzioni procastinabili.  Work queue. Concorrenza e sincronizzazione.  Allocazione della memoria.  Device driver a carattere * Sistemi embedded:  Introduzione ai sistemi embedded.  Tecnologie per sistemi embedded.  L'architettura ARM.  Sistema bare-metal basato su ARM (introduzione, cross-compiler; makefile; linker script; programmazione dei led;  inizializzazione dei segmenti di memoria e stack;  astrazione dei registri hardware;  inizializzazione vettore eccezioni  output su porta seriale;  interruzioni hardware; tick periodico; scheduler RT con job non interrompibili; il gestore a basso livello delle interruzioni; scheduler RT con job interrompibili; misurazione sperimentale di WCET e latenze; scheduler EDF; scheduler con CBS) * Sistemi real-time: Introduzione ai sistemi real-time.  Modello di riferimento per i sistemi real-time.  Schedulazione clock-driven. Algoritmi priority-driven.  Ottimalita' di algoritmi priority-driven. Test di schedulabilita' per RM e DM.  Schedulazione di job bloccanti. Algoritmi a conservazione di banda per schedulare job aperiodici. Controllo d'accesso alle risorse condivise.  Real-time su multiprocessore.  Sistemi operativi real-time.  Linux in ambito real-time