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.
Type de document :
[Research Report] RR-3219, INRIA. 1997
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:56:24
Dernière modification le : vendredi 6 avril 2018 - 13:42:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:47:35



  • 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〉



Consultations de la notice


Téléchargements de fichiers