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 (1) requests and (2) blocks. There are thousands of ways in which the interval between
OSIM Madrid and Value Manifolds
Spent a couple of very interesting days at the OSIM conference in Madrid as part of my consulting for WindRiver which has a very powerful market position in cellular handsets now – partly due to their acquisition of RTLinux for
Apple’s strategic brilliance
I may be reading too much into it, but Apple looks to have come up with a strategy to pass Microsoft in the next ten years. They are linking their phone, music, and PC business together to form an unavoidable
Carbon neutral processors and ecocidal operating systems
Data centers are reckless consumers of power. Since modern processors leak somewhere in the neighborhood of 40% of their peak power consumption even when idle and since most measurements show that most computers are nearly always idle, that’s a lot
Underlying requirement for hard real-time
Simple point that is widely ignored: you need hard real-time capability to offer any meaningful “soft” real-time. Let’s suppose you say that you can drop up to N frames a minute or K< N frames over any 10 second period
universal machinery
If even 20% of what Peter Gutman says is so, then I’ve been optimistic in my assessement of DRM.
Notes on unintended security effects
I’ve been complaining about the security implications of DRM and “trusted computing” and “safe boot” for some time now. Susan Landau points out that the expansion of wiretapping has the same effect. Such threats are not theoretical. For almost a
Building what customers want
Visting LinuxWorld in San Francisco reminded me that one of the advantages Apple has in the cell-phone market is that it can set design goals to be “what people who buy cell phones want”. While you might think this would
Formal methods for doing what?
John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” – the general failure of researchers in the field to look at experimental data and the operation of actual systems. The
Chapter 2: liveness and scheduling
Draft is available https://www.yodaiken.com/papers/rec.html