University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Formalising and Analysing Transactional Consistency Models

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Formalising and Analysing Transactional Consistency Models

Download to your calendar using vCal

If you have a question about this talk, please contact .

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required

To boost performance, modern transactional systems provide weaker consistency guarantees than those defined by serialisability. Suchtransactional systems exhibit subtle behaviours that make it difficult for programmers to write correct applications. This problem is complicated by the fact that consistency models specifications are often informal, or they use disparate formalisms.

I will present a framework for specifying transactional consistency model. Then I will focus on Snapshot Isolation, a well-known consistency model, and show how a thorough analysis of its formal specification leads to deriving two static analysis techniques: the first one checks whether an application running on a weaker consistency model, Parallel Snapshot Isolation, still behaves as though as it were running on Snapshot Isolation; the second one is transaction chopping for Snapshot Isolation.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge University Engineering Department, Lecture Room 4 Thirkill Room, Clare College Seminar Room, Centre for Animal Welfare & Anthrozoology, Department of Veterinary Medicine, Madingley Road, Cambridge

Other talks

A novel hereditary encephalopathy in four related Labrador Retrievers associated with a missense variant in the ALDH5A1 gene’ Tea and Coffee Break Title abstract tbc Title to be confirmed How Much Does Homology Really Know? What’s my reproduction number? Life history strategies: an interdisciplinary perspective
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity