Vector clocks reveal two concurrent writes
Compare three-component version vectors, reconcile a shopping-list deletion, and test how identity reuse or erased context breaks causal comparison.
Foundation
The journal / Ideas in progress
Engineering & everyday learningNotes from
the work.
Software, systems, and the things I’m learning along the way. From first principles to AI in production.
Find something to readAll notes 3
A little theory. A lot of practice.
A lost update in six small steps
Trace two increments that lose an update, define the critical section, and distinguish a teaching interleaving from undefined C++ data races.
Foundation
Mutex ownership and a bounded work queue
Protect a bounded ring queue as one state transition, including its head, tail and count, and state what the mutex does not guarantee.
Foundation