|
You are here |
anishathalye.com | ||
| | | | |
surfingcomplexity.blog
|
|
| | | | | Back in August, Murat Derimbas published a blog post about the paper by Herlihy and Wing that first introduced the concept of linearizability. When we move from sequential programs to concurrent ones, we need to extend our concept of what "correct" means to account for the fact that operations from different threads can overlap in... | |
| | | | |
www.bailis.org
|
|
| | | | | ||
| | | | |
emptysqua.re
|
|
| | | | | A 2-week toy project to learn a famous algorithm and try out a distributed systems test framework. | |
| | | | |
sookocheff.com
|
|
| | | Title and Author of Paper Generalized Isolation Level Definitions, Adya et al. Summary The ANSI SQL standard defines isolation levels allowing database users to trade off between performance and consistency when running transactions. Unfortunately, the wording in the SQL standard is geared towards locking as the sole supported concurrency method. This paper presents alternative definitions to the isolation levels specified in the ANSI SQL standard that are general enough to allow for any concurrency method (multi-version, optimistic, etc.) to be used. | ||