Bibliography

[1]

Mark B. Abbott and Larry L. Peterson. Increasing network throughput by integrating protocol layers. IEEE Transactions on Networking, 1(5):600--610, October 1993.

[2]

Mark Bert Abbott. A Language-Based Approach to Protocol Implementation. PhD thesis, Department of Computer Science, University of Arizona, Tucson, AZ 85721, 1993.

[3]

AMD. Am7990: Local Area Network Controller for Ethernet.

[4]

Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, Reading, MA, 1996. ISBN 0-201-63455-4.

[5]

Mary L. Bailey, Burra Gopal, Michael A. Pagels, Larry L. Peterson, and Prasenjit Sarkar. PathFinder: A pattern-based packet classifier. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 115--123, Monterey, CA, 1994. ACM/USENIX. ftp://ftp.cs.arizona.edu/xkernel/Papers/pathfinder.ps.

[6]

David Banks and Mike Prudence. A high performance network architecture for a PA-RISC workstation. IEEE Journal on Selected Areas in Communication, 11(2):191--202, February 1993.

[7]

Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gün Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, and Susan J. Eggers. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 267--284, Copper Mountain Resort, CO, December 1995. ACM.

[8]

Edoardo Biagioni. A structured TCP in standard ML. In Proceedings of SIGCOMM '94 Symposium, pages 36--45, London, England, August 31st--September 2nd 1994. ACM. http://www-cgi.cs.cmu.edu/afs/cs/project/fox/mosaic/papers/sigcomm94.ps.

[9]

Joel Birnbaum. How the coming digital utility may reshape computing and telecommunications, October 1996. http://www.hpl.hp.com/management/speeches/ieee.htm.

[10]

Trevor Blackwell. Speeding up protocols for small messages. In Proceedings of SIGCOMM '96 Symposium, pages 85--95, Stanford, CA, August 1996. ACM. http://www.acm.org/sigcomm/sigcomm96/papers/blackwell.html.

[11]

R. Braden, D. Clark, and S. Shenker. Integrated Services in the Internet Architecture: an Overview. DARPA, June 1994. http://ds.internic.net/rfc/rfc1633.txt.

[12]

Pei Cao, Edward W. Felten, and Kai Li. Implementation and performance of application-controlled file caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 165--177, Monterey, CA, 1994. ACM/USENIX. ftp://ftp.cs.princeton.edu/pub/people/pc/OSDI94/paper.ps.Z.

[13]

L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3 language definition. SIGPLAN Notices, 27(8):15--42, August 1992.

[14]

C. Castelluccia, W. Dabbous, and S. O'Malley. Generating efficient protocol code from an abstract specification. In Proceedings of SIGCOMM '96 Symposium, pages 60--71, Stanford, CA, August 1996. http://www.acm.org/sigcomm/sigcomm96/papers/castelluccia.html.

[15]

Chran-Ham Chang, Richard Flower, John Forecast, Heather Gray, William R. Hawe, K. K. Ramakrishnan, Ashok P. Nadkarni, Uttam N. Shikarpur, and Kathleen M. Wilde. High-performance TCP/IP and UDP/IP networking in DEC OSF/1 for Alpha AXP. Digital Technical Journal, 5(1):44--61, Winter 1993.

[16]

David Clark and David Tennenhouse. Architectural considerations for a new generation of protocols. In Proceedings of SIGCOMM '90 Symposium, pages 200--208, Philadelphia, PA, September 1990. ACM.

[17]

David D. Clark. The design philosophy of the DARPA Internet protocols. In Proceedings of SIGCOMM '88 Symposium, pages 106--114, Stanford, CA, August 1988. ACM.

[18]

David D. Clark, Van Jacobson, John Romkey, and Howard Salwen. An analysis of TCP processing overheads. IEEE Communications Magazine, 27(6):23--29, June 1989.

[19]

Raymond K. Clark, E. Douglas Jensen, and Franklin Reynolds. An architectural overview of the Alpha real-time distributed kernel. In Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 127--146, Seattle, WA, April 1992.

[20]

Doug Cooper. Standard Pascal User Reference Manual. W. W. Norton & Company, New York, NY, 1983. ISBN 0-393-30121-4.

[21]

Fernando J. Corbató, M. Merwin-Daggett, and Robert C. Daley. An experimental time-sharing system. In Proceedings of the AFIPS Spring Joint Computer Conference, pages 335--344, May 1962.

[22]

Robert C. Daley and Jack B. Dennis. Virtual memory, processes, and sharing in MULTICS. Communications of the ACM, 11(5):306--312, May 1968.

[23]

Chris Dalton, Greg Watson, David Banks, Costas Calamvokis, Aled Edwards, and John Lumley. Afterburner. IEEE Network, 7(4):35--43, July 1993.

[24]

Martin D. Davis and Elaine J. Weyuker. Computability, Complexity, and Languages. Academic Press, London, England, 1983. ISBN 0-122-06380-5.

[25]

Sean Dorward, Rob Pike, Dave Presotto, Dennis Ritchie, Howard Trickey, and Phil Winterbottom. The Inferno operating system. In Forty-Second IEEE Computer Society International Conference Proceedings, pages 241--244, San Jose, CA, February 1997. http://inferno.lucent.com/inferno/.

[26]

P. Druschel, L. L. Peterson, and B. S. Davie. Experiences with a high-speed network adaptor: A software perspective. In Proceedings of SIGCOMM '94 Symposium, pages 2--13, London, England, August 31st--September 2nd 1994. ACM.

[27]

Peter Druschel, Mark B. Abbott, Michael A. Pagels, and Larry L. Peterson. Network subsystem design. IEEE Network, 7(4):8--17, July 1993.

[28]

Peter Druschel and Gaurav Banga. Lazy receiver processing (LRP): A network subsystem architecture for server systems. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 261--275, Seattle, WA, October 1996. ACM/USENIX. http://www.cs.rice.edu/CS/Systems/LRP/osdi96.ps.

[29]

Peter Druschel and Larry L. Peterson. Fbufs: A high-bandwidth cross-domain transfer facility. In Proceedings of the Fourteenth ACM Symposium on Operating System Principles, pages 189--202, Asheville, NC, December 1993. ACM.

[30]

Dawson Engler and M. Frans Kaashoek. DPF: Fast, flexible message demultiplexing using dynamic code generation. In Proceedings of SIGCOMM '96 Symposium, pages 53--59, Stanford, CA, August 1996. ACM. http://www.acm.org/sigcomm/sigcomm96/papers/engler.html.

[31]

Dawson R. Engler. VCODE: a retargetable, extensible, very fast dynamic code generation system. In Proceedings of SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 160--170, Philadelphia, PA, May 1996. ACM. http://www.pdos.lcs.mit.edu/~engler/pldi96-abstract.html.

[32]

Dawson R. Engler, Frans Kaashoek, and James O'Toole Jr. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 251--266, Copper Mountain Resort, CO, December 1995. ACM.

[33]

M. C. Er. Optimizing procedure calls and returns. Software---Practice and Experience, 13(10):921--939, October 1983.

[34]

Alan Eustace. Personal communication, October 1994.

[35]

R. Fielding, J. Gettys, J. Mogul, H. Frystyk, and T. Berners-Lee. Hypertext Transfer Protocol---HTTP/1.1. Network Working Group, January 1997. http://ds.internic.net/rfc/rfc2068.txt.

[36]

Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 137--151, Seattle, WA, October 1996. ACM/USENIX. ftp://mancos.cs.utah.edu/papers/fluke-rvm-abs.html.

[37]

Bryan Ford and Jay Lepreau. Evolving Mach 3.0 to a migrating thread model. In 1994 Winter USENIX Conference Proceedings, pages 97--114, San Francisco, CA, January 1994.

[38]

Adele Goldberg and Alan Kay. Smalltalk-72 instruction manual. Technical Report SSL 76-6, Learning Research Group, Xerox Palo Alto Research Center, 1976.

[39]

James Gosling, Frank Yellin, and the Java Team. The Java Application Programming Interface. Addison-Wesley, Reading, MA, 1996. ISBN 0-201-63455-4.

[40]

Andreas Gotti. The Da CaPo communication system. Technical report, Swiss Federal Institute of Technology, Zürich, Switzerland, June 1994. http://www.tik.ee.ethz.ch/~dacapo/.

[41]

Pawan Goyal, Xingang Guo, and Harrick M. Vin. A hierarchical CPU scheduler for multimedia operating systems. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 107--121, Seattle, WA, October 1996. ACM/USENIX. http://www.cs.utexas.edu/users/pawang/Postscript/cpu.camera.ps.

[42]

The Open Group. The Single UNIX Specification. Witney, England, second edition, February 1997. http://www.rdg.opengroup.org/pubs/catalog/t912.htm.

[43]

Rajiv Gupta and Chi-Hung Chi. Improving instruction cache behavior by reducing cache pollution. In Proceedings Supercomputing '90, pages 82--91, New York, NY, November 1990. IEEE.

[44]

A. N. Habermann, Lawrence Flon, and Lee Cooprider. Modularization and hierarchy in a family of operating systems. Communications of the ACM, 19(5):266--272, May 1976.

[45]

Graham Hamilton and Panos Kougiouris. The Spring nucleus: a microkernel for objects. In 1993 Summer USENIX Conference Proceedings, pages 147--159, Cincinnati, OH, June 1993.

[46]

John S. Heidemann and Gerald J. Popek. File-system development with stackable layers. ACM Transactions on Computer Systems, 12(1):58--89, February 1994.

[47]

R. R. Heisch. Trace-directed program restructuring for AIX executables. IBM Journal of Research and Development, 38(9):595--603, September 1994.

[48]

Dan Hildebrand. 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.

[49]

Norman C. Hutchinson and Larry L. Peterson. The x-kernel: An architecture for implementing network protocols. IEEE Transactions on Software Engineering, 17(1):64--76, January 1991.

[50]

Van Jacobson. Congestion avoidance and control. In Proceedings of SIGCOMM '88 Symposium, pages 314--329, Stanford, CA, August 1988. ACM.

[51]

Van Jacobson. A high performance TCP/IP implementation. Presentation at the NRI Gigabit TCP Workshop, March 18th--19th 1993.

[52]

M. Jones, P. Leach, R. Draves, and J. Barrera. Support for user-centric modular real-time resource management in the Rialto operating system. In Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video, pages 55--66, Durham, NH, April 1995. ACM. http://hulk.bu.edu/nossdav95/papers/Michael_Jones.ps.

[53]

Michael Jones, Daniela Rosu, and Marcel-Catalin Rosu. CPU reservations & time constraints: Efficient, predictable scheduling of independent activities. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles, Saint Malo, France, October 1997. ACM. To appear.

[54]

JTC1/SC29. MPEG II Video. Number CD 13818-2 in Information Technology --- Generic Coding of moving pictures and associated audio information --- Part 2: Video. ISO/IEC, 1996.

[55]

Jonathan Kay and Joseph Pasquale. The importance of non-data touching processing overheads in TCP/IP. In Proceedings of SIGCOMM '93 Symposium, pages 259--268, San Fransico, CA, October 1993. ACM.

[56]

Jonathan Simon Kay. Path IDs: A Mechanism for Reducing Network Software Latency. PhD thesis, University of California, San Diego, 1995. http://www-csl.ucsd.edu/CSL/pubs/phd/jkay.thesis.ps.

[57]

Brian W. Kernighan and Dennis M. Ritchie. Programmieren in C. Carl Hanser Verlag, München, Germany, german edition, 1983. ISBN 3-446-13878-1.

[58]

C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 1(20):46--61, January 1973.

[59]

Peter Madany, Susan Keohan, Douglas Kramer, and Tom Saulpaugh. JavaOS: A standalone Java environment. http://www.javasoft.com/products/javaos/javaos.white.html.

[60]

Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Columbia University, New York, NY 10027, September 1992.

[61]

Steven McCanne and Van Jacobson. The BSD packet filter: A new architecture for user-level packet capture. In 1993 Winter USENIX Conference Proceedings, pages 259--269, San Diego, CA, January 1993. ftp://ftp.ee.lbl.gov/papers/bpf-usenix93.ps.Z.

[62]

Scott McFarling. Program optimization for instruction caches. In Third Symposium on Architectural Support for Programming Languages and Operating Systems, pages 183--191, Boston, MA, April 1989. ACM.

[63]

Larry McVoy and Carl Staelin. lmbench: Portable tools for performance analysis. In Proceedings of the USENIX 1996 Annual Technical Conference, pages 120--133, San Diego, CA, January 1996.

[64]

C. W. Mercer, S. Savage, and H. Tokuda. Processor capacity reserves: An abstraction for managing processor usage. In Proceedings of the Fourth Workshop on Workstation Operating Systems (WWOS-IV), pages 129--134, Napa, CA, October 1993. IEEE.

[65]

R. Metcalf and D. Boggs. Ethernet: Distributed packet switching for local computer networks. Communications of the ACM, 19(7):395--403, July 1976.

[66]

Bertrand Meyer. Introduction to the Theory of Programming Languages. Prentice-Hall, Inc., Hertfordshire, England, 1990. ISBN 0-13-498510-9.

[67]

Joan L. Mitchell, William B. Pennebaker, Chad E. Fogg, and Didier J. Legall. MPEG Video Compression Standard. Chapman Hall, New York, NY, 1996. ISBN 0-412-08771-5.

[68]

Jeffrey C. Mogul and K. K. Ramakrishnan. Eliminating receive livelock in an interrupt-driven kernel. In 1996 Winter USENIX Conference Proceedings, pages 99--112, San Diego, CA, January 1996. http://www.usenix.org/publications/library/proceedings/sd96/mogul.html.

[69]

Gordon E. Moore. Cramming more components onto integrated circuits. Electronics Magazine, 38(8):114--117, April 1965.

[70]

Jason Nieh and Monica S. Lam. The design, implementation & evaluation of SMART: A scheduler for multimedia applications. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles, Saint Malo, France, October 1997. ACM. To appear.

[71]

NIST. Research and Development for the National Information Infrastructure: Technical Challenges. NIST, Gaithersburg, MD, March 1994.

[72]

Sean W. O'Malley and Larry L. Peterson. A dynamic network architecture. ACM Transactions on Computer Systems, 10(2):110--143, May 1992.

[73]

Hilarie Orman, Sean O'Malley, Edwin Menze, Larry Peterson, and Richard Schroeppel. A fast and general implementation of Mach IPC in a network. In Proceedings of the Third Mach Symposium, pages 75--88, Santa Fe, NM, April 1993. USENIX.

[74]

Ketan Patel, Brian C. Smith, and Lawrence A. Rowe. Performance of a software MPEG video decoder. In Proceedings of the Multimedia '93 Conference, pages 75--82, Anaheim, CA, June 1993. ACM. ftp://mm-ftp.cs.berkeley.edu/pub/multimedia/mpeg/play/.

[75]

Karin Petersen, Mike J. Spreitzer, Douglas B. Terry, Marvin M. Theimer, and Alan J. Demers. Flexible update propagation for weakly consistent replication. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles, Saint Malo, France, October 1997. ACM. To appear.

[76]

Larry L. Peterson and Bruce S. Davie. Computer Networks: A Systems Approach. Morgan Kaufmann Publishers, Inc., San Francisco, CA, 1996. ISBN 1-55860-368-9.

[77]

K. Pettis and R. C. Hansen. Profile guided code positioning. In Proceedings of SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 16--27, White Plains, NY, June 1990. ACM.

[78]

Rob Pike, Bart Locanthi, and John Reiser. Hardware/software trade-offs for bitmap graphics on the Blit. Software---Practice and Experience, 15(2):131--151, February 1985.

[79]

D. Plummer. Ethernet Address Resolution Protocol---or---converting network protocol addresses to 48-bit Ethernet address for transmission on Ethernet hardware. DARPA, November 1982. http://ds.internic.net/rfc/rfc826.txt.

[80]

Jon Postel. User Datagram Protocol. DARPA, August 1980. http://ds.internic.net/rfc/rfc768.txt.

[81]

Jon Postel. Internet Control Message Protocol. DARPA, September 1981. http://ds.internic.net/rfc/rfc792.txt.

[82]

Jon Postel. Internet Protocol. DARPA, September 1981. http://ds.internic.net/rfc/rfc791.txt.

[83]

Jon Postel. Transmission Control Protocol. DARPA, September 1981. http://ds.internic.net/rfc/rfc793.txt.

[84]

Todd A. Proebsting and Scott A. Watterson. Filter fusion. In Proceedings of the 23rd Symposium on Principles of Programming Languages, pages 119--130, St. Petersburg Beach, FL, January 1996. ACM.

[85]

Calton Pu, Tito Autrey, Andrew Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, and Ke Zhang. Optimistic incremental specialization: Streamlining a commercial operating system. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 314--324, Copper Mountain Resort, CO, December 1995. ACM.

[86]

Calton Pu, Henry Massalin, and John Ioannidis. The Synthesis kernel. Computing Systems, 1(1):11--32, Winter 1988.

[87]

David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell. Pilot: an operating system for a personal computer. Communications of the ACM, 23(2):81--92, February 1980.

[88]

D. M. Ritchie. A stream input-output system. AT&T Bell Laboratories Technical Journal, 63(8):311--324, October 1984.

[89]

D. M. Ritchie and K. Thompson. The UNIX time-sharing system. Communications of the ACM, 17(7):365--375, July 1974.

[90]

Robert R. Schaller. Moore's law: past, present, and future. IEEE SPECTRUM, pages 53--59, June 1997.

[91]

Robert Sedgewick. Algorithms. Addison-Wesley, Reading, MA, second edition, 1988. ISBN 0-201-06673-4.

[92]

M. Seltzer, Y. Endo, C. Small, and K. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 213--227, Seattle, WA, October 1996. ACM/USENIX. http://www.eecs.harvard.edu/~vino/vino/osdi-96/.

[93]

Richard L. Sites, editor. Alpha Architecture Reference Manual. Digital Press, Burlington, Massachusetts, 1996. ftp://ftp.digital.com/pub/Digital/info/semiconductor/literature/alphahb2.pdf.

[94]

IEEE Computer Society. IEEE Guide to the POSIX Open System Environment. IEEE Press, November 1995. ISBN 1-55937-531-0.

[95]

Oliver Spatschek and Larry Peterson. Escort: Securing Scout paths. In Proceedings of the 1997 IEEE Symposium on Security and Privacy, page 206, Oakland, CA, May 1997.

[96]

SPEC. SPEC newsletter. Manassas, VA. http://www.specbench.org/osg/cpu95/results/cpu95.html.

[97]

SPEC. SPEC newsletter. Manassas, VA, June 1995. http://www.specbench.org/osg/sfs93/results/res9506/.

[98]

SPEC. SPEC newsletter. Manassas, VA, Second Quarter 1996. http://www.specbench.org/osg/sfs93/results/res96q2/.

[99]

Richard M. Stallman. Using and Porting GNU CC, 1992. http://www.delorie.com/gnu/docs/gcc-2.7.2.2/gcc_toc.html.

[100]

Andrew S. Tanenbaum. Computer Networks. Prentice-Hall, Inc., Eaglewood Cliffs, NJ, second edition, 1988. ISBN 0-13-166836-6.

[101]

The Scout Team. Scout Programmer's Manual. Department of Computer Science, University of Arizona, Tucson, AZ, 1996.

[102]

Lucent Technologies. The Limbo programming language, 1997. http://inferno.lucent.com/inferno/limbo.html.

[103]

D. L. Tennenhouse and D. J. Wetherall. Towards an Active Network architecture. Computer Communication Review, 26(2), 1996. http://www.tns.lcs.mit.edu/publications/ccr96.html.

[104]

Chandramohan A. Thekkath and Henry M. Levy. Limits to low-latency communication on high-speed networks. ACM Transactions on Computer Systems, 11(2):179--203, May 1993.

[105]

F. Travostino, E. Menze, and F. Reynolds. Paths: Programming with system resources in support of real-time distributed applications. In Proceedings of the 1996 IEEE Workshop on Object-Oriented Real-Time Dependable Systems, pages 36--45, Laguna Beach, CA, February 1996. IEEE. http://www.osf.org/~travos/WORDS96/words96.frame.ps.

[106]

Stephen A. Uhler. MGR---a window system for UNIX. In Proceedings of the Fourth Computer Graphics Workshop, page 106, Cambridge, MA, October 1987. USENIX. Abstract only.

[107]

Robbert van Renesse. Masking the overhead of protocol layering. In Proceedings of SIGCOMM '96 Symposium, pages 96--104, Stanford, CA, August 1996. ACM. http://www.acm.org/sigcomm/sigcomm96/papers/vanrenesse.html.

[108]

Robbert van Renesse, Ken Birman, Roy Friedman, Mark Hayden, and David Karr. A framework for protocol composition in Horus. In Proceedings of the Fourteenth ACM Symposium on Principles of Distributed Computing, pages 80--89, Ottawa, Canada, August 1995.

[109]

Robert Wahbe, Steven Lucco, Tom Anderson, and Susan Graham. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating System Principles, pages 203--216, Asheville, NC, December 1993. ACM.

[110]

Brent B. Welch. The Sprite remote procedure call system. Technical Report UCB/CSD 86/302, Computer Science Division, EECS Department, University of California, Berkeley, June 1986. http://sunsite.Berkeley.EDU/NCSTRL/.

[111]

Mark Wittle and Bruce E. Keith. LADDIS: The next generation in NFS file server benchmarking. In 1993 Summer USENIX Conference Proceedings, pages 111--128, Cincinnati, OH, 1993. http://www.specbench.org/osg/sfs93/doc/WhitePaper.ps.

[112]

Alec Wolman, Geoff Voelker, and Chandramohan A. Thekkath. Latency analysis of TCP on an ATM network. In 1994 Winter USENIX Conference Proceedings, pages 167--179, San Fransisco, CA, 1994.

[113]

Masanobu Yuhara, Brian N. Bershad, Chris Maeda, and J. Eliot B. Moss. Efficient packet demultiplexing for multiple endpoints and large messages. In 1994 Winter USENIX Conference Proceedings, pages 153--165, San Fransico, CA, 1994.

[114]

Hubert Zimmermann. OSI reference model---the ISO model of architecture for open systems interconnection. IEEE Transactions on Communications, COM-28(4):425--432, April 1980.