Skip to main content


Fast address-space switching on the StrongARM SA-1100 processor


Adam Wiggins and Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


The StrongARM SA-1100 is a high-speed low-power processor aimed at embedded and portable applications. Its architecture features virtual caches and TLBs which are not tagged by an address-space identifier. Consequently, context switches on that processor are potentially very expensive, as they may require complete flushes of TLBs and caches.

This report presents the design of an address-space management technique for the StrongARM which minimises TLB and cache flushes and thus context switching costs. The basic idea is to implement the top-level of the (hardware-walked) page-table as a cache for page directory entries for different address spaces. This allows switching address spaces with minimal overhead as long as the working sets do not overlap. For small (<=32MB) address spaces further improvements are possible by making use of the StrongARM's re-mapping facility. Our technique is discussed in the context of the L4 microkernel in which it will be implemented.

BibTeX Entry

    publisher        = {IEEE Computer Society Press},
    author           = {Adam Wiggins and Gernot Heiser},
    title            = {Fast Address-Space Switching on the {StrongARM} {SA-1100} Processor},
    month            = jan,
    year             = {2000},
    booktitle        = {Proceedings of the 5th Australasian Computer Architecture Conference},
    pages            = {97--104},
    address          = {Canberra, Australia}


Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.