Time out of joint

September 2, 2016 | 0 Comments

Financial trading venues and trading systems operate so quickly and rely on clocks so deeply that events like the one noted in this FINRA report are more common than many [...]

Data base design criteria: ease of use

August 31, 2016 | 0 Comments

Regarding ease-of-use, it’s often struck me when reviewing data systems papers that the evaluation sections are full of performance and correctness criteria, but only [...]

Distributed consensus and network reliability

August 30, 2016 | 0 Comments

All of the distributed consensus algorithms I have been reviewing recently (Paxos, Raft, Zab, Chang Maxemchuck, Viewstamped, … ) are based on a number of assumptions [...]

Making Paxos face facts

August 23, 2016 | 2 Comments

Lamport’s  “Paxos Made Simple” paper is notoriously hard to understand but at least part of the difficulty is that the algorithm  changes radically in [...]

state equations in practice

August 15, 2016 | 0 Comments

  When people think of mathematical models of state for programs and other computer systems, it’s natural and conventional to consider state as a map from symbolic [...]

Cutting and pasting about Kodak’s demise

June 12, 2016 | 0 Comments

This graph from Peter Diamandis about how Kodak entered the sinkhole is kind of amazing. Diamandis explains Kodak’s failure to swerve in what is I think the orthodox [...]

RTLinux

June 10, 2016 | 0 Comments

Some old stuff I found in the [...]
1 2 3 4 5 41