IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2008 > Relaxed memory models for multiprocessors (or, all what you did not want to know about your multiprocessor)
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Francesco Zappa Nardelli

martes 23 de septiembre de 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.