Edwardzcn 
  • 首页
  • 分类
  • select
    Computer Science Life Reading Life Essay Weekly Report
  • 标签
  • 友链
  • gallery
  • 关于
  •   
  •   

读《与学生合作开展研究的体会》感受

科学研究的分类 从陈海波老师的角度看,科学研究主要可分为: 人类共性问题 面向国家重大需求 面向自由探索 导师——学生关系 合伙人: “导师-学生”可以一定程度上理解为初创公司中的合伙人关系,二者关系一旦确认,则不仅共享成果、同时也分担风险。这也在学术评价体系中有体现,例如在论文、项目等评审中按惯例导师与学生是终身规避的。 互相学习: 两者也是互相学习的关

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
1…3233343536…107

搜索

Hexo Fluid
冀ICP证18024730号 | police-icon 湘公网安备43010402000641号