On parallelizing and optimizing the implementation of communication protocols

Author

Leue, Stefan ; Oechslin, Philippe A.

Author_Institution

Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada

Volume

4

Issue

1

fYear

1996

fDate

2/1/1996 12:00:00 AM

Firstpage

55

Lastpage

70

Abstract

We present a method for the automatic derivation of efficient protocol implementations from a formal specification. Optimized efficient protocol implementation has become an important issue in telecommunications systems engineering as recently network throughput has increased much faster than computer processing power. Efficiency will be attained by two measures. First, the inherent parallelism in protocol specifications will be exploited. Second, the order of execution of the operations involved in the processing of the protocol data will be allowed to differ from the order prescribed in the specification, thus allowing operations to be executed jointly and more efficiently. The method will be defined formally which is useful when implementing it as a tool

Keywords

optimisation; parallel programming; protocols; specification languages; telecommunication computing; telecommunication networks; SDL processes; communication protocols; efficient protocol implementations; inherent parallelism; network throughput; optimization; protocol specifications; telecommunications systems engineering; Computer networks; Design optimization; Nonhomogeneous media; Power engineering and energy; Power engineering computing; Protocols; Systems engineering and theory; Telecommunication computing; Telecommunication control; Throughput;

fLanguage

English

Journal_Title

Networking, IEEE/ACM Transactions on

Publisher

ieee

ISSN

1063-6692

Type

jour

DOI

10.1109/90.503762

Filename

503762