AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Analysing Snapshot Isolation

Journal of the ACM, no. 2 (2018): 1-41

Cited: 24|Views49

Full Text

View via Publisher

Other Links

dl.acm.org

Bibtex

Keywords

Distributed computing modelsrobustnesssnapshot isolationtransaction chopping

Abstract

Snapshot isolation (SI) is a widely used consistency model for transaction processing, implemented by most major databases and some of transactional memory systems. Unfortunately, its classical definition is given in a low-level operational way, by an idealised concurrency-control algorithm, and this complicates reasoning about the behavi...More

Code:

Data:

Full Text

PPT (Upload PPT)

Author

Andrea Cerone

[0]

Alexey Gotsman

[0]

Your rating :

No Ratings