Jian Zhang | VIPER: A Fast Snapshot Isolation Checker | #34
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!!
Links:
Hosted on Acast. See acast.com/privacy for more information.
You Might Like
