mit 6.824: Distributed Systems  Spring 2012 labs. http://pdos.csail.mit.edu/6.824-2012/labs/index.html