IMDEA Software

IMDEA initiative

Home > Events > Invited Talks > 2008 > Relaxed memory models for multiprocessors (or, all what you did not want to know about your multiprocessor)

Francesco Zappa Nardelli

Tuesday, September 23, 2008

11:00am Amphitheatre H-1005

Francesco Zappa Nardelli, Researcher, INRIA Paris-Rocquencourt

Relaxed memory models for multiprocessors (or, all what you did not want to know about your multiprocessor)

Abstract:

For performance reasons, multiprocessors may reorder memory accesses in various subtle ways: your shared-memory concurrent program might exhibit behaviours that cannot be obtained as interleaving of its memory accesses. In these lectures I will introduce relaxed memory models for multiprocessors; describe, both informally and formally, a model for Intel 64/IA-32 processors; and compare this with models for other architectures.