Extensibility safety and performance in the SPIN operating system

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Abrossimov et al. 89	E. Abrossimov , M. Rozier , M. Shapiro, Generic virtual memory management for operating system kernels, Proceedings of the twelfth ACM symposium on Operating systems principles, p.123-136, November 1989
	Anderson et al. 91	Thomas E. Anderson , Henry M. Levy , Brian N. Bershad , Edward D. Lazowska, The interaction of architecture and operating system design, Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, p.108-120, April 08-11, 1991, Santa Clara, California, United States
	Anderson et al. 92	Thomas E. Anderson , Brian N. Bershad , Edward D. Lazowska , Henry M. Levy, Scheduler activations: effective kernel support for the user-level management of parallelism, ACM Transactions on Computer Systems (TOCS), v.10 n.1, p.53-79, Feb. 1992 [doi>10.1145/146941.146944]
	Appel & Li 91	Andrew W. Appel , Kai Li, Virtual memory primitives for user programs, Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, p.96-107, April 08-11, 1991, Santa Clara, California, United States
	Bala et al. 94	Bala, K., Kaashoek, M. F., and Weiht, W. E. Software Prefetching and Caching for Translation Looksside Buffers. In Proceedings of the F~rst USENIX Symposmm on Operating Systems Deswn and Implementation (OSDI), pages 243-253, Monterey, CA, November 1994.
	Balakrishnan et al. 95	Hari Balakrishnan , Srinivasan Seshan , Elan Amir , Randy H. Katz, Improving TCI/IP performance over wireless networks, Proceedings of the 1st annual international conference on Mobile computing and networking, p.2-11, November 13-15, 1995, Berkeley, California, United States [doi>10.1145/215530.215544]
	Barrera 91	Barrera, J. S. A Fast Mach Network IPC Implementation. In Proceedings of the Second USENLY Mach Symposium, pages 1-11, Monterey, CA, November 199t.
	Bartlett 88	Bartlett, J. F. Compacting Garbage Collection with Ambiguous Roots. Technical Report WRL-TR-88-2, Digital Equipment Corporation Western Research Labs, February 1988.
	Berners-Lee et al. 94	Tim Berners-Lee , Robert Cailliau , Ari Luotonen , Henrik Frystyk Nielsen , Arthur Secret, The World-Wide Web, Communications of the ACM, v.37 n.8, p.76-82, Aug. 1994 [doi>10.1145/179606.179671]
	Bershad 93	Bershad, B. N. Practical Considerations for Non- Blocking Concurrent Objects. In Proceedzngs of the Thirteenth {nternalionaI Conference on D~stributed Comp~ttznq Systems, pages 264-274, Pittsburgh, PA. May 1993.
	Bershad et al. 90	Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, Lightweight remote procedure call, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.37-55, Feb. 1990 [doi>10.1145/77648.77650]
	Bershad et al. 92a	Bershad, B. N., Draves, R. P., and Forth, A. Using Microbenchmarks to Evaluate System Performance. In Proceedings of the Third Workshop on Workstatzon Operating Systems, pages 148-153, Key Biscayne, FL, April 1992.
	Bershad et al. 92b	Brian N. Bershad , David D. Redell , John R. Ellis, Fast mutual exclusion for uniprocessors, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.223-233, October 12-15, 1992, Boston, Massachusetts, United States
	Black et al. 92	Richard Draves, Mach, Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, p.11-30, April 27-28, 1992
	Bricker et al. 91	Bricker, A., Gien, M., Guillemont, M., Lipkis, J., Orr, D., and Rozier, M. A New Look at Microkernel-based UNIX Operating Systems: Lessons in Performance and Compatibility. In Proceedings of the E urOpen Sprang'91 Conferer~ce, Tromsoe, Norway, May 1991.
	Brockschmidt 94	Brockschmidt, K. Inszde OLE 2. Microsoft Press, 1994.
	Brustoloni & Bershad 93	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.
	Cao et al. 94	Cao, P., Felten, E. W., and Li, K. Implementation and Performance of Application-Controlled File Caching. In Proceedings of the First USEN{X Symposium on Operating Systems Deszgn and Implementatzon (OSDt), pages 165-177, Monterey, CA, November 1994.
	Carter et al. 91	John B. Carter , John K. Bennett , Willy Zwaenepoel, Implementation and performance of Munin, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.152-164, October 13-16, 1991, Pacific Grove, California, United States
	Carter et al. 94	Nicholas P. Carter , Stephen W. Keckler , William J. Dally, Hardware support for fast capability-based addressing, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.319-327, October 05-07, 1994, San Jose, California, United States
	Chankhunthod et al. 95	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.
	Chen & Bershad 93	J. Bradley Chen , Brian N. Bershad, The impact of operating system structure on memory system performance, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.120-133, December 05-08, 1993, Asheville, North Carolina, United States
	Cheriton & Duda 94	Cheriton, D. R. and Duds, K.J. A Caching Model of Operating System Kernel Functionality. In Proceedzng3 of the F~rst USENL~ Sympos~tm on Operatzng Systems Deswn and Implementation (OSDI), pages 179-194, Monterey, CA, November 1994.
	Cheriton & Zwaenepoel 83	David R. Cheriton , Willy Zwaenepoel, The distributed V kernel and its performance for diskless workstations, Proceedings of the ninth ACM symposium on Operating systems principles, p.129-140, October 10-13, 1983, Bretton Woods, New Hampshire, United States
	Colwell 85	Robert Paul Colwell, The performance effects of functional migration and architectural complexity in object-oriented systems (risc), 1985
	Cooper & Draves 88	Cooper, E. C. and Draves, R.P. C Threads. Technical Report CMU-CS-88-154, Carnegie Melton University, June 1988.
	Cooper et al. 91	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.
	Davis et al. 93	Paul Barton-Davis , Dylan McNamee , Raj Vaswani , Edward D. Lazowska, Adding Scheduler Activations to Mach 3.0, USENIX MACH III Symposium, p.119-136, April 19-21, 1993
	Dig 93	Digital Equipment Corporation. DEC 0S~/1 Writing Device Drivers: Advanced Topics, 1993.
	Draves 93	Draves, R. The Case for Run-Time Replaceable Kernel Modules. In Proceedings of the Fourth Workshop on Workstation Operatzng Systems, pages 160-164, Naps, CA, October 1993.
	Draves 94	Draves, R. P. Control Transfer in Operating System Kernels. Technical Report CMU-CS-94-142, Carnegie Mellon University, May 1994.
	Draves et al. 91	Richard P. Draves , Brian N. Bershad , Richard F. Rashid , Randall W. Dean, Using continuations to implement thread management and communication in operating systems, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.122-136, October 13-16, 1991, Pacific Grove, California, United States
	Engler & Kaashoek 95	D. R. Engler , M. F. Kaashoek, Exterminate all operating system abstractions, Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), p.78, May 04-05, 1995
	Engler & Proebsting 94	Dawson R. Engler , Todd A. Proebsting, DCG: an efficient, retargetable dynamic code generation system, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.263-272, October 05-07, 1994, San Jose, California, United States
	Engler et al. 94	Dawson Engler , M. Frans Kaashoek , James O'Toole, The operating system kernel as a secure programmable machine, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany [doi>10.1145/504390.504407]
	Engler et al. 95	D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.251-266, December 03-06, 1995, Copper Mountain, Colorado, United States
	Fall & Pasquale 94	Fall, K. and Pasquale, J. Improving Continuous-Media Playback Performance with In-Kernel Data Paths. In Proceedings of the F~rst IEEE International Conference on Al~Itimedia Compu, ting and Systems, pages 100-109, Boston, MA, May 1994.
	Felten 92	Felten, E. W. The Case for Application-Specific Communication Protocols. In Intel Supercomp~ter Systems Technology Focus Conference, pages 171-181, April 1992.
	Fiuczynski & Bershad 96	Fiuczynski, M. and Bershad, B. An Extensible Protocol Architecture for Application-Specific Networking. In Proceed~ags of the 1996 Winter USENL~ Conference, San Diego, CA, January 1996.
	Forin et al. 91	Forth, A., Golub, D., and Bershad, B. N. An I/O System for Much 3.0. In Proceedings of the Second USENL~ Mach Symposi~Lm, pages 163-176, Monterey, CA, November 1991.
	Geschke et al. 77	Charles M. Geschke , James H. Morris, Jr. , Edwin H. Satterthwaite, Early experience with Mesa, Communications of the ACM, v.20 n.8, p.540-553, Aug. 1977 [doi>10.1145/359763.359771]
	Golub et al. 90	Golub, D., Dean, R., Forin, A., and Rashid, R. Unix as an Application Program. In Proceedzngs of the 1990 S~tm, mer USENL~ Conference, pages 87-95, June 1990.
	Hamilton & Kougiouris 93	Hamilton, G. and Kougiouris, P. The Spring Nucleus: A Microkernel for Objects. In Proceedings of the 1993 S~mmer USENIX Conference, pages 147-159, Cincinnati, OH. June 1993.
	Harty & Cheriton 91	Kieran Harty , David R. Cheriton, Application-controlled physical memory using external page-cache management, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.187-197, October 12-15, 1992, Boston, Massachusetts, United States
	Heidemann & Popek 94	John S. Heidemann , Gerald J. Popek, File-system development with stackable layers, ACM Transactions on Computer Systems (TOCS), v.12 n.1, p.58-89, Feb. 1994 [doi>10.1145/174613.174616]
	Hildebrand 92	Dan Hildebrand, An Architectural Overview of QNX, Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, p.113-126, April 27-28, 1992
	Hutchinson et al. 89	L. Peterson , N. Hutchinson , S. O'Malley , M. Abbott, RPC in the x-Kernel: evaluating new design techniques, Proceedings of the twelfth ACM symposium on Operating systems principles, p.91-101, November 1989
	Int 81	Intel Corporation. lntroductzon to the iAPX 432 Archztecture, 1981.
	Int 90	CORPORATE Intel Corp., i486 microprocessor programmer's reference manual, Osborne/McGraw-Hill, Berkeley, CA, 1990
	Khalidi & Nelson 93	Khalidi, Y. A. and Nelson, M. An Implementation of UNIX on an Object-Oriented Operating System. In Proceedings of the 1993 Winter USENL~ Conference, pages 469-480, San Diego, CA, January 1993.
	Lazowska et al. 81	Edward D. Lazowska , Henry M. Levy , Guy T. Almes , Michael J. Fischer , Robert J. Fowler , Stephen C. Vestal, The architecture of the Eden system, Proceedings of the eighth ACM symposium on Operating systems principles, p.148-159, December 14-16, 1981, Pacific Grove, California, United States
	Lee et al. 94	Lee, C. H., Chen, M. C., and Chang, R. C. HiPEC: High Performance External Virtual Memory Caching. In Proceedings of the Fzrst USENL~ Symposium on Operating Systems Design and implementation (OSDI), pages 153- 164, Monterey, CA, November 1994.
	Liedtke 92	Jochen Liedtke, Fast Thread Management and Communication Without Continuations, Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, p.213-222, April 27-28, 1992
	Liedtke 93	Jochen Liedtke, Improving IPC by kernel design, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.175-188, December 05-08, 1993, Asheville, North Carolina, United States
	Lucco 94	Lucco, S. High-Performance Microkernel Systems. In Proceedings of the First USENIX Symposium on Operatzng Systems Design and Implementation (OSDI), page 199, 5Ionterey, CA, November 1994.
	Maeda & Bershad 93	Chris Maeda , Brian N. Bershad, Protocol service decomposition for high-performance networking, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.244-255, December 05-08, 1993, Asheville, North Carolina, United States
	Marsh et al. 91	Brian D. Marsh , Michael L. Scott , Thomas J. LeBlanc , Evangelos P. Markatos, First-class user-level threads, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.110-121, October 13-16, 1991, Pacific Grove, California, United States
	McNamee & Armstrong 90	McNamee, D. and Armstrong, K. Extending the Much External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the USENiX Much Sympos2~m, pages 17-29, Burlington, VT, October 1990.
	Mogul et al. 87	J. Mogul , R. Rashid , M. Accetta, The packer filter: an efficient mechanism for user-level network code, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.39-51, November 08-11, 1987, Austin, Texas, United States
	Mossenbock 94	Hanspeter Mössenböck, Extensibility in the Oberon system, Nordic Journal of Computing, v.1 n.1, p.77-93, Spring 1994
	Mullender et al. 90	Sape J. Mullender , Guido van Rossum , Andrew S. Tanenbaum , Robbert van Renesse , Hans van Staveren, Amoeba: A Distributed Operating System for the 1990s, Computer, v.23 n.5, p.44-53, May 1990 [doi>10.1109/2.53354]
	Nelson 91	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	Organick 73	Elliott Irving Organick, Computer system organization: The B5700/B6700 series (ACM monograph series), Academic Press, Inc., Orlando, FL, 1973
	Pardyak & Bershad 94	Pardyak, P. and Bershad, B. A Group Structuring Mechanism for a Distributed Object Oriented Language Objects. In Proceedings of the Fourteenth International Conference on D~str~buted Comp~ting Systems, pages 312-219, Poznan, Poland, June 1994.
	Rashid et al. 87	Richard Rashid , Avadis Tevanian , Michael Young , David Golub , Robert Baron, Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures, Proceedings of the second international conference on Architectual support for programming languages and operating systems, p.31-39, October 1987, Palo Alto, California, United States
	Redell 88	David D. Redell, Experience with topaz telebugging, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.35-44, May 05-06, 1988, Madison, Wisconsin, United States
	Redell et al. 80	David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980 [doi>10.1145/358818.358822]
	Romer et al. 94	Romer, T. H., Lee, D., and Bershad, B. N. Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware. In Proceedings of the Fzrst USENIX Symposzum on Operatzng Systems Design and Imptementatzo~ (OSDI), pages 255-266, Monterey, CA, November 1994.
	Romer et al. 95	Theodore H. Romer , Wayne H. Ohlrich , Anna R. Karlin , Brian N. Bershad, Reducing TLB and memory overhead using online superpage promotion, Proceedings of the 22nd annual international symposium on Computer architecture, p.176-187, June 22-24, 1995, S. Margherita Ligure, Italy
	Rozier et al. 88	Rozier, M., Abrossimov, V., Armand, F., Boule, I., Giend, M., Guillemont, 'M., Herrmann, F., Leonard, P., Langtois, S., and Neuhauser, W. The Chorus Distributed Operating System. Comp ~ting Systems, 1(4):305- 370, 1988.
	Schroeder & Burrows 90	Michael D. Schroeder , Michael Burrows, Performance of the Firefly RPC, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.1-17, Feb. 1990 [doi>10.1145/77648.77653]
	Schulman et al. 92	Schulman, A., Maxey, D., and Pietrek, M. Undocumented tVindows. Addison-Wesley, 1992.
	Small & Seltzer 94	Small. C, and Seltzer, M. VINO: An Integrated Platform for Operating System and Database Research. Technical Report TR-30-94, Harvard University, 1994.
	Stevenson & Julin 95	Stcvcnaon, J, M. and Julin, D. P. Much- US: Unix On Generic OS Object Servers. In Proceedings of the 1995 W~ter USENLY Conference, New Orleans, LA, January 1995.
	Stodolsky et al. 93	Daniel Stodolsky , J. Bradley Chen , Brian N. Bershad, Fast Interrupt Priority Management in Operating System Kernels, USENIX Microkernels and Other Kernel Architectures Symposium, p.105-110, September 20-23, 1993
	Stonebraker 81	Michael Stonebraker, Operating system support for database management, Communications of the ACM, v.24 n.7, p.412-418, July 1981 [doi>10.1145/358699.358703]
	Thacker et al. 88	Charles P. Thacker , Lawrence C. Stewart , Edwin H. Satterthwaite, Jr., Firefly: A Multiprocessor Workstation, IEEE Transactions on Computers, v.37 n.8, p.909-920, August 1988 [doi>10.1109/12.2243]
	Thekkath & Levy 93	Chandramohan A. Thekkath , Henry M. Levy, Limits to low-latency communication on high-speed networks, ACM Transactions on Computer Systems (TOCS), v.11 n.2, p.179-203, May 1993 [doi>10.1145/151244.151247]
	Thekkath & Levy 94	Chandramohan A. Thekkath , Henry M. Levy, Hardware and software support for efficient exception handling, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.110-119, October 05-07, 1994, San Jose, California, United States
	von Eicken et al. 92	Thorsten von Eicken , David E. Culler , Seth Copen Goldstein , Klaus Erik Schauser, Active messages: a mechanism for integrated communication and computation, Proceedings of the 19th annual international symposium on Computer architecture, p.256-266, May 19-21, 1992, Queensland, Australia
	Wahbe et al. 93	Robert Wahbe , Steven Lucco , Thomas E. Anderson , Susan L. Graham, Efficient software-based fault isolation, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.203-216, December 05-08, 1993, Asheville, North Carolina, United States
	Weddspurger & Weihl 94	Waldspurger, C,. A. and Weihl, W. E. Lottery Scheduling: Flexible Proportioned-Share Resource Management. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSD{), pages 1-11, Monterey, CA, November 1994.
	Wheeler & Bershad 92	Bob Wheeler , Brian N. Bershad, Consistency management for virtually indexed caches, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.124-136, October 12-15, 1992, Boston, Massachusetts, United States
	Wulf et al. 81	Wulf, W. A., Levin, R., and Harbison, S. P. Hydra/C. mmp: An Eyperimenlal Computer System. McGraw-Hill, 1981.
	Young et al. 87	M. Young , A. Tevanian , R. Rashid , D. Golub , J. Eppinger, The duality of memory and communication in the implementation of a multiprocessor operating system, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.63-76, November 08-11, 1987, Austin, Texas, United States
	Yuhara et al. 94	Yuhara, M., Bershad, B. N., Maeda, C., and Moss, J. E. B, Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages. In Proceedings of the i99.4 Wgnter USENirX Conference, pages 153-165, San Francisco, CA, January 1994.

Collaborative Colleagues:

B. N. Bershad: colleagues

S. Savage: colleagues

P. Pardyak: colleagues

E. G. Sirer: colleagues

M. E. Fiuczynski: colleagues

D. Becker: colleagues

C. Chambers: colleagues

S. Eggers: colleagues

Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading