The design of the Venus Operating System

Authors:
Barbara H. Liskov
Affiliations:
-
Venue:
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Year:
1971

Citing 0
Cited 4

An overview of the ISPL computer systems design

Communications of the ACM
Locality in software systems

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A model highlighting the security of operating systems

ACM '74 Proceedings of the 1974 annual conference - Volume 1
The current state of minicomputer software

AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference

Quantified Score

Hi-index	0.02

Visualization

Abstract

The Venus Operating System is an experimental multiprogramming system which supports five or six concurrent users on a small computer. The system was produced to test the effect of machine architecture on complexity of software. The system is defined by a combination of micro-programs and software. The microprogram defines a machine with some unusual architectural features; the software exploits these features to define the operating system as simply as possible. In this paper the development of the system is described, with particular emphasis on the principles which guided the design.