Trustworthy Systems

L4 on uni- and multiprocessor Alpha


Daniel Potts

    School of Computer Science and Engineering
    Sydney 2052, Australia


Title: L4 on Uni- and Multiprocessor Alpha Author: Daniel Potts School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia, Abstract: The Alpha RISC architecture has established itself as one of the leading microprocessors in today's high end workstation market. The Alpha microprocessor boasts as being the world's fastest 64-bit processor and looks likely to remain this way for several years to come. Recent trends in increased use of parallelism of processors in multiprocessor machines has seen the desire to produce a micro-kernel that is capable of supporting such hardware. This thesis examines issues related to supporting multiprocessors in the L4 micro-kernel and proposes solutions to allow L4 to support such systems in a scalable, fast and efficient way. This thesis also examines the current L4/Alpha that provides an implementation for uniprocessor Alpha microprocessors.

BibTeX Entry

    address          = {Sydney, Australia},
    author           = {Daniel Potts},
    month            = nov,
    note             = {Available from publications page at \url{}},
    paperUrl         = {},
    school           = {School of Computer Science and Engineering},
    title            = {{L4} on Uni- and Multiprocessor {Alpha}},
    year             = {1999}