The UNIX idea that the OS treated files as sequences of uninterpreted bytes was a brilliant technical simplification – so successful that the previously dominant
Read morefuture of the data center
This article from Ars Technica discusses a talk over the summer by Merrill Lynch’s chief technology architect, Jeffrey Birnbaum on “stateless cloud computing” – most
Read moreOperating system research – 16 years perspective
(links and dates fixed March 15 2015 – thanks to Luu and pm90 at news.y.combinator for digging this up) October 2008: It’s somewhat funny and somewhat sad
Read moreNew paper “H2” on operating system semantics
Please see a new version here. I am continuing to try to develop a practical engineering mathematics for operating system and other complex system code.
Read moreclouds versus pcs
George Gilder had an article in Wired on data centers as clouds. My instinct is to dismiss anything Gilder writes because of his track record
Read morelinux kernel
From LinuxDevices Every Linux kernel is being developed by nearly 1,000 developers, working for more than 100 corporations. An average of 3,621 lines of code
Read morewhat do we got to verify in an os?
From comments below. Just one more comment: I think we should make a distinction between a tool that can verify threaded code and a tool
Read moreHappy new year and validation
Updated below! Years ago I proposed the following code snippet as a minimal standard for a useful verification method. Still not quite there. /* you
Read moreCell phone handsets and linux and software value
Update at the end. Two FSMLabs alumni are leading the charge for Linux handsets in two different companies. Jason Whitmire is now GM of cell
Read moreformal methods considered harmful and more on soft real-time
[fixed a couple of typos, Dec. 20 2007] John Regehr writes: On the other hand, there is plenty of useful work to be done on
Read more