Accurate program analyses for successful specialization of legacy system software

DOI10.1016/S0304-3975(00)00052-9MaRDI QIDQ1583360zbMATH OpenFDO

Authors E.-N. Volanschi, Gilles Muller, Renaud Marlet

Publication date 26 October 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00052-9

zbMATH Keywords

partial evaluationprogram analysisprogram transformationremote procedure call (RPC)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Review text

Choosing the accuracy of program analyses is a crucial issue when designing and developing a partial evaluator capable of treating realistic programs, and in particular legacy software. We investigate the degree of accuracy of alias and binding-time analyses that is required to successfully exploit the specialization opportunities present in the Sun commercial implementation of the Remote Procedure Call protocol (RPC). The Sun RPC implementation consists of a stack of small parameterized layers. This structure is representative of a certain programming style in operating system and network development. The analysis features that we have explored have been implemented in Tempo, a partial evaluator for C. After automatic specialization of the RPC using Tempo, we measured speedups up to 1.5 for complete remote procedure calls (including network transport) and up to 3.7 for local buffer encoding alone. This experiment suggests that partial evaluation is reaching a high level of maturity.

Recommendations

• scientific article; zbMATH DE number 2080281
• A tour of tempo: a program specializer for the C language
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• scientific article; zbMATH DE number 1538028
• Specialization scenarios: a pragmatic approach to declaring program specialization

Cites work

• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• DyC: An expressive annotation-directed dynamic compiler for C
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Static and dynamic program compilation by interpreter specialization

Cited in

(1)

• scientific article; zbMATH DE number 2080281 (Why is no real title available?)

Describes a project that uses

Uses Software

• DyC

This page was built for publication: Accurate program analyses for successful specialization of legacy system software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583360)