“Questi appunti non hanno nessuna pretesa di completezza, ma rappresentano solo un riferimento, spero utile, per tutti coloro che hanno seguito il corso. Essi sono di fatto stati scritti di volta in volta prima di ogni lezione, a tal proposito necessitano di certo di una sostanziale revisione, che verra’ comunque operata di volta in volta, anche a seconda delle esigenze degli studenti.”
Loriano Storchi

• Appunti di Lezione e Sorgenti POSIX e ANSI C, Primo esempio di compilazione, creazioni di oggetti, linking, i file di header e prime opzioni al compilatore (comandi: gcc, nm, ld, ldd, strip, file, readelf). Soluzioni, Approfondimenti
• Appunti di Lezione e Sorgenti Cosa e’ un processo cosa e’ un eseguibile. I Threads cenni. (comandi: size, objdump, gdb, lsof). Soluzioni
• Appunti di Lezione e Sorgenti “Nascita” e “morte” di un processo e segnali tra processi (comandi: kill, ulimit). Soluzioni, Approfondimenti
• Appunti di Lezione e Sorgenti Allocazione dinamica. Puntatori ed Algebra dei puntatori. Soluzioni
• Appunti di Lezione e Sorgenti Stack, C calling sequence. Funzioni con numero di argomenti variabile. Argv, argc, uso di getopt. Endianess. Soluzioni
• Appunti di Lezione e Sorgenti Make e Makefile. Inter-Language Communication (vedi allocazione dinamica in FORTRAN77, vedi Overloading in C++ ed Extern “C”) (comandi: stat)Soluzioni
• Appunti di Lezione e Sorgenti Qualche altro dettaglio a proposito dei Makefile. Libreria “shared” e statiche. Cenni d’uso della “programming interface” per il “dynamic linking loader” Soluzioni
• Appunti di Lezione e Sorgenti Le syscalls ptrace() ed exec…(), debugger e profiler. (comandi: gdb, strace, time, gprof)
• Appunti di Lezione e Sorgenti Cenni di ottimizzazione del codice, cache, loop unrolling, padding.
• Appunti di Lezione e Sorgenti Cenni di scrittura di Device Driver per Linux. (comandi: insmode, rmmod, lsmode, mknod, modinfo)

Bibliografia:

• GaPil
• Appunti di informatica libera
• Linux Device Drivers, Third Edition

Extra:

• Due parole su “collect2″
• Ancora su “collect2″
• Cos’e’ linux-gate.so.1?
• What is linux-gate.so.1?
• ELF
• Make e Makefile
• Make e Makefile
• library shared e non
• gprof
• La Top500
• L’allocazione di memoria (kmalloc e kfree)

Obiettivi

Il corso ha l’obbiettivo di familiarizzare lo studente con le pratiche elementari di (a) gestione di sistema (b) gestione rete (c) programmazione di sistema (d) programmazione scientifica in ambiente Unix

Programma

Laboratorio di esercitazioni pratiche di programmazione di algoritmi numerici di importanza nelle scienze computazionali. Introduzione pratica alla installazione e gestione di sistemi operativi unix-like per ambiente scientifico e loro uso in rete.

Metodi didattici

Esercitazioni al computer guidate dal docente

Modalità di valutazione

Colloquio orale

Testi consigliati

Consultare i docenti.

Post correlati:

• Laboratorio Generale di Informatica (aggiornamento) (0)
• Novità per l’aa 2008-09 (6)
• Materiale didattico del vecchio dipmat (0)
• Laboratorio di Programmazione Avanzata (0)
• Fisica dell’Informazione (0)