Explore >> Select a destination
|
You are here 
|
anishathalye.com | ||
| | | | |
buttondown.com
|
|
| | | | | Recently I was in a Discord channel where someone wrote something akin to "I have a question about linearizability" which had an attached thread with 80... | |
| | | | |
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... | |
| | | | |
aphyr.com
|
|
| | | | | ||
| | | | |
blog.thislongrun.com
|
|
| | | CAP theorem and databases: definitions of ACID, Atomic, Consistent, Isolated, Durable vs. available and partition. | ||
