Shark: scaling file servers via cooperative caching | Synapse