operating systems

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, [...]

What does the UNIX file system do?

October 1, 2015 | 0 Comments

Unix, Linux, Windows and other operating systems and the world wide web all support file systems with the familiar path file names  like [...]

A claimed validated operating system.

September 16, 2014 | 0 Comments

The claim: we have demonstrated the comprehensive formal verification of the seL4 microkernel, with a complete proof chain from precise, formal statements of high-level [...]

Real-time Linux

July 17, 2014 | 0 Comments

My opinion has always been that the Linux-RT project was based on an unfixable engineering error.   A few words on the status and the future of RT: [...]

Free Software Patents: Alan Cox

August 16, 2012 | 0 Comments

1. A method, comprising: storing, by one or more processors, confidential data in a confidential section of virtual memory, wherein storing the confidential data in the [...]

The multics file system

October 7, 2011 | 0 Comments

The design proposed in this paper is ubiquitous. A file is simply an ordered sequence of elements, where an element could be a machine word, a character, or a bit, depending [...]

Dutch masters

July 9, 2011 | 0 Comments

Seen on Linux Weekly News. Ext4 maintainer Ted Ts’o has responded with a rare (for the kernel community) admission that technical concerns are not the sole driver of [...]

why microkernels don’t work

October 23, 2010 | 0 Comments

You can almost just see it from this diagram of connected boxes.  I want to think of the whole system as a series of connected state machines.  The arrows show how [...]
1 2 3 8