Trustworthy Systems

Dealing with TLB tags

Authors

Gernot Heiser

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

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

  @inproceedings{Heiser_01,
    address          = {Lake Louise, Alta, Canada},
    author           = {Gernot Heiser},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    editor           = {K. Elphinstone},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_01.pdf},
    title            = {Dealing with {TLB} Tags},
    year             = {2001}
  }

Download