Pagina Principale
Strutture dati
File
Server
add_block
add_client
block_map
block_unmap
block_update
block_wait
block_write
change_valid
client_unblock
delete_client
find_block
find_client
head
port_control
read_config_file
Server
block
*
Server::head
[private]
Puntatore alla testa della lista di blocchi.
Generato il Fri Feb 4 17:36:40 2011 per DistributedMemory da
1.5.8