labs and notes about MIT course 6.824-- "Distributed Systems"