Dealing with TLB tags


Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


This paper discusses TLB tags found on various architectures, their use in single- and multi-address-space operating systems, and the implications on the L4 API.

BibTeX Entry

    author           = {Gernot Heiser},
    title            = {Dealing with {TLB} Tags},
    month            = {oct},
    editor           = {K. Elphinstone},
    year             = {2001},
    booktitle        = {2nd Workshop on Microkernels and Microkernel-based Systems},
    address          = {Lake Louise, Alta, Canada}


Served by Apache on Linux on seL4