TY - GEN
T1 - Scaling up partial evaluation for optimizing the Sun commercial RPC protocol
AU - Muller, Gilles
AU - Volanschi, Eugen Nicolae
AU - Marlet, Renaud
PY - 1997/1/1
Y1 - 1997/1/1
N2 - We report here a successful experiment in using partial evaluation on a realistic program, namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is implemented in a highly generic way that offers multiple opportunities of specialization. Our study also shows the incapacity of traditional binding-time analyses to treat real system programs. Our experiment has been made with Tempo, a partial evaluator for C programs targeted towards system software. Tempo's binding-time analysis had to be improved to integrate partially static data structures (interprocedu-rally), context sensitivity, use sensitivity and return sensitivity. The Sun RPC experiment files, including the specialized implementation, are publicly available upon request to the authors.
AB - We report here a successful experiment in using partial evaluation on a realistic program, namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is implemented in a highly generic way that offers multiple opportunities of specialization. Our study also shows the incapacity of traditional binding-time analyses to treat real system programs. Our experiment has been made with Tempo, a partial evaluator for C programs targeted towards system software. Tempo's binding-time analysis had to be improved to integrate partially static data structures (interprocedu-rally), context sensitivity, use sensitivity and return sensitivity. The Sun RPC experiment files, including the specialized implementation, are publicly available upon request to the authors.
UR - https://www.scopus.com/pages/publications/0030657263
U2 - 10.1145/258993.259010
DO - 10.1145/258993.259010
M3 - Conference contribution
AN - SCOPUS:0030657263
SN - 0897919173
SN - 9780897919173
T3 - Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
SP - 116
EP - 126
BT - Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997
PB - Association for Computing Machinery
T2 - 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997
Y2 - 12 June 1997 through 13 June 1997
ER -