A Distributed Fault-Tolerant File System