In support of domain structure for operating systems

ABSTRACT

One approach advocated in the search for better designed and more reliable operating systems is to base the design on the use of small protection domains. This paper presents empirical evidence to show that, with a suitable architecture, the overheads associated with using small protection domains do not make this an impractical approach.

REFERENCES

• 1: Theodore A. Linden, Operating System Structures to Support Security and Reliable Software, ACM Computing Surveys (CSUR), v.8 n.4, p.409-445, Dec. 1976 [doi>10.1145/356678.356682]
• 2: R. M. Needham , D. F. Hartley, Theory and practice in operating system design, Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey [doi>10.1145/961053.961058]
• 3: Cook, D.J. "The Evaluation of a Protection System", Ph.D. Thesis, Cambridge University Computer Laboratory, April 1978.
• 4: R. M. Needham, The CAP project - an interim evaluation, Proceedings of the sixth ACM symposium on Operating systems principles, p.17-22, November 16-18, 1977, West Lafayette, Indiana, United States
• 5: R. M. Needham , R. D.H. Walker, The Cambridge CAP computer and its protection system, Proceedings of the sixth ACM symposium on Operating systems principles, p.1-10, November 16-18, 1977, West Lafayette, Indiana, United States
• 6: Sturgis, H.E. "A postmortem for a time sharing system", Ph.D. Thesis, University of California, Berkeley, 1973.
• 7: Butler W. Lampson , Howard E. Sturgis, Reflections on an operating system design, Communications of the ACM, v.19 n.5, p.251-265, May 1976 [doi>10.1145/360051.360074]
• 8: W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974 [doi>10.1145/355616.364017]
• 9: Guy Almes , George Robertson, An extensible file system for hydra, Proceedings of the 3rd international conference on Software engineering, p.288-294, May 10-12, 1978, Atlanta, Georgia, United States
• 10: Ellis Cohen , David Jefferson, Protection in the Hydra Operating System, Proceedings of the fifth ACM symposium on Operating systems principles, p.141-160, November 19-21, 1975, Austin, Texas, United States
• 11: Michael D. Schroeder , Jerome H. Saltzer, A hardware architecture for implementing protection rings, Communications of the ACM, v.15 n.3, p.157-170, March 1972 [doi>10.1145/361268.361275]
• 12: Douglas Cook, Measuring memory protection, Proceedings of the 3rd international conference on Software engineering, p.281-287, May 10-12, 1978, Atlanta, Georgia, United States
• 13: Cook. D.J. "Measuring memory protection in the CAP Computer", Proc. 2nd International Symposium on Operating Systems, IRIA, France, October 1978.
• 14: Bourne, S.R., Birrell, A.D., Walker, I. "ALGOL 68C Reference Manual", Cambridge University Computer Laboratory, July 1975.

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.6 Security and Protection

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.8 Performance
          Subjects: Measurements

General Terms:
Design, Measurement, Security