Article

Free access

Object oriented operating systems: An emerging design methodology

Author:

Ariel PashtanAuthors Info & Claims

ACM '82: Proceedings of the ACM '82 conference

Pages 126 - 131

https://doi.org/10.1145/800174.809777

Published: 01 January 1982 Publication History

PDF eReader

Abstract

Object oriented design of operating systems has evolved from pure protection considerations to a more general methodology of design as exemplified in Intel's iAPX-432 machine. This paper compares and contrasts, from an architectural point of view, eight major object oriented operating systems. Five different architectural aspects have been chosen as a basis for this analysis. These aspects include: uniformity of the object approach, object type extensibility, the process concept, the domain concept, and object implementation techniques.

References

[1]

A.K. Jones, The object model: a conceptual tool for structuring software, Lecture notes in computer science, 60, Springer-Verlag, Berlin, 1978, pp. 3-19.

Google Scholar

[2]

D.M. England, Architectural features of System 250, Operating Systems, Infotech State of the Art Report 14, 1972, pp. 395-427.

Google Scholar

[3]

D.M. England, Capability concept mechanisms and structure in System 250. Proc. of the International Workshop on Protection in Operating Systems, IRIA, Paris, August 1974, pp. 241-260.

Google Scholar

[4]

W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson & F. Pollack, Hydra: the kernel of a multiprocessor operating system. Comm. of the ACM, 17, 6, June 1974, pp. 337-345.

Digital Library

Google Scholar

[5]

W.A. Wulf, R. Levin & S.P. Harbison, Hydra/C.mmp: an experimental computer system. McGraw-Hill 1981.

Google Scholar

[6]

B.W. Lampson & H.E. Sturgis, Reflections on an operating system design. Comm. of the ACM, 19, 5, May 1976, pp. 251-265.

Digital Library

Google Scholar

[7]

R.M. Needham & R.D.H. Walker, The Cambridge CAP computer and its protection system. Proc. of the 6th Symposium on Operating System Principles, Nov. 1977, pp. 1-10.

Digital Library

Google Scholar

[8]

G.J. Popek, M. Kampe, C.S. Kline, A. Stoughton, M. Urban & E.J. Walton, UCLA Secure Unix. National Computer Conference 1979, pp. 355-364.

Google Scholar

[9]

A.K. Jones, R.J. Chansler Jr.,I. Durham, K. Schwans & S.R. Vegdahl, StarOS: a multiprocessor operating sYstem for the support of task forces. Proc. of the 7th Symposium on Operating System Principles, Dec. 1979, pp. 117-127.

Digital Library

Google Scholar

[10]

J.K. Ousterhout, D.A. Scelza & P.S.Sindhu, Medusa: an experiment in distributed operating system structure. Comm. of the ACM, 23, 2, Feb. 1980, pp. 92-105.

Digital Library

Google Scholar

[11]

K.C. Kahn, W.M. Corwin, T.D. Dennis, H. D'Hooge, D.E. Hubka, L.A. Hutchins, J.T. Montague, F.J. Pollack & M.R.Gifkins, iMAX: a multiprocessor operating system for an object-based computer. Proc. of the 8th Symposium on Operating System Principles, Dec. 1981, pp. 127-136.

Digital Library

Google Scholar

[12]

iAPX 432 object primer, manual 171858-001 rev. B, Intel corporation 1981.

Google Scholar

[13]

P.J. Denning, Fault tolerant operating systems. ACM Computing Surveys, 8, 4, Dec. 1976, pp. 359-389.

Digital Library

Google Scholar

Cited By

View all

Guerrero-Ulloa GHornos MRodríguez-Domínguez C(2020)TDDM4IoTS: A Test-Driven Development Methodology for Internet of Things (IoT)-Based SystemsApplied Technologies10.1007/978-3-030-42517-3_4(41-55)Online publication date: 3-Mar-2020
https://doi.org/10.1007/978-3-030-42517-3_4
Bittman DAlvaro PLong DMiller EYadgar GNoh S(2019)A tale of two abstractionsProceedings of the 11th USENIX Conference on Hot Topics in Storage and File Systems10.5555/3357062.3357077(11-11)Online publication date: 8-Jul-2019
https://dl.acm.org/doi/10.5555/3357062.3357077
Pashtan AUnger E(2006)Resource monitors: A design methodology for operating systemsSoftware: Practice and Experience10.1002/spe.438014080814:8(791-806)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380140808
Show More Cited By

Index Terms

Object oriented operating systems: An emerging design methodology
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems

Recommendations

Object protection in distributed systems

With reference to a distributed system consisting of nodes connected by a local area network, we consider a salient aspect of the protection problem, the representation of access permissions and protection domains. We present a model of a protection ...
A fine-grained protection mechanism in object-based operating systems
IWOOOS '96: Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)

The paper describes the design and implementation of a flexible, fine-grained protection mechanism for operating systems based on an object/thread model. The mechanism has the following features: (1) it provides fine-grained protection: each thread has ...
Enhancing program verifications by restricting object types
SAC '06: Proceedings of the 2006 ACM symposium on Applied computing

Object types are abstract specifications of object behaviors; object behaviors are abstractly indicated by object component interdependencies; and program verifications are based on object behaviors. In conventional object type systems, object component ...

Comments

Information & Contributors

Information

Published In

ACM '82: Proceedings of the ACM '82 conference

January 1982

235 pages

ISBN:0897910850

DOI:10.1145/800174

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
1,072
Total Downloads

Downloads (Last 12 months)152
Downloads (Last 6 weeks)17

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Guerrero-Ulloa GHornos MRodríguez-Domínguez C(2020)TDDM4IoTS: A Test-Driven Development Methodology for Internet of Things (IoT)-Based SystemsApplied Technologies10.1007/978-3-030-42517-3_4(41-55)Online publication date: 3-Mar-2020
https://doi.org/10.1007/978-3-030-42517-3_4
Bittman DAlvaro PLong DMiller EYadgar GNoh S(2019)A tale of two abstractionsProceedings of the 11th USENIX Conference on Hot Topics in Storage and File Systems10.5555/3357062.3357077(11-11)Online publication date: 8-Jul-2019
https://dl.acm.org/doi/10.5555/3357062.3357077
Pashtan AUnger E(2006)Resource monitors: A design methodology for operating systemsSoftware: Practice and Experience10.1002/spe.438014080814:8(791-806)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380140808
Pashtan A(1985)Operating System Models in a Concurrent Pascal EnvironmentIEEE Transactions on Software Engineering10.1109/TSE.1985.23153811:1(136-141)Online publication date: 1-Jan-1985
https://dl.acm.org/doi/10.1109/TSE.1985.231538
(1984)BibliographyCapability-Based Computer Systems10.1016/B978-0-932376-22-0.50016-8(207-218)Online publication date: 1984
https://doi.org/10.1016/B978-0-932376-22-0.50016-8

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Object protection in distributed systems

A fine-grained protection mechanism in object-based operating systems

Enhancing program verifications by restricting object types

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations