报告题目：Synchronization, Coherence and Event Ordering in Multiprocessors
　　报告人：Michel Dubois, 教授, IEEE Fellow, 美国南加州大学（University of Southern California, USA）
　　报告时间：5月18-22日，9:00-12:00
　　报告地点：新主楼F座327
　　邀请单位：计算机学院
　　邀请人：钱德沛教授
　　内容简介：
　　这个题目是杜布瓦教授早在1988年2月发表在《IEEE Computer》上的文章标题。在当时，很少有人思考这个问题。但是从那时起，它已经成为并且一直是计算机体系结构甚至计算理论中的一个主要问题，它最近一次再度成为热点是由于片上多处理器(cmp)的出现。理解这个问题以及它的解决方案对于正确设计共享存储系统和片上多处理器是非常必要的。然而，随着时间的推移，直到今天，尽管有各种相关论文发表、有各种相关书籍出版、有各种相关的研讨会和讲座举办，存储一致性的问题仍然没有被学生和研究人员真正完全理解。当然，这也确实是一个涉及体系结构和理论两极的非常困难的话题。在本课程中，杜布瓦教授将提出他自己对这个问题的看法。这不是一个理论课程，当然它会完全基于体系结构和逻辑的发展，但是，类似同步原语和一致性协议等机制的理论部分将会最大程度的弱化以简化对逻辑的讨论。
　　本课程具体内容包括：
　　概述： 同步机制和基本的一致性协议
　　一致性： 为什么这么难理解?
　　关于一致性的两个视角，以及为什么有一个是错误的
　　■ 存储的原子性
　　■ 普遍一致性
　　存储一致性模型
　　■ 顺序执行处理器的上下文定义
　　■ 乱序执行处理器中投机行为对存储一致性的影响
　　是否真的需要一致性?
　　教授简介：
　　米歇尔•杜布瓦是美国南加州大学电机工程系教授。在1984年加入南加州大学之前，他在位于法国奥赛的汤姆逊半导体公司中央研究实验室担任研究工程师。
　　杜布瓦教授先后在计算机体系结构和算法方面发表了150多篇学术论文，他因为其早年在Cache一致性和存储一致性等方面的贡献而闻名。从1993年到2001年，他领导了由美国国家自然科学基金委资助的RPM(多处理器的快速原型引擎)项目，旨在构建一个硬件平台用于实现体系结构完全不同的多处理器系统。杜布瓦教授目前的研究兴趣包括片上多处理器体系结构和技术趋势对微处理器架构的影响。杜布瓦教授在普渡大学获得电机工程博士学位，在明尼苏达大学获得电机工程硕士学位，在比利时蒙斯理工学院获得电机工程学士学位。杜布瓦教授因其在存储系统、多处理器体系结构和信息技术方面的贡献获选为IEEE fellow(1999年)和ACM fellow(2006年)。

编辑：贾爱平