/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 aphyr.com
Strong consistency models
| | jepsen.io
Consistency Models
1.1 parsecs away

Travel
| |
| | www.bailis.org
Linearizability versus Serializability | Peter Bailis
2.3 parsecs away

Travel
| |
| | surfingcomplexity.blog
Linearizability! Refinement! Prophecy! - Surfing Complexity
2.2 parsecs away

Travel
| | 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...
| | rcoh.me
Postgres Indexes Under the Hood
20.7 parsecs away

Travel
| Many software engineers use database indexes every day, but few of us really understand how they work. In this post I'll explain: How indexing works in Postgres using B-Trees What B-Trees are Why they are a good fit for this problem Indexes in Postgres Postgres actually offers 4 different kinds of indexes for different use cases. In this post I'll be focusing on the "normal" index, the kind you get by default when you run create index.