SCHULTZ, U., LAWALL, J., CONSEL,C.,AND MULLER, G. 2000. Specialization patterns. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000). IEEE Computer Society Press, Grenoble, France, 197--206.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....one should design to be as flexible as needed, not as flexible as possible. Design patterns may influence performance. Because design patterns introduce extra abstractions and indirections, the implementation they lead to is often less e#cient than a more straightforward implementation [TDM99, SLCM00] Performance is already an issue in object oriented programming languages, since late binding and polymorphism are responsible for the fact that compilers can not apply traditional optimization techniques (such as inlining) Cha92] Adding more flexibility through extra indirections clearly only ....

U. Schultz, J. Lawall, C. Consel, and G. Muller. Specialization Patterns. In Proceedings of the 15 th IEEE International Conference on Automated Software Engineering, pages 197--206, 2000.

....optimizers may deliver performance close to that of native code, thus encouraging use of type safe languages. The unique advantage of dynamic optimizers is that by operating at run time, they make possible transformations specific to the program s memory state, most notably program specialization [1, 4, 8, 9, 13, 14, 18, 20, 24, 27, 28]. In fact, the dynamic optimizer is arguably the most suitable environment for specializer deployment, because the runtime is where the largest number of constants is known. So far, however, no dynamic optimizer has been able to specialize programs transparently, because although many existing ....

....compiler is necessary. We will address this as part of future work. 8. RELATED WORK In all the previous sections, we have attempted to relate our work with existing specialization techniques. In this section, we present a short summary of related work. Program specialization (in various forms) [1,8,9,12,13,18,20,24,27,28] is a well studied program optimization technique. In its classic form, it has been a compile time source to source optimization technique. Tempo [8] and DyC [13] perform staged specialization and use code templates to generate specialized code using the values available at runtime. However, they ....

U. P. Schultz, J. L. Lawall, and C. Consel. Specialization patterns. In Proceedings of the IEEE International Conference on Automated Software Engineering (ASE 2000.

....analyze the specialization opportunities provided by specific uses of design patterns, and determine how to eliminate these overheads using program specialization. These opportunities are documented in declarations, called specialization patterns, and are associated with specific design patterns [20]. The specialization of a program composed of design patterns is then driven by the corresponding declarations. This work is presented in the context of Java and uses our Java specializer [19] Finally, we also investigated the use of specializable components as black box, reusable components ....

U. P. Schultz, J. L. Lawall, and C. Consel. Specialization patterns. In ASE2000 [1], pages 197--206.

No context found.

SCHULTZ, U., LAWALL, J., CONSEL,C.,AND MULLER, G. 2000. Specialization patterns. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000). IEEE Computer Society Press, Grenoble, France, 197--206.

....Also, to make back end specialization transparent to the programmer, a translator from C to Java was developed. This back translator only handles the subset of C (and program patterns) that can be generated by Harissa and output by Tempo. This project led to a program specializer named JSpec [16,36,37]. 5 Applications Tempo has mainly been used in two areas: operating systems and compiler generation. In this section, we give an overview of applications of Tempo in these areas and discuss the resulting performance improvements. 5.1 Operating Systems An early success of the Tempo project was ....

U. P. Schultz, J. L. Lawall, C. Consel, Specialization patterns, in: Proceedings of the 15 IEEE International Conference on Automated Software Engineering (ASE 2000.

....could be to allow separate modules to be written which can be included into a local lexical scope using a simple mechanism similar to #include from C. An important yet often overlooked issue in partial evaluation is controlling the degree of specialization performed by the partial evaluator [29, 48]. Both overspecialization (code explosion) and underspecialization (no benefit) must be avoided. In Lapis, specialization is triggered by the covariant specialization of type attributes. A type attribute can trigger specialization at any place within its lexical scope, which help to avoid ....

U.P. Schultz, J.L. Lawall, C. Consel, and G. Muller. Specialization patterns. In Proceedings of the 15 th IEEE International Conference on Automated Software Engineering (ASE 2000), pages 197--206, Grenoble, France, September 2000. IEEE Computer Society Press.

....using specialization classes. The flyweight pattern optimizes memory usage by sharing objects, and cannot be specialized in any obvious way. For the lack of space, we do not include a specialization pattern example for structural patterns. We refer the interested reader to the technical report [27] for details. 4.4. Behavioral Patterns Behavioral patterns abstract over the control flow, providing generic ways of parameterizing behavior. They separate different aspects of an overall behavior, making it possible to construct new behaviors by composing individual objects or classes. Every ....

U. Schultz, J. Lawall, and C. Consel. Specialization patterns. Research Report 3853, INRIA, Rennes, France, Jan. 2000. Extended version.

.... propagation of all data types, and performs constant folding and control flow simplifications based on the usage context [1] Automatic program specialization has recently been defined in the context of object oriented languages, and is here referred to as object oriented program specialization [4, 5, 6, 7, 8]. As part of this work, we have developed an automatic program specializer for Java, named JSpec, which has been shown to give significant execution time speedups on large programs. Specialization of an object oriented program generates new, specialized methods, which must be reintroduced back ....

U. Schultz, J. Lawall, C. Consel, and G. Muller. Specialization patterns. In Proceedings of the 15 th IEEE International Conference on Automated Software Engineering (ASE

....overheads due to the use of object oriented abstractions in writing generic programs. Earlier work has addressed the declaration of what to specialize, in the form of specialization classes [29] described an early prototype of JSpec [24] and addressed the issue of selecting where to specialize [25]. Here, we present the complete Java to Java specialization performed by JSpec, and experimentally demonstrate the advantage of program specialization on a wide selection of generic benchmark programs. Lastly, we here demonstrate that automatic program specialization does not overlap with existing ....

U. Schultz, J. Lawall, C. Consel, and G. Muller. Specialization patterns. In Proceedings of the 15 th IEEE International Conference on Automated Software Engineering (ASE 2000), pages 197--206, Grenoble, France, Sept. 2000. IEEE Computer Society Press.

No context found.

U.P. Schultz, J.L. Lawall, and C. Consel. Specialization patterns. In ASE'2000, the 15th IEEE International Conference on

No context found.

U.P. Schultz, J.L. Lawall, and C. Consel. Specialization patterns. In IEEE International Conference on Automated Software Engineering (ASE), pages 197-206, 2000.

No context found.

U. P. Schultz, J. L. Lawall, and C. Consel. Specialization patterns. In Proceedings IEEE International Conference on Automated Software Engineering -- ASE 2000.

No context found.

U. P. Schultz, J. L. Lawall, and C. Consel. Specialization Patterns. In Proceedings of the 9 IEEE International Conference on Automated Software Engineering (ASE 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC