• 完成了6.824的lab3以及lab4A.
  • 读了Database Internal中关于磁盘数据结构的章节
  • klee编译运行