Loading...
Please wait, while we are loading the content...
Similar Documents
Generating Eecient Protocol Code from an Abstract Speciication
| Content Provider | Semantic Scholar |
|---|---|
| Author | Castelluccia, Claude Dabbous, Walid O'Malley, Sean W. |
| Copyright Year | 1996 |
| Abstract | A protocol compiler takes as input an abstract speciication of a protocol and generates an implementation of that protoo col. Protocol compilers usually produce ineecient code both in terms of code speed and code size. In this paper, we show that the combination of two techniques makes it possible to build protocol compilers that generate eecient code. These techniques are i) the use of a compiler that generates from the speciication a unique tree-shaped automaton (rather than multiple independent automata), and ii) the use of opp timization techniques applied at the automaton level, i.e. on the branches of the trees. We have developed a protocol compiler that uses both these techniques. The compiler takes as input a protocol speciication written in the synchronous language Esterel. The speciication is compiled into a unique automaton by the Esterel front end compiler. The automaton is then optii mized and converted into C code by our protocol optimizer called HIPPCO. HIPPCO improves code performance 1 and reduces code size by simultaneously optimizing the perforr mance of the common path and optimizing the size of the uncommon path. We evaluate the gain expected with our approach on a real-life example, namely a working subset of the TCP protocol generated from an Esterel speciication. We compare the protocol code generated with our approach to that derived from the standard BSD TCP implementaa tion. The results are very encouraging. HIPPCO-generated code executes up to 25 % fewer instructions than the BSD code for input packet processing while maintaining compaa rable code size. 1 Introduction The development of a compiler that takes as input an abb stract (and hence theoretically tractable) protocol deenii tion and produces an implementation of that protocol has been the subject of much research in the networking comm munity 24, 28, 20, 32]. Unfortunately the compilers to date |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=5BBD850EE6E2FA01CCE33650A112330E?doi=10.1.1.41.3525&rep=rep1&type=pdf |
| Alternate Webpage(s) | http://www.inrialpes.fr/planete/people/ccastel/sigcomm.ps.Z |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
