Kevin Elphinstone, Gernot Heiser, Jochen Liedtke  Home/Search
Context
Related
| unsw.edu.au/~disy/L4/...l4refman.ps.gz Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: unsw.edu.au/~disy/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Model of Address Spaces We describe address spaces as mappings. oe 0 : V ! R[fOEg is the initial address space, where V is the set of virtual pages, R the set of available physical (real) pages and OE the nilpage which cannot be accessed. Further address spaces are defined recursively as mappings oe : V ! (\Sigma \Theta V ) [fOEg, where \Sigma is the set of address spaces. It is convenient to regard each mapping as a one column table which contains oe(v) for all v2V and can be indexed by v.... (Update)
Similar documents (at the sentence level): More
68.1%: L4 Reference Manual MIPS R4x00 Version 1.0 Kernel Version.. - School Of Computer (Correct)
49.9%: L4 Reference Manual Alpha 21x64 - Potts, Winwood, Heiser (2001) (Correct)
45.5%: L4 Reference Manual - 486, Pentium, Pentium Pro - Liedtke (1996) (Correct)
Active bibliography (related documents): More All
0.3: L4 Reference Manual MIPS R4x00 Version 1.0 - Elphinstone, Heiser, Liedtke (1997) (Correct)
0.1: Towards Real µ-Kernels - Liedtke (1996) (Correct)
0.1: Virtual Memory In A 64-Bit Microkernel - Elphinstone (1999) (Correct)
Similar documents based on text: More All
0.6: Page Tables for 64-Bit Computer Systems - Elphinstone, Heiser, Liedtke (1999) (Correct)
0.5: L4 User Manual - Au, Heiser (1999) (Correct)
BibTeX entry: (Update)
@misc{ elphinstone-reference,
author = "Kevin Elphinstone and Gernot Heiser and Jochen Liedtke",
title = "L4 Reference Manual MIPS R4x00 Version 1.11",
url = "citeseer.ist.psu.edu/elphinstone99reference.html" }
Citations (may not include all citations):98 Improving IPC by kernel design - Liedtke - 1993 ACM DBLP
95 Implementation and performance of applicationcontrolled file.. - Cao, Felton et al. - 1994
73 The Digital distributed system security architecture - Gasser, Goldstein et al. - 1989
67 Page placement algorithms for large real-indexed caches - Kessler, Hill - 1992 ACM DBLP
60 kernel construction - Liedtke - 1995
53 Extensible file systems in Spring - Khalidi, Nelson - 1993 ACM DBLP
35 Dynamic page mapping policies for cache conflict resolution .. - Romer, Lee et al. - 1994 DBLP
28 HiPEC: high performance external virtual memory caching - Lee, Chen et al. - 1994 DBLP
25 A persistent system in real use -- experiences of the first .. - Liedtke - 1993
19 The Birlix security architecture (context) - Hartig, Kowalski et al. - 1993
8 IDTR and IDTR RISC Processor Hardware User's Manual (context) - Device, IDT et al. - 1995
Documents on the same site (http://www.cse.unsw.edu.au/~disy/papers/): More
The Mungi Single-Address-Space Operating System - Heiser, Elphinstone.. (1998) (Correct)
L4 on Uni- and Multiprocessor Alpha - Potts (1999) (Correct)
Distribution + Persistence = Global Virtual Memory: .. - Russell, Skea.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC