A survey of customizability in operating systems research

ACM Computing Surveys

Volumn 34, Issue 4, 2002, Pages 450-468

  Denys, G ^a,d   Piessens, F ^b,c   Matthijs, F ^b  

^a CoWare ^*

^b UNIVERSITY OF LEUVEN   (Belgium)

^c FUND FOR SCIENTIFIC RESEARCH   (Belgium)

^d KU Leuven ^*  (United States)

Author keywords

Customizability; Microkernels; Operating systems; Software protection mechanisms

Indexed keywords

CUSTOMIZABILITY; MICROKERNELS; OPERATING SYSTEMS; SOFTWARE PROTECTION MECHANISMS; TAXONOMY;

COMPUTER SOFTWARE; RESEARCH AND DEVELOPMENT MANAGEMENT; RESOURCE ALLOCATION; SECURITY SYSTEMS;

COMPUTER OPERATING SYSTEMS;

EID: 24944455720     PISSN: 03600300     EISSN: 03600300     Source Type: Journal    
DOI: 10.1145/592642.592644     Document Type: Review

References (43)

1. ARNOLD, K. AND GOSLING, J. 1996. The Java programming language. Addison-Wesley.
2. BACK, G., TULLMANN, P., STOLLER, L., HSIEH, W. C., AND LEPREAU, J. 1998. Java operating systems: Design and implementation. Tech. Rep. UUCS-98015, Dept. of Computer Science, University of Utah. 6,.
3. BERSHAD, B. N., CHAMBERS, C., EGGERS, S. J., MAEDA, C., MCAMEE, D., PARDYAK, P., SAVAGE, S., AND SIRER, E. G. 1994. SPIN - An extensible microkernel for application-specific operating system services. In ACM SIGOPS European Workshop. 68-71.
4. BERSHAD, B. N., SAVAGE, S., PARDYAK, P., SIRER, E. G., BECKER, D., FIUCZYNSKI M., CHAMBERS, C., AND EGGERS, S. 1995. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles.
5. CAMPBELL, R., ISLAM, N., RAILA, D., AND MADANY, P. 1993. Designing and implementing Choices: an object-oriented system in C++. Commun. ACM 36, 9, 117-126.
6. CAMPBELL, R., Russo, V., AND JOHNSTON, G. M. 1987. The design of a multiprocessor operating system. In Proceedings of the USENIX C++ Workshop. 109-125.
7. CHEN, J. AND BERSHAD, B. 1993. The impact of operating system structure on memory system performance. In Proceedings of the 14th ACM Symposium on Operating System Principles.
8. CHERITON, D. R. AND DUDA, K J. 1994. A caching model of operating system kernel functionality. In Operating Systems Design and Implementation. 179-193.
9. COWAN, C., AUTREY, T., KRASIC, G., Pu, C., AND WALPOLE, J. 1996a. Fast concurrent dynamic linking for an adaptive operating system. In Proceedings of the 3rd International Conference on Configurable Distributed Systems. 108-15.
10. COWAN, C., BLACK, A., KRASIC, C., Pu, C., WALPOLE, J., CONSEL, C., AND VOLANSCHI, E. 1996b. Specialization classes: An object framework for specialization. In Proceedings of the 5th International Workshop on Object-Orientation in Operating Systems (IWOOOS '96).
11. ENGLER, D. R., AND KAASHOEK, F. 1995. Exterminate all operating system abstractions. In Proceedings of the 5th Workshop on Hot Topics in Operating Systems. 78-85.
12. ENGLER, D. R. KAASHOEK, F., AND O'TOOLE, J. 1995. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. 251-266.
13. FORD, B., BACK, G., BENSON, G., LEPREAU, J., LIN, A., AND SHIVERS, O. 1997. The flux OSKit: A substrate for kernel and language research. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. 38-51.
14. FORD, B., HIBLER, M., LEPREAU, J., TULLMANN, P., BACK, G., AND CLAWSON, S. 1996. Microkernels meet recursive virtual machines. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation. 137-151.
15. GABBER, E., SMALL, C., BRUNO, J., BRUSTOLONI, J., AND SILBERSCHATZ, A. 1999. The pebble component-based operating system. In Proceedings of the 1999 USENIX Annual Technical Conference. 267-282.
16. HORIE, M., PANG, J., MANNING, E., AND SHOJA, G. 1998. Using meta-interfaces to support secure dynamic system reconfiguration. In Proceedings of the 4th International Conference on Configurable Distributed Systems (ICCDS'98).
17. HORIE, M., PANG, J. C., MANNING, E.G., AND SHOJA, G. C. 1997. Designing meta-interfaces for object-oriented operating systems. In Proceedings of the 1997 IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. 989-992.
18. KICZALES, G., LAMPING, J., LOPES, C. V., MAEDA, C., MENDHEKAR, A., AND MURPHY, G. C. 1997. Open implementation design guidelines. In Proceedings of the 19th International Conference on Software Engineering. 481-490.
19. KICZALES, G., LAMPING, J., MAEDA, C., KEPPEL, D., AND MCNAMEE, D. 1993. The need for customizable operating systems. In Proceedings of the 4th Workshop on Workstation Operating Systems.
20. LIEDTKE, J. 1993. Improving IPC by kernel design. In Proceedings of the 14th ACM Symposium on Operating System Principles (SOSP).
21. LIEDTKE, J. 1995. On microkernel construction. In Proceedings of the 15th ACM Symposium on Operating System Principles.
22. LIEDTKE, J. 1996. Toward real microkernels. Commun. ACM 39, 9, 70-77.
23. MAEDA, C., LEE, A., MURPHY, G., AND KICZALES, G. 1997. Open implementation analysis and design. In Proceedings of the 1997 Symposium on Software Reusability.
24. MAGOUTIS, K., BRUSTOLONI, J. C., GABBER, E., NG, W. T., AND SILBERSCHATZ, A. 2000. Building appliances out of reusable components using pebble. In Proceedings of the 9th ACM SIGOPS European Workshop.
25. MASSALIN, H. 1992. Synthesis: An efficient implementation of fundamental operating system services. Ph.D. thesis, Columbia University, Department of Computer Science.
26. MONTZ, A. B., MOSBERGER, D., O'MALLEY, S. W., PETERSON, L. L., AND PROEBSTLNG, T. A. 1995. Scout: A communications-oriented operating system. In Proceedings of the 5th Workshop on Hot Topics in Operating Systems.
27. MOSBERGER, D. AND PETERSON, L. L. 1996. Making paths explicit in the scout operating system. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation. 153-167.
28. NECULA, G. C. 1997. Proof-carrying code. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 106-119.
29. NECULA, G. C. AND LEE, P. 1996. Safe kernel extensions without run-time checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96). 229-243.
30. PROBERT, D. AND BRUNO, J. 1996. Efficient cross-domain mechanisms for building kernel-less operating systems. Tech. Rep. TRCS96-06, Department of Computer Science, University of California at Santa Barbara.
31. PROBERT, D., BRUNO, J., AND KARZAORMAN, M. 1991. Space: a new approach to operating system abstraction. In Proceedings of the International Workshop on Object Orientation in Operating Systems. 133-137.
32. Pu, C., AUTREY, T., BLACK, A., CONSEL, C., COWAN, C., INOUYE, J., KETHANA, L., WALPOLE, J., AND ZHANG, K. 1995. Streamlining a commercial operating system. In Proceedings of the 15th ACM Symposium on Operating System Principles.
33. SAMAR, V. AND LAI, C. 1996. Making login services independent from authentication technologies. In Proceedings of the SunSoft Developer's Conference.
34. SELTZER, M. I., ENDO, Y., SMALL, C., AND SMITH, K. A. 1996. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation. 213-227.
35. SELTZER, M. I. AND SMALL, C. 1997. Self-monitoring and self-adapting operating systems. In Proceedings of the 6th Workshop on Hot Topics in Operating Systems.
36. SHAPIRO, J. S., SMITH, J. M., AND FARBER, D. J. 1999. EROS: a fast capability system. Operating System Review 34, 5, 170-185.
37. SOLOMON, D. A. AND RUSSINOVICH, M.E. 2000. Inside Microsoft Windows 2000. Microsoft Press.
38. SPATSCHECK, O. AND PETERSON, L. 1997. Escort: a path-based os security architecture. Tech. Rep. TR97-17, Dept. of Computer Science, University of Arizona.
39. VEITCH, A. AND HUTCHINSON, N. 1996. Kea-a dynamically extensible and configurable operating system kernel. In Proceedings of the 3d Conference on Configurable Distributed Systems.
40. WAHBE, R., Lucco, S., ANDERSON, T. E., AND GRAHAM, S. L. 1993. Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review 27, 5 (December), 203-216.
41. WALLACH, D. S., BALFANZ, D., DEAN, D., AND FELTEN, E. W. 1997. Extensible security architectures for Java. In 16th Symposium on Operating Systems Principles. 116-128.
42. YOKOTE, Y. 1992. The Apertos reflective operating system: The concept and its implementation. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). Addison-Wesley, 414-434.
43. YOKOTE, Y. 1993. Kernel structuring for object-oriented operating systems: The Apertos approach,. In Proceedings of the International Symposium on Object Technologies for Advanced Software. Vol. 742. Springer-Verlag, 145-162.