MIT-6.824 2020/09/15 lab2 1000 次测试通过 lab3 500 次测试通过 （lab3 3B 最后一个用于测试 线性一致性的用例 1000 次通过） lab4 （lab4A shardmaster 部分代码完成，等换工作后再把 final project lab4 写完）