Automated derivation of ILP implementations from SDL specifications

被引：0

作者：

Twarok, S ^{[1
]}

Langendoerfer, P ^{[1
]}

Koenig, H ^{[1
]}

机构：

[1] UniLab Software AG, Braunschweig, Germany

来源：

FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS | 2001年 / 69卷

关键词：

formal description techniques; integrated layer processing; automated protocol implementation; configurable FDT compiler; SDL;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：3 / 18

页数：16

共 13 条

[1]

ABBOTT M, 1993, IEEE ACM T NETWORK, V1, P5

[2]

Ahlgren B, 1996, J HIGH SPEED NETW, V5, P203

[3]

BRAUN T, 1995, P ACM SIGCOMM

[4]

BRAUN T, 1996, 2786 INRIA

[5]

CLARK DD, P ACM SIGCOMM 90, P200

[6] Improving the efficiency of automated protocol implementations using a configurable FDT compiler [J].

Koenig, H ;

Langendoerfer, P ;

Krumm, H .

COMPUTER COMMUNICATIONS, 2000, 23 (12) :1179-1195

[7]

KOENIG H, 1997, I181997 BTU COTTB DE

[8]

LANGENDOERFER P, IN PRESS J SUPERCOMP

[9]

LANGENDOERFER P, 1997, P 3 WORKSH HIGH PERF

[10]

Langendörfer P, 1999, INT FED INFO PROC, V28, P169

← 1 2 →