.png){kind=icon}
返回
Generating efficient protocol code from an abstract specification
.png){kind=icon}
PRE
AI
DOI：10.1109/90.649465.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
A protocol compiler takes as input an abstract specification of a protocol and generates an implementation of that protocol, Protocol compilers usually produce inefficient 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 efficient code. These techniques are: i) the use of a compiler that generates from the specification a unique tree-shaped automation (rather than multiple independent automata) and ii) the use of optimization techniques applied at the automation 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 specification written in the synchronous language Esterel, The specification is compiled into a unique automation by the Esterel front end compiler, The automation is then optimized and converted into C code by our protocol optimizer called HIPPCO. HIPPCO improves code performance(1) and reduces code size by simultaneously optimizing the performance 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 specification, We compare the protocol code generated with our approach to that derived from the standard BSD TCP implementation, The results are very encouraging, HIPPCO-generated code executes up to 25% fewer instructions than the BSD code for input packet processing while only increasing the code size by 25%.
Keyword:
code optimization
formal languages
protocol compilers
transport protocols
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
I
IF:
3.6
论文数:
4.4K
被引数:
9.5K
机构
暂无机构信息
引用论文
Stereoselective synthesis of polyfunctionalised hydroxylated cyclopentanes from dihydroxylated 2-cyclopentenone derivatives.png)
Tetrahedron
TetrahedronIF0
PREAI
分享收藏The potential of citizen monitoring programs for marine areas: activities of the two-year Sango (Coral) Map Project公民监测计划在海洋区域的应用潜力：为期两年的Sango (Coral) Map项目的活动
OAAI
OAAI分享收藏分享收藏Genomic and chromatin features shaping meiotic double-strand break formation and repair in miceOAAI
IF0
OAAI分享收藏
查看更多内容