Title:Transactions on Mergeable Objects in Shared-Memory
By: Annette Bienuisa (Technische Universität Kaiserslautern)
Abstract:
Under high contention, serializability for transactions results in frequent aborts. This limits possible parallelism and results in performance degradation.
In this talk, we introduce a new transactional semantics, Mergeable Transactions, which allows concurrent transactions on the same objects to execute in parallel.
Instead of aborting and re-executing, the conflicting updates on shared objects are merged using type specific semantics.
We show that mergeable transactions outperform serializable transactions under high contention workloads.
This is joint work with Deepthi Akkoorath.
Bio:
Annette Bieniusa is a lecturer and research fellow (Akademische Rätin) at the Department of Computer Science of the University of Kaiserslautern, in the group of Software Technology. She received her PhD in 2011 from the University of Freiburg, Germany, and was a postdoc at INRIA in the REGAL team. Her research interests cover the semantics of concurrent and distributed programming, with a focus on (geo-)replication, synchronization, and programming language concepts.