%0 Conference Paper %1 ZeroOverhead %A Marr, Stefan %A Seaton, Chris %A Ducasse, Stéphane %B Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation %D 2015 %I ACM %K DispatchChains MeMyPublication MetaProgramming Overhead Performance RPython Truffle myown %P 545--554 %R 10.1145/2737924.2737963 %T Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises %X Runtime metaprogramming enables many useful applications and is often a convenient solution to solve problems in a generic way, which makes it widely used in frameworks, middleware, and domain-specific languages. However, powerful metaobject protocols are rarely supported and even common concepts such as reflective method invocation or dynamic proxies are not optimized. Solutions proposed in literature either restrict the metaprogramming capabilities or require application or library developers to apply performance improving techniques. For overhead-free runtime metaprogramming, we demonstrate that dispatch chains, a generalized form of polymorphic inline caches common to self-optimizing interpreters, are a simple optimization at the language-implementation level. Our evaluation with self-optimizing interpreters shows that unrestricted metaobject protocols can be realized for the first time without runtime overhead, and that this optimization is applicable for just-in-time compilation of interpreters based on meta-tracing as well as partial evaluation. In this context, we also demonstrate that optimizing common reflective operations can lead to significant performance improvements for existing applications. %@ 978-1-4503-3468-6

@inproceedings{ZeroOverhead, abstract = {Runtime metaprogramming enables many useful applications and is often a convenient solution to solve problems in a generic way, which makes it widely used in frameworks, middleware, and domain-specific languages. However, powerful metaobject protocols are rarely supported and even common concepts such as reflective method invocation or dynamic proxies are not optimized. Solutions proposed in literature either restrict the metaprogramming capabilities or require application or library developers to apply performance improving techniques. For overhead-free runtime metaprogramming, we demonstrate that dispatch chains, a generalized form of polymorphic inline caches common to self-optimizing interpreters, are a simple optimization at the language-implementation level. Our evaluation with self-optimizing interpreters shows that unrestricted metaobject protocols can be realized for the first time without runtime overhead, and that this optimization is applicable for just-in-time compilation of interpreters based on meta-tracing as well as partial evaluation. In this context, we also demonstrate that optimizing common reflective operations can lead to significant performance improvements for existing applications.}, added-at = {2015-03-31T15:15:51.000+0200}, appendix = {https://stefan-marr.de/papers/pldi-marr-et-al-zero-overhead-metaprogramming-artifacts/}, author = {Marr, Stefan and Seaton, Chris and Ducasse, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/284be3e9de039beab1ddee5414f9bec3c/gron}, blog = {https://stefan-marr.de/2015/04/zero-overhead-metaprogramming/}, booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}, doi = {10.1145/2737924.2737963}, html = {https://stefan-marr.de/papers/pldi-marr-et-al-zero-overhead-metaprogramming/}, interhash = {c212198ae76c6205f6cdbf31185dcc1c}, intrahash = {84be3e9de039beab1ddee5414f9bec3c}, isbn = {978-1-4503-3468-6}, keywords = {DispatchChains MeMyPublication MetaProgramming Overhead Performance RPython Truffle myown}, month = {June}, note = {(acceptance rate 19%)}, numpages = {10}, pages = {545--554}, pdf = {https://stefan-marr.de/downloads/pldi15-marr-et-al-zero-overhead-metaprogramming.pdf}, publisher = {ACM}, series = {PLDI '15}, timestamp = {2022-08-29T20:47:41.000+0200}, title = {Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises}, year = 2015 }