DidaWiki

un client apre un file in scrittura sul file system sicuro e vi copia il contenuto di un file locale. Successivamente un altro client apre lo stesso file in lettura e lo copia sul file system locale. Il nuovo file ha lo stesso contenuto del file originale

un client accetta comandi come parametri della riga di comando e interagisce con un oggetto Manager per implementare i vari comandi compresi nell'interfaccia

SecureFileSystemManagementInterface

Posso dunque chiedere l'esecuzione di

java ClienteManager fileNumber

ed ottere a video il numero dei file presenti nel file system remoto, oppure

java ClienteManager fileWriters pippo

ed ottenere a video il numero di clienti con un handle aperta in scrittura sul file pippo.

su un sistema con 4 processi Disco, 1 file “pippo”, K=3, si termina uno dei processi disco. Se era uno di quelli che contenevano una delle copie del file pippo, la richiesta di apertura in lettura del file pippo provoca la riallocazione di una sua copia sul quarto server

su un sistema con 3 processi Disco, 1 file “pippo”, K=3, interveniamo manualmente su uno dei server per troncare il file pippo alla lunghezza di pochi caratteri. Per esempio, se la directory di memorizzazione fosse “FileSystemSicuro” su uno degli host che ospitano i processi disco diamo i comandi

cd /tmp/FileSystemSicuro
cat > pippo
File troncato
^D 

Aprendo il file pippo in lettura, alla prima richiesta di lettura deve avvenire un processo di restore che fa' sì che la copia modificata del file pippo ritorni quella originale, ripristinata da uno degli altri server disco.

su un systema con 3 processi Disco e 2 processi FileSystem, un cliente apre in scrittura un file “pippo” utilizzando il primo server FileSystem. Un secondo cliente apre in lettura lo stesso file “pippo” utilizzando il secondo server FileSystem ed ottiene un'eccezione.

esmpio di codice per programmi client: codice per la copia di un file locale nel file system sicuro, codice per la lettura nel file system locale di un file nel file system remoto