Sistemi di Calcolo: Materiale didattico

Materiale didattico

Ambiente software di lavoro

VM VirtualBox con Linux LXLE (v1.4, file .ova, 3.75 GB) [admin password = biar] [change log]

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

Dispensa didattica del primo modulo:
- versione live (Google Docs)
Lucidi del corso 15-213: Introduction to Computer Systems - Carnegie Mellon University (sito web corso). Si vedano in particolare i lucidi delle lezioni:

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]

Esercizi

Esercizi programmazione IA32
Esercizi ottimizzazione dei programmi
Esempio di compito di esonero su programmazione IA32 (le soluzioni sono incluse)
Esempio di compito di esame per gli esonerati | testo, file .pdf | soluzioni, file .zip, 11 KB.

Compiti di esame:
- Esonero 1/12/2015: compito A | compito B | compito C | compito D | compito E | compito F | file e soluzioni, .zip, 6.3 MB.
- Esame 20/01/2016: compito A | compito B | compito C | compito D | soluzioni A | soluzioni B | soluzioni C | soluzioni D.
- Esame 18/02/2016: compito A | compito B | compito C | soluzioni A (solo codice) | soluzioni B (solo codice) | soluzioni C (solo codice).

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
- C/C++ Language Reference - IBM
- ISO/IEC 9899:1999 Stardard Rationale - The C Programming Language
- Mike Banahan, Declan Brady and Mark Doran: The C Book, seconda edizione, originariamente pubblicato da Addison Wesley, ora disponibile gratuitamente online.
- Elenco di manuali sul linguaggio C
- Portale Questions & Answers StackOverflow dedicato alla programmazione in C
- Tabella precedenze operatori C
- Interpretare espressioni che definiscono tipi in C
- Errori comuni in C
- Documentazione libreria standard C, con esempi di uso
- Opzioni riga di comando gcc
Programmazione IA32
- System V Application Binary Interface: Intel386 (32 bit)
- intero set istruzioni x86, 32 bit (sintassi Intel, html)
- latenze delle istruzioni x86
- Intel® 64 and IA-32 Architectures Software Developer's Manual
  - Volume 1: Basic Architecture: descrive l'architettura e l'ambiente di programmazione dei microprocessori IA-32 e Intel 64
  - Volume 2A: Instruction Set Reference, A-M: descrive il formato delle istruzioni e fornisce documentazione sulle istruzioni da A a M (sintassi Intel). Il volume contiene anche l'indice dei volumi 2A e 2B.
  - Volume 2B: Instruction Set Reference, N-Z: fornisce documentazione sulle istruzioni da L a Z (tranne le istruzioni VMX, sintassi Intel). Il volume contiene anche le appendici e l'indice analitico dei volumi 2A e 2B.
  - Versione "distillata" dei volumi 2A e 2B

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 threads
- La mutua esclusione: algoritmo di Dijkstra e Algoritmo del Panettiere note del docente
Concorrenza: mutua esclusione e sincronizzazione
Architettura di Internet, richiami di tcp-ip, socket, network adaptors
Introduzione ai sistemi distribuiti
Client-server computing e Remote Procedure Calls
Logical time and distributed algorithms
- La mutua esclusione: algoritmo di Ricart-Agrawal note del docente
Computer Security Threats and Buffer Overflow

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)

Materiale esercitazioni

2016-03-01 Esercitazione 01 | slides | sorgenti | soluzioni
2016-03-08 Esercitazione 02 | slides | sorgenti | soluzioni
2016-03-14 Esercitazione 03 | slides | sorgenti | soluzioni
2016-03-21 Esercitazione 04 | slides | sorgenti | soluzioni | esercizio di riepilogo
2016-04-04 Esercitazione 05 | slides | sorgenti | soluzioni
2016-04-11 Esercitazione 06 | slides | sorgenti | soluzioni
2016-04-18 Esercitazione 07 | slides | sorgenti | soluzioni
2016-05-02 Esercitazione 08 | slides | sorgenti | soluzioni
2016-05-09 Esercitazione 09 | slides | sorgenti | soluzioni
2016-05-16 Esercitazione 10 | slides | sorgenti | soluzioni
2016-05-23 Esercitazione 11 | slides | sorgenti (updated) | soluzioni

Esempi di compiti di esame

Prova teorica Luglio 2015
Prova teorica Febbraio 2016
Prova teorica Luglio 2016
Prove al calcolatore (con soluzioni)
- Maggio 2016: traccia 1 | traccia 3
- Giugno 2016: traccia 1
- Luglio 2016: traccia (soluzione)
- Settembre 2016: traccia 1

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

Linguaggio C
- C Programming Boot Camp
Debugging
- gdb Tutorial - Washington University CS 342

[A.A. 2014-2015]