Abstract
In this paper we present a mapping strategy for an important manual protocol implementation technique: the Integrated Layer Processing (ILP) which is used for protocol stack implementations with complex data manipulation operations. The Integrated Layer Processing was implemented beside the server and the activity thread model as third code generation procedure in the configurable SDL compiler COCOS. We describe the chosen transformation principle and discuss in particular the semantic problems which have to be solved for this mapping. Finally we present first measurements which show the effect of the transformation. Performance gains up to 20 per cent compared to COCOS server implementations and of about 300 per cent compared to the SDT Cadvanced tool were measured.
Sven Twarok is now with UniLab Software AG Braunschweig
Peter Langendoerfer is now with IHP Microelectronics Frankfurt (Oder)
Chapter PDF
References
Abbott, M.; Peterson, L.: Increasing Network Throughput by Integrated Protocol Layers. IEEE/ACM Transaction on Networking 1(1993)5
Ahlgren, B.; Gunningberg, P.G.; Moldeklev, K.: Increasing Communication Performance with a Minimal-Copy Data Path Supporting ILP and ALF. Journal of High Speed Network 5(1996) 2, 203–214
Braun, T.; Diot, C.: Protocol Implementation Using Integrated Layer Processing. Proc. ACM SIGCOMM, 1995.
Braun, T. et al.: ALFred-An ALF/ILP Protocol Compiler for Distributed Application Automated Design. Rapp. de Recherche No. 2786, INRIA, 1996.
Clark, D. D.; Tennenhouse, D. L.: Architectural Considerations for a New Generation of Protocols. Proc. ACM SIGCOMM’ 90, pp. 200–208.
Koenig, H.: eXample Data Transfer Protocol (XDT). Technical Report I-18/1997, BTU Cottbus, Department of Computer Science, 1997
Koenig, H.; Langendoerfer, P.; Krumm, H.: Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler. Computer Communications 23 (2000) 12, 1179–1195
Langendoerfer, P.; König, H.: Increasing the Efficiency of automatically generated code using implementation specific annotations. Proc. 3rd Workshop High Performance Protocol Architectures (HIPPARCH), P. Gunningberg, C. Huitema (eds.), Uppsalla, 1997.
Langendoerfer, P.; Koenig, H.: Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. In Wu, J.; Chanson, ST.; Gao, Q. (eds.): Formal Methods for Protocol Engineering and Distributed Systems. Kluwer Academic Publishers, 1999, pp. 169–184.
Langendoerfer, P.; Koenig, H.; Kraemer, R.: Evaluation of well-known Implementation Techniques for Application in Mobile Networks. Accepted for Special Issue of the Journal of Supercomputing, Kluwer Academic Publishers
Leue, S:, Oechslin, P.: On Parallelizing and Optimizing the Implementation of Communication Protocols. IEEE/ACM Trans. on Networking 4 (1996) 1
Telelogic Malmoe AB: SDT 3.4 User’s Guide. SDT 3.4 Reference Manual, 1998
Twarok, S.: Extension of the COCOS code generators for deriving ILP implementations. Master thesis, BTU Cottbus, Department of Computer Scvience, 2000 (in German)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
Twarok, S., Langendoerfer, P., Koenig, H. (2001). Automated Derivation of ILP Implementations from SDL Specifications. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_1
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive