Sistemi Operativi III
Corso di Laurea Specialistica in Ingegneria Informatica

Docente Francesco Quaglia

NEW

Risultati della prova d'esame del 18/2/2009

29/1/2009 - L'esame di Sistemi Operativi III del 18/2/2009 si svolgera' alle ore 11:00 in Aula 1 (Via Eudossiana).

Risultati della prova d'esame del 9/1/2009

21/12/2008 - Gli appelli d'esame del corso di Sistemi Operativi III avranno luogo nei giorni 9/1/2009 (pomeriggio) e 18/2/2009.

Risultati della prova d'esame del 10/9/2008

L'appello d'esame di Sistemi Operativi III del 10/9/2008 avra' luogo in aula B1 - Via ARIOSTO - alle ore 17:00. Gli studenti che intendono finalizzare anche la consegna della tesina sono pregati di prenotarsi sul sistema INFOSTUD per poter usufruire della verbalizzazione elettronica. La data ultima di consegna dei progetti e di verbalizzazione di tutti gli esiti e' fissata per il giorno venerdi' 22 Settembre. L'orario per le verbalizzazioni verra' reso noto successivamente.

Risultati della prova d'esame del 11/7/2008

Risultati della prova d'esame del 1/7/2008

Risultati della prova d'esame del 15/4/2008

Risultati della prova d'esame del 14/12/2007

Risultati della prova d'esame del 19/9/2007

Risultati della prova d'esame del 20/7/2007

Risultati della prova d'esame del 6/7/2007

Risultati della prova d'esame del 11/1/2007

Risultati della prova d'esame del 11/9/2006

Risultati della prova d'esame del 19/7/2006

Risultati della prova d'esame del 28/6/2006

Seguire questo link per informazioni sulla modalita' d'esame per l'AA.2006/2007

Testi e riferimenti

• William Stallings, "Sistemi Operativi". Jackson Libri.
• Abraham Silberschatz, Peter B. Galvin, "Sistemi Operativi". Addison - Wesley
• Andrew S. Tanenbaum, "I Moderni Sistemi Operativi". Jackson Libri.
• Francesco Quaglia, Camil Demetrescu, "Programmazione in Ambiente UNIX". Disponibile in formato pdf
• "Manuale di Informatica". Calderini Editore, edizione 2002.

Link utili

• Documentazione su IA-32
• Sorgenti Kernel LINUX
• LINUX device drivers
• Materiale su LINUX internals
• Materiale su LINUX internals
• Cross-Referencing Linux

Testi di appelli d'esame:

• appello del 28-6-2006 - download
• appello del 13-12-2005 - download
• appello del 23-9-2005 - download
• appello del 6-7-2005 - download
• appello del 25-7-2005 - download

Programma per l'a.a. 2006-2007

• Kernel Internals
  • Indirizzamento e modelli di protezione del codice
  • GATE di accesso al codice Kernel
  • Dispatching delle system call
  • Gestione avanzata degli Interrupt
  
  
• Studio di caso: LINUX 2.4 su architettura i386
  • Nozioni sul boot
  • Strutture dati principali ed inizializzazione
  • Meccanismi interni per le system call
  • Comportamento a regime
  • Kernel hacking
  • Moduli
  
  
• Sicurezza
  • Scopi della sicurezza
  • Crittografia e autenticazione
  • Attacchi interni al sistema
  • Meccanismi di protezione e sistemi fidati
  • Tecniche di rilevamento delle intrusioni (IDS)
  • Tecniche di prevenzione delle intrusioni (Reference Monitor)
  • Esempi di sistemi operativi sicuri

Slides delle lezioni

• Protezione del codice e meccanismi per le system call (con studio di casu su LINUX) (download)
• Sottosistema di memoria in LINUX (download)
• Sottosistema di trap/interrupt in LINUX (download)
• Esercitazione sul sottosistema di memoria in LINUX (download)
• Strumenti per il debugging su Kernel LINUX (download)
• Sottosistema di gestione di task/processi in LINUX (download)
• VFS in LINUX (download)
• Moduli LINUX (download)
• Un esempio di char device tramite modulo (download)
• Sicurezza (download)
• Esempio di software exploit (download)