Category Archives: microkernel

why microkernels don’t work

Posted on October 23, 2010 by admin

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 information is moved around the system with the green … Continue reading →

Posted in microkernel, operating systems, software engineering | Tagged , | Leave a comment

OS design

Posted on July 6, 2009 by admin

Working on a “process algebra” post, I had to look up previous posts on microkernels where I wrote this: Information hiding is only good design when the hidden information is not needed by the software it is hidden from! If … Continue reading →

Posted in microkernel, software engineering | Tagged , , | Leave a comment

Operating system research – 16 years perspective

Posted on October 7, 2008 by admin

It’s somewhat funny and somewhat sad to read this thread on the old USENET. Starting out with Andy Tanenbaum’s proposed list of accepted truths (most of which I thought wrong at the time) GENERALLY ACCEPTED AS TRUE BY RESEARCHERS IN … Continue reading →

Posted in academics, microkernel, operating systems, software engineering | Tagged , , , , , , | 3 Comments