Programma preliminare di Sistemi Operativi, AA 04-05

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)