Ancora esercizi su C e su libreria standard di IO. Tool: mtrace e valgrind.

Cercare di completare tutti gli esercizi durante le ore di laboratorio e nel caso come homework.

Seguire l'esempio dei lucidi di proprocessing, compilazione e linking verificando i vari passi con i comandi nm, objdump o readelf ed ldd.
Vedere i manuali in linea dei comandi.

Verificare gli accessi in memoria compiuti dalle funzioni scritte per l'esercizio n. 7 dell'Assegnamento1 (costruzione di binaryTree) utilizzando la funzione mtrace e l'utility mtrace, questi strumenti tracciano le azioni di allocazione e deallocazione di memoria compiute dal programma per verificare la presenza di memory leak cioe' memoria non deallocata.

Per fare questo procedere come segue:

• leggere le informazioni in man 3 mtrace
• includere l'header mcheck.h
• inserire la chiamata alla funzione di libreria mtrace() all'inizio della parte del programma C che vogliamo verificare
• inserire la chiamata alla funzione di libreria muntrace() alla fine della parte del programma C che vogliamo verificare
• compilare il file da verificare con opzione -g per includere le informazioni di debugging.
• settare la variabile di ambiente MALLOC_TRACE al path del file in cui vogliamo che la mtrace() registri le informazioni sugli accessi di memoria. Ad esempio se voglio registrare le informazioni nel file ./mtrace.out devo usare il comando

bash$ export MALLOC_TRACE="./mtrace.out"

• eseguire il programma
• dopo l'esecuzione nel file ./mtrace.out sono registrati gli accessi in formato testuale non facilmente comprensibile. Interpretarlo utilizzando l'utility mtrace, ad esempio:

bash$ mtrace ./myprog ${MALLOC_TRACE} 

questo rispondera' No memory leaks se tutta la memoria e' stata deallocata o fornira' indicazioni su dove e' stata allocata la mamoria rimasta da deallocare.

Verificare la correttezza degli accessi in memoria degli esercizi dell'Assegnamento1 utilizzando valgrind. Questo strumento permette fra l'altro di capire se tutte le variabili sono inizializzate prima del loro uso, se accediamo a memoria gia' deallocata o mai allocata o a zone non inizializzate.

Per fare questo procedere come segue:

• compilare il file da verificare con opzione -g per includere le informazioni di debugging.
• eseguire il programma con valgrind :

bash$ valgrind ./prova

in questo modo, a schermo verranno riportare le infrazioni rilevate. Ad esempio, invalid read o invalid write sono accessi in lettura o scrittura a memoria non allocata o gia' deallocata.

Scrivere un programma che implementa l'equivalente del comando Unix cat senza opzioni (mycat file1 [file2 …] ).

Scrivere un programma che prende in ingresso un intero (⇐512), alloca in memoria una matrice di 512×512 elementi float in modo che siano contigui in memoria. Inizializzare tale matrice (M) in modo arbitrario (ad esempio M(i,j) = (i+j)/2.0). Fare quindi il dump della matrice in formato binario su un file il cui nome è 'mat_dump.dat'. Rileggere quindi la matrice dal file 'mat_dump.dat' memorizzandola in una matrice differente da quella di partenza (M2). Al termine dell'operazione effettuare il confronto delle due matrici con la funzione di libreria memcmp.