Trustworthy Systems

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

    address          = {Lake Louise, Alta, Canada},
    author           = {Gernot Heiser},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    editor           = {K. Elphinstone},
    month            = oct,
    paperurl         = {},
    title            = {Dealing with {TLB} Tags},
    year             = {2001}