Seminars on Advanced Parallel Computer Architecture
Advanced Topics in Computer Architecture
报告题目：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
邀请单位：计算机学院
邀请人：钱德沛教授
内容简介：
This title is the title of a paper that I published way back in February 1988 in IEEE Computer. At that time very few were thinking about this problem. Since then it has become and remained one of the main problems in Computer Architecture and even Theory of Computing, with a recent renaissance due to the emergence of chip multiprocessors (CMPs). Understanding this problem and its solutions is essential to the design of correct shared-memory systems and CMPs. Yet, I found over time and I still find today that, after all that time, after all the papers written and printed, all the books, all the symposiums and workshops, all the talks, all the discussions in back rooms, memory coherence and consistency are still ill-understood by students and researchers alike. It is also a very difficult topic, with two poles: one in architecture and one in theory. In this course I will present my own view of this area. This will not be a theoretical course, but it will be solidly grounded in architecture and logically developed. Mechanisms such as synchronization primitives and coherence protocols will be reduced to the strict minimum in order to simplify logical arguments.
The course will include:
-Introduction: synchronization mechanisms and basic coherence protocols
-Coherence: why is it so hard to understand?
-Two views of coherence and why one is wrong
o Store atomicity
o Plain coherence
-Memory Consistency Models
o Definitions in the context of in-order processors
o Speculative violations of memory consistency in out-of-order processors
-Do we need coherence?
教授简介：
Michel Dubois is a Professor of Computer Engineering in the Ming-Hsieh Department of Electrical Engineering at the University of Southern California. Before joining U.S.C. in 1984, he was a research engineer at the Central Research Laboratory of Thomson-CSF in Orsay, France.
He has published more than 150 technical papers on computer architectures and algorithms. He is well known for his early work on cache coherence and memory consistency models. From 1993 to 2001 he led the RPM Project, a project funded by the National Science Foundation. RPM was a hardware platform to emulate multiprocessor systems with widely different architectures and memory models. In this project a multiprocessor machine was built with off-the-shelf components and FPGAs. His current research interests are chip multiprocessor architectures and the impact of technological trends on micro-architectures.
Dubois holds a Ph.D. from Purdue University, an MS from the University of Minnesota, and an engineering degree from the Faculte Polytechnique de Mons in Belgium, all in Electrical Engineering.
He is a fellow of the IEEE (1999) and a fellow of the ACM (2006), for his technical contributions to memory systems, multiprocessor architecture, and information technology.
米歇尔•杜布瓦是美国南加州大学电机工程系教授。在1984年加入南加州大学之前,他在位于法国奥赛的汤姆逊半导体公司中央研究实验室担任研究工程师。
杜布瓦教授先后在计算机体系结构和算法方面发表了150多篇学术论文，他因为其早年在Cache一致性和存储一致性等方面的贡献而闻名。从1993年到2001年,他领导了由美国国家自然科学基金委资助的RPM(多处理器的快速原型引擎)项目,旨在构建一个硬件平台用于实现体系结构完全不同的多处理器系统。杜布瓦教授目前的研究兴趣包括片上多处理器体系结构和技术趋势对微处理器架构的影响。
杜布瓦教授在普渡大学获得电机工程博士学位,在明尼苏达大学获得电机工程硕士学位，在比利时蒙斯理工学院获得电机工程学士学位。
杜布瓦教授因其在存储系统、多处理器体系结构和信息技术方面的贡献获选为IEEE fellow(1999年)和ACM fellow(2006年)。
