Jian Zhang | VIPER: A Fast Snapshot Isolation Checker | #34
Jun 09, 2023•43 min•Season 5Ep. 4
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
Summary:
Snapshot isolation is supported by most commercial databases and is widely used by applications. However, checking, if given a set of transactions, a database ensures Snapshot Isolation is either slow or gives up soundness. In this episode, Jian Zhang tells us about VIPER, an SI checker that is sound, complete, and fast. Tune in to learn more!!
Hosted on Acast. See acast.com/privacy for more information.
For the best experience, listen in Metacast app for iOS or Android