Implications of a Virtual Memory Mechanism for Implementing Protection in a Family of Operating Systems.
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware
- Computer Systems Management and Standards