Article

Free access

Generic virtual memory management for operating system kernels

Authors:

M. ShapiroAuthors Info & Claims

SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles

Pages 123 - 136

https://doi.org/10.1145/74850.74863

Published: 01 November 1989 Publication History

Abstract

We discuss the rationale and design of a Generic Memory management Interface, for a family of scalable operating systems. It consists of a general interface for managing virtual memory, independently of the underlying hardware architecture (e.g. paged versus segmented memory), and independently of the operating system kernel in which it is to be integrated. In particular, this interface provides abstractions for support of a single, consistent cache for both mapped objects and explicit I/O, and control of data caching in real memory. Data management policies are delegated to external managers.

A portable implementation of the Generic Memory management Interface for paged architectures, the Paged Virtual Memory manager, is detailed. The PVM uses the novel history object technique for efficient deferred copying. The GMI is used by the Chorus Nucleus, in particular to support a distributed version of Unix. Performance measurements compare favorably with other systems.

References

[1]

V. Abrossimov, M. Rozier, and M. Gien. Virtual Memory Management in Chorus. In Lecture Notes in Com. purer Sciences, Workshop on Progress in Distributed Systems Management, Springer-Verlag, Berlin (Germany) April 1989.

Digital Library

[2]

F. Armand, M. Glen, F. Herrmann and M. Rosier. Revolution 89 or "Distributing Unix Brings it Back to its Original Virtues". In Proc. "Workshop on Experiences with Building Distributed (and Multiprocessor) Systems", Ft. Lauderdale FL (USA), October 1989.

[3]

D.G. Bobrow et al. TENEX, a paged time sharing system for PDP-10. Communications of the A CMxx, 15(3), 1972.

Digital Library

[4]

David R. Cheriton. The Unified Management of Memory in the V Distributed System. Technical Report, Computer Science, Stanford University CA (USA), 1988.

[5]

Robert A. Gingell, Joseph P. Moran, and William A. Shannon. Virtual Memory Architecture in SunOS. In Proc. USENIX Summer'87 Conference, Phoenix AR (USA), June 1987.

[6]

Fr~d6ric Herrmann, Francois Armand, Marc Rosier, Michel Glen, Vadim Abrossimov, Ivan Boule, Marc Guillemont, Pierre L~onard, Sylvain Langlois, and Will N euhauser. Chorus, a new technology for building Unix systems. In Proc. EUUG Autumn '88 Conference, Cascais (Portugal), October 1988.

[7]

Paul J. Leach, Paul It. Levine, James A. Hamilton, and Bernard L. Stumpf. The file system of an integrated local network, in ACM Computer Science Conference, New Orleans LA (USA), March 1985.

Digital Library

[8]

Kai Li and Paul H udak. Memory coherence in shared virtual memory systems. In Proc. Principles of Distributed Computing (PODC} Symposium, pages 229- 239, 1986.

Digital Library

[9]

Jose Aires Marques, Roland Balter, Vinny Cahill, P~ulo Guedes, Neville Harris, Chris Horn, Sachs Krakowiak, Andre Kramer, John Slattery, and Gerard Vend6me. Implementing the Comandos architecture. In Esprit'88: Putting the Technology to Use, pages 1140- 1157, 1988 North-Holland.

[10]

R~gls Minor, Pierre Courcoureux, Hubert Zimmerin~nn, Jean-Jacques Germond, Paolo Alvari, Vincenzo Ambriola, and Ted Dowling. The spirit of Aphrodite. In Proc. Esprit Technical Week 1988, Brussels (Belgium), pages 519-539, November 1988.

[11]

Michael N. Nelson, Brent B. Welch, and John K. Ousterhout. Caching in the Sprite Network File System. In A CM Transactions on Computer Systems, 6(1), February 1988.

Digital Library

[12]

Michael N. Nelson and John K. Ousterhout. Copy-onwrite for Sprite. In Proc. Summer Usenix '88 Conf., San Francisco CA (USA), pages 187-201, June 1988.

[13]

Richard Rashid, Avadis Tevanian, Michael Young, David Young, Robert Baron, David Black, William Bolosky, and Jonathan Chew. Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures, iEEE Transactions on Computers, 37(8):896-908, August 1988.

Digital Library

[14]

Marc Rozier and Jos~ Legatheaux-Martins. The Chorus distx'ibuted operating system: some design issues. In Distributed Operating Systems, Theory and Practice, Springer-Verlag, Berlin, 1987.

[15]

Marc Rozier, Vadim Abrossimov, Francois Armand, Ivan Boule, Michel Gien, Marc Gnillemont, Fr~,d6ric Herrmann, Pierre L6onard, Sylvain Langlois, and Will Neuhauser. Chorus distributed operating systems. Computing Systems, 1 (4), 1988.

[16]

Marc Shapiro. The design of a distributed objectoriented operating system for office applications. In Proc. Esprit Technical Week 1988, Brussels (Belgium), November 1988.

[17]

Andrew S. Tanenbaum, Sape J. Mnllender, and Robbert van Renesse. Using sparse capabilities in a distributed operating system. In Proc. 6th IEEE Int. Conf. on Distributed Computing Systems, Cambridge, MA (USA), May 1986.

[18]

Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathan Chew, William Bolosky, David Black and Robert Baron. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. ill Proc. 11th A CM Syrup. on Operating Systems Principles, Austin TX (USA), November 1987.

Digital Library

[19]

Hubert Zimmermann, Jean-Serge Banino, Alain Caristan, Marc Guillemont, and G~rard Morisset. Basic Concepts for the Support of Distributed Systems: the CHORUS approach. In Proc. ~nd IEEE int. Conf. on Distributed Computing Systems, Vex'sailles (France), April 1981.

Cited By

Kwon OLee YPark JJang STak BHong S(2024)Distributed Page Table: Harnessing Physical Memory as an Unbounded Hashed Page Table2024 57th IEEE/ACM International Symposium on Microarchitecture (MICRO)10.1109/MICRO61859.2024.00013(36-49)Online publication date: 2-Nov-2024
https://doi.org/10.1109/MICRO61859.2024.00013
Yang PFang HLin J(2018)AnseriniJournal of Data and Information Quality10.1145/323957110:4(1-20)Online publication date: 29-Oct-2018
https://dl.acm.org/doi/10.1145/3239571
Hopfgartner FHanbury AMüller HEggel IBalog KBrodt TCormack GLin JKalpathy-Cramer JKando NKato MKrithara AGollub TPotthast MViegas EMercer S(2018)Evaluation-as-a-Service for the Computational SciencesJournal of Data and Information Quality10.1145/323957010:4(1-32)Online publication date: 29-Oct-2018
https://dl.acm.org/doi/10.1145/3239570
Show More Cited By

Index Terms

Generic virtual memory management for operating system kernels
1. General and reference
  1. Cross-computing tools and techniques
    1. Measurement
2. Software and its engineering

Recommendations

Generic virtual memory management for operating system kernels

We discuss the rationale and design of a Generic Memory management Interface, for a family of scalable operating systems. It consists of a general interface for managing virtual memory, independently of the underlying hardware architecture (e.g. paged ...
Enabling Hybrid PCM Memory System with Inherent Memory Management
RACS '16: Proceedings of the International Conference on Research in Adaptive and Convergent Systems

Replacing the traditional volatile main memory, e.g., DRAM, with a non-volatile phase change memory (PCM) has become a possible solution to reduce the energy consumption of computing systems. To further reduce the bit cost of PCM, the development trend ...
ISLAB: Immutable Memory Management Metadata for Commodity Operating System Kernels
ASIA CCS '24: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security

Kernel memory allocators maintain several metadata structures optimized for efficiently managing system memory. However, existing implementations adopt either weak or no protection at all to ensure the integrity of said metadata in the presence of memory ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles

November 1989

224 pages

ISBN:0897913388

DOI:10.1145/74850

Chairman:
Greg Andrews
Univ. of Arizona, Tucson

ACM SIGOPS Operating Systems Review Volume 23, Issue 5
Dec. 3–6, 1989
223 pages
DOI:10.1145/74851
Editor:
Roy Levin
Digital Equimpment Corp, Palo Alto, CA
Issue’s Table of Contents

Copyright © 1989 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOSP89

Sponsor:

SIGOPS

SOSP89: 12th ACM Symposium on Operating Systems Principles

Acceptance Rates

Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

SOSP '25

Sponsor:
sigops

ACM SIGOPS 31st Symposium on Operating Systems Principles

October 13 - 16, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

59
Total Citations
View Citations
3,876
Total Downloads

Downloads (Last 12 months)722
Downloads (Last 6 weeks)64

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kwon OLee YPark JJang STak BHong S(2024)Distributed Page Table: Harnessing Physical Memory as an Unbounded Hashed Page Table2024 57th IEEE/ACM International Symposium on Microarchitecture (MICRO)10.1109/MICRO61859.2024.00013(36-49)Online publication date: 2-Nov-2024
https://doi.org/10.1109/MICRO61859.2024.00013
Yang PFang HLin J(2018)AnseriniJournal of Data and Information Quality10.1145/323957110:4(1-20)Online publication date: 29-Oct-2018
https://dl.acm.org/doi/10.1145/3239571
Hopfgartner FHanbury AMüller HEggel IBalog KBrodt TCormack GLin JKalpathy-Cramer JKando NKato MKrithara AGollub TPotthast MViegas EMercer S(2018)Evaluation-as-a-Service for the Computational SciencesJournal of Data and Information Quality10.1145/323957010:4(1-32)Online publication date: 29-Oct-2018
https://dl.acm.org/doi/10.1145/3239570
Klimiankou Y(2017)M-M/S-CD Memory Management: Conceptual and System Models2017 Ivannikov ISPRAS Open Conference (ISPRAS)10.1109/ISPRAS.2017.00016(51-57)Online publication date: Nov-2017
https://doi.org/10.1109/ISPRAS.2017.00016
Xu LLi MZhang LButt AWang YHu Z(2016)MEMTUNE: Dynamic Memory Management for In-Memory Data Analytic Platforms2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS)10.1109/IPDPS.2016.105(383-392)Online publication date: May-2016
https://doi.org/10.1109/IPDPS.2016.105
Souza JRufino J(2015)The Wi-STARK architecture for resilient real-time wireless communicationsACM SIGBED Review10.1145/2724942.272495211:4(61-66)Online publication date: 22-Jan-2015
https://dl.acm.org/doi/10.1145/2724942.2724952
Imes CHoffmann H(2015)Minimizing energy under performance constraints on embedded platformsACM SIGBED Review10.1145/2724942.272495011:4(49-54)Online publication date: 22-Jan-2015
https://dl.acm.org/doi/10.1145/2724942.2724950
Benmoussa YBoukhobza JSenn EBenazzouz D(2015)On the energy efficiency of parallel multi-core vs hardware accelerated HD video decodingACM SIGBED Review10.1145/2724942.272494611:4(25-30)Online publication date: 22-Jan-2015
https://dl.acm.org/doi/10.1145/2724942.2724946
Abeni LLipari GLelli J(2015)Constant bandwidth server revisitedACM SIGBED Review10.1145/2724942.272494511:4(19-24)Online publication date: 22-Jan-2015
https://dl.acm.org/doi/10.1145/2724942.2724945
Baunach M(2012)CoMemReal-Time Systems10.5555/2124661.212469748:1(75-100)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.5555/2124661.2124697
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten