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 , , , | 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 , , , | 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 , , , , | Leave a comment