mark hill:计算机与数字系统体系结构的里程碑

Mark Hill在体系结构领域有着卓越的贡献,他的工作塑造了今天计算机系统的许多方面。1947年,Eckert和Mauchly设计的ENIAC计算机问世。为了纪念这个里程碑,1979年ACM和IEEE联合设立了Eckert-Mauchly奖,用于表彰在计算机与数字系统体系结构领域持续做出重要贡献的个人。这个奖项每次颁发5000美元奖金,给获奖人带来了极高的荣誉。过去的获奖者中,有六人后来获得了图灵奖,还有2017年David Patterson这样的大满贯人物。2019年,Mark Hill成了该奖项的最新得主。 30年前,Hill和他的学生提出了一个影响深远的模型——3C模型。他们把缓存失效分解为强制失效、容量失效和冲突失效三种类型。这个划分让学术界第一次用统一语言描述缓存行为,给后来的研究者提供了深入理解缓存系统的基础。这个概念如今已经成为任何体系结构教材中不可或缺的一部分。 除了缓存系统外,Hill还为多核处理器内存一致性问题做出了重要贡献。他与Sarita Adve一起提出了顺序一致性(SC)模型的扩展版本——SC for DRF方案。这个模型成为Java、C++内存模型底层支持,并被GPU厂商采纳用于异构计算环境下跨节点同步。 在多核处理器时代,传统锁机制常导致性能低下。Hill和David Wood提出了LogTM事务内存系统,让事务可以跨缓存行、跨核心甚至跨节点运行。这个方案把事务性内存从理论推向实践,大幅降低了并发编程门槛。 另外,Hill团队还开发了评估工具链。他们先推出Dinero缓存模拟器、GEMS全系统模拟器、gem5全栈仿真平台等工具;最近他们又推出了BadgerTrap,专门用来研究虚拟内存行为。这些工具被引用了3000次以上,在学术界产生了深远影响。 在2017年ASPLOS大会上,Hill被问到中国研究现状时表示:中国的研究质量已经从增量式改进跃升到绝对一流且有创造性的水平。他还提到语言障碍不再是最大问题,关键在于用学术语言讲好故事。 Hill建议年轻学者别把精力放在比工业界优化得更好的微小改进上,而是寻找转折点。人工智能和云计算正在推动指令集架构向API层面发展;能效瓶颈则促使硬件方案革新,如谷歌TPU;物联网和VR/AR也可能带来新存储与通信模式。 面对芯片行业薪水下降的质疑,Hill给出了一个十年测试问题:十年后你想成为什么样的人?如果答案与高频交易匹配就去做;如果答案与教书育人匹配就留在这里。 另外一个建议是:别把所有资源集中在几个顶尖学校或机构身上。 此外,禁止顶尖高校毕业生内部留校也有助于促进交流与合作。 体系结构领域需要的是慢功夫和持续投入,“别让转折点在沉默中溜走”。 总体来看,Mark Hill通过对3C模型、SC一致性、事务内存和评估工具链等方面做出杰出贡献,塑造了今天计算机系统的面貌。 在面对未来挑战时,“去留心这些转折点”,别纠结于代码优化。