Synchronous processors

May 11, 2016 | 1 Comment

Imagine a processor with no interrupts. We can do a lot better and get rid of most exceptions (e.g. system calls, page faults etc.), most peripheral devices/buses, and even [...]

IEEE 1588 PTP is a mess

April 27, 2016 | 0 Comments

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 being overly explicit on [...]

Operations and maps on finite sequences

March 11, 2016 | 0 Comments

A lot of what I’m trying to do with mathematical models of computer systems involves operations on finite sequences. Define a “finite sequence of length [...]

one way queues

February 6, 2016 | 0 Comments

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. I don’t [...]

The Auragen file system.

January 25, 2016 | 0 Comments

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. From: Anita Borg, [...]
1 2 3 4 5 6 41