continuousimprv.bsky.social
@continuousimprv.bsky.social
Start from where you are. Use what you have. Do what you can.
Anomalies of eventual consistency:

www.youtube.com/watch?v=fR_N...
December 23, 2025 at 7:43 AM
Casual Consistency Example:

nil.csail.mit.edu/6.824/2020/p...
December 23, 2025 at 4:36 AM
December 17, 2025 at 7:11 AM
Gutter Pool: address the failure of a small number of hosts
are inaccessible due to a network or server failure

pdos.csail.mit.edu/6.824/papers...
December 17, 2025 at 2:25 AM
Thundering Herd Problem:

A SINGLE write triggers MANY frontends read from the database when that key is POPULAR that many frontends need to get that key.

pdos.csail.mit.edu/6.824/papers...
December 17, 2025 at 1:44 AM
December 16, 2025 at 9:44 AM
Why favour replication in this instance over further dividing the key space?

pdos.csail.mit.edu/6.824/papers...
December 16, 2025 at 7:34 AM
The memcache problems that FB(Meta) aims to solve for reducing the latency of memcache responses

pdos.csail.mit.edu/6.824/papers...
December 6, 2025 at 3:27 AM
What if RO TX 1 read X before the X=10 @10 is replicated to the client local replica?

www.youtube.com/watch?v=ZulD...
December 1, 2025 at 9:56 AM
OSDI12 - Spanner: Google’s Globally-Distributed Database Presentation by Wilson Hsieh

www.youtube.com/watch?v=C75k...
December 1, 2025 at 3:28 AM
Spanserver Software Stacker

pdos.csail.mit.edu/6.824/papers...
November 29, 2025 at 4:10 AM
Client request & reply in PBFT:

pdos.csail.mit.edu/6.824/papers...
November 21, 2025 at 8:57 AM
One way to think about the omission model:

www.youtube.com/watch?v=JEKy...
November 21, 2025 at 3:36 AM
Execution Traces that are not serializable:

www.youtube.com/watch?v=B6bt...
November 17, 2025 at 4:25 PM
BABE's leader election:

1. VRF elects primary ledaer => 0 or 2+ # of leaders can be elected
2. Round robin elects secondary leader => 1 leader will be elected for each slot; Secondary blocks are ignored if the same slot also produces a primary block

Why use VRF + RR? No slots are ever skipped
November 15, 2025 at 7:35 AM
Distributed Counter without using lock
November 12, 2025 at 7:50 AM
Usage of notification:
November 12, 2025 at 7:16 AM
Read operation guarantee:

* observe the last write of the same client
* observe the prefix of the full log

How?

* write operation always go to leader
* leader will return the zxid to the client (the index of the committed write operation)
* client call read operation with zxid
November 11, 2025 at 7:23 PM
Why this trace is not linearizable?
November 11, 2025 at 3:57 PM
Read back in time data case when we natively read from any replica:

www.youtube.com/watch?v=HYTD...
November 11, 2025 at 3:43 PM
Simple Locks without Herd Effect
November 11, 2025 at 9:01 AM
A problem can arise when clients have their own communication channels in addition to ZooKeeper:

pdos.csail.mit.edu/6.824/papers...
November 11, 2025 at 6:52 AM
Lease Mechanism and Data Flow
November 8, 2025 at 7:51 AM
November 7, 2025 at 7:27 AM
A bit about safety proof
October 26, 2025 at 8:31 AM