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.
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.