Generating efficient protocol code from an abstract specification

IEEE/ACM Transactions on Networking

Volumn 5, Issue 4, 1997, Pages 514-524

  Castelluccia, Claude ^a   Dabbous, Walid ^b   O'Malley, Sean ^c  

^a INRIA   (France)

^b INRIA   (France)

^c Network Appliance   (United States)

Author keywords

Code optimization; Formal languages; Protocol compilers; Transport protocols

Indexed keywords

AUTOMATION; C (PROGRAMMING LANGUAGE); CODE CONVERTERS; CODES (SYMBOLS); COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; OPTIMIZATION; PROGRAM COMPILERS; TREES (MATHEMATICS);

ESTEREL PROGRAMMING LANGUAGE; PROTOCOL COMPILERS; TRANSPORT CONTROL PROTOCOL (TCP);

NETWORK PROTOCOLS;

EID: 0031210782     PISSN: 10636692     EISSN: None     Source Type: Journal    
DOI: 10.1109/90.649465     Document Type: Article

References (26)

1. S. Aggarwal and R. P. Kurshan, "Automated implementation from formal specification," in Protocol Specification, Testing and Verification IV. Amsterdam, The Netherlands: North-Holland, 1985, pp. 127-136.
2. F. Boussinot and R. de Simone, "The ESTEREL language," INRIA, Sophia-Antipolis, France, Tech. Rep. 1487, July 1991.
3. L. Brakmo and L. Peterson, "Performance problems in BSD4.4 TCP," Comp. Commun. Rev., vol. 25, no. 5, pp. 69-86, Oct. 1995.
4. C. Castelluccia, "Automating header prediction," in Proc. 1st Ann. Workshop on Compiler Support for System Software, Tucson, AZ, Feb. 1996.
5. C. Castelluccia and W. Dabbous, "Modular communication subsystem implementation using a synchronous approach," in Proc. Usenix High-Speed Networking Symp., Oakland, CA, Aug. 1994, pp. 1-11.
6. _, "HIPPCO: An HIgh performance protocol code optimizer." INRIA, Sophia-Antipolis, France, Tech. Rep. 2748, Dec. 1995.
7. C. Castelluccia and P. Hoschka, "A compiler-based approach to protocol optimization," in Proc. High Performance Communication Subsystem Workshop, S.-P. Chang, Ed., Mystic, CT, Aug. 1995.
8. P. Chang, S. Mahlke, and W. Hwu, "Using profile information to assist classic code optimizations," Software-Practice and Experience, vol. 21, no. 12, pp. 1301-1321, 1991.
9. D. Clark, V. Jacobson, J. Romkey, and M. Salwen, "An analysis of TCP processing overhead," IEEE Commun. Mag., vol. 27, no. 6, pp. 23-29, June 1989.
10. D. D. Clark and D. L. Tennenhouse, "Architectural considerations for a new generation of protocols," in Proc. ACM Symp. on Communications Architectures and Protocols, Philadelphia, PA, Sept. 1990, pp. 200-208;
11. also Computer Commun. Rev., vol. 20, no. 4, Sept. 1990.
12. K. D. Cooper, M. W. Hall, and L. Torczon, "An experiment with inline substitution," Software-Practice and Experience, vol. 21, pp. 581-601, June 1991.
13. J. Crowcroft, I. Wakeman, Z. Wang, and D. Sirovica, "Layering considered harmful," IEEE Network Mag., Jan. 1991.
14. Z. Har'El and R. P. Kurshan, "Software for analytical development of communication protocols," AT&T Tech. J., vol. 69, no. 1, pp. 45-59, 1990.
15. J. L. Hennesy and D. D. Patterson, Computer Architecture: A Quantitative Approach. San Mateo, CA: Morgan Kaufmann, 1990.
16. B. Hoffmann and W. Effelsberg, "Efficient implementation of Estelle specification," Univ. Mannheim, Mannheim, Germany, Tech. Rep. 3/93, Mar. 1993.
17. N. C. Hutchinson and L. L. Peterson, "Design of the x-kernel," in Proc. ACM Symp. on Communications Architectures and Protocols, Stanford, CA, Aug. 1988, pp. 65-75;
18. also Computer Commun. Rev., vol. 18, no. 4, Aug. 1988.
19. J. A. Manas and T. de Miguel, "From LOTOS to C," in Proc. Int. Conf. on Formal Description Techniques for Distributed Systems and Communications Protocols, 1988, pp. 79-84.
20. S. McFarling, "Program optimization for instruction caches," in Proc. Third Int. Conf. Architectural Support for Programming Languages and Operating Systems, Apr. 1989, pp. 183-191.
21. A. B. Montz, D. Mosberger, S. W. O'Malley, L. L. Paterson, T. A. Proebsting, and J. H. Hartman, "Scout: A communications-oriented operating system," Comput. Sci. Dept., Univ. Arizona, Tucson, Tech. Rep. 94-20, June 1994.
22. D. Mosberger, L. L. Peterson, and S. O'Malley, "Protocol latency: MIPS and reality," Dept. Comput. Sci., Univ. Arizona, Tucson, Tech. Rep. TR 95-02, Jan. 1995.
23. L. Ness, "L.0: A truly concurrent executable temporal logic language for protocols," IEEE Trans. Software Eng., vol. 19, pp. 410-423, Apr. 1993.
24. P. Oechslin, "Implémentation Optimisée de Protocoles à Haut Débits," Ph.D. dissertation, EPFL Lausanne, Lausanne, Switzerland, 1995.
25. K. Pettis and R. C. Hansen, "Profile guided code positioning," in Proc. ACM SIGPLAN'90 Conf. Programming Language Design and Implementation, June 1990, pp. 16-27.
26. V. Roy and R. de Simone, "Auto and autograph," in Proc. Workshop on Computer Aided Verification, June 1990.