Programma consuntivo di Sistemi Operativi, AA 04-05 Tutti (Triennale+Quinquennale) Argomenti aggiuntivi (solo Quinquennale) ---------------------------------------------week 1--------------------------------------------------------Mer.22/9/04(2h) Scopo del corso, esame, testi, esercizi durante l’anno. Generalità, servizi, modi di utilizzo(batch-interattivo), classificazione di utilizzo, punti di vista, il SO come rete di code, risorse, cenni sulle risorse hardware Gio.23/9/04(2h) Organizzazione, cenni storici, principi, PCB, risorse, protezione risorse, time sharing Ven.24/9/04(2h) I sistemi operativi sono utilizzati secondo il loro scopo (es. RTAI). - schedulazione. Unix/processi=ambiente. Var. ambiente. Ripreso i sistemi monolitici. Nucleo Unix. System call, IPC. Prod/cons. Generazione processi ad albero. PID. Processi parenti.Risorse. --------------------------------------------week 2--------------------------------------------------------Lun.27/9/04(2h) Richiamo sulle variabili aleatorieDensità, fz distrib. Va. Multiple, momenti Statistici di fz di due va., arrivi dei processi, exp, poisson, prop.markoviana Mer.29/9/04(2h) Next: protezione risorse. processi/thread. Stati. PCB. Spool. funzioni della shell. File system. struttura file, Inode, Fat, path, directory, esplorazione di directories, protezione di file, UFDT, file table Gio.30/09/04(1h)- Comandi fond. Di unix. tutti Intro all’uso di Unix con la macchina virtuale Gio.30/9/04(1h)tutti Ven.1/10/04(2h) Sospeso ---------------------------------------------week 3-------------------------------------------------------lun.04/9/04(2h) sospeso Mer.6/10/04(2h) Sospeso Gio.7/10/04(1h) Distribuzioni di Linux. Mondo Unix commerciale e non Ripreso il discorso sulla teoria delle code. Gio.7/10/04(1h) Fino al teorema di Little. Necessità della simulazione discreta Iniziato a illustrare la presentazione di Unix (slide unixingstud) Ven.8/10/04(2h) Fino a cd -------------------------------------------week 4--------------------------------------------------------Sistemi a coda d’attesa Lun.11/10/04(2h) Coda M/M/1 stima dei parametri statistici Numero medio di processi nel sistema e in coda, tempo d’attesa Comandi Unix in aula con macchina virtuale. Mer.13/10/04(2h) Esaminato il link hard e simb. Filtri. Gio.14/10/04(1h) Espressioni regolari. Derivazione grammaticale. Generazione di V.A. con il metodo Gio.14/10/04(1h) lineare cong., generazione normale Ripreso velocemente le ER. Ven.15/10/04(2h) Programmazione in Korn Shell Fino alla slide 17 --------------------------------------------week 5--------------------------------------------------------Sistemi a coda d’attesa. Lun.18/10/04(2h) Riassunto dei risultati M/M1 Coda ciclica: alcuni risultati. Iniziato il modello a fluidi. Korn Shell con qualche esempio Mer.20/10/04(2h) Fino alla slide 21 Gio.21/10/04(1h) Continuato Korn Shell Finito code d’attesa Gio.21/10/04(1h) Con applicazioni Ven.22/10/04(2h) Prima esercitazione su UTS --------------------------------------------week 6--------------------------------------------------------- Fine code d’attesa:. Lun.25/10/04(2h) Fine generazione v.a. Qualche esempio di dimensionamento di S.O.: caso processi replicati – coda mm1 semplice Trovare il tempo di cpu, Digressione sul tempo di cpu: clock + algoritmi. Coda ciclica: trovare il numero di Processi nel sistema. Altri esempi risolti sul sito ~mumolo Mer.27/10/04(2h) Korn+AWK Fine AWK. Gio.28/10/04(1h) Iniziato Unix internals Inizio programmazione a oggetti Gio.28/10/04(1h) in C++ Ven.29/10/04(2h) Prima Provetta (per tutti) --------------------------------------------week 7--------------------------------------------------------Lun.1/11/04/(2h) Sospesa(Ognissanti) Mer.3/11/04(2h) Sospesa(S.Giusto) Gio.4/11/04(2h) Prima provetta (solo per Q) Code d’attesa Ven.5/11/04(2h) Unix internals: Buffer cache Bread, getblk, brelse, bwrite --------------------------------------------week 8--------------------------------------------------------Programmazione ad oggetti Lun.8/11/04(2h) In C++. Estensione del C. fino Alla def. di classe e oggetto. Mer.10/11/04(2h) Unix internals: gestione dei file, iget, iput Gio.11/11/04(1h) Unix internals: ialloc, ifree, free alloc Programmazione Gio.11/11/04(1h) Ad oggetti in C++ Terminata la descrizione della gestione Ven.12/11/04(2h) del file system a livello Kernel e iniziato a parlare della programmazione in PERL --------------------------------------------week 9--------------------------------------------------------Programmazione ad oggetti: Lun.15/11/04(2h) definizione dei metodi – esempio Lista e albero – fino a overloading Operatori (da fare) Mer.17/11/04(2h) PERL Fine programm. In Gio.18/11/04(2h) PERL Ven.19/11/04(2h) Seconda esercitazione su UTS --------------------------------------------week 10------------------------------------------------------Lun.22/11/04(2h) Fine programmazione in C++ Mer.24/11/04(2h) Inizio programmazione concorrente Gio.25/11/04(1h) Programmazione concorrente: mutua esclusone Gio.25/11/04(1h) Inizio Java Ven.26/11/04(2h) Seconda provetta: Unix internals e Perl --------------------------------------------week 11------------------------------------------------------Fine Java e Lun.29/11/04(2h) Simulazione discreta Mutua esclusione e Concorrenza in Java. Mer.1/12/04(2h) Soluzioni SW alla mutua esclusione. Attesa attiva Scrittura in Java dell’algoritmo di Peterson Gio.2/12/04(2h) Problemi tipici della concorrenza: TSL, sleep/wakeup, semafori, produttore/cons, lettori/scrittori -tutti Ven.3/12/04(2h) Semafori in java tutti Deadlock --------------------------------------------week 12------------------------------------------------------Fine simulazione: schema di simulazione Lun.6/12/04(2h) Di una coda M/M/1 in java. Stima puntuale E stima intervallare. Determinatezza Mer.08/12/04(2h) Sospesa(immacolata.Concez.) Gio.09/12/04(2h) Schedulazione Ven.10/12/04(2h) Gestione Memoria contigua --------------------------------------------week 13------------------------------------------------------Gestione della Lun.13/12/04(2h) memoria di massa Mer.15/12/04(2h) Gestione memoria paginata Gio.16/12/04(2h) Seconda provetta (solo Q) (C++ e java, determinatezza e disco) Ven.17/12/04(2h) Terza provetta (per tutti) (program concorrente, deadlock, Schedulazione, gestione memoria)