Building reliable, high-performance communication systems from components

Operating Systems Review (ACM)

Volumn 33, Issue 5, 1999, Pages 80-92

  Liu, Xiaoming ^a   Kreitz, Christoph ^a   Van Renesse, Robbert ^a   Hickey, Jason ^a,b   Hayden, Mark ^a,c   Birman, Kenneth ^a   Constable, Robert ^a  

^a Center for Applied Mathematics   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042352269     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319344.319157     Document Type: Article

References (27)

1. ABBOTT, M., AND PETERSON, L. Increasing network throughput by integrating protocol layers. IEEE/ACM Transactions on Networking, 1(5):600-610 (Oct. 1993).
2. BAILEY, M., GOPAL, B., PAGELS, M., PETERSON, L., AND SARKAR, P. PATHFINDER: A pattern-based packet classifier. In Proceedings of the First Symposium on Operating Systems Design and Implementations (Apr. 1994), pp. 115-123.
3. BIAGIONI, E. A structured TCP in Standard ML. In Proceedings of the '94 ACM SIGCOMM Conference (London, UK, Aug. 1994), pp. 36-45.
4. BRAUN, T., AND DIOT, C. Protocol implementation using integrated layer processing. In Proceedings of the ACM SIGCOMM Conference (1995), pp. 151-161.
5. CASTELLUCCIA, C., AND DABBOUS, W. Generating efficient protocol code from an abstract specification. In Proceedings of the ACM SIGCOMM Conference (New York, 1996), pp. 60-72.
6. CLARK, D., AND TENNENHOUSE, D. Architectural consideration for a new generation of protocols. In Proceedings of the ACM SIGCOMM Conference (Sept. 1990), pp. 200-208.
7. CONSTABLE, R., ALLEN, S., BROMLEY, H., CLEAVELAND, W., CREMER, J. F., HARPER, R., HOWE, D., KNOBLOCK, T., MENDLER, N., PANANGADEN, P., SASAKI, J., AND SMITH, S. Implementing Mathematics with the NuPRL proof development system. Prentice Hall, 1986.
8. DIJKSTRA, E. The structure of the THE multiprogramming system. Communications of the ACM, 11(5):341-346 (May 1968).
9. ENGLER, D., AND KAASHOEK, M. DPF: Fast, flexible message demultiplexing using dynamic code generation. In Proceedings of the ACM SIGCOMM Conference (1996), pp. 53-59.
10. HAYDEN, M. The Ensemble System. PhD thesis, Cornell University, Jan. 1998.
11. th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (1999), R. Cleaveland, Ed., no. 1579 in Lecture Notes on Computer Science, Springer-Verlag, pp. 119-133.
12. INTEL CORPORATION, SANTA CLARA, CA, USA. Intel Architecture Software Developer's Manual, 1999. http://developers.intel.com/design/pentiumii/manuals, order numbers 243190, 243191, 243192.
13. KAY, J., AND PASQUALE, J. The importance of non-data touching processing overheads in TCP/IP. In Proceedings of the ACM SIGCOMM Conference (Sept. 1993), pp. 259-268.
14. KREITZ, C. Formal reasoning about communication systems I: Embedding ML into type theory. Tech. Rep. TR97-1637, Cornell University, June 1997.
15. th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (1999), R. Cleaveland, Ed., no. 1579 in Lecture Notes on Computer Science, Springer-Verlag, pp. 104-118.
16. th International Conference on Automated Deduction (1998), C. . H. Kirchner, Ed., no. 1421 in Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 317-332.
17. LEROY, X. The OCAML System. INRIA, Rocquencourt, France, 1998. http://pauillac.inria.fr/ocaml.
18. LYNCH, N. Distributed Algorithms. Morgan Kaufmann, San Francisco, 1987.
19. MASSALIN, H. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Computer Science Department, Columbia University, 1992.
20. MILNER, R., TOFTE, M., AND HARPER, R. The Definition of Standard ML. MIT Press, Cambridge, MA, 1989.
21. MOSBERGER, D., PETERSON, L., BRIDGES, P., AND O'MALLEY, S. Analysis of techniques to improve protocol processing latency. In Proceedings of the ACM SIGCOMM Conference (New York, 1996), pp. 73-84.
22. PROEBSTING, T., AND WATTERSON, S. Filter fusion. In Proceedings of the 23th Annual Symposium on Principles of Programming Languages (St. Petersburg Beach, Florida, Jan. 1996), pp. 119-130.
23. PU, C., AUTREY, T., BLACK, A., CONSEL, C., COWAN, C., INOUYE, J., KETHANA, L., WALPOLE, J., AND ZHANG, K. Optimistic incremental specialization. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Dec. 1995), pp. 314-321.
24. VAN RENESSE, R. Masking the overhead of protocol layering. In Proceedings of the ACM SIGCOMM Conference (Aug. 1996), pp. 96-104.
25. VAN RENESSE, R., BIRMAN, K., HAYDEN, M., VAYSBURD, A., AND KARR, D. Building adaptive systems using Ensemble. Software - Practice and Experience, 28(9):963-979 (July 1998).
26. VAN RENESSE, R., BIRMAN, K., AND MAFFEIS, S. Horus: A flexible group communication system. Communications of the ACM, 39(4):76-83 (Apr. 1996).
27. VON EICKEN, T., AND VOGELS, W. Evolution of the Virtual Interface Architecture. IEEE Computer, 31(11):61-68 (Nov. 1998).