读《与学生合作开展研究的体会》感受 科学研究的分类 从陈海波老师的角度看,科学研究主要可分为: 人类共性问题 面向国家重大需求 面向自由探索 导师——学生关系 合伙人: “导师-学生”可以一定程度上理解为初创公司中的合伙人关系,二者关系一旦确认,则不仅共享成果、同时也分担风险。这也在学术评价体系中有体现,例如在论文、项目等评审中按惯例导师与学生是终身规避的。 互相学习: 两者也是互相学习的关 2020-07-19 Research 方法 方法 待补充
读《一名系统研究者的攀登之路》感受 系统研究者应当具备的素质 这些内容是陈海波老师九年研究过程中的经验与教训,介绍在《一名系统研究者的攀登之路》的感触部分。 批判性思维: 想起之前读《有所不为的反叛者》所提到的历史学家的美德: 历史学家有三大美德:批判、怀疑和想象力。 批判是共性。 系统研究中的自由性使系统研究很容易走向“重新发明轮子”或者“发明一个不相干的轮子”的误区。因此,系统研究尤其需要批判性的思维 2020-07-19 Research 方法 方法
Coq学习——交互式定理证明工具Coq的产生与发展(转) 交互式定理证明工具 Coq 的产生与发展(转) 本文转载自科学网——王小平的博客 2020-07-19 Computer Science 形式化验证 形式化验证
操作系统学习——文件系统崩溃一致性 文件系统的崩溃一致性 待读文章:All File Systems Are Not Created Equal 基于先代文件系统之上的应用程序级崩溃一致性协议(crash-consistency protocol)。 状态更新来持久化状态,依赖底层文件系统。 主要贡献: BOB 工具 ALICE 工具 BOB 工具 BOB 工具,用来测试这种一致性的满足情况(不同应用文件系统 2020-07-19 Computer Science 操作系统 操作系统
分布式系统学习——NVM717会议记录 Kyle Zhang 汇总 四个线程同步向一个文件系统做 IOAT,不同 Socket PM 差异较大。 进行多 Channel 多线程,多 NUMA 测试。 (思考一下,NUMA 是什么) 李:测试一下 PM 应用的最大潜力。ext4-DAX 模式。 0 上面是 2GB 左右 1 上面是 3-4GB 左右 2、3 上面还是 2GB 左右 关于 level-hash 的测试 le 2020-07-17 Computer Science 分布式系统 分布式系统 NVM