void Server::change_valid ( int  client_id,
block bk_elem 
) [private]

void change_valid(int client_id, block *bk_elem): funzione privata che modifica la validità della copia locale del blocco.

La funzione scorre la lista di client appesa al blocco puntato da bk_elem, trova il client identificato da client_id e pone la variabile booleana valid relativa al client pari a 0 (copia locale invalida).


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