Category Archives: microkernel

Sparc T2 (niagra 2)

UT architecture seminar today was by Greg Grohoski from Sun – an updated version of his Hot Chips talk. I’m not a big fan of this approach to chip architecture: 8 processors, each with 8 threads, but they are working … Continue reading

Posted in architecture, microkernel, operating systems, software engineering | Leave a comment

more on missed wakeup

Here are some conventions [Update: typos fix, Friday] We are concerned with state machines and sequences of events. The prefixes of a sequence include the empty sequence “null” and the sequence itself. Relative state: If “w” is the sequence of … Continue reading

Posted in communications, microkernel, operating systems, real-time, software engineering | Leave a comment

Speculation on modularity and information theory

One way of defining modules is by what engineers have to know. If a program X consists of components X1 … Xn then we can say Xi is a module if a programmer can modify it without learning “much” about … Continue reading

Posted in embedded systems, microkernel, operating systems, software engineering | Leave a comment