Atomic Transaction Commit for Modern Data Stores

Alexey Gotsman,
IMDEA Software Institute in Madrid –
Abstract:
Modern data stores often need to provide both high scalability and strong transactional semantics. They achieve scalability by partitioning data into shards and fault-tolerance by replicating each shard across several servers. A key component of such systems is the protocol for atomically committing a transaction spanning multiple shards, which is usually integrated with concurrency control.
Unfortunately, the classical theory of atomic commit is too restrictive to capture the complexities of such protocols. I will present a new problem statement for atomic commit that more faithfully reflects modern requirements and will describe solutions to this problem in different classes of data stores, including those for geo-replication and those that exploit Remote Direct Memory Access (RDMA).
Bio
Alexey Gotsman is an Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. He obtained his PhD from the University of Cambridge, UK. Alexey’s interests are at the intersection of distributed systems and formal verification. He has received best paper awards at PODC, DISC and CONCUR and is currently a holder of an ERC Starting Grant.
Date: 2019-Jan-15 Time: 10:00:00 Room: 336
For more information:
Upcoming Events
INESC-ID ESR Talks – February 2023

If you are a masters/PhD student or a postdoctoral fellow, come and present your work in an informal and friendly environment – and savour some tasty snacks!
Individual talks will be 10-15 minutes plus time for feedback. Enroll on your selected date by emailing pedro.ferreira[at]inesc-id.pt.
Happening on the second Wednesday of every month (4pm-5pm):
- 15 February (Alves Redol, Room 9)
- 15 March (Alves Redol, Room 9)
- 12 April (Alves Redol, Room 9)
- 10 May (Alves Redol, Room 9)
- 14 June (Alves Redol, Room 9)
- 12 July (Alves Redol, Room 9)
We hope to see you there!