-
Recent
- The UNIX file system as a recursive function
- Apple’s A5 chip made in Austin
- Richard Stallman speaks
- Dennis Ritchie
- Droning on about computer security
- The multics file system
- Fukushima Robot Blog
- Sinking in too many layers
- Computer architecture, power, and PHP
- VCs bailing on signed term sheets
- American corporate management
- Apple’s Patents possibly covering android
- Computer Science 101
- Why computers are more and more devices for generating heat from electricity
- Dutch masters
Tag Archives: operating systems
Microsoft by the numbers
From correspondent AY: 150,000,000 Number of Windows 7 licenses sold, making Windows 7 by far the fastest growing operating system in history. <10 Percentage of US netbooks running Windows in 2008. 96 Percentage of US netbooks running Windows in 2009. … Continue reading →
Posted in operating systems, software business, software engineering
|
Tagged bloat, linux, microsoft, operating systems
|
1 Comment
Linux semaphores
Re: Schedule idle MOLNAR Ingo (mingo@chiara.csoma.elte.hu) Wed, 11 Nov 1998 04:09:32 +0100 (CET) [...] > _please_ We can do better than this. Only semaphores (not spinlocks) need > to have the priority inheritance. [...] nope there are _not_ only semaphores, … Continue reading →
Posted in operating systems, software engineering
|
Tagged code, linux, operating systems, software
|
Leave a comment
New 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.
Posted in operating systems, software engineering
|
Tagged formal methods, moore machines, operating systems, specification, state machines
|
Leave a comment