An introduction to the distributed file system