HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

HIPPCO: A High Performance Protocol Code Optimizer

Claude Castelluccia 1 Walid Dabbous
1 RODEO - High Speed Networks, Open Networks
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Optimisation de code, G=C8n=C8ration automatique de protocoles, ALF} % mots clés en français \RRabstract{This report presents HIPPCO, an High Performance Protocol Code Optimizer. HIPPCO belongs to the HIPPARCH compiler. HIPPARCH is a tool which proposes to generate automatically from the application communication requirements and the network characteristics an efficient implementation of a customized protocol. HIPPCO is the last stage of this protocol compiler. It takes as input a description of the protocol automaton, optimizes it and generates an implementation in {\it C}. HIPPCO decomposes the protocol automaton in two parts: the common and uncommon path. It then uses this decomposition to apply a set of optimizations toward a good code speed/code size tradeoff. In the first part of this report, the code speed optimizations are described. Those optimizations reduces the number of executed instructions and improves the instruction cache and pipeline behaviors. In the second part, a comparaison of HIPPCO automatically generated implementations of TCP are compared with the BSD implementation. We show that the HIPPCO generated codes requires up to 70% less instructions than its BSD counterpart.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:08:22 PM
Last modification on : Friday, February 4, 2022 - 3:17:34 AM
Long-term archiving on: : Thursday, March 24, 2011 - 1:27:30 PM


  • HAL Id : inria-00073944, version 1



Claude Castelluccia, Walid Dabbous. HIPPCO: A High Performance Protocol Code Optimizer. RR-2748, INRIA. 1995. ⟨inria-00073944⟩



Record views


Files downloads