The design of the Venus operating system

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 microprograms 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.

REFERENCES

• 1: Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
• 2: Huberman, B.J. Principles of operation of the Venus microprogram. MTR 1843, F19(628)-71-C-0002, The MITRE Corporation, Bedford, Mass., May 1970.
• 3: Corbato, F.J., and Vyssotsky, V.A. Introduction and overview of the Multics system. Proc. AFIPS 1965 FJCC, Vol. 27, Pt 1, Spartan Books, New York, pp. 185-196.
• 4: J. H. Saltzer, TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER, Massachusetts Institute of Technology, Cambridge, MA, 1966
• 5: A. N. Habermann, Prevention of system deadlocks, Communications of the ACM, v.12 n.7, p.373-ff., July 1969 [doi>10.1145/363156.363160]
• 6: Richard C. Holt, Comments on prevention of system deadlocks, Communications of the ACM, v.14 n.1, p.36-38, Jan. 1971 [doi>10.1145/362452.362486]
• 7: E. G. Coffman , M. Elphick , A. Shoshani, System Deadlocks, ACM Computing Surveys (CSUR), v.3 n.2, p.67-78, June 1971 [doi>10.1145/356586.356588]

INDEX TERMS

Keywords:
data sharing, levels of abstraction, machine architecture, microprogramming, multi-programming, operating systems, process communication, processes, resource management deadlock, segments, semaphores, system design, virtual devices, virtual machines