Laboratorio di programmazione - Computer Science - Università ...
Laboratorio di programmazione - Computer Science - Università ...
Laboratorio di programmazione - Computer Science - Università ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
• Deadlock: Con<strong>di</strong>zioni per l'innesco <strong>di</strong> un deadlock. Rappresentazione dello stato <strong>di</strong> un sistema con<br />
grafi <strong>di</strong> allocazione. Tecniche <strong>di</strong> deadlock prevention. Deadlock avoidance. Algoritmo del banchiere.<br />
Deadlock detection e recovery.<br />
• Gestione della Memoria: Memoria primaria. In<strong>di</strong>rizzamento logico e fisico. Rilocazione, address<br />
bin<strong>di</strong>ng. Swapping. Allocazione contigua della memoria. Frammentazione interna ed esterna.<br />
Paginazione. Supporti hardware alla paginazione: registri specializzati e TLB. Tabella delle pagine.<br />
Paginazione a piu` livelli. Segmentazione. Tabella dei segmenti. Segmentazione con paginazione.<br />
• Memoria Virtuale: Paginazione su richiesta. Gestione <strong>di</strong> page−fault. Algoritmi <strong>di</strong> sostituzione delle<br />
pagine: FIFO, ottimale, LRU, approssimazioni LRU. Buffering <strong>di</strong> pagine. Allocazione <strong>di</strong> frames in<br />
memoria fisica, allocazione locale o globale. Thrashing. Località dei riferimenti. Working set model.<br />
Controllo della frequenza <strong>di</strong> page−fault. Blocco <strong>di</strong> pagine in memoria.<br />
• Memoria secondaria Struttura logica e fisica dei <strong>di</strong>schi. Tempo <strong>di</strong> latenza. Scheduling del <strong>di</strong>sco:<br />
algoritmi FCFS, SSTF, SCAN, C−SCAN, LOOK, C−LOOK. Gestione della memoria <strong>di</strong> paginazione.<br />
• Sistema <strong>di</strong> I/O: Sistemi <strong>di</strong> Input/Output Hardware per I/O. Tecniche <strong>di</strong> I/O: programmato, con<br />
interrupt, con DMA. Device driver ed interfaccia verso le applicazioni. Servizi <strong>di</strong> kernel per I/O:<br />
scheduling, buffering, caching, spooling.<br />
• File System: Concetto <strong>di</strong> file, attributi ed operazioni relative. Tipi <strong>di</strong> file. Accesso sequenziale e<br />
<strong>di</strong>retto. Concetto <strong>di</strong> <strong>di</strong>rectory. Struttura <strong>di</strong> <strong>di</strong>rectory. Protezioni nell'accesso a file. Attributi e modalità<br />
<strong>di</strong> accesso. Semantica della consistenza. Realizzazione Struttura <strong>di</strong> un file−system. Montaggio <strong>di</strong><br />
file−systems. Meto<strong>di</strong> <strong>di</strong> allocazione dello spazio su <strong>di</strong>sco: contigua, concatenata, in<strong>di</strong>cizzata. Gestione<br />
dello spazio libero su <strong>di</strong>sco: tramite vettore <strong>di</strong> bit, tramite liste. Realizzazione delle <strong>di</strong>rectory: liste<br />
lineari, tabelle hash.<br />
• Casi <strong>di</strong> stu<strong>di</strong>o: Il sistema UNIX e Windows NT:: struttura del kernel, strutture dati, implementazione<br />
delle funzionalità principali.<br />
La verifica del profitto avviene me<strong>di</strong>ante una prova scritta che consiste <strong>di</strong> domande teoriche ed esercizi sugli<br />
argomenti del programma del corso e del relativo laboratorio. La votazione riportata nella prova è quella<br />
definitiva. Il superamento della prova porta all'acquisizione <strong>di</strong> 10 cre<strong>di</strong>ti.<br />
Testi <strong>di</strong> riferimento<br />
Autore Titolo Casa e<strong>di</strong>trice Anno ISBN<br />
Silberschatz, Galvin Sistemi Operativi Ad<strong>di</strong>son Wesley 1998 0−471−4174<br />
W. Stallings<br />
Operating Systems − Internal and Design<br />
Principles<br />
Realizzazione a cura <strong>di</strong> Alberto Belussi, Carlo Combi, Roberto Posenato.<br />
Prentice Hall 1998 0138874077