Materiale didattico A.A. 2016-2017
Ambiente software di lavoro
In caso di problemi all'avvio verificare che l'accelerazione hardware per la virtualizzazione Intel-VTx/AMD-V sia abilitata nel BIOS.
Primo modulo (SC1)
Il materiale didattico principale per il modulo sono gli appunti presi durante le lezioni in aula, la dispensa, che copre parte del programma, e lucidi di approfondimento.
Dispense e lucidi
Esercizi
Libri di testo, manuali e documentazione
- Randal E. Bryant e David R. O'Hallaron: Computer Systems: A Programmer's Perspective, Prentice Hall, 2003, ISBN 0-13-034074-X [sito Web]
- Standard POSIX (IEEE Std 1003.1, 2004 Edition), include tutte le librerie standard C: si veda la sezione System Interfaces volume (XSH).
- Brian W. Kernighan, Dennis M. Ritchie: Il Linguaggio C, Pearson Education Italia, ISBN 88-7192-200-X, seconda edizione [sito Web]
Letture consigliate e materiale di approfondimento
- Donald Knuth: The Art of Computer Programming, Volumes 1-3, Addison-Wesley, Inc. [sito web]
- Jon Louis Bentley: Programming pearls, Addison-Wesley, Inc., 2000. ISBN 0-201-65788-0 [sito web]
- Jon Louis Bentley: Writing Efficient Programs, Prentice Hall, 1982, ISBN 978-0139702440 [sito Web]
Pagine utili
- Linguaggio C
- Programmazione IA32
- Cache e gerarchie di memoria
Secondo modulo (SC2)
Il materiale didattico principale per il modulo sono gli appunti presi durante le lezioni in aula e le slides presentate dal docente. Su alcune parti del programma si rimanda ai libri di testo in calce.
Lucidi
- Processi e Thread [slide (last update: 2017-02-27)]
- Concorrenza [slide (last update: 2017-03-05) | dispensa su mutua esclusione]
- Rete [slide (last update: 2017-04-07)]
- Introduzione ai Sistemi Distribuiti [slide (last update: 2017-04-11)]
- Client-Server computing, RPC [slide (last update: 2017-04-28)]
- Pipe e FIFO [slide (last update: 2017-05-04)]
- Logical time, Ricart-Agrawala algorithm [slide (last update: 2017-05-14)]
- Cyber Security, Buffer Overflow [slide (last update: 2017-05-19)]
I lucidi possono essere considerati stabili almeno 1 mese dopo la lezione in Aula.
Dispense
- Primitive C per UNIX System Programming | versione PDF | versione live (Google Docs)
- Raccomandazioni: considerazioni sugli errori riscontrati più di frequente tra gli elaborati dei partecipanti, e raccomandazioni per un buon esito delle prove al calcolatore [pdf]
Materiale esercitazioni
Libri di testo, manuali e documentazione
- William Stallings: Operating Systems , Pearson Education, ISBN-10: 0-13-380591-3, Eight Edition [sito Web]. Per i materiali trattati le edizioni del libro dalla quarta possono andare bene.
- Jerome H. Saltzer, M. Frans Kaashoek: Principles of Computer System Design: an Introduction, Morgan Kaufman, ISBN 978-0-12-374957-4, [sito Web]
- Brian W. Kernighan, Dennis M. Ritchie: Il Linguaggio C, Pearson Education Italia, ISBN 88-7192-200-X, seconda edizione [sito Web]
- Standard POSIX (IEEE Std 1003.1, 2013 Edition), include la documentazione per tutte le primitive di UNIX System Programming utilizzate nel corso.
Letture consigliate e materiale di approfondimento
- Richard Stevens: UNIX Network Programming, Volume 2, Second Edition: Interprocess Communications, Prentice Hall, 1999, ISBN 0-13-081081-9 [http://www.unixnetworkprogramming.com/]
- Richard Stevens: UNIX Network Programming, Volume 1, Second Edition: Networking APIs: Sockets and XTI, Prentice Hall, 1998, ISBN 0-13-490012-X [http://www.unixnetworkprogramming.com/]
Pagine utili
[
A.A. 2014-2015] [
A.A. 2015-2016]