2 search results - page 1 / 1 » Automating the Detection of Snapshot Isolation Anomalies |
VLDB
2007
ACM
14 years 5 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
ASPLOS
2009
ACM
14 years 5 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...