Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures

Abstract

This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting that system to a variety of architectures. As of this writing, Mach runs on more than half a dozen uniprocessors and multiprocessors including the VAX family of uniprocessors and multiprocessors, the IBM RT PC, the SUN 3, the Encore MultiMax, the Sequent Balance 21000 and several experimental computers. Although these systems vary considerably in the kind of hardware support for memory management they provide, the machine-dependent portion of Mach virtual memory consists of a single code module and its related header file. This separation of software memory management from hardware support has been accomplished without sacrificing system performance. In addition to improving portability, it makes possible a relatively unbiased examination of the pros and cons of various hardware memory management schemes, especially as they apply to the support of multiprocessors.

References

1. Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, Michael Young. Mach: A New Kemel Foundation for UNIX Development. Proceedings of Summer Usenix, July, 1986.
2. Bisiani, R., Alleva, F., Forin, A. and R. Lerner. Agora: A Distributed System Architecture for Speech Recognition. International Conference on Acoustics, Speech and Signal Processing, IEEE, April, 1986.
3. Bisiani, R. and Forin, A. Architectural Support for Multilanguage Parallel Programming on Heterogeneous Systems. 2nd International Conference on Architectural Support for Programming Languages and Operating Systems, Palo Alto, October, 1987.
4. Sequent Computer Systems, Inc. Dynix Programmer's Manual. Sequent Computer Systems, Inc., 1986.
5. French, R. E., R. W. Collins and L. W. Loen. "System/38 Machine Storage Management". IBM System/38 Technical Developments, IBM General Systems Division (1978), 63--66.
6. Leach, P. L., P. H. Levine, B. P. Douros, J. A. Hamilton, D. L. Nelson and B. L. Stumpf. "The Architecture of an Integrated Local Network". IEEE Journal on Selected Areas in Communications SAC-1, 5 (November 1983), 842--857.
7. Organick, E. I. The Multics System: An Examination of Its Structure. MIT Press, Cambridge, Mass., 1972.
8. Rashid, R. F. and Robertson, G. Accent: A Communication Oriented Network Operating System Kemel. Proc. 8th Symposium on Operating Systems Principles, December, 1981, pp. 64--75.
9. Alfred Z. Spector, Jacob Butcher, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Charles E. Fineman, Abdelsalam Heddays, Peter M. Schwarz. Support for Distributed Transactions in the TABS Prototype. Proceedings of the 4th Symposium on Reliability in Distributed Software and Database Systems, October, 1984. Also available as Carnegie-Mellon Report CMU-CS-84-132, July 1984.
10. Encore Computing Corporation. UMAX 4.2 Programmer's Reference Manual. Encore Computing Corporation, 1986.
11. Wulf, W. A., R. Levin and S. P. Harbison. HydralC. mmp: An Experimental Computer System. McGraw-Hill, 1981.
12. Young, M. W. et. al. The Duality of Memory and Communication in Mach. Proc. 11th Symposium on Operating Systems Principles, ACM, November, 1987, pp.
13. Zayas, Edward, Process Migration. Ph.D. Th., Department of Computer Science, Carnegie-Mellon University, January 1987.

Index Terms

• Computer systems organization

  • Dependable and fault-tolerant systems and networks

• General and reference

  • Cross-computing tools and techniques

    • Performance

• Hardware

  • Integrated circuits

    • Semiconductor memory

      • Dynamic memory

• Networks

  • Network performance evaluation

• Software and its engineering

  • Software organization and properties

    • Contextual software domains

      • Operating systems