Hyperdrive is a secure, real-time distributed file system