Sistemi Operativi. Prof. Alberto Broggi. Dip. di Ingegneria dell Informazione Università di Parma

Transcript

1 Sistemi Operativi Prof. Alberto Broggi Dip. di Ingegneria dell Informazione Università di Parma

2 Crediti Il corso offre 6 crediti (48 ore) Lezioni (circa 36 ore) Esercitazioni (circa 10 ore) Prova in itinere (2 ore)

3 Orario lezioni Lezioni: Martedì ore 8:30-10:30 (aula G) Giovedì ore 10:30-12:30 (aula L + Lab)

4 Diapositive Le diapositive presentate a lezione sono disponibili in Internet sul sito del corso: Il sito del corso contiene tutte le informazioni necessarie agli studenti e DEVE essere consultato periodicamente

5 Organizzazione del corso Prima Parte: Teoria, descrizione dei sistemi operativi e delle loro funzionalità Seconda Parte: Laboratorio, programmazione UNIX

6 Programma di massima Teoria - compiti di un Sistema Operativo - multiprogrammazione e processi concorrenti - modello a scambio di messaggi - modello ad ambiente globale - scheduling della CPU UNIX - interazione con l utente: file system, shell e comandi - primitive per gestione I/O e processi - sincronizzazione comunicazione attraverso: segnali, pipe e fifo, socket

7 Prospetto delle lezioni Sul sito web del corso è possibile consultare il calendario completo delle lezioni che viene aggiornato con puntualità

8 DATA ORA AULA DOCENTE ARGOMENTI 03/03/ G AB Introduzione; SO gestore di risorse - Principali servizi [T1] 05/03/ L AB Introduzione; Evol. SO: Batch, multiprogrammazione, time-sharing, spooling [T2] 10/03/ G AB UNIX - Introd, File system, comandi; Processi, Comandi/Shell,... [U1] 12/03/ Lab XX UNIX - Laboratorio - Esercitazione su UNIX FS e comandi [U1LAB] 17/03/ G AB Interruzioni e gestione, I/O, modi operativi, Sistemi stratificati [T3] 19/03/15 SOSPENSIONE PER LAUREE 24/03/ G AB Interruzioni in multiprogrammazione, Il concetto di processo, Stati [T4] 26/03/ L AB Gestione del SO, System Call, Strati [T5] 31/03/ G AB Interazione tra processi: Sezioni critiche, semafori, wait/signal [T6] 02/04/15 PASQUA 07/04/15 PASQUA 09/04/ L AB UNIX - Shell - Amb. sviluppo - Argc/argv e Var. ambiente [U2] 14/04/ LEZ SOSPESA? 16/04/ Lab XX UNIX - Laboratorio - Interazione con il sistema: shell e comandi [U2LAB] 21/04/ G AB Deadlock, Scambio messaggi: direct naming, mailbox, porte, send/receive, RPC [T7] 23/04/ L AB Scheduling della CPU - Algoritmi di schedulazione, Scheduling di UNIX [T8] 28/04/ G AB UNIX - Primitive per la gestione di I/O e file (open, create close, read, write, lseek) [U3] 30/04/ Lab XX UNIX - Laboratorio - Esercizi su primitive I/O [U3LAB] 05/05/ G AB UNIX - primitive processi - I/O, Primitive per la gestione dei processi [U4] 07/05/ Lab XX UNIX - Laboratorio - Primitive per la gestione dei processi (fork, wait, exec) [U4LAB] 08/05/15 COMPITO 12/05/ G AB UNIX - gestione segnali - Gestione (in)affidabile dei segnali [U5] 14/05/ Lab XX UNIX - Laboratorio - Esercizi su gestione segnali (include IPC attraverso pipe) [U5LAB] 19/05/ G?? UNIX - Pipe e fifo [U6] 21/05/ L?? UNIX - Pipe e fifo [U6] (sospeso?) 26/05/ G AB Socket [U7] 28/05/ Lab XX Laboratorio - Esercizi su Socket [U6LAB] 02/06/15 VACANZA 04/06/ Lab XX Esercizi d'esame

9 Modalità di esame Due prove una sulla parte di teoria una al calcolatore Il voto finale è calcolato come media delle due prove (entrambe devono essere sufficienti)

10 L esame Entrambe le prove vanno sostenute nello stesso appello, lo stesso giorno: Teoria: al mattino Calcolatore: al pomeriggio Unica eccezione: la prima prova di teoria si puo` sostenere sia durante il corso (prova intermedia) che al primo appello

11 Regole per sostenere gli esami Se non si è soddisfatti dell'esito di una appello è possibile non verbalizzare il risultato e sostenere le prove nuovamente nelle successive sessioni d'esame Un voto non verbalizzato e` quindi cancellato

12 Prova in itinere: Appelli d esame 8/5/15, ore (da confermare) Appelli: Da confermare

13 Ricevimento studenti Dopo le lezioni Previo appuntamento per o telefonico, Dip. di Ingegneria dell Informazione Palazzina 1, primo piano No domande via !

14 Contatti Prof. Alberto Broggi telefono studio:

15 Testi consigliati Silbershatz, Galvin, Gagne, "Sistemi Operativi Concetti ed esempi" Pearson-Addison Wesley, (Settima o Ottava Edizione), limitatamente a : cap. 1,2,3 tutto / cap. 4 solo 4.1 / cap. 5 tutto tranne 5.4 e 5.5 cap , 6.2, , / cap. 7 / cap e 8.2 / cap 14 leggere tutto

16 Testi consigliati P. Ancillotti, M. Boari, A. Ciampolini, G. Lipari, Sistemi Operativi, McGraw-Hill, Seconda edizione, 2007 Il testo non è considerato indispensabile ma può essere utile ad approfondire e a collegare i concetti introdotti nella parte di teoria.

17 Possibili alternative A.S. Tanenbaum, "I Moderni Sistemi Operativi," Jackson Libri, Per la programmazione di sistema in UNIX: K. Wall, M. Watson, M. Whitis, Programmare in Linux Tutto & Oltre, Apogeo, 2000 Possibile alternativa: W.R. Stevens, "Advanced Programming in the UNIX Environment," Addison-Wesley, 1993.

18 Risorse utili su internet GAPIL (Guida alla Programmazione in Linux) di Simone Piccardi (N.B. utilizzabile anche durante la prova di esame) Unix Programming FAQ (le domande più frequenti riguardo alla programmazione UNIX) Unix SOCKET FAQ domande più frequenti riguardo alla programmazione delle socket UNIX