Improving the efficiency of automated protocol implementations using a configurable FDT compiler

Authors:
H Koenig;P Langendoerfer;H Krumm
Affiliations:
Brandenburg University of Technology at Cottbus, Department of Computer Science, P.O. Box 101344, D-03013 Cottbus, Germany;Brandenburg University of Technology at Cottbus, Department of Computer Science, P.O. Box 101344, D-03013 Cottbus, Germany;University of Dortmund, Department of Computer Science, D-44221 Dortmund, Germany
Venue:
Computer Communications
Year:
2000

Citing 14
Cited 1

Architectural considerations for a new generation of protocols

SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Estelle development toolset (EDT)

Computer Networks and ISDN Systems
Design and validation of protocols: a tutorial

Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
Increasing network throughput by integrating protocol layers

IEEE/ACM Transactions on Networking (TON)
Increasing the efficiency of computer-aided protocol implementations

PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Protocol implementation using integrated layer processing

SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
On parallelizing and optimizing the implementation of communication protocols

IEEE/ACM Transactions on Networking (TON)
The structuring of systems using upcalls

Proceedings of the tenth ACM symposium on Operating systems principles
Increasing the Concurrency in Estelle

FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Efficient configuration of protocol software for multiprocessors

Proceedings of the IFIP Sixth International Conference on High Performance Networking VI
Integrated layer processing can be hazardous to your performance

PfHSN '96 Proceedings of the TC6 WG6.1/6.4 Fifth International Workshop on Protocols for High-Speed Networks V
Improving the efficiency of automated protocol implementation using Estelle

Computer Communications
Implementing OSI systems

IEEE Journal on Selected Areas in Communications

Real-Time tasks in SDL

SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice

Quantified Score

Hi-index	0.24

Visualization

Abstract

The integration of efficient implementation techniques, which have been proven in manual coding, into FDT compilers is difficult because of the semantic constraints of the FDTs and the lack of language means to flexibly adapt to a given implementation context. In this paper, we discuss ways to improve the efficiency of automated protocol implementations to make them applicable to real-life implementations. For solution, we introduce the concept of a configurable FDT compiler that supports the application of different implementation techniques and the adjustment of the implementation to the given implementation context. The paper discusses the semantic conflicts to be solved when applying optimizing implementation techniques. It introduces a compile time reordering of transitions to cope with these problems. Finally we present measurements that prove a considerable efficiency gain of the generated code as well as a comparison with the Cadvanced compiler of the SDT tool set.