Distributed File System with Gifford Read/Write Constraints Implementation of a distributed file system with Gifford read/write constraints.