Implications of a Virtual Memory Mechanism for Implementing Protection in a Family of Operating Systems.
Abstract
The dissertation proposes the design of a virtual memory mechanism. The proposed virtual memory is unusual in that it advocates the use of restricted address spaces and supports large programming systems by providing a means for programs to transfer control from one address space to another. The goals of the virtual memory design are: To increase program reliability; to provide all necessary system protection; to aid in more efficient memory management. The virtual memory design is intended for use in a family of hierarchically structured operating systems. The position of the virtual memory in the hierarchy assists in operating system reliability and provides a foundation for implementing a broad class of protection policies. A method of verifying software design is demonstrated and applied to the virtual memory design. Several suggestions for more suitable virtual memory hardware are provided. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1973
- Accession Number
- AD0766292
Entities
People
- William Robert Price
Organizations
- Carnegie Mellon University