UNSW Computer Science and Engineering Technical Report no. UNSW-CSE-TR-0201
(20 pages: file 0201.pdf)

Title:   Design and Implementation of the L4 Microkernel for Alpha Multiprocessors


Author:  Daniel Potts, Simon Winwood, Gernot Heiser
         School of Computer Science and Engineering 
         University of New South Wales
         Sydney 2052 Australia
         E-mail: {danielp,sjw,gernot}@cse.unsw.edu.au



Abstract:

This report gives an overview of the techniques used in the
multiprocessor implementation of the L4 microkernel on the Alpha
processor family. The implementation is designed to be scalable to a
large number of processors, which is supported by keeping kernel data
processor-local as much as possible, and minimising the use of spinlocks
and inter-processor interrupts.


https://cgi.cse.unsw.edu.au/~reports/papers/0201.pdf