Design, implementation, and evaluation of repairable file service | Synapse