• 學術活動

    當前位置: 首頁 > 國際交流 > 學術活動 > 正文

    “111”引智平臺“高等并行計算機系統結構”系列講座

    發布時間: 2015-05-02     作者:    點擊次數:

    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年)。
     

     

    (文/北航新聞網 攝影/無)
    編輯:周潔

    真人平台|主页