DyC: an expressive annotation-directed dynamic compiler for C. We present the design of DyC, a dynamic-compilation system for C based on run-time specialization. Directed by a few declarative user annotations that specify the variables and code on which dynamic compilation should take place, a binding-time analysis computes the set of run-time constants at each program point in the annotated procedure’s control-flow graph; the analysis supports program-point-specific polyvariant division and specialization. The results of the analysis guide the construction of a run-time specializer for each dynamically compiled region; the specializer supports various caching strategies for managing dynamically generated code and mixes of speculative and demand-driven specialization of dynamic branch successors. Most of the key cost/benefit trade-offs in the binding-time analysis and the run-time specializer are open to user control through declarative policy annotations. DyC has been implemented in the context of an optimizing compiler, and initial results have been promising. The speedups we have obtained are good, and the dynamic-compilation overhead is among the lowest of any dynamic-compilation system, typically 20-200 cycles per instruction generated on a Digital Alpha 21164. The majority of DyC’s functionality has been used to dynamically compile an instruction-set simulator. Only three annotations were required, but a few other changes to the program had to be made due to DyC’s lack of support for static global variables. This deficiency and DyC’s rudimentary support for partially static data structures are the primary obstacles to making DyC easy to use.
Keywords for this software
References in zbMATH (referenced in 10 articles , 1 standard article )
Showing results 1 to 10 of 10.
- Li, Jiangtian; Ma, Xiaosong; Yoginath, Srikanth; Kora, Guruprasad; Samatova, Nagiza F.: Transparent runtime parallelization of the R scripting language (2011)
- Rudolph, Johannes; Thiemann, Peter: Mnemonics: type-safe bytecode generation at run time (2010)
- Consel, Charles; Lawall, Julia L.; Le Meur, Anne-Françoise: A tour of tempo: a program specializer for the C language (2004)
- Le Meur, Anne-Françoise; Lawall, Julia L.; Consel, Charles: Specialization scenarios: a pragmatic approach to declaring program specialization (2004)
- Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor: Compiling for template-based run-time code generation (2003)
- Masuhara, Hidehiko; Yonezawa, Akinori: A portable approach to dynamic optimization in run-time specialization (2002)
- Sheard, Tim: Accomplishments and research challenges in meta-programming (2001)
- Eigenmann, Rudolf; Voss, Michael J.: Towards a compilation paradigm for computational applications on the information power grid (2000)
- Grant, B.; Mock, M.; Philipose, M.; Chambers, C.; Eggers, S.J.: DyC: An expressive annotation-directed dynamic compiler for C (2000)
- Muller, G.; Marlet, R.; Volanschi, E.-N.: Accurate program analyses for successful specialization of legacy system software (2000)