Theo de Raadt explains why virtualization does not improve security. How about this: to improve security, you have to have a secure design, a marketing
Read moreThe Linux community
According to Greg’s email, organizations that contributed more than 100 changesets to the recently released 2.6.23 kernel included: Red Hat with 827 changesets (11.7%), IBM
Read moreDistributed shared memory from first principles
[Update 10/16] What is the fundamental performance limiting factor that has dominated that last 30 years of computer architecture? The obvious answer is the disparity
Read moreSmart engineering design
Amy Smith and her work and her student
Read moremore on missed wakeup
Here are some conventions [Update: typos fix, Friday] We are concerned with state machines and sequences of events. The prefixes of a sequence include the
Read moreData structures and algebra
[Edited 9/10] There’s an easy connection between data structures and basic abstract algebra that may or may not mean anything, but keeps getting rediscovered. I’ve
Read moreDeath of 1000 suboptimal solutions
The traditional path to making a slow operating system is to take a fast one and add features under the 5% rule. If a new
Read moreThe lost wakeup problem
One basic problem in operating system design is how to make efficient blocking requests. Thread A wants something from Thread B (or ISR B) and
Read moreSilver Bullets
Like many famous papers, Fred Brooks No Silver Bullet is more referenced than read but it deserves better. Here is Brooks explaining why verification hype,
Read moreTwo new web sites
The FSMLabs web site is finally up with some material about new work. The web site for Finite State Research, our sister company focused on
Read more