Loading...
Please wait, while we are loading the content...
Similar Documents
Scaling up partial evaluation for optimizing the Sun commercial RPC protocol (1997)
| Content Provider | CiteSeerX |
|---|---|
| Author | Volanschi, Eugen-Nicolae Muller, Gilles Marlet, Renaud |
| Description | In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation |
| Abstract | 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 to-wards 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 imple-mentation, are publicly available upon request to the authors. 1 |
| File Format | |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Traditional Binding-time Analysis Sun Rpc Experiment File Static Data Structure Sun Commercial Rpc Binding-time Analysis To-wards System Software Specialized Imple-mentation Real System Program Sun Commercial Rpc Protocol Realistic Program Partial Evaluator Context Sensitivity Sun Rpc Return Sensitivity Multiple Opportunity Generic Way Remote Procedure Call Successful Experiment |
| Content Type | Text |
| Resource Type | Conference Proceedings |
