Viper: A Fast Snapshot Isolation Checker
Jian Zhang, Ye Ji, Shuai Mu, Cheng Tan
Abstract
Snapshot isolation (SI) is supported by most commercial databases and is widely used by applications. However, checking SI today---given a set of transactions, checking if they obey SI---is either slow or gives up soundness.
Topics & Concepts
SoundnessSnapshot (computer storage)Computer scienceModel checkingIsolation (microbiology)Programming languageOperating systemBiologyMicrobiologyDistributed systems and fault toleranceAdvanced Data Storage TechnologiesCryptography and Data Security