server programs for a replicated high-performance network file system