上一周完成了6.824 lab3, 智齿发炎所以此外基本没做啥.

这周计划是看klee,开始做毕设.空闲时间读leveldb,开始做lab4(或许先继续优化一下lab3?现在感觉不是特别快).