Performance of Serializable Snapshot Isolation on Multicore Servers

Snapshot isolation (SI) is a widely studied concurrency control approach, with great impact in practice within platforms such as Oracle DB. Berenson et al showed though that SI does not guarantee serializable execution; in certain situations, data consistency can be violated through concurrency between correct applications. Recently, variants of SI have been proposed, that keep the key properties such as (often) allowing concurrency between reads and updates, and that also guarantee that every execution will be serializable. We have had the opportunity to use three implementations of two different algorithms of this type, all based on the InnoDB open source infrastructure. We measure the performance attained by these implementations, on high-end hardware with a substantial number of cores. We explore the impact of the differences in algorithm, and also of the low-level implementation decisions.

This is joint work with Hyungsoo Jung (University of Sydney ), Hyuck Han (Seoul National University), Uwe Roehm (University of Sydney), Heon Y. Yeom (Seoul National University).

Speaker Details

Alan Fekete is Professor of Enterprise Software Systems within the School of Information Technologies at the University of Sydney. His doctorate was earned in the mathematics department of Harvard University. He has been with the University of Sydney since 1988, and he has held visiting positions at Cornell, MIT, University of Washington, Microsoft Research and University of California at Berkeley. His recent research is focused on transaction management, and he has also published in software engineering, theory of distributed computing, and computing education. His papers have appeared in Journal of ACM, ACM Transactions on Computer Systems, ACM Transactions on Database Systems, IEEE Transactions on Knowledge end Data Engineering , and IEEE Transactions on Software Engineering and in conferences such as ACM SIGMOD, VLDB, IEEE ICDE, ACM PODS and ACM PODC; and he is the recipient of the best paper award from 2008 ACM SIGMOD conference.

He has frequently served on Program Committees for the leading database conferences, including SIGMOD and VLDB. He has been recognized as a Distinguished Scientist by ACM for “significant accomplishments in, and impact on, the computing field”.

Date:
Speakers:
Alan Fekete
Affiliation:
University of Sydney

Series: Microsoft Research Talks