Most of the new draft of the Concurrent Programs paper has to do with trying to specify problems and solutions in synchronization via an atomic
Read moreUpdated: meaning of concurrent programs
Updated rough draft available with thrilling descriptions of atomic compare and swap and some comments on “formal methods”. Bonus photo
Read moreMore on common weakness
Dan Quist writes in to point at that writing software is hard and we should expect errors. No doubt. Perfect software is not on the
Read moreCommon Weakness Enumeration
The common weakness enumeration is an amazing document. Imagine if there was such a document for architecture/construction. That document would contain admonitions like – “remember
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 moreoperating systems are harder than quantum physics
Went to hear Tilak Agerwala talk on the “Future of Data Centers” and was struck again by the way in which system developers and chip
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 morewho should control the internets
Op-ed in the NYTimes from Damian Kulash Jr. of Ok-Go We can’t allow a system of gatekeepers to get built into the network. The Internet
Read moreend to end design versus BOM design
Grossly simplifying, some products are Bill of Materials (BOM) products and some are Designed products. BOM products come to market via a process of generating
Read more