Systems software technology and business
Updated below!
Years ago I proposed the following code snippet as a minimal standard for a useful verification method. Still not quite there.
/* you are not expected to understand this */
if(save()){
load_memory_management(); /* map in new current */
[...]
I found this on Larry McVoy’s site, and repost it every now and then because it is so good. But I’d like to read a Cormac McCarthy version too.
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 phones for Wind River. Jason’s blog is here and a Linuxdevices article discusses his first post which concerns the, well, machinations of Google and the two big cell-phone consortia Limo and [...]
[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 supporting time sensitive applications (I’ll just avoid saying “soft real-time”) even when no guarantees are made. Let’s take the example of an OS that disables interrupts when any process is executing [...]