Kevin John Elphinstone  Home/Search
Context Related
| unsw.edu.au/pub/us...hinstone:phd.ps.gz 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/~gernot/pe...students (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Virtual memory is a feature of most operating systems. It presents a level of indirection between the addresses that an application views, and the physical memory addresses used by the hardware. The benefits of virtual memory include: security, reliability, application transparent relocation of physical memory, and cache partitioning. The page table is a critical component of a paged virtual memory system. The page table contains the set of translations that map virtual addresses to physical... (Update)
Context of citations to this paper: More
...the loop terminates. 5. 3 GPT Refill The L4 MIPS micro kernel contains code for many different alternative page table implementations [28]. One of the options in L4 MIPS is for a guarded page table to refill the TLB directly. Figure 5.4 shows the internal node format for this...
Cited by: More
A New Virtual Memory Implementation for L4/MIPS - Szmajda (1999) (Correct)
Active bibliography (related documents): More All
1.6: Page Tables for 64-Bit Computer Systems - Elphinstone, Heiser (1998) (Correct)
1.6: Issues in Implementing Virtual Memory - Elphinstone, Russell, Heiser (Correct)
1.2: Transparent Operating System Support for Superpages - Navarro (2002) (Correct)
Similar documents based on text: More All
1.3: Guarded Page Tables on the MIPS R4600 - Jochen Liedtke Gmd (1995) (Correct)
0.7: Itanium Page Tables and TLB - Chapman, Wienand, Heiser (2003) (Correct)
0.2: Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
Related documents from co-citation: More All
2: The Art of Computer Programming (context) - Knuth - 1968
BibTeX entry: (Update)
Kevin Elphinstone, Virtual Memory in a 64-bit Micro-kernel,PhD Thesis, UNSW,1999. ftp://ftp.cse.unsw.edu.au/pub/users/disy/papers/Elphinstone:phd.ps.gz http://citeseer.ist.psu.edu/elphinstone99virtual.html More
@misc{ elphinstone99virtual,
author = "K. Elphinstone",
title = "Virtual Memory in a 64-bit Micro-kernel",
text = "Kevin Elphinstone, Virtual Memory in a 64-bit Micro-kernel,PhD Thesis,
UNSW,1999. ftp://ftp.cse.unsw.edu.au/pub/users/disy/papers/Elphinstone:phd.ps.gz",
year = "1999",
url = "citeseer.ist.psu.edu/elphinstone99virtual.html" }
Citations (may not include all citations):1575 Computer architecture: A quantitative approach (context) - Patterson, Hennessy - 1990
444 MACH: A new kernel foundation for UNIX development (context) - Accetta, Baron et al. - 1986
320 Measurements of a distributed file system - Baker, Hartman et al. - 1991
193 An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983
157 The Art of Computer Programming: Sorting and Searching (context) - Knuth - 1973
152 A trace-driven analysis of the UNIX (context) - Ousterhout, De Costa et al. - 1985
125 ACM Transactions on Computer Systems (context) - Chang, Mergen et al. - 1988
116 Sharing and protection in a single-address-space operating s.. - Chase, Levy et al. - 1994
101 The Multics System: An Examination of its Structure (context) - Organick - 1972
81 HYDRA: the kernel of a multiprocessor operating system (context) - Wulf, Cohen et al. - 1974
79 Column-associative caches: A technique for reducing the miss.. (context) - Agarwal, Pudar - 1993
70 Design tradeoffs for software-managed TLBs - Nagle, Uhlig et al. - 1993
70 Design tradeoffs for software-managed TLBs - Uhlig, Nagle et al. - 1994
65 A case for two-way skewed-associative caches - Seznec - 1993
60 MIPS Risc Architecture (context) - Kane, Heinrich - 1991
52 A simulation based study of TLB performance - Chen, Borg et al. - 1992
51 Precision architecture (context) - Lee - 1989
49 Virtual memory architecture in SunOS - Gingell, Moran et al. - 1987
48 Tradeoffs in supporting two page sizes - Talluri, Kong et al. - 1992
48 A study of file sizes and functional lifetimes (context) - Satyanarayanan - 1981
43 On micro-kernel construction - Liedtke - 1995
43 Software prefetching and caching for translation lookaside b.. - Bala, Kaashoek et al. - 1994
43 Softwarecontrolled caches in the VMP multiprocessor (context) - Cheriton, Slavenburg et al. - 1986
40 The Mungi single-address-space operating system - Heiser, Elphinstone et al. - 1998
40 ACM Transactions on Computer Systems (context) - Clark, Emer et al. - 1985
37 MONADS-PC - A capabilitybased workstation to support softwar.. (context) - Rosenberg, Abramson - 1985
35 The Integration of Virtual Memory Management and Interproces.. (context) - Fitzgerald, Rashid - 1986
34 Alpha 21164 Microprocessor Hardware Reference Manual (context) - Corporation, Massachusetts - 1996
31 Reducing TLB and memory overhead using online superpage prom.. - Romer, Ohlrich et al. - 1995
31 The nucleus of a multiprogramming system (context) - Hansen - 1970
30 Microprocessor User's Manual (context) - Heinrich - 1993
28 Virtual memory primitives for user programs - Appel, Li - 1991
25 A persistent system in real use: Experiences of the first 13.. - Liedtke - 1993
22 Software-managed address translation - Jacob, Mudge - 1997
21 Virtual memory management in the VAX/VMS operating system (context) - Levy, Lipman - 1982
20 Use of Superpages and Subblocking in the Address Translation.. (context) - Talluri - 1995
20 Computing Surveys (context) - Denning - 1970
20 A new page table for 64-bit address spaces - Talluri, Hill et al. - 1995
20 cache address translation mechanism (context) - Wood, Eggers et al. - 1986
18 A comparative study of of set associative memory mapping alg.. (context) - Smith - 1978
18 Machine-independent virtual memory management for paged unip.. - Rashid, Tevavian et al. - 1988
17 Translation-lookaside buffer consistency (context) - Teller - 1990
15 Algorithms and Data Structures --- Design (context) - Kingston - 1990
13 Big Memories on the Desktop (context) - Mogul - 1993
13 Virtual memory in contemporary microprocessors - Jacob, Mudge - 1998
13 Communications of the ACM (context) - Peterson, Theodore - 1977
12 WSCLOCK -- a simple and effective algorithm for virtual memo.. (context) - Carr, Hennessy - 1981
12 A look at several memory management units (context) - Jacob, Mudge - 1998
11 Achieved IPC performance (context) - Liedtke, Elphinstone et al. - 1997
11 Protection domain extensions in Mungi - Vochteloo, Elphinstone et al. - 1996
11 kernel-based systems (context) - Hartig, Hohmuth et al. - 1997
10 Page placement algorithms for large real-index caches (context) - Kessler, Hill - 1992
9 An Operating System Structure for Wide-Address Architectures (context) - Chase - 1995
8 Microprocessor memory management units (context) - Milenkovic - 1990
8 IDTR and IDTR RISC Processor Hardware User's Manual (context) - Technology, IDT et al. - 1995
7 the Realization Of Huge Sparsely-Occupied and Fine-Grained A.. (context) - Liedtke - 1996
7 Architecture of the IBM System (context) - Case, Padegs - 1978
7 Operating system support on a RISC (context) - DeMoney, Moore et al. - 1986
7 Dynamic storage allocation in the Atlas computer (context) - Fotheringham - 1961
7 Virtual to real address translation using hashing (context) - Cocke - 1981
5 Order no (context) - System, developments - 1978
5 Shared libraries on UNIX System V (context) - Arnold - 1986
5 Some Issues for Single Address Space Systems - Chase, Feeley et al. - 1993
5 The Multics virtual memory (context) - Bensoussan, Clingen et al. - 1969
4 Design and implementation of an objectoriented 64-bit single.. (context) - Murray, Wilkinson et al. - 1993
4 Virtual Memory Support for Multiple Page Sizes - Khalidi, Talluri et al. - 1993
4 A watermark-based lazy buddy system for kernel memory alloca.. (context) - Lee, Barkley - 1989
4 A study of the structure and performance of MMU handling sof.. - Khalidi, Joshi et al. - 1994
3 Guarded page tables on the MIPS R - Liedtke, Elphinstone - 1995
3 Optimizing the performance of dynamically-linked programs (context) - Ho, Chang et al. - 1995
3 Hardware address translation for machines with a large virtu.. (context) - Ramamohanarao, Sacks-Davis - 1981
3 Operating Systems Review (context) - Smith, paging et al. - 1978
2 SPECint95 Benchmark/SPECfp95 Benchmark (context) - Evaluation, Manassas et al. - 1995
2 Benchmark collection (context) - Aburto - 1998
2 Address space management issues in the Mungi operating syste.. - Elphinstone - 1993
1 Second bibliograpy on cache memories (context) - Smith - 1991
1 Computer Architecture News (context) - Smith, readings et al. - 1986
1 BSD Programmer's Supplementary Documents (context) - McKusick, Karels et al. - 1994
1 column and skewed associative TLBs using SPEC (context) - Channon, Lai et al. - 1997
1 Spitfire Programmer's Reference (context) - Young - 1994
1 Technical Report UNSW-CSE-TR (context) - Elphinstone, Heiser et al. - 1997
1 Random number generator C source code (context) - Peterson - 1998
1 A short note on implementing thread exclusiveness and addres.. - Liedtke - 1994
1 Implementation and Performance of Protection in the Mungi Si.. (context) - Vochteloo - 1999
Documents on the same site (http://www.cse.unsw.edu.au/~gernot/persona/students.html):
Design, Implementation and Performance of Protection in the.. - Vochteloo (1998) (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