Attività didattica di Francesco Potortì per l'esame di Sistemi Operativi

[Home] [Didattica]

Sistemi operativi
per il corso di diploma universitario in
Ingegneria Elettronica
anno accademico 2000/01

Ultima modifica: 2002-09-09.

Francesco Potortì - ISTI
- Area della ricerca CNR – Via G. Moruzzi, 1 – I-56124 Pisa
Operatore +39 050 588215
Tel +39 050 621 3058
Fax +39 050 621 2040
Email: Potorti@isti.cnr.it
(come arrivare) (getting there)

Programma delle lezioni

Il programma è una succinta presentazione degli argomenti delle lezioni per l'anno accademico 2000/01.

Orario di ricevimento

Il ricevimento si effettua presso l'ufficio del docente, al ISTI, Area della ricerca, via G. Moruzzi 1, stanza 64, dalle ore 16 alle 19 di ogni venerdì. Dall'ingresso dell'Area, seguire la strada fino al primo arco, ed entrare dall'ingresso 20. La stanza 64 è al primo piano, sulla destra.

Per gli studenti che usano la posta elettronica può essere comodo farmi domande per iscritto, alle quali risponderò normalmente in giornata. È un modo veloce di risolvere dubbi di qualunque tipo sul programma del corso.

Testi di riferimento

A. Silberschatz e P. Galvin, «Operating systems concepts», Addison-Wesley, 1998
Un buon testo, moderno, con una ben scelta successione degli argomenti, utile anche per il futuro come testo di riferimento. Disponibile presso la Biblioteca Centrale della Facoltà di Ingegneria, anche in traduzione italiana.
Manuale pSOS
Manuale di riferimento del sistema operativo real-time usato come caso didattico. Copie distribuite a lezione.

Altro materiale didattico

Sono disponibili per consultazione un testo introduttivo sul formato ELF ed il suo seguito, e le specifiche complete di tale formato. Nessuno di questi tre documenti è di agevole lettura, ma il primo di essi presenta alcuni paragrafi che ben riassumono i concetti fondamentali. Lo script hello.sh è quello usato durante l'esercitazione in laboratorio.

Sono disponibili per consultazione le pagine di man delle chiamate di IPC di Posix (PDF) e la pagina di man che illustra le priorità statiche di Posix (PDF).

Il codice del driver per il chip Lance presentato nell'ultima lezione è composto da un header C e dal codice in C vero e proprio. Entrambi sono disponibili in Postscript e PDF.

Agenda delle lezioni 2000 di sistemi operativi

L'agenda 2000 raccoglie gli argomenti delle lezioni svolte nell'anno accademico 2000/01.

Oltre che in HTML, l'agenda è disponibile anche in PDF.

Compitini A.A. 2000/01 (prove in itinere):

Agenda delle lezioni 1999 di sistemi operativi

L'agenda 1999 raccoglie gli argomenti delle lezioni svolte nell'anno accademico 1999/00.

Oltre che in HTML, l'agenda è disponibile anche in PDF.

Compitini A.A. 1999/00 (prove in itinere):