Extensibility, safety and performance in the SPIN operating system

Proceedings of the 15th ACM Symposium on Operating Systems Principles, SOSP 1995

Volumn , Issue , 1995, Pages 267-284

  Bershad, Brian N ^a   Savage, Stefan ^a   Pardyak, Przemyslaw ^a   Sirer, Emin Giin ^a   Fiuczynski, Marc E ^a   Becker, David ^a   Chambers, Craig ^a   Eggers, Susan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADDRESS SPACE; ARCHITECTURE AND PERFORMANCE; CORE SET; OPERATING SYSTEM KERNEL; SYSTEM CODES; SYSTEM SERVICES; TYPE-SAFE LANGUAGES;

MODULA (PROGRAMMING LANGUAGE);

EID: 80054992065     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/224056.224077     Document Type: Conference Paper

References (86)

1. Abrossimov, V., Rozier, M. and Shapiro, M. Generic Virtual Memory Management for Operating System Kernels. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 123-136, Litchfield Park, AZ, December 1989.
2. Anderson. T. E. Levy, H. M., Bershad, B. N., and Lazowska, E. D. The Interaction of Architecture and Operating System Design. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IV), pages 108-120, Santa Clara, CA, April 1991.
3. Anderson, T. E., and Bershad., B. N., Lazowska, E. D., and Levy, H. M. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Transactions on Computer Systems, 10(1): 53-79, February 1992.
4. Appel, W. and Li, K. Virtual Memory Primitives for User Programs. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IV), pages 96-107, Santa Clara, CA, April 1991.
5. Bala. K., and Kaashoek., M. F., and Weihl, W. E. Software Prefetching and Caching for Translation Lookaside Buffers. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 243-253. Monterey, CA, November 1994.
6. Balakrishnan, H., Seshan, S., Amir, E., and Katz. R. H. Improving TCP/IP Performance over Wireless Networks. In Proceedings of the First ACM Conference on Mobile Computing and Networking, November 1995.
7. Barrera. J. S. A Fast Mach Network IPC Implementation. In Proceedings of the Second USENIX Mach Symposium, pages 1-11, Monterey, CA, November 1991.
8. Bartlett, J. F. Compacting Garbage Collection with Ambiguous Roots. Technical Report WRL-TR-88-2, Digital Equipment Corporation Western Research Labs, February 1988.
9. Berners-Lee, T., Cailliau, R., Luotonen, A Nielsen, H. F., and Secretr, A. The World-Wide Web. Communications of the ACM, 37(8): 76-82, August 1994.
10. Bershad, B. N. Practical Considerations for Non-Blocking Concurrent Objects. In Proceedings of the Thirteenth International Conference on Distributed Computing Systems, pages 264-274, Pittsburgh, PA. May 1993.
11. Bershad, B. N., and Anderson., T. E., Lazowska, E. D., and Levy, H. M. Lightweight Remote Procedure Call. ACM Transactions on Computer Systems, 8(1): 37-55, February 1990.
12. Bershad, B. N., and Draves., R. P., and Forin, A. Using Microbenchmarks to Evaluate System Performance. In Proceedings of the Third Workshop on Workstation Operating Systems, pages 148-153, Key Biscavne, FL, April 1992.
13. Bershad, B. N., and Redell., D. D., and Ellis, J. R. Fast Mutual Exclusion for Uniprocessors. In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pages 223-233, Boston, MA, October 1992.
14. Black, D. L. et al. Microkernel Operating System Architecture and Mach. In Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 11-30, Seattle, WA, April 1992.
15. Bricker, A., Gien, M., Guillemont, M., Lip-kis, J., Orr, D., and Rozier, M. A New Look at Microkernel-based UNIX Operating Systems: Lessons in Performance and Compatibility. In Proceedings of the EurOpen Spring'91 Conference, Tromsoe, Norway, May 1991.
16. Brockschmidt, K. Inside OLE S. Microsoft Press, 1994.
17. Brustoloni, J. C. and Bershad, B. N. Simple Protocol Processing for High-Bandwidth Low-Latency Networking. Technical Report CMU-CS-93-132, Carnegie Mellon University, March 1993.
18. Cao, P., and Feiten., E. W., and Li, K. Implementation and Performance of Application-Controlled File Caching. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 165-177, Monterey, CA, November 1994.
19. Carter, J. B., and Bennett., J. K., and Zwaenepoel. W. Implementation and Performance of Munin. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 152-64, Pacific Grove, CA, October 1991.
20. Carter, N. P., and Keckler., S. W., and Daily, W. J. Hardware Support for Fast Capability-Based Addressing. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI), pages 319-327, San Jose, CA, October 1994.
21. Chankhunthod, A., Danzig, P., Neerdaels, C. Schwartz, M., and Worrell, K. A Hierarchical Internet Object Cache. Technical Report CU-CS-766-95, DCS University of Colorado, July 1995.
22. Chen, J. B. and Bershad, B. N. The Impact of Operating System Structure on Memory System Performance. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 120-133, Asheville, NC, December 1993.
23. Cheriton, D. R. and Duda, K. J. A Caching Model of Operating System Kernel Functionality. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 179-194, Monterey, CA, November 1994.
24. Cheriton, D. R. and Zwaenepoel. W. The Distributed V Kernel and its Performance for Diskless Workstations. In Proceedings of the Ninth ACM Symposium on Operating Systems Principles, pages 129-140, Bretton Woods, NH, October 1983.
25. Colwell, R. The Performance Effects of Functional Migration and Architectural Complexity in Object-Oriented Systems. Technical Report CMU-CS-85-159, Carnegie Mellon University, August 1985.
26. Cooper, E. C. and Draves, R. P. C Threads. Technical Report CMU-CS-88-154. Carnegie Mellon University, June 1988.
27. Cooper. E., Harper, R., and Lee, P. The Fox Project: Advanced Development of Systems Software. Technical Report CMU-CS-91-178, Carnegie Mellon University, August 1991.
28. Davis, P.-B., McNamee, D., Vaswani, R., and Lazowska, E. Adding Scheduler Activations to Mach 3.O. In Proceedings of the Third USENIX Mach Symposium, pages 119-136, Santa Fe, NM, April 1993.
29. Digital Equipment Corporation. DEC OSF/l Writing Device Drivers: Advanced Topics, 1993.
30. Draves, R. The Case for Run-Time Replaceable Kernel Modules. In Proceedings of the Fourth Workshop on Workstation Operating Systems, pages 160-164, Napa, CA, October 1993.
31. Draves. R. P. Control Transfer in Operating System Kernels. Technical Report CMU-CS-94-142. Carnegie Mellon University, May 1994.
32. Draves, R. P., Bershad. B. N., Rashid, R. F., and Dean, R. W. Using Continuations to Implement Thread Management and Communication in Operating Systems. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 122-136, Pacific Grove, CA, October 1991.
33. Engler, D. and Kaashoek, M. F. Exterminate All Operating System Abstractions. In Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, pages 78-83. Orcas Island, WA, May 1995.
34. Engler, D. R. and Proebsting, T. A. DCG: An Efficient, Retargettable Dynamic Code Generation System. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI), pages 263-272, San Jose, CA, October 1994.
35. Engler, D., and Kaashoek., M. F., and O'Toole, J. The Operating System Kernel as a Secure Programmable Machine. In Proceedings of the 1994 ACM European SIGOPS Workshop, September 1994.
36. Engler, D. R., and Kaashoek., M. F., and J.r., J. O. Exokernel: An Operating System Architecture for Application-Level Resource Management. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995.
37. Fall, K. and Pasquale, J. Improving Continuous-Media Playback Performance with In-Kernel Data Paths. In Proceedings of the First IEEE International Conference on Multimedia Computing and Systems, pages 100-109, Boston, MA, May 1994.
38. Feiten, E. W. The Case for Application-Specific Communication Protocols. In Intel Supercomputer Systems Technology Focus Conference, pages 171-181, April 1992.
39. Fiuczynski. M. and Bershad, B. An Extensible Protocol Architecture for Application-Specific Networking. In Proceedings of the 1996 Winter USENIX Conference, San Diego. CA, January 1996.
40. Form, A., Golub, D., and Bershad, B. N. An I/O System for Mach 3.O. In Proceedings of the Second USENIX Mach Symposium, pages 163-176, Monterey, CA, November 1991.
41. Geschke, C, Morris, J., and Satterthwaite, E. Early Experiences with Mesa. Communications of the ACM, 20(8): 540-553. August 1977.
42. Golub. D. Dean, R., Forin, A., and Rashid, R. Unix as an Application Program. In Proceedings of the 1990 Summer USENIX Conference, pages 87-95, June 1990.
43. Hamilton, G. and Kougiouris. P. The Spring Nucleus: A Microkernel for Objects. In Proceedings of the 1993 Summer USENIX Conference, pages 147-159, Cincinnati, OH. June 1993.
44. Harty, K. and Cheriton, D. R. Application-Controlled Physical Memory using External Page-Cache Management. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IV), pages 187-197, Santa Clara, CA, April 1991.
45. Heidemann, J. and Popek, G. File-System Development with Stackable Layers. Communications of the ACM, 12(1): 58-89, February 1994.
46. Hildebrand, D. An Architectural Overview of QNX. In Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 113-126, Seattle, WA, April 1992.
47. Hutchinson, N. C, Peterson, L., Abbott, M. B., and O'Malley, S. RPC in x-kemel: Evaluating New Design Techniques. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 91-101, Litchfield Park, AZ, December 1989.
48. Intel Corporation. Introduction to the iAPX 432 Architecture, 1981.
49. Intel Corporation, i486 Microprocessor Programmer's Reference Manual, 1990.
50. Khalidi, Y. A. and Nelson, M. An Implementation of UNIX on an Object-Oriented Operating System, la Proceedings of the 1993 Winter USENIX Conference, pages 469-480, San Diego, CA, January 1993.
51. Lazowska, E. D., and Levy., H. M., Aimes, G. T., Fischer, M., Fowler, R., and Vestal, S. The Architecture of the Eden System. In Proceedings of the Eighth ACM Symposium on Operating Systems Principles, pages 148-159, December 1981.
52. Lee, C. H. Chen, M. C, and Chang, R. C. HiPEC: High Performance External Virtual Memory Caching. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153-164, Monterey, CA, November 1994.
53. Liedtke, J. Fast Thread Management and Communication Without Continuations. In Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 213-221, Seattle, WA, April 1992,
54. Liedtke, J. Improving IPC by Kernel Design. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 175-188, Asheville, NC, December 1993.
55. Lucco, S. High-Performance Microkernel Systems. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), page 199, Monterey, CA, November 1994.
56. Maeda, C. and Bershad, B. N. Protocol Service Decomposition for High-Performance Networking. In Proceedings 0f the Fourteenth ACM Symposium on Operating Systems Principles, pages 244-255, Asheville, NC, December 1993.
57. Marsh, B., Scott, M., LeBlanc, T., and Markatos, E. First-Class User-Level Threads. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 110-121, Pacific Grove, CA, October 1991.
58. McNamee, D. and Armstrong, K. Extending the Mach External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the USENIX Mach Symposium, pages 17-29. Burlington. VT, October 1990.
59. Mogul, J., Rashid, R., and Accetta, M. The Packet Filter: An Efficient Mechanism for User-level Network Code. In Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, pages 39-51, Austin, TX, November 1987.
60. Mossenbock, H. Extensibility in the Oberon System. Nordic Journal of Computing, 1(1): 77-93, February 1994.
61. Mullender, S. J., and Rossum., G. V., Tanenbaum, A. S., Renesse. R. V., and van Staveren, H. Amoeba - A Distributed Operating System for the 1990's. IEEE Computer, pages 44-54, May 1990.
62. Nelson, G., editor. System Programming xn Modula-3. Prentice Hall, 1991.
63. Organick, E., editor. Computer System Organization: The B5700/B6700 Series. Academic Press, 1973.
64. Pardyak, P. and Bershad, B. A Group Structuring Mechanism for a Distributed Object Oriented Language Objects. In Proceedings of the Fourteenth International Conference on Distributed Computing Systems, pages 312-219, Poznan, Poland, June 1994.
65. Rashid, R., Tevanian, Jr., A., Young, M., Golub, D. Baron, R. Black, D., Bolosky, W., and Chew, J. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. In Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-II), pages 31-39, Palo Alto, CA, April 1987.
66. Redell, D. Experience with Topaz Teledebugging. In Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, October 1988.
67. Redell, D. D., and Dalai., Y. K., Horsley, T. R., Lauer, H. C, Lynch, W. C, McJones, P. R., Murray, H. G., and Purcell, S. C. Pilot: An Operating System for a Personal Computer. Communications of the ACM, 23(2): 81-92, February 1980.
68. Romer, T. H., Lee, D., and Bershad, B. N. Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 255-266, Monterey, CA, November 1994.
69. Romer, T., Ohlrich, W., Karlin, A., and Bershad, B. Reducing TLB and Memory Overhead Using Online Superpage Promotion. In Proceedings of the Twenty-Third International Symposium on Computer Architecture, pages 176-187, 1995.
70. Rozier. M., Abrossimov, V., Armand, F., Boule, I., Giend, M. Guillemont, M., Herrmann, F., Leonard, P., Langlois, S., and Neuhauser, W. The Chorus Distributed Operating System. Computing Systems, 1(4): 305-370, 1988.
71. Schroeder, M. D. and Burrows, M. Performance of Firefly RPC. ACM Transactions on Computer Systems, 8(1): 1-17, February 1990.
72. Schulman, A., Maxey, D., and Pietrek, M. Undocumented Windows. Addison-Wesley, 1992.
73. Small. C. and Seltzer, M. VINO: An Integrated Platform for Operating System and Database Research. Technical Report TR-30-94, Harvard University, 1994.
74. Stevenson, J. M. and Julin, D. P. Mach-US: Unix On Generic OS Object Servers. In Proceedings of the 1995 Winter USENIX Conference, New Orleans, LA, January 1995.
75. Stodolsky, D., and Bershad., B. N., and Chen, B. Fast Interrupt Priority Management for Operating System Kernels. In Proceedings of the Second USENIX Workshop on Microkernels and Other Kernel Architectures, pages 105-110, San Diego, CA, September 1993.
76. Stonebraker, M. Operating System Support for Database Management. Communications of the ACM, 24(7): 412-418. July 1981.
77. Thacker, C. P., Stewart, L. C, and Satterth-waite, Jr., E. H. Firefly: a Multiprocessor Workstation. IEEE Transactions on Computers, 37(8): 909-920, August 1988.
78. Thekkath, C. A. and Levy, H. M. Limits to Low-Latency RPC. ACM Transactions on Computer Systems, 11(2): 179-203, May 1993.
79. Thekkath, C. A. and Levy, H. M. Hardware and Software Support for Efficient Exception Handling. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI), pages 145-156, San Jose, CA, October 1994.
80. von Eicken, T., Culler, D. E., Goldstein, S. C, and Schauser, K. E. Active Messages: A Mechanism for Integrated Communication and Computation. In Proceedings of the Nineteenth International Symposium on Computer Architecture, pages 256-266, Gold Coast, Australia, May 1992.
81. Wahbe, R., Lucco, S., Anderson, T. E., and Graham, S. L. Efficient Software-Based Fault Isolation. In Proceedings of the Fourteenth ACM Symposium, on Operating Systems Principles, pages 203-216, Asheville, NC, December 1993.
82. Waldspurger, C. A. and Weihl, W. E. Lottery Scheduling: Flexible Proportional-Share Resource Management. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 1-11, Monterey, CA, November 1994.
83. Wheeler, B. and Bershad, B. N. Consistency Management for Virtually Indexed Caches. In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V). pages 124-136, Boston, MA, October 1992.
84. Wulf, W. A., Levin, R., and Harbison, S. P. Hydralic. mmp: An Experimental Computer System. McGraw-Hill, 1981.
85. Young, M., Tevanian, A., Rashid, R., Golub, D., Eppinger, J., Chew, J., Bolosky, W., Black, D., and Baron, R. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. In Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, pages 63-76, Austin, TX, November 1987.
86. Yuhara, M., and Bershad., B. N., Maeda, C, and Moss, J. E. B. Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages. In Proceedings of the 1994 Winter USENIX Conference, pages 153-165, San Francisco, CA, January 1994.