IMDEA Software

IMDEA initiative

Home > Events > Software Seminar Series > 2016 > Robustness against Parallel Snapshot Isolation

Giovanni Bernardi

Tuesday, March 15, 2016

10:45am Lecture hall 1, level B

Giovanni Bernardi, Post-doctoral Researcher, IMDEA Software Institute

Robustness against Parallel Snapshot Isolation

Abstract:

Modern distributed systems often rely on databases that achieve scalability by providing only weak guarantees about the consistency of data - i.e. weak consistency levels. In these databases executions may happen which are not serialisable, and one problem is thus to understand whether a given transactional application performs only serialisable executions. In this talk first we formally define Parallel Snapshot Isolation (PSI), a consistency level fit for geo-replicated databases, that appeared recently in the literature. The formal definition let us sketch a robustness criterion for PSI, that is a condition to check whether a transactional application generates only serialisable executions, even if ran over a database implementing PSI. We also show how to strengthen PSI by using entity groups, and we sketch a robustness criterion for this consistency level.