Skip to Main content Skip to Navigation

Scaling up Partial Evaluation for Optimizing The Sun Commercial RPC Protocol

Abstract : We report here an experiment of using partial evaluation on a realistic program, namely the Sun commercial RPC (Remote Procedure Call) protocol. It is implemented in a highly generic way that offers multiple opportunities of specialization. One of the main results of our study is to show the incapacity of the traditional binding-time analysis in treating system programs. Our experiment has been made with Tempo, a partial evaluator for~C programs targeted towards a specific application area: system software. To treat those programs, it integrates an improved binding-time analysis with use-sensitivity, context-sensitivity and return-sensitivity properties. On the calling part of a client application (only the data encoding), the specialized code is up to 3.75 times faster than the non-specialized one. On a simple whole program execution, where only the client is specialized, we have a speedup of 1.35. This work shows that partial evaluation is reaching a relative level of maturity: it can treat real system code.
Document type :
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 12:56:24 PM
Last modification on : Tuesday, February 26, 2019 - 10:14:09 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:47:35 PM


  • HAL Id : inria-00073470, version 1



Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet. Scaling up Partial Evaluation for Optimizing The Sun Commercial RPC Protocol. [Research Report] RR-3219, INRIA. 1997. ⟨inria-00073470⟩



Record views


Files downloads