Materiale didattico

Ambiente software di lavoro

• VirtualBox con Linux LXLE (v1.6.1, file .ova, 4.8 GB) [admin password = biar] [change log]

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

• 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:
  • gerarchie di memoria
  • memoria cache
  • eccezioni e processi
  • memoria virtuale (concetti)
  • memoria virtuale (implementazione)
  • allocazione delle memoria
• Repository Git con codici C e IA32 presentati a lezione (git clone: https://github.com/season-lab/sistemi-di-calcolo.git)

Esercizi

• Traduzione da C ad assembly IA32
• Fac-simile esonero 2017-18 | soluzioni
• Fac-simile esonero 2016-17 | soluzioni
• Domande su ottimizzazione del work
• Gerarchie di memoria e località
• Fac-simile compito esonerati 2017-18 | soluzioni
• Compiti di esame:
  • esonero 25/11/2016: compito A | compito B | compito C | compito D | file e soluzioni (codice), .zip, 44 KB.
  • esame 27/01/2017: compito A | compito B | file e soluzioni (codice), .zip, 12 KB.
  • esonero 10-14/12/2017: compiti e file | soluzioni.
  • esame 18/01/2018: compito A | compito B | compito C | file e soluzioni (codice), .zip.
• Esercitazioni anni scorsi

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
  • 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
  • Bit Twiddling Hacks
• 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
• Cache e gerarchie di memoria
  • Introduzione alle cache su Tom's Hardware
  • Impatto delle cache L1 e L2 sulle performance di una CPU
  • The Lost Art of C Structure Packing

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

• Cartella condivisa Google Drive

Dispense

• Primitive C per UNIX System Programming | versione PDF | versione live (Google Docs)

Materiale esercitazioni

• Sezione labs in cartella condivisa Google Drive

Libri di testo, manuali e documentazione

• William Stallings: Operating Systems , Pearson Education, ISBN-10: 0-13-380591-3, Seventh 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] [A.A. 2015-2016 | A.A. 2016-2017]