Hyperdrive is a secure, real time distributed file system