Lab 1: MapReduce mapreduce Lab 2: Primary/Backup Key/Value Service viewservice pbservice Lab 3: Paxos-based Key/Value Service paxos kvpaxos