The first time I saw this method was when I went to work for Parallel Computer Systems, , later called Auragen, in the famous tech startup
Read more
circularity problems in distributed consensus
Distributed consensus involves organizing a collection of independent agents – processes or network sites – to agree on some value or sequence of values. Many
Read moreIEEE 1588 PTP is a mess
IEEE 1588 was not designed for modern enterprise computer networks and contains many hacks to make it sort of work. The standard also suffers from
Read moreThe difference between unspecified, undefined, and non-deterministic
There is too much confusion in the “formal methods” computer science literature between these three different terms. Let me start with what this means for
Read moreSoftware quality at toyota
The good stuff starts on page 36 Koopman.
Read moreone way queues
Here’s some code for lock free queues for a single producer and single consumer. The code is designed for Intel multiprocessors with strong memory model.
Read moreThe Auragen file system.
This article on the interesting Wave Transactional File System inspired me to look up an earlier file system that also used copy on write semantics.
Read morePaxos and other consensus algorithms and the unaccountable love for asynchrony
I’ve been looking at Paxos and Raft and Zab and other algorithms that can loosely be called “consensus” algorithms because we want to see where we can
Read moreMore on Fischer, Lynch, Patterson and the parrot theorem.
I’m thinking about distributed consensus algorithms, timestamping, and databases and if you read that literature you will see many references to the Fischer, Lynch, Paterson
Read more