Sistemi Operativi - Corso C

Avvisi:

  • Attenzione!!! Disponibili risultati Febbraio 2005 Risultati Febbraio Gli orali sono previsti per Ve 11/02/05 ore 10.00 aula D1. Gli studenti che non sono disponibili per questa data possono prendere un altro appuntamento con me per posta elettronica.
  • Correzione appello 04/02/2005 Qui
  • Correzione appello 14/01/2005 Qui
  • Risultati compito 13 Settembre Qui Orali Giovedi 16 ore 9.30 aula L1: Kurti, Pirosu e Trovato
  • Correzione appello 13/09/2004 Qui
  • Per chi vuole approfondire le tematiche legate ai sistemi operativi e' disponibile questo sommario curato dal dottorando Claudio Scordino. All'interno potete anche trovare puntatori a ditte e laboratori della zona che fanno ricerca/sviluppo in quest'ambito.
  • Orario: Lunedi 11--13 in aula E, Mercoledi 11--13 in aula E,
  • calendario orali
  • Risultati 08 Luglio 2004 Qui Ricordo agli studenti ammessi che l'orale deve essere prenotato entro il 21 Luglio.
  • Risultati compitini e sommario Qui Chi e' ammesso lla prova orale puo' prenotarsi mandandomi una mail, la prima data utile e' il 31/05/04, poi ogni lunedi' fino a meta' luglio. Chi intende sostenere la prova orale (con i compitini) dopo l'estate, puo' farlo prendendo appuntamento entro il 10 Febbraio 2005.
  • Chi desidera vedere il compito e' pregato di passare nel mio studio durante l'orario di ricevimento oppure di fissare un appuntamento per posta elettronica.
  • Correzione appello 27/05/2004 Qui
  • Il corso di Reti Mobili (Prof. Bonuccelli) puo' essere inserito come esame della laurea triennale, prego gli studenti interessati di contattarmi.
  • Ricevimento: S. Pelagatti. Mercoledi' 11.00--12.30 e 14.00-15.30, Stanza 346/DE, Dip. Informatica, Via F. Buonarroti 2. Tel. 050-2212772.
  • Informazioni su corso ed esame:

  • Scopo del corso:Il corso introduce i principi ed i concetti fondamentali su cui si basano i sistemi operativi e analizza in dettaglio come questi si concretizzano nei sistemi reali. In particolare, vengono analizzate le tecniche che consentono di coordinare e gestire le risorse di un sistema di elaborazione e che permettono di trasformare la macchina fisica in una macchina astratta, dotata di funzionalita' piu' convenienti per l'utente. Il corso lascia ampio spazio alla descrizione e all'esemplificazione di come i vari concetti presentati sono realizzati nei sistemi Unix/Linux e in quelli della famiglia Microsoft Windows.
  • Testo principale: Andrew S. Tanenbaum I MODERNI SISTEMI OPERATIVI, Seconda Edizione, Jackson Libri (Aprile 2002) ISBN: 8825618980. Euro 51,50. (Il volume e' la traduzione in italiano del testo : Andrew S. Tanenbaum. Modern Operating Systems: Second Edition. Prentice Hall 2001 ISBN 0-13-031358-0 (in Inglese) E' indifferente usare la versione inglese o italiana.
  • Testi approfondimento:
    Dave Solomon and Mark Russinovic. Inside Microsoft Windows 2000 3rd Edition MICP ISBN: 0-7356-1021-5
    Uresh Vahalia. Unix Internals: the new frontiers. PrenticeHall 1995 ISBN 0-13-101908-2
    Bovet, Casati. Understanding the Linux Kernel. O'Reilly
  • Modalita'di Esame:
    Prova scritta (sostituibile dai compitini) e prova orale.
  • Il programma del corso e' diviso in due parti : (parte A) Introduzione, Processi, Thread, Risorse e Stallo e (parte B) resto del corso.
  • COMPITINI: Il primo compitino riguarda la parte A del programma, il secondo la parte B. Ogni compitino e' costituito da 10 domande a risposta aperta (esempi di domande/risposte). Il tempo a disposizione e' di due ore. Chi deve recuperare un compitino o vuole migliorarne il voto puo' farlo durante le prove scritte dei normali appelli con le modalita' discusse nel prossimo punto.
  • PROVA SCRITTA: La prova scritta e' suddivisa in due parti: la prima relativa alla parte A del programma e la seconda relativa alla parte B. Ogni parte consta di 5 domande a risposta aperta (esempi di domande/risposte). Il tempo complessivo e' di due ore. Chi deve recuperare un compitino o migliorarne il voto puo' farlo rispondendo solo alle domande della parte relativa al compitino da migliorare (in una sola ora).
  • ATTENZIONE: La consegna ad una prova scritta implica la perdita immediata dei voti ottenuti precedentemente. In particolare: se lo studente ripete l'intera prova scritta perde il voto ottenuto nei compitini o nell'ultimo scritto consegnato. Se invece lo studente intende ripetere uno dei due compitini conserva il voto ottenuto null'altro.
  • PROVA ORALE e VOTO FINALE: Lo studente e' ammesso alla prova orale se ha superato lo scritto o entrambi i compitini. L'ammissione alla prova orale con i compitini e' valida per l'intero anno accademico (fino a febbraio 2004). L'ammissione alla prova orale con lo scritto e' valida solo per l'appello. I compitini si considerano superati se lo studente consegue una votazione di almeno 15/30 nella media dei due. Lo scritto si considera superato se lo studente consegue almeno 15/30. IL voto finale e' dato per il 50% dai voti dei compitini o dello scritto e per il 50% dall'esito della prova orale.
  • Lezioni ed Esercitazioni :

    IMPORTANTE:
    --- Gli argomenti delle lezioni non ancora svolte sono suscettibili di modifica. Controllate sempre la versione piu' aggiornata.
    --- Copie cartacee delle trasparenze sono disponibili presso la copisteria SPEEDY

    Numero

    Descrizione

    Materiale

    Commenti

    Data

    --

    Lezione soppressa: sospensione della didattica


    16/02/04

    1

    Lezione:Introduzione ai Sistemi Operativi Lucidi
    TBaum :: 1.1(cos'e un SO),1.4(richiami HW),1.7 (SO monolitici ed a livelli), 1.2.3 (multiprogrammazione)


    18/02/04

    2

    Lezione:Il modello a processi, System call, interruzioni Lucidi
    TBaum::2.1 (il modello a processi),1.6(chiamate di sistema)


    23/02/04

    3

    Lezione: Il modello a thread, thread user level e kernel level, esempi, modelli ibridi Lucidi
    TBaum::2.2(thread)

    25/02/04

    4

    Lezione: Meccanismi di IPC: disabilitazione delle interruzioni, TSL, semafori. Lucidi(IPC-1)
    TB :: 2.3.1 fino a 2.3.6 compreso




    01/03/04

    ??

    Lezione: monitor, scambio messaggi). Soluzione di tipici problemi di interazione con semafori.

    Lezione soppressa: occupazione

    03/03/04

    5

    Lezione: monitor, scambio messaggi). Soluzione di tipici problemi di interazione con semafori.
    Introduzione allo scheduling
    Lucidi(IPC-2)
    Lucidi(IPC-3)
    Lucidi(IPC-4)
    Lucidi(scheduling)
    TB::2.3.7 (monitor), 2.3.8 (scambio messaggi), 2.4.1 (filosofi a cena), 2.4.2 (lettori scrittori),2.5.1 (introd. scheduling)

    08/03/04

    6

    Lezione: Scheduling
    Processi e scheduling in Unix/Linux
    Lucidi (Scheduling)
    TB::2.5.2 (scheduling sistemi batch), 2.5.3 (fino a code multiple p.133),2.5.5,2.5.6
    Lucidi (Unix)

    10/03/04

    7

    Lezione:Processi e scheduling in Unix e Windows Lucidi (Unix)
    Lucidi (Windows)
    TB cap 10 (Unix) : 10.2.2 (overview) 10.3.1,10.3.2,10.3.3 (processi,thread, scheduling)
    TB cap 11 (Windows) : 11.2.1 (API win32) 11.4.1, 11.4.2 (processi, thread) 11.4.3 (solo il paragrafo 'scheduling')

    15/03/04

    8

    Lezione: Risorse e stallo (1)
    Lucidi (Risorse e stallo 1 e 2)
    TB capitolo 3 : dal 3.1 al 3.6 inclusi

    17/03/04

    9

    Esercitazione: Preparazione primo compitino (1) Testi esame con soluzioni

    22/03/04

    10

    Esercitazione: preparazione al primo compitino (2) Testi esame con soluzioni

    24/03/04

    11

    Lezione: Gestione della memoria: swapping Lucidi (Gestione della memoria: introduzione e swapping)
    TB: Capitolo 4.1(tutto), 4.2(tutto)


    05/04/04

    12

    Lezione:Gestione della memoria: paginazione Lucidi (Gestione della memoria: paginazione)ATTENZIONE!!! questi lucidi sono stati riorganizzati rispetto alla copia precedente.
    TB: 4.3 (tutto), 4.7 (tutto)


    07/04/04

    13

    Lezione: Algoritmi di sostituzione, Gestione della memoria in Unix e windows Lucidi (Gestione della memoria: algoritmi di sostituzione)
    TB: 4.4.1,4.4.4(second chance), 4.4.5(clock), 4.4.6(LRU), 4.4.8(Working Set), 4.4.9 (WS clock), 4.6.1 (locali vs lobali), 4.6.2 (controllo carico), 4.6.3 (dimensione pagina), 4.6.4 (Istruzioni e dati), 4.6.5 (pagine condivise), 4.6.6 (demoni di paginazione)
    Lucidi (Gestione della memoria: casi di studio)
    TB: 10.4 (Unix)

    19/04/04

    14

    Esercitazione: Gestione della memoria

    21/04/04

    15

    Lezione: Dispositivi Lucidi (Dispositivi)
    TB capitolo 5:5.1(richiami hw),5.2 (scopi sw i/o),5.3.1 (interrupt handlers), 5.3.2(device drivers), 5.3.3 (software di i/o indipendente dal dispositivo), 5.3.4 (sw di i/o a livello utente)

    26/04/04

    16

    Lezione: Dispositivi (2) Lucidi (Dispositivi: esempi (1))
    Lucidi (Dispositivi: esempi (2))
    TB cap 5: 5.4.1 (dischi - fino a CDrom escluso),5.4.2 (formattazione), 5.4.3 (algoritmi di schedulazione del braccio), 5.4.4 (trattamento degli errori), 5,4,5 (stable storage)

    28/04/04

    17

    Lezione: File system Unix Lucidi (File System Unix)
    Lucidi (File System 2)
    Lucidi (File System 3)
    TB cap 6: 6.1 (i file), 6.2 (le directory), 6.3 (implementazione del FS) meno il paragrafo 6.3.8; 6.4.5 (Unix V7) TB cap 10: 10.6.1 (concetti di base), 10.6.2 (system call), 10.6.3 (implementazione)


    03/05/04 Solo 12.00--13.00 per sospensione delle didattica

    18

    Lezione: File system: casi di studio Unix e Windows Lucidi (File System 4)
    Lucidi (File System 5)


    05/05/04

    19

    Lezione: File system


    10/05/04

    20

    Esercitazione: Preparazione al secondo compitino

    12/05/04

    21

    Lezione straordinaria: Windows (Cisternino) Lucidi (Zipped)

    13/05/04 16.00--18.00 aula D1