Corso di Sistemi Operativi I
a.a. 2005/06
Docente
Giorgio Delzanno
Ufficio 104 (I piano) D.I.S.I.
Tel. 010-3536638
e-mail: giorgio<at>disi.unige.it (sostituisci <at> con @)
Web page:
Scopo del corso
Introduzione ai sistemi operativi
Indice
News
(SO1 aa. 05/06)
- Appello Settembre 2006 (registrazione Lunedi 2 ottobre 9:30-11)
- Appello 14 Luglio 2006:
- Appello 16 Giugno 2006:
- Appello 14 Febbraio 2006:
Per
la registrazione passare Martedi 30 e Mercoledi 1 mattina dalle 10 in poi,
ufficio 104.
- Testi e risultati appello 18 gennaio 2006:
Per
la registrazione passare Martedi 30 e Mercoledi 1 mattina dalle 10 in poi,
ufficio 104.
- Prima sessione d'esame 05/06:
- I appello: 18 gennaio ore 9:30
- II appello: 14 febbraio ore 9:30
- Per informazioni su argomenti e modalita d'esame vai alla
sezione Modalità e sessioni d'esame
Orario e
ricevimento
(SO1 aa.
05/06)
Orario lezioni
- Lunedi 11-13 (aula 505)
- Mercoledì 11-13 (aula 505)
- Venerdi 9-11 (aula 505)
Ricevimento:
- Giovedi 11-13 (ufficio 104)
Torna menu
principale
Programma (SO1 aa. 05/06)
Il programma prevede i seguenti argomenti (vedi
programma dettagliato per il materuiale on-line)
- Introduzione (cenni storici + terminologia)
- Struttura dei Sistemi di Calcolo (trap, interrupt)
- Struttura dei Sistemi Operativi
- Il sistema operativo UNIX (intro + uso dal punto di vista
dell'utente)
- Processi e
Thread
- Scheduling
della CPU
- Cooperazione tra Processi (race conditions, semafori,
monitor, algoritmi classici)
- Gestione della Memoria
- Memoria Virtuale
- Modello della memoria in Unix e Windows
- Il File System
- Implementazione del File System
- File System
in Unix e DOS
- Il sistema operativo dal punto di vista
dell'amministratore (configurazione ecc)
Testi e
note di riferimento
(SO1 aa.
05/06)
- Appunti
in linea
- Trasparenze
viste a lezione
- [SGG]
Sistemi Operativi: Concetti ed Esempi - 6a ed. -
Slberschatz-Galvin-Gagne
Addison-Wesley
- Cap: 1, 2, 4 (Sez.
1-5), 5, 6, 7, 9, 10, 11, 12, 20, 21, 22
- [Tan]
I Moderni Sistemi Operativi
Andrew S. Tannenbaum
Jackson-Libri Universita'
- Cap: 1, 2, 3, 4, 6,
10, 11, 13
- [Bach]
Unix: Architettura di un sistema
Maurice J. Bach
Jackson
- Cap:1, 2, 4, 6, 8 (Sez. 1), 9 (sez.
1-2)<>
Torna menu
principale
Calendario delle lezioni e programma lezione x
lezione (SO1 aa. 05/06)
- Lunedi 3/10 14:16, Venerdi 7/10, Lunedi 10/10 11-13
Presentazione corso, introduzione ai sistemi operativi
(definizione, cenni storici, struttura di calcolo)
- Mercoledi 5/10: test su programmazione
- Mercoledi 12/10 11-13:
Introduzione a Unix
- Venerdi 14/10 9-11, Lunedi 17/10 11-13
Processi
- Lucidi
visti a lezione
- Appunti
- Rif: Cap. 2, Sez. 1 di [Tan] e Cap. 4 , Sez.
1-5 di [SGG], Cap. 6 (Sez. 1-4) di [Bach]
- Lunedi 17/10 11-13
Threads
- Mercoledi 19 11-13 e Venerdi 21 /10 9-11 e Lunedi 24/10
11-13
Cooperazione
- Mercoledi 26/10 11-13
Semafori e monitor
- Venerdi 28/10 9-11:
- Lunedi 31/10 11-13
Riepilogo monitor
- Scambio di messaggi e problemi di concorrenza classici
- Mercoledi 2/11 11-13 e Venerdi 4/10 9-11
- Giovedi 3/11 14-16:Esercizi
- Lunedì 7/11 11-13 e Mercoledi 9/11 14-16
- Giovedi 10/11 14-16: Esercizi
- Venerdi 11/11 9/11 e Lunedì 14/11 11-13:
Gestione della memoria
- Mercoledi 16/11 11-13 e Venerdi 18 9-10
Gestione della memoria e memoria virtuale
- Giovedi 17/11: Esercizi
- Venerdi 18/11 10-11 e Lunedi 21/11 11-13
Gestione della memoria in Unix e Window
- Mercoledi 23/11 e Lunedi 28/11 11-13
Gestione della memoria secondaria: file system manager
- Mercoledi 30/11 11-13: Esercizi
- Venerdi 2/12 9-11
- Esempi di file system
- Lucidi visti a lezione
- Rif: Sezione 6.4 e 11.7 (NTFS) di [Tan], Sez. 21.5 di
[SGG], Cap. 4 di [Bach]
- Altro materiale (da Wikipedia):
- Lunedi 5/12, Lunedi 12/12, 11-13 Venerdi 16/12
9-11
Laboratorio: Approfondimenti su Linux e gestione di una macchina e di
Linux come amministratore
- Lunedi 20/12 11-13
Riepilogo su storia e struttura di Windows 2000/XP
- Mercoledi 21/12 (Roggero) 11-13
Laboratorio: Installazione Debian GNU/Linux
Materiale lezioni
(SO1 aa. 05/06)
Lucidi (SO1 aa. 05/06)
Introduzione, storia, struttura di calcolo, struttura dei S.O
File .PDF 4 lucidi x
foglio
Introduzione a Unix
File .PDF 4 lucidi x foglio
Processi
File .PDF 4 lucidi x foglio
Threads
File .PDF
4 lucidi x foglio
Cooperazione tra
processi
File
.PDF 4 lucidi x foglio
Semafori e Monitor
File
.PDF 4 lucidi x foglio
Scambio di messaggi e
problemi classici
File
.PDF 4 lucidi x foglio
Gestione dei processi
(Scheduling)
File
.PDF 4 lucidi x foglio
Gestione delle risorse
(Deadlock)
File
PDF 4 lucidi x foglio
Gestione della memoria principale
File .PDF 4 lucidi x foglio
Memoria virtuale
File .PDF 4 lucidi x foglio
Gestione della memoria principale in Unix
File .PDF 4 lucidi x foglio
Gestione della memoria principale in Windows 2000
File .PDF 4 lucidi x foglio
Gestione della memoria
secondaria: file system manager
File .PDF 4 lucidi x foglio
Esempi di File System (CP/M, MS-DOS, UNIX, NT, CDROM)
File .PDF 4 lucidi x foglio
Approfondimento su Linux
Boot e servizi: Note in formato prn
Luici powerpoint
Hard disk, formattazione e creazione file system:
Note in formato prn
Luici powerpoint
Master
Boot Record: Note in
formato prn Luici
powerpoint
Configurazione
servizi 1 (Shutdown, Init, Logic-passwd): Note in formato prn
Luici powerpoint
Configurazione servizi 2 (Syslog, stampanti): Note in formato prn
Luici powerpoint
Approfondimento su Windows 2000/XP
Lucidi
Prof. Montresor-Prof. Davoli (Bologna) fino a pag. 67 (fault tolerance
esclusa):
PDF 2 lucidi per pagina
PDF
4 lucidi x pagina
Capitoli on-line
Sistemi operativi storici
Il sistema operativo Linux
Il sistema operativo Windows XP
Il sistema operativo Windows 2000
Il sistema operativo FreeBSD
Appunti
in linea (Prof.ssa Gianuzzi e Prof.ssa Dodero)
Appunti in linea (Dr. Bencetti)
Torna menu
principale
<!--[if
!supportEmptyParas]--> <!--[endif]-->
Esercizi (SO1 aa. 05/06)
·
Esercizi su processi
·
Esercizi su scheduling
·
Esercizi su memoria principale
·
Esercizi su file system
·
Vecchi esami
Torna
menu principale
<!--[if
!supportEmptyParas]--> <!--[endif]-->
Esame (SO1 aa. 05/06)
Modalita' e materiale
- Scritto sulla parte di teoria con "domande" ed
"esercizi"
- Materiale per esame:
- Indicazioni su capitoli e sezioni libri testo:
- Materiale e riferimenti lezione per lezione:
· Prima sessione d'esame 05/06:
- I appello: 18 gennaio ore 9:30
- II appello: 14 febbraio ore 9:30
Esempi e testo
Testo
A (prod.cons con monitor)
Testo
B (funzione shift)
Torna
menu principale
Link utili (SO1 aa. 05/06)
Sviluppo commerciale
Sviluppo non commerciale
Sistemi
Operativi in the news
Riviste
- Linux_Journal Una rivista
mensile interamente dedicata al sistema operativo Linux. Una parte degli
articoli presenti nella versione cartacea sono disponibili anche in linea.
- Linux Magazine
Un'altra rivista mensile interamente dedicata al sistema operativo Linux.
Una parte degli articoli presenti nella versione cartacea sono disponibili
anche in linea. Interessante la sezione Gearheads Only
Libri on-line
- M. Mitchell, J. Oldham, e A. Samuel, Advanced Linux Programming
Un libro in inglese sulla programmazione di sistema in ambiente Linux.
Pagine web interessanti
- Leonardo Giordani, Programmazione
concorrente: Principi e introduzione ai processi. LinuxFocus fornisce articoli
di supporto e documentazione su Linux nei paesi non aglofoni. Il presente
articolo introduce alla multiprogrammazione ed alla sua implementazione
nel sistema operativo Linux. La versione in italiano è disponibile qui.
- Andries Brouwer, A small trail
through the Linux kernel Un interessante viaggio nel kernel 2.4 di
Linux. Una traduzione in italiano è disponibile qui.
- Daniel
Robbins, Introducing Ext3. Il settimo dei dodici
articoli della serie Advanced filesystem implementor's guide.
- Russell
Quong, Shell scripts in 20 pages. Molte risposte ai
dubbi sulla programmazione di shell.
- VX Heavens.
Un sito in inglese interamente dedicato ai virus, con tutorial, articoli,
eseguibili e sorgenti. Le informazioni contenute possono aiutare a capire
meglio come difendersi.
- Farsite.
Un progetto della Microsoft per la realizzazione di un file system
distribuito.
Torna menu
principale
<!--[if
!supportEmptyParas]--> <!--[endif]-->