Looking for comments on paper draft "DynaMate: Simplified and optimized invokedynamic dispatch"

[Remi Forax]

On 02/19/2013 03:51 PM, Attila Szegedi wrote:
> Sure, I'd be interested in reading this.
>
> Thanks,
>    Attila.

So am I.

Rémi

>
> On Feb 19, 2013, at 2:37 PM, Eric Bodden <eric.bodden at ec-spride.de> wrote:
>
>> Hi all.
>>
>> Kamil Erhard, a student of mine, and myself have prepared a paper
>> draft on a novel framework for invokedynamic dispatch that we call
>> DynaMate. The framework is meant to aid language developers in using
>> java.lang.invoke more easily by automatically taking care of common
>> concerns like guarding and caching of method handles or adapting
>> arguments between callers and callees.
>>
>> By March 28th, we plan to submit the draft to OOPSLA, at which point
>> we will probably also make the publication available as a Technical
>> Report, and will also open-source the implementation. Right now, I
>> would like to use this email to reach out to experts in the community
>> to get some feedback on this work, both in terms of what could be
>> improved w.r.t. the paper and in terms of the DynaMate framework
>> itself.
>>
>> So please let me know if you are interested in obtaining a copy of the
>> draft to then provide us with feedback. In this case I would email you
>> the PDF some time this week.
>>
>> Best wishes,
>> Eric
>>
>> P.S. Here is the current abstract:
>>
>> Version 7 of the Java runtime includes a novel invokedynamic bytecode
>> and API, which allow the implementers of programming languages
>> targeting the Java Virtual Machine to customize the dispatch semantics
>> at every invokedynamic call site. This mechanism is quite powerful and
>> eases the implementation of dynamic languages, but is is also hard to
>> handle, as it allows for many degrees of freedom and much room for
>> error. While implementers of some dynamic languages have successfully
>> switched to using invokedynamic, others are struggling with the steep
>> learning curve.
>> We present DYNAMATE, a novel framework allowing dynamic-language
>> implementers to define dispatch patterns more easily. Implementations
>> using DYNAMATE achieve reduced complexity, improved maintainability,
>> and optimized performance. Moreover, future improvements to DYNAMATE
>> can benefit all its clients.
>> As we show, it is easy to modify the implementations of Groovy, JCop,
>> JRuby, Jython to base their dynamic dispatch on DYNAMATE. A set of
>> representative benchmarks shows that DYNAMATE-enabled dispatch code
>> usually achieves equal or better performance compared to the code that
>> those implementations shipped with originally. DYNAMATE is available
>> as an open-source project.
>>
>> -- 
>> Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
>> Head of Secure Software Engineering Group at EC SPRIDE
>> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
>> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>> _______________________________________________
>> mlvm-dev mailing list
>> mlvm-dev at openjdk.java.net
>> http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev
> _______________________________________________
> mlvm-dev mailing list
> mlvm-dev at openjdk.java.net
> http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev