Abstract
A recent trend in operating system design [1,2,6,7] is to consider the design as a hierarchy of abstract machines. The problem is viewed as constructing a “users' machine” from a given hardware machine by means of software. Rather than do this in one large step, a progression of abstract machines are defined starting at the hardware machine and ending with the users' machine. Each new machine is “built from” the earlier machines, adding to their capabilities.
This approach appears to be a strong positive step toward bringing more discipline to the software development process. Liskov [6, 7] carefully documents the advantages. She also tries to establish formal rules to guide the process and relates this approach to structured programming [3, 8].
- 1 E. W. Dijkstra, "Hierarchical Ordering of Sequential Processes", Acta Informatica 1, 2, (1971), Springer-Verlag, N.Y., 115-138.]]Google ScholarDigital Library
- 2 E. W. Dijkstra, "The Structure of the "THE" - Multiprogramming System", CACM 11, 5, (May 1968), 341-346.]] Google ScholarDigital Library
- 3 E. W. Dijkstra, "Structured Programming", Software Engineering Techniques, J. N. Buxton and B. Randall (eds.), October 1969, 84-88.]]Google Scholar
- 4 R. Stockton Gaines, "An Operating System Based on the Concept of a Supervisory Computer", CACM 15, 3, (March 1972), 150-156.]] Google ScholarDigital Library
- 5 IBM System/360 Principles of Operation, Form No. A22-6821, IBM Corp., Poughkeepsie, N.Y.]] Google ScholarDigital Library
- 6 B. H. Liskov, "Guidelines for Design and Implementation of Reliable Software Systems", MITRE Tech. Rept., MTR-2345, April 1972.]]Google Scholar
- 7 B. H. Liskov, and E. Towster, "The Proof of Correctness Approach to Reliable Systems", MITRE Tech. Rept., MTR-2073, March 1971.]]Google Scholar
- 8 H. D. Mills, "Structured Programming in Large Systems", Debugging Techniques in Large Systems, R. Rustin (ed.), Prentice Hall, Inc., Englewood Cliffs, N.J., 41-55.]]Google Scholar
Index Terms
- Abstract machines and software design
Recommendations
Abstract machines and software design
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systemsA recent trend in operating system design [1,2,6,7] is to consider the design as a hierarchy of abstract machines. The problem is viewed as constructing a “users' machine” from a given hardware machine by means of software. Rather than do this in one ...
Wavelet twin support vector machines based on glowworm swarm optimization
Twin support vector machine is a machine learning algorithm developing from standard support vector machine. The performance of twin support vector machine is always better than support vector machine on datasets that have cross regions. Recently ...
PAC-Bayes bounds for twin support vector machines
Twin support vector machines are regarded as a milestone in the development of support vector machines. Compared to standard support vector machines, they learn two nonparallel hyperplanes rather than one as in standard support vector machines for ...
Comments