Nothing Special   »   [go: up one dir, main page]

skip to main content
article
Free access

The duality of memory and communication in the implementation of a multiprocessor operating system

Published: 01 November 1987 Publication History

Abstract

Mach is a multiprocessor operating system being implemented at Carnegie-Mellon University. An important component of the Mach design is the use of memory objects which can be managed either by the kernel or by user programs through a message interface. This feature allows applications such as transaction management systems to participate in decisions regarding secondary storage management and page replacement.
This paper explores the goals, design and implementation of Mach and its external memory management facility. The relationship between memory and communication in Mach is examined as it relates to overall performance, applicability of Mach to new multiprocessor architectures, and the structure of application programs.

References

[1]
Accetta, M.J., Baron, R.V., Bolosky, W., Golub, D.B., Rashid, R.F., Tevanian, A., and Young, M.W. Mach: A New Kernel Foundation for UNIX Development. Proceedings of Summer Usenix, July, 1986.
[2]
BBNLaboratories. Butterfly Parallel ProcessorOverview. BBN Computer Company, Cambridge, MA, June, 1985.
[3]
Bisiani, R., Alleva, F., Forin, A. and Lemer, R. Agora: A Distributed System Architecture for Speech Recognition. International Conference on Acoustics, Speech and Signal Processing, IEEE, April, 1986.
[4]
ELXSI Computer, Inc. System Programmer's Reference Manual. ELXSI Computer, Inc., 1983.
[5]
Eppinger, J.L., and Spector, A.Z. Virtual Memory Management for Recoverable Objects in the TABS Prototype. Tech. Rept. CMU- CS-85-163, Carnegie-Mellon University, December, 1985.
[6]
French, R.E., R.W. Collins and L.W. Loen. 'System/38 Machine Storage Management". IBM Systerr#38 Technical Developments, IBM General Systems Division (1978), 6346.
[7]
Gupta, A. Parallel Production Systems. Ph.D. Th., Camegie Mellon University, May 1986.
[8]
Homig, D.A. Automatic Partitioning and Scheduling on a Network of Personal Computers. Ph.D. Th., Department of Computer Science, Camegie-Mellon University, November 1984.
[9]
Kahn, K.C. et al. LMAX: A Muhiprocessor Operating System for an Object-Based Computer. Prec. 8th Symposium on Operating Systems Principles, ACM, December, 1981, pp. 127-136.
[10]
Jones, A.K. The Object Model: A Conceptual Tool for Structuring Systems. In Operating Systems: An Advanced Course, Springer-Verlag, 1978, pp. 7-16.
[11]
Jones, A.K., Chansler, RJ., Durham, I.E., Schwans, K., and Vegdahl, S. StarOS, a Mulfiprocessor Operating System for the Support of Task Forces. Proceedings of the 7th Symposium on Operating System Principles, ACM, December, 1979, pp. 117-129.
[12]
Jones, M.B., Rashid, ILF., and Thompson, M.R. Sesame: The Spice File System. Department of Computer Science, Carnegie- Mellon University, October, 1982.
[13]
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-l, 5 (November 1983), 842-857.
[14]
Li, K. and Hudak, P. Memory Coherence in Shared Virtual Memory Systems. 5th Symposium on Principles of Distributed Computing, 1986.
[15]
Rashid, R.F. and Robenson, G. Accent: A Communication Oriented Network Operating System Kernel. Proceedings of the 8th Symposium on Operating System Principles, December, 1981, pp. 6475.
[16]
Rashid, R.F. From RIG to Accent to Mach: The Evolution of a Network Operating System. Proceedings of the ACM/IEEE Computer Society 1986 Fall Joint Computer Conference, ACM, November, 1986.
[17]
Rashid, R.F., Tevanian, A., Young, M.W., Golub, D.B., Baron, R.V., Black, D.L., Bolosky, W., and Chew, JJ. Machine- Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. Proceedings of the 2nd Symposium on Architectural Support for Programming Languages and Operating Systems, ACM, October, 1987.
[18]
Ritchie, D.M. and Thompson, K. "The Unix Time-Sharing System". Communications ofthe ACM 17, 7 (July 1974), 365-375.
[19]
Satyanarayanan, M., et.al. The ITC Distributed File System: Principles and Design. Prec. 10th Symposium on Operating Systems Principles, AC.M, December, 1985, pp. 35-50.
[20]
Specter, A.Z., Butcher, J., Daniels, D.S., Duchamp, D.I., Eppinger, J.L, Fineman, C.E., Heddaya, A., Schwarz, P.M. 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 Camegie-Mellon Report CMU-CS-84-132, July 1984.
[21]
Specter, A.Z. NATO Advanced Study institute - Computer and Systems Sciences. Volume: Distributed Transaction Processing and the Camelot System. In Distributed Operating Systems: Theory and Practice, Yakup Paker, Ed., Springer-Verlag, 1987. Also available as Carnegie-Mellon Report CMU-CS-87-100, January 1987.
[22]
Thacker, C.P., et al. Alto: A personal computer. In Computer Structures: Rea&'ngs and Examples, McGraw-Hi!l, 1980. Edited by D. Siewiorek, C.G. Bell, and A. Newell, second edition.
[23]
Wulf, W.A., Levin, R., and Harbison, S.P. Hydra/C.rmnp: An Experimental Computer System. McGraw-Hill, 1981.
[24]
Zayas, E.R. The Use of Copy. On-Reference in a Process Migration System. Ph.D. Th., Department of Computer Science, Carnegie- Mellon University, January 1987.

Cited By

View all
  • (2016)Use of Symmetric Multiprocessor Architecture to achieve high performance computing2016 22nd International Conference on Automation and Computing (ICAC)10.1109/IConAC.2016.7604892(42-47)Online publication date: Sep-2016
  • (2015)Evaluating Different In-Memory Cached Architectures in Regard to Time Efficiency for Big Data AnalysisPattern Analysis, Intelligent Security and the Internet of Things10.1007/978-3-319-17398-6_6(63-74)Online publication date: 21-Jun-2015
  • (2005)The CLOS project: Towards an object-oriented environment for application developmentNext Generation Information System Technology10.1007/3-540-54141-1_23(422-427)Online publication date: 8-Jun-2005
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1987
Published in SIGOPS Volume 21, Issue 5

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)254
  • Downloads (Last 6 weeks)29
Reflects downloads up to 24 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2016)Use of Symmetric Multiprocessor Architecture to achieve high performance computing2016 22nd International Conference on Automation and Computing (ICAC)10.1109/IConAC.2016.7604892(42-47)Online publication date: Sep-2016
  • (2015)Evaluating Different In-Memory Cached Architectures in Regard to Time Efficiency for Big Data AnalysisPattern Analysis, Intelligent Security and the Internet of Things10.1007/978-3-319-17398-6_6(63-74)Online publication date: 21-Jun-2015
  • (2005)The CLOS project: Towards an object-oriented environment for application developmentNext Generation Information System Technology10.1007/3-540-54141-1_23(422-427)Online publication date: 8-Jun-2005
  • (2002)Access Control Mechanisms in a Distributed, Persistent Memory SystemIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2002.104188313:10(1066-1083)Online publication date: 1-Oct-2002
  • (1993)Anonymous RPCProceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference - Volume 110.5555/1361453.1361466(1-12)Online publication date: 21-Jun-1993
  • (1992)Improving the performance of SML garbage collection using application-specific virtual memory managementACM SIGPLAN Lisp Pointers10.1145/141478.141501V:1(43-52)Online publication date: 1-Jan-1992
  • (1992)Improving the performance of SML garbage collection using application-specific virtual memory managementProceedings of the 1992 ACM conference on LISP and functional programming10.1145/141471.141501(43-52)Online publication date: 3-Jan-1992
  • (1992)A new model of abstraction for operating system design[1992] Proceedings of the Second International Workshop on Object Orientation in Operating Systems10.1109/IWOOOS.1992.252962(346-349)Online publication date: 1992
  • (1992)Reducing message latency by making message passing transparentProceedings of the Twenty-Fifth Hawaii International Conference on System Sciences10.1109/HICSS.1992.183209(593-599 vol.1)Online publication date: 1992
  • (1992)Multiprocessing10.1016/S0065-2458(08)60597-5(255-324)Online publication date: 1992
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media