Affiliations: Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada. Tel.: +1 (519) 888 4567 ext. 5313, Fax: +1 (519) 746 3077, E-mail: [email protected] | Computer Networking Lab., Swiss Federal Institute of Technology, DI-LTI EPFL, CH-1015 Lausanne, Switzerland. Tel.: +41 21 693 66 16, Fax: +41 21 693 66 10, E-mail: [email protected]
Note: [] The author names appear in alphabetical order. Part of the work of both authors was carried out in the course of the Δ2 project of the University of Berne and the EPF Lausanne, funded by the Swiss National Science Foundation. The first author received support from the National Science and Engineering Research Council of Canada (NSERC).
Note: [] Correspondence author.
Abstract: We are introducing and discussing a method for the optimized and parallel implementation of protocols as well as a tool OPPARIM to apply the method automatically to the specification of a protocol. We present a study case representing an IP/TCP/FTP protocol stack specified in SDL. We show how OPPARIM generates dependence graphs from the specification and how it manipulates these graphs to allow for an optimised and possibly parallelised implementation. We then present a hardware architecture on which the protocol stack could be implemented and show the effects of our optimizations on the processing time of an incoming packet. Using two processing elements the optimised implementation executes in less than half the time of what we call a “faithful” implementation.
Keywords: Protocol implementation, TCP/IP/FTP, specification and description language (SDL), data- and control flow analysis, high speed protocols, protocol optimization
