void Library::dm_block_unmap ( int  ID  ) 

void dm_block_unmap(int ID): funzione pubblica che segnala al server che il client non è più interessato al blocco ID.

La funzione trova il server che contiene il blocco ID richiamando la find_server, trova il blocco interessato richiamando la find_block, invia il comando relativo all'operazione dal svolgere al server, invia l'ID del blocco interessato al server, segnala che il blocco non è più associato ad un indirizzo di memoria locale resettando la variabile boolena associated a 0. La funzione fallisce se il blocco non era stato preventivamente associato ad un indirizzo di memoria locale.


Generato il Fri Feb 4 17:36:40 2011 per DistributedMemory da  doxygen 1.5.8