School of Computer Science and Engineering The University of New South Wales...  Home/Search
Context
Related
| unsw.edu.au/pub/doc/papers/U...9709.pdf Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: unsw.edu.au/school/research/tr (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 whichcontains oe(v) for all v2V and can be indexed by v. We ... (Update)
Similar documents (at the sentence level): More
78.1%: L4 Reference Manual MIPS R4x00 Version 1.11 - Elphinstone, Heiser, Liedtke (1999) (Correct)
53.8%: L4 Reference Manual Alpha 21x64 - Potts, Winwood, Heiser (2001) (Correct)
50.5%: L4 Reference Manual - 486, Pentium, Pentium Pro - Liedtke (1996) (Correct)
Active bibliography (related documents): More All
0.2: L4 Reference Manual MIPS R4x00 Version 1.0 - Elphinstone, Heiser, Liedtke (1997) (Correct)
0.1: Towards Real µ-Kernels - Liedtke (1996) (Correct)
0.1: Toward Real Microkernels - Liedtke (1996) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.8: Page Tables for 64-Bit Computer Systems - Elphinstone, Heiser, Liedtke (1999) (Correct)
0.7: The Mungi Single-Address-Space Operating System - Heiser, Elphinstone.. (1998) (Correct)
0.7: Implementation and Performance of the Mungi.. - Heiser.. (1997) (Correct)
BibTeX entry: (Update)
@misc{ computer-reference,
author = "School Of Computer",
title = "L4 Reference Manual MIPS R4x00 Version 1.0 Kernel Version 70 Kevin Elphinstone,
Gernot Heiser",
url = "citeseer.ist.psu.edu/561808.html" }
Citations (may not include all citations):98 Improving IPC by kernel design - Liedtke - 1993 ACM DBLP
95 Implementation and performance of application-controlled fil.. - Cao, Felton et al. - 1994 DBLP
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
1 IDTRfl and IDTR RISC Processor Hardware User's Manual (context) - Device, fl et al. - 1995
Documents on the same site (http://www.cse.unsw.edu.au/school/research/tr.html): More
Forced Simulation: A Formal Approach to Component-Based.. - Roop, Sowmya, Ramesh (1999) (Correct)
Medium Access Control for Synchronous Traffic in the AMNET LAN - Goodall, Burston (Correct)
A Parallel Approach to High-Speed Protocol Processing - Chan, Gorton (1994) (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