Sistemi Operativi
Anno Accademico 2013-2014
laurea triennale in ingegneria informatica (DM 270), 3º anno, 6 cfu
sito dell'anno
precedente
Docente: Maurizio
Pizzonia
Orario di ricevimento studenti: vedi pagina
del collegio didattico
Periodo: dal 1 ottobre 2013 al 24 gennaio 2014. Le lezioni
saranno sospese dal 21 dicembre 2013 al 6 gennaio 2014, con conseguente
ripresa della didattica martedì 7 gennaio 2014.
Giorni della settimana, orario e aule : vedi orario pubblicato dalla facoltà di ingegneria informatica.
Sintesi degli obiettivi del corso
Gli obiettivi del corso sono di fornire
- competenze sulla struttura di un generico sistema operativo
moderno
- competenze sulla struttura di un sistema operativo Unix con
particolare riferimento al sistema Linux
- conoscenza
delle metodologie usate per risolvere le problematiche tipiche della
gestione delle risorse in un sistema operativo moderno
- abilità nel uso di una piattaforma Unix a livello utente e
amministratore
- abilità nello scripting Unix
- abilità di base nella programmazione di sistema
Mailing list degli avvisi relativi al corso
Tutti gli studenti si devono
iscrivere alla mailing list di avvisi tramite la quale potranno essere
avvertiti tempestivamente di eventi relativi al corso e alle attività
correlate (esami, ricevimento studenti, ecc).
http://list.dia.uniroma3.it/mailman/listinfo/so
L'archivio
degli avvisi inviati alla mailing list e' disponibile on-line.
Solo il docente può inviare messaggi, gli studenti non possono
postare messaggi alla mailing list.
Materiale didattico
Programma delle Lezioni
Parte del materiale è adattato dal materiale distribuito da W.
Stallings. Il programma viene aggiornata man mano che il corso prosegue con la pubblicazione delle slide
aggiornate e con eventuale cambiamento degli argomenti.
- Introduzione al corso
- architettura
di un elaboratore, CPU, registri, esecuzione di una
istruzione, interrupt, gerarchie di memoria, localita', I/O, chiamate
di procedura
- Panoramica
sui sistemi operativi moderni: definizione di sistema
operativo, scopi, architettura a strati, kernel/user mode,
caratteristiche salienti
- processi:
dispatching, stati, descrizione e controllo, modelli tipici di sistemi operativi e di uso della memoria nei processi
- introduzione a linux
- documentazione in linea (man, info, less), organizzazione del
filesystem, primi comandi (ls, pwd, cd, cat).
- la shell: bash, prompt, comandi interni ed esterni, help,
variabili di abiente, env, $PATH, export;
- comandi per la gestione di file e directory: touch, mv, rm,
cp, mkdir, rmdir
- editors e ambienti grafici: vi, emacs, X, window manager,
gnome, kde, kwrite, gedit
- Linux
e shell: i processi, gli stati sleeping ready/running e stopped,
terminali di controllo, ps, top, pstree, ^C, ^Z, processi in
background, bg, fg, &, kill, kill -9, segnali
- tecniche di gestione
della memoria centrale: allocatori di memoria, partitioning, best/first/next fit, buddy
algorithm, paging, segmentation
- introduzione a linux
- I/O redirection: stdin/out/err, pipelining, filtri, sort,
tee, less.
-
-
shell: sostituzioni ed espansioni (brace, tilde, variabili, command,
pathname), word splitting, stderr redirection append, filtri (sort,
uniq, tr).
- grep, egrep e le espressioni regolari
- filtri: wc, head
tail awk (patterns, statements, costrutti per il controllo di flusso,
variabili, $0..$n, FS, OFS, RS, NR, NF, esempi d'uso).
- Memoria virtuale.
(parte del materiale è solo su slides),
Generalità:
process address space, page fault, trashing, policies: fetch cleaning
eviction placement, page buffering, load control, disk caching, memory
mapped files.
Hw support: paginazione, page
tables a più livelli, inverted page tables, TLB, considerazioni sulla
grandezza delle pagine, segmentazione, segmentazione paginata
Resident set management: OPT, LRU, FIFO, CLOCK,
aging.
Working set: PFF, cleaning policy, load control,
process suspension.
- Scheduling a
breve medio e lungo termine, algoritmi per cpu scheduling:
FCFS, RR, VRR, SPN, SRT, FB, comparazioni, linux 2.6
- c: intro, struttura, preprocessore, compilatore, linker. File
oggetto.
Compilazione con librerie statiche e dinamiche. Comandi cc, gcc, file, ldd,
objdump
- shell: strace, ltrace, time.
-
Debugger: gdb stepping, breakpoints, watching, backtrace.
Comandi gdb: r, quit, b, info br, help, l, n, s, dis, del, bt, frame,
c, ignore, cond, p, display.
- Disk Scheduling, RAID
(materiale solo su slides)
- shell: tar, gzip, strip, permessi dei files.
- linux filesystem: stat, ln
- linux filesystem: fdisk -l, mount, stat, ln
- UNIX File Management,
inode, Linux VFS, ext2
I seguenti argomenti sono solo per gli studenti che fanno l'esame da 6 cfu.
Altro materiale per la preparazione all'esame
Per chi intende fare l'esame è obbligatorio prenotarsi mediante il portale dello studente.
L'esame prevede una prova di laboratorio che verte sia su argomenti
di teoria sia su argomenti di pratica.
Testi della prova d'esame del 5 settembre 2014.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle.
Testi della prova d'esame del 17 luglio 2014.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle. Le soluzioni sono nel
file "soluzioni.txt" accluso nel pacchetto.
Testi della prova d'esame del 3 febbraio 2014.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle. Le soluzioni sono nel
file "soluzioni.txt" accluso nel pacchetto.
Testi della prova d'esame del 5 settembre 2013.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle.
Testi della prova d'esame del 17 giugno 2013.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle.
Testi della prova d'esame del 4 febbraio 2013.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle. Le soluzioni sono nel
file "soluzioni.txt" accluso nel pacchetto.
Testi della prova d'esame del 19 luglio 2012.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle. Le soluzioni sono nel
file "soluzioni.txt" accluso nel pacchetto.
Testi della prova d'esame del 3 febbraio 2012.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle. Le soluzioni sono nel
file "soluzioni.txt" accluso nel pacchetto.
Testi della prova d'esame del 23 settembre 2011.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle.
Testi della prova d'esame del 8 luglio 2011.
- testo d'esame,
teoria e pratica in lab, esame basato sul sistema moodle.
Testi della prova d'esame del 16 febbraio 2011.
- testo d'esame,
teoria e pratica in lab basato sul sistema moodle, le soluzioni
sono nel pacchetto.
Testi della prova d'esame del 7 luglio 2010.
- testo d'esame,
teoria e pratica in lab basato sul sistema moodle, le soluzioni
sono nel pacchetto.
Testi della prova d'esame del 3 febbraio 2010.
- testo d'esame,
teoria e pratica in lab basato sul sistema moodle, le soluzioni
sono nel pacchetto.
Testi della prova d'esame del 15 luglio 2009.
- testo d'esame,
teoria e pratica in lab basato sul sistema moodle, soluzioni
nel file "soluzioni.txt" accluso.
Testi della prova d'esame del 25 febbraio 2009.
- testo d'esame,
teoria e pratica in lab basato sul sistema moodle, soluzioni
nel file "soluzioni.txt" accluso.
Testi della prova d'esame del 25 settembre 2008.
Testi della prova d'esame del 8 luglio 2008.
Testi della prova d'esame del 10 aprile 2008.
Testi della prova d'esame del 12 settembre 2007.
Testi della prova d'esame del 24 luglio 2007:
Testi della prova d'esame del 23 aprile 2007:
Testi della prova d'esame del 21 settembre 2006:
Testi della prova d'esame del 7 luglio 2006:
Testi della prova d'esame del 28 aprile 2006:
Testi della prova d'esame del 20 settembre 2005:
Testi della prova d'esame del 18 luglio 2005:
Testi della prova d'esame del 26 aprile 2005:
Collegio
didattico di Ingegneria Informatica
Questa pagina è mantenuta da Maurizio Pizzonia. 