Torvalds on aliasing
See also Dennis Ritchie on aliasing, PLOS article, pointer alias in C and remarks on the purpose of C. From: LKML From Linus Torvalds <> Date
Read more
The replicated state machine method of fault tolerance from 1980s
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 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 moreWhat does the UNIX file system do?
Unix, Linux, Windows and other operating systems and the world wide web all support file systems with the familiar path file names like “/home/snowden/travel/boardingpass.pdf” or
Read moreUpdate of UNIX filesystem paper
download the paper
Read moreA claimed validated operating system.
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 security
Read moreReal-time Linux
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
Read moreFree Software Patents: Alan Cox
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
Read moreThe multics file system
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,
Read more