Implications of a virtual memory mechanism for implementing protection in a family of operating systems
William Robert Price · Defense Technical Information Center (DTIC) · 1973
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)