A general approach for run-time specialization and its application to C

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A general approach for run-time specialization and its application to C

Full text

Pdf (1.20 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

St. Petersburg Beach, Florida, United States

Pages: 145 - 156

Year of Publication: 1996

ISBN:0-89791-769-3

Authors

Charles Consel	University of Rennes/Irisa, Campus Universitaire de Beaulieu, 35042 Rennes Cedex, France
François Noël	University of Rennes/Irisa, Campus Universitaire de Beaulieu, 35042 Rennes Cedex, France

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 45, Citation Count: 84

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/237721.237767 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	C. Chambers , D. Ungar, Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.146-160, June 19-23, 1989, Portland, Oregon, United States
	2	C. Consel , O. Danvy, From interpreting to compiling binding times, Proceedings of the third European symposium on programming on ESOP '90, p.88-105, May 1990, Copenhagen, Denmark
	3	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158707]
	4	C. Consel, L. Hornof, F. No#l, J. Noy6, and N. Volanschi. A Uniform Approach for Compile-Time and Run- Tzrae Specializatton. Technical Report, University of Rennes/Inria, 1995. In preparation.
	5	C. Consel and S.C. Khoo. On-hne # Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs. Research Report, Yale University, New Haven, Connecticut, USA, 1993. Extended version. To appear in Journal of Functional Programming.
	6	Dawson R. Engler , Todd A. Proebsting, DCG: an efficient, retargetable dynamic code generation system, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.263-272, October 05-07, 1994, San Jose, California, United States
	7	Christopher W. Fraser , David R. Hanson, A code generation interface for ANSI C, Software—Practice & Experience, v.21 n.9, p.963-988, Sept. 1991 [doi>10.1002/spe.4380210906]
	8	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	9	D. Keppel, S. Eggers, and R. Henry. A Ca#e for Runtime Code Generation. Technical Report, University of Washington, Seattle, Washington, 1991.
	10	D. Keppel, S. Eggers, and R. Henry. Evaluating Runtime Compded Value-Specific Optimzzations. Technical Report 93-11-02, University of Washington, Seattle, Washington, 1993.
	11	M. Leone and P. Lee. Lightweight run-time code generation. In A CM Workshop on Partial Evaluation and Semantics-Based Program Man,pulatzon, pages 97-106, 1994.
	12	B. N. Locanthi. Fast bitblt with asm() and cpp. In European Unzx Users Group Conference Proceedings (#UUG), 1987.
	13	H. Massalin , C. Pu, Threads and input/output in the synthesis kernal, Proceedings of the twelfth ACM symposium on Operating systems principles, p.191-201, November 1989
	14	R. Pike, B. N. Locanthi, and J.F. Raiser. Hardware/software trade-offs for bitmap graphics on the blit. Software - Practice and Expemence, 15(2):131-151, 1985.
	15	C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.314-321, December 03-06, 1995, Copper Mountain, Colorado, United States
	16	C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. A CM Computing Systems, 1(1):11-32, 1988.

CITED BY 84

	Dylan McNamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , Ashvin Goel , Perry Wagle , Charles Consel , Gilles Muller , Renauld Marlet, Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.217-251, May 2001
	Massimiliano Poletto , Dawson R. Engler , M. Frans Kaashoek, tcc: a system for fast, flexible, and high-level dynamic code generation, ACM SIGPLAN Notices, v.32 n.5, p.109-121, May 1997
	Dawson R. Engler, VCODE: a retargetable, extensible, very fast dynamic code generation system, ACM SIGPLAN Notices, v.31 n.5, p.160-170, May 1996
	Reynald Affeldt , Hidehiko Masuhara , Eijiro Sumii , Akinori Yonezawa, Supporting objects in run-time bytecode specialization, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.50-60, September 12-14, 2002, Aizu, Japan
	Michael G. Burke , Jong-Deok Choi , Stephen Fink , David Grove , Michael Hind , Vivek Sarkar , Mauricio J. Serrano , V. C. Sreedhar , Harini Srinivasan , John Whaley, The Jalapeño dynamic optimizing compiler for Java, Proceedings of the ACM 1999 conference on Java Grande, p.129-141, June 12-14, 1999, San Francisco, California, United States
	Fabien Coelho, Compiling dynamic mappings with array copies, ACM SIGPLAN Notices, v.32 n.7, p.168-179, July 1997
	Mauricio Serrano , Rajesh Bordawekar , Sam Midkiff , Manish Gupta, Quicksilver: a quasi-static compiler for Java, ACM SIGPLAN Notices, v.35 n.10, p.66-82, Oct. 2000
	Matthew Arnold , Stephen Fink , David Grove , Michael Hind , Peter F. Sweeney, Adaptive optimization in the Jalapeño JVM, ACM SIGPLAN Notices, v.35 n.10, p.47-65, Oct. 2000
	Joel Auslander , Matthai Philipose , Craig Chambers , Susan J. Eggers , Brian N. Bershad, Fast, effective dynamic compilation, ACM SIGPLAN Notices, v.31 n.5, p.149-159, May 1996
	Mark Leone , Peter Lee, Dynamic specialization in the Fabius system, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	Zhenghao Wang , Richard R. Muntz, On stage ordering in staged computation, Proceedings of the second international conference on Generative programming and component engineering, p.77-96, September 22-25, 2003, Erfurt, Germany
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, ACM SIGPLAN Notices, v.35 n.1, p.81-94, Jan. 2000
	C. Consel , L. Hornof , R. Marlet , G. Muller , S. Thibault , E.-N. Volanschi , J. Lawall , J. Noyé, Tempo: specializing systems applications and beyond, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	Todd B. Knoblock , Erik Ruf, Data specialization, ACM SIGPLAN Notices, v.31 n.5, p.215-225, May 1996
	Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996
	Gilles Muller , Eugen-Nicolae Volanschi , Renaud Marlet, Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, ACM SIGPLAN Notices, v.32 n.12, p.116-126, Dec. 1997
	Avinash Sodani , Gurindar S. Sohi, An empirical analysis of instruction repetition, ACM SIGOPS Operating Systems Review, v.32 n.5, p.35-45, Dec. 1998
	Vasanth Bala , Evelyn Duesterwald , Sanjeev Banerjia, Dynamo: a transparent dynamic optimization system, ACM SIGPLAN Notices, v.35 n.5, p.1-12, May 2000
	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, ACM SIGPLAN Notices, v.31 n.5, p.137-148, May 1996
	Toshio Suganuma , Toshiaki Yasue , Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, A dynamic optimization framework for a Java just-in-time compiler, ACM SIGPLAN Notices, v.36 n.11, p.180-195, 11/01/2001
	Brian Grant , Markus Mock , Matthai Philipose , Craig Chambers , Susan J. Eggers, Annotation-directed run-time specialization in C, ACM SIGPLAN Notices, v.32 n.12, p.163-178, Dec. 1997
	Vugranam C. Sreedhar , Michael Burke , Jong-Deok Choi, A framework for interprocedural optimization in the presence of dynamic class loading, ACM SIGPLAN Notices, v.35 n.5, p.196-207, May 2000
	Markus Mock , Craig Chambers , Susan J. Eggers, Calpa: a tool for automating selective dynamic compilation, Proceedings of the 33rd annual ACM/IEEE international symposium on Microarchitecture, p.291-302, December 2000, Monterey, California, United States
	Arne John Glenstrup , Neil D. Jones, Termination analysis and specialization-point insertion in offline partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1147-1215, November 2005
	Dirk Dussart , John Hughes , Peter Thiemann, Type specialisation for imperative languages, ACM SIGPLAN Notices, v.32 n.8, p.204-216, Aug. 1997
	Brad Calder , Peter Feller , Alan Eustace, Value profiling, Proceedings of the 30th annual ACM/IEEE international symposium on Microarchitecture, p.259-269, December 01-03, 1997, Research Triangle Park, North Carolina, United States
	Derek Bruening , Timothy Garnett , Saman Amarasinghe, An infrastructure for adaptive dynamic optimization, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
	Michael J. Voss , Rudolf Eigenmann, A framework for remote dynamic program optimization, ACM SIGPLAN Notices, v.35 n.7, p.32-40, July 2000
	Massimiliano Poletto , Wilson C. Hsieh , Dawson R. Engler , M. Frans Kaashoek, C and tcc: a language and compiler for dynamic code generation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.2, p.324-369, March 1999
	Eugen N. Volanschi , Charles Counsel , Gilles Muller , Crispin Cowan, Declarative specialization of object-oriented programs, ACM SIGPLAN Notices, v.32 n.10, p.286-300, Oct. 1997
	Andrew Black , Jon Inouye, System support for mobility, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland
	Matthai Philipose , Craig Chambers , Susan J. Eggers, Towards automatic construction of staged compilers, ACM SIGPLAN Notices, v.37 n.1, p.113-125, Jan. 2002
	Jung Gyu Park , Myong-Soon Park, Using indexed data structures for program specialization, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.61-69, September 12-14, 2002, Aizu, Japan
	Tong Zhou , Calton Pu , Ling Liu, Dynamic restructuring of transactional workflow activities: a practical implementation method, Proceedings of the seventh international conference on Information and knowledge management, p.378-385, November 02-07, 1998, Bethesda, Maryland, United States
	Dawson R. Engler , Wilson C. Hsieh , M. Frans Kaashoek, C: a language for high-level, efficient, and machine-independent dynamic code generation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.131-144, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Brian Grant , Matthai Philipose , Markus Mock , Craig Chambers , Susan J. Eggers, An evaluation of staged run-time optimizations in DyC, ACM SIGPLAN Notices, v.34 n.5, p.293-304, May 1999
	Michael J. Voss , Rudolf Eigemann, High-level adaptive program optimization with ADAPT, ACM SIGPLAN Notices, v.36 n.7, p.93-102, July 2001
	Renaud Marlet , Charles Consel , Philippe Boinot, Efficient incremental run-time specialization for free, ACM SIGPLAN Notices, v.34 n.5, p.281-292, May 1999
	C. Consel , L. Hornof , R. Marlet , G. Muller , S. Thibault , E.-N. Volanschi , J. Lawall , J. Noyé, Partial evaluation for software engineering, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	Rowan Davies , Frank Pfenning, A modal analysis of staged computation, Journal of the ACM (JACM), v.48 n.3, p.555-604, May 2001
	Hidehiko Masuhara , Akinori Yonezawa, A portable-approach to dynamic optimization in run-time specialization, New Generation Computing, v.20 n.1, p.101-124, January 2002
	Olivier Danvy , Bernd Grobauer , Morten Rhiger, A unifying approach to goal-directed evaluation, New Generation Computing, v.20 n.1, p.53-73, January 2002
	Torben Amtoft , Charles Consel , Olivier Danvy , Karoline Malmkjær, The abstraction and instantiation of string-matching programs, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	John Aycock, A brief history of just-in-time, ACM Computing Surveys (CSUR), v.35 n.2, p.97-113, June 2003
	Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy, Implementing multi-stage languages using ASTs, Gensym, and reflection, Proceedings of the second international conference on Generative programming and component engineering, p.57-76, September 22-25, 2003, Erfurt, Germany
	Brian Ensink , Joel Stanley , Vikram Adve, Program control language: a programming language for adaptive distributed applications, Journal of Parallel and Distributed Computing, v.63 n.11, p.1082-1104, November 2003
	Sathyanarayanan Thammanur , Santosh Pande, A fast, memory-efficient register allocation framework for embedded systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.6, p.938-974, November 2004
	Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004
	Dawson R. Engler , M. Frans Kaashoek, DPF: fast, flexible message demultiplexing using dynamic code generation, ACM SIGCOMM Computer Communication Review, v.26 n.4, p.53-59, Oct. 1996
	Michael Sperber , Peter Thiemann, Two for the price of one: composing partial evaluation and compilation, ACM SIGPLAN Notices, v.32 n.5, p.215-225, May 1997
	Eric C. Schnarr , Mark D. Hill , James R. Larus, Facile: a language and compiler for high-performance processor simulators, ACM SIGPLAN Notices, v.36 n.5, p.321-331, May 2001
	Charles Consel, Program adaptation based on program transformation, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Luke Hornof , Jacques Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, ACM SIGPLAN Notices, v.32 n.12, p.63-73, Dec. 1997
	Philip Wickline , Peter Lee , Frank Pfenning, Run-time code generation and modal-ML, ACM SIGPLAN Notices, v.33 n.5, p.224-235, May 1998
	Brian Grant , Markus Mock , Matthai Philipose , Craig Chambers , Susan J. Eggers, The benefits and costs of DyC's run-time optimizations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.5, p.932-972, Sept. 2000
	Michael J. Voss , Rudolf Eigenmann, Towards a compilation paradigm for computational applications on the information power grid, Computational science, mathematics and software, Purdue University Press, West Lafayette, IN, 2002
	Brian Grant , Matthai Philipose , Markus Mock , Craig Chambers , Susan J. Eggers, A retrospective on: "an evaluation of staged run-time optimizations in DyC", ACM SIGPLAN Notices, v.39 n.4, April 2004
	Brian Grant , Matthai Philipose , Markus Mock , Craig Chambers , Susan J. Eggers, A retrospective on: "an evaluation of staged run-time optimizations in DyC", ACM SIGPLAN Notices, v.39 n.4, April 2004
	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, ACM SIGPLAN Notices, v.39 n.4, April 2004
	B. Alpern , C. R. Attanasio , J. J. Barton , M. G. Burke , P. Cheng , J.-D. Choi , A. Cocchi , S. J. Fink , D. Grove , M. Hind , S. F. Hummel , D. Lieber , V. Litvinov , M. F. Mergen , T. Ngo , J. R. Russell , V. Sarkar , M. J. Serrano , J. C. Shepherd , S. E. Smith , V. C. Sreedhar , H. Srinivasan , J. Whaley, The Jalapeño virtual machine, IBM Systems Journal, v.39 n.1, p.211-238, January 2000
	Scott Thibault , Charles Consel , Julia L. Lawall , Renaud Marlet , Gilles Muller, Static and Dynamic Program Compilation by Interpreter Specialization, Higher-Order and Symbolic Computation, v.13 n.3, p.161-178, Sept. 2000
	Tito Autrey , Michael Wolfe, Initial Results for Glacial Variable Analysis, International Journal of Parallel Programming, v.26 n.1, p.43-64, Feb., 1, 1998
	Ajeet Shankar , S. Subramanya Sastry , Rastislav Bodík , James E. Smith, Runtime specialization with optimistic heap analysis, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Gregory T. Sullivan , Derek L. Bruening , Iris Baron , Timothy Garnett , Saman Amarasinghe, Dynamic native optimization of interpreters, Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators, p.50-57, June 12-12, 2003, San Diego, California
	Yanhong A. Liu , Scott D. Stoller , Ning Li , Tom Rothamel, Optimizing aggregate array computations in loops, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.1, p.91-125, January 2005
	Kenneth A. Ross, Selection conditions in main memory, ACM Transactions on Database Systems (TODS), v.29 n.1, p.132-161, March 2004
	Scott A. Thibault , Renaud Marlet , Charles Consel, Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation, IEEE Transactions on Software Engineering, v.25 n.3, p.363-377, May 1999
	Karine Brifault , Henri-Pierre Charles, Efficient data driven run-time code generation, Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems, p.1-7, October 22-23, 2004, Houston, Texas
	Kenneth A. Ross, Conjunctive selection conditions in main memory, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin
	Jason Eckhardt , Roumen Kaiabachev , Emir Pasalic , Kedar Swadi , Walid Taha, Implicitly heterogeneous multi-stage programming, New Generation Computing, v.25 n.3, p.305-336, January 2007
	Dawson R. Engler , Wilson C. Hsieh, Derive: a tool that automatically reverse-engineers instruction encodings, ACM SIGPLAN Notices, v.35 n.7, p.12-22, July 2000
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.7-7, October 03-05, 1999, Austin, Texas
	Scott Thibault , Renaud Marlet , Charles Consel, A domain specific language for video device drivers: from design to implementation, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.2-2, October 15-17, 1997, Santa Barbara, California
	Wilson C. Hsieh , Dawson R. Engler , Godmar Back, Reverse-Engineering Instruction Encodings, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.133-145, June 25-30, 2001
	Renaud Marlet , Scott Thibault , Charles Consel, Efficient Implementations of Software Architectures via Partial Evaluation, Automated Software Engineering, v.6 n.4, p.411-440, October 1999
	Peter Thiemann, Combinators for program generation, Journal of Functional Programming, v.9 n.5, p.483-525, September 1999
	Frederick Smith , Dan Grossman , Greg Morrisett , Luke Hornof , Trevor Jim, Compiling for template-based run-time code generation, Journal of Functional Programming, v.13 n.3, p.677-708, May 2003
	Luke Hornof , Trevor Jim, Certifying Compilation and Run-Time Code Generation, Higher-Order and Symbolic Computation, v.12 n.4, p.337-375, December 1999
	Stefan Monnier , Zhong Shao, Inlining as staged computation, Journal of Functional Programming, v.13 n.3, p.647-676, May 2003
	Zhelong Pan , Rudolf Eigenmann, PEAK—a fast and effective performance tuning system via compiler optimization orchestration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-43, May 2008
	Sapan Bhatia , Charles Consel , Calton Pu, Remote specialization for efficient embedded operating systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-32, July 2008
	Ping Zhu , Siau Cheng Khoo, Specialization for applications using shared libraries, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Carl Friedrich Bolz , Antonio Cuni , Maciej Fijalkowski , Armin Rigo, Tracing the meta-level: PyPy's tracing JIT compiler, Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, p.18-25, July 06-06, 2009, Genova, Italy