Lecture

Contention management in Transactional Memory

Speaker:	Alessia Milani, Laboratorie d' Informatique de Paris 6, UPMC
Date:	Friday, 18 June 2010
Time:	11:00-13:00
Location:	"Stelios Orphanoudakis" Seminar Room, FORTH, Heraklion, Crete
Host:	P. Fatourou

Abstract:

Transactional memory is a novel paradigm introduced to simplify concurrent programming with respect to the traditional lock-based approach. In transactional memory, concurrent threads synchronize via in-memory transactions. A transaction embeds a sequence of shared memory operations whose effect is atomic: if any of the operations takes place, they all do, and if they do, they appear to other threads to take effect instantaneously.
The transactional approach to contention management guarantees atomicity by making sure that whenever two transactions execute conflicting operations to the shared memory, only one of them proceeds.
A major challenge in this approach is to ensure progress and to minimize the overhead caused by the frequent restart of transactions. This requires taking good choices about which of the two conflicting transactions should continue and when and how the other transaction should be restarted.
The talk will introduce the transactional memory paradigm and will discuss the main contention management policies proposed in the literature. Finally, a new contention manager, called Bimodal, will be presented. Bimodal is especially tailored to accommodate read-only transactions without punishing transactions that write most of their duration.

Bio:

Alessia Milani received her Phd in computer engineering jointly at Sapienza Universit? di Roma (Italy), and at Universit? de Rennes I (France). She has been affiliated with Universidad Rey Juan Carlos, Spain and to Technion, Israel. She is currently a postdoctoral researcher at the Laboratoire d' Informatique de Paris 6, LIP6.
Her research interests concern distributed computing systems. In particular, she aims to contribute in providing the theoretical foundation of emerging distributed systems: from multi-core machines to dynamic networks (e.g., mobile ad-hoc networks, peer-to-peer systems).