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

[Mark Roos]

I would be interested as well

mark




From:   Eric Bodden <eric.bodden at ec-spride.de>
To:     Da Vinci Machine Project <mlvm-dev at openjdk.java.net>
Date:   02/19/2013 05:39 AM
Subject:        Looking for comments on paper draft "DynaMate: Simplified 
and     optimized invokedynamic dispatch"
Sent by:        mlvm-dev-bounces at openjdk.java.net



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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/mlvm-dev/attachments/20130219/b85fc5ee/attachment.html