Evolving operating systems and architectures: how do kernel implementors catch up?

The author discusses the trade-off between the conflicting goals of portability and performance in operating system kernel implementations. Using traditional programming techniques, code refinements that yield high performance inevitably lead to low portability. Ideas from the Synthesis kernel implementation are described as possible techniques towards a way out of this trade-off.<
>