UNIVERSITA' DEGLI STUDI DI PAVIA - Robotica

verso i file per inizializzare il sistema e/o salvare i risultati di una elaborazione.
L’elenco completo delle funzioni di acceso è:
• DOS_FILE DOS_fopen(file_name, access_mode), in base al valore di
access_mode apre il file file_name in lettura (“r”), scrittura (“w”) o in
append (“a”), ritornando un puntatore a una struttura di tipo
DOS_FILE;
• DOS_fclose(DOS_FILE) chiude l’accesso al file specificato;
• DWORD DOS_fread(void *buf, DWORD size, DWORD num,
DOS_FILE *f) legge un blocco massimo di num byte dal file f,
depositandoli nel buffer buf, che ha dimensione pari a size. La funzione
ritorna il numero di byte effettivamente letti;
• DWORD DOS_getline(void *abuf, DWORD count, int ch,
DOS_FILE *f) legge una linea di caratteri dal file f, depositandoli nel
buffer puntato da abuf. La funzione legge un massimo di count
caratteri, oppure fino al raggiungimento del carattere ch. Ritorna il
numero di caratteri effettivamente letti.
A.6 Risorse condivise
HARTIK mette a disposizione diverse tecniche per gestire la condivisione
di risorse tra processi. Una sezione di codice che utilizza una rsorsa condivisa è
detta sezione critica.
Innanzitutto dispone del meccanismo semaforico classico, che però non è
efficiente e può dar luogo a problemi alquanto gravi come l'inversione di priorità.
Non è dunque adatto ad essere utilizzato con processi di criticità HARD, in quanto
potrebbe causare lo sfondamento di una deadline critica.
Il protocollo SRP (Stack Resource Policy) supera tutti i problemi che
derivano dall'uso dei semafori classici, garantendo migliori prestazioni globali del
sistema pur mantenendo la stessa semplicità di utilizzo dei normali semafori.
171