Sistemi in tempo reale

Dopo un'introduzione generale ai sistemi operativi in tempo reale, indicando i possibili settori applicativi. Il volume descrive in modo formale il problema della schedulazione di un insieme di processi di calcolo che condividono un singolo processore e si conclude con l'illustrazione di alcuni esempi di schedulazione anomali. Presenta poi alcuni algoritmi di schedulazione classici, utilizzati in sistemi di tipo non real-time, e introduce alcuni algoritmi per sistemi real-time applicabili alla gestione di processi con vincoli temporali di tipo aperiodico. Si tratta poi la schedulazione di processi real-time con vincoli temporali di tipo periodico, e si affronta il problema della schedulazione di un insieme di processi con caratteristiche temporali miste, in cui alcuni processi sono di tipo periodico hard ed altri di tipo aperiodico soft. Vengono poi esaminati gli algoritmi di scheduling in grado di gestire un insieme di processi real-time caratterizzati da vincoli su risorse condivise e la gestione dei sovraccarichi computazionali, ossia quelle situazioni critiche in cui la richiesta di calcolo inoltrata al sistema eccede la disponibilità del processore, e quindi non tutti i processi possono terminare entro i vincoli temporali specificati. Si illustrano poi alcuni meccanismi di scambio di messaggi peculiari per l'elaborazione in tempo reale, le problematiche di progetto di un sistema operativo real-time e le caratteristiche di alcuni sistemi operativi real-time.