details: http://pdos.csail.mit.edu/6.824-2012/