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

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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:56:24 PM
Last modification on : Friday, February 4, 2022 - 3:18:53 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