Fast address-space switching on the StrongARM SA-1100 processor

Proceedings - 5th Australasian Computer Architecture Conference, ACAC 2000

Volumn , Issue , 2000, Pages 97-104

  Wiggins, A ^a   Heiser, G ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

VIRTUAL ADDRESSES;

ADDRESS SPACE; CONTEXT SWITCH; CONTEXT SWITCHING; HIGH-SPEED LOW-POWER; ITS ARCHITECTURE; PAGE TABLE; PORTABLE APPLICATIONS; WORKING SET;

COMPUTER ARCHITECTURE;

EID: 84962921150     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACAC.2000.824330     Document Type: Conference Paper

References (10)

1. A. Au and G. Heiser. L4 User Manual. SCS&E, UNSW, Sydney 2052, Australia, Jan. 1998. UNSW-CSE-TR-9801. Available from http://www.cse.unsw.edu.au/~disy/L4/.
2. K. Bala, M. F. Kaashoek, and W. E. Weihl. Software prefetching and caching for translation lookaside buffers. In Proc. 1st OSDI, pages 243-253, Monterey, CA, USA, 1994. USENIX/ACM/IEEE.
3. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In Proc. 16th SOSP, pages 66-77, St. Malo, France, Oct. 1997.
4. G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, and J. Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901-928, July 1998.
5. Intel Corp. SA-1100 Microprocessor Technical Reference Manual, Sept. 1998. Order no: 278088- 001.
6. D. Jagger, editor. Advanced RISC Machines Architecture Reference Manual. Prentice Hall, July 1995.
7. H. M. Levy and P. H. Lipman. Virtual memory management in the VAX/VMS operating system. IEEE Computer, 15(3):35-41, Mar. 1982.
8. J. Liedtke. Improved address-space switching on Pentium processors by transparently multiplexing user address spaces. Technical Report 933, GMD SET-RS, Schloß Birlinghoven, 53754 Sankt Augustin, Germany, Nov. 1995.
9. J. Liedtke. On μ-kernel construction. In Proc. 15th SOSP, pages 237-250, Copper Mountain, CO, USA, Dec. 1995.
10. J. Liedtke. L4 Reference Manual. GMD/IBM, Sept. 1996. Available from URL http://www.inf.tu-dresden.de/~mh1/l3/.