Use invookedynamic para implementar despacho múltiple

Question

Me pregunté si la nueva instrucción de bytecode invokedynamic de Java7 se podría usar para implementar multiple dispatch para el lenguaje Java. ¿La nueva API en java.lang.invoke sería útil para realizar tal cosa?

El escenario en el que estaba pensando se veía de la siguiente manera. (Esto se ve como un caso de aplicación para el patrón de diseño visitante, pero puede haber razones por las que esto no es una opción viable.)

class A {} 
class A1 extends A {} 
class A2 extends A {} 

class SomeHandler { 
    private void doHandle(A1 a1) { ... } 
    private void doHandle(A2 a2) { ... } 
    private void doHandle(A a) { ... } 

    public void handle(A a) { 
     MultipleDispatch.call(this, "doHandle", a); 
    } 
} 

La biblioteca de clases MultipleDispatch entonces hacer algo por el estilo:

class MultipleDispatch { 

    public static Object call(Object receiver, String method, Object...arg) { 
     // something like that in byte code 
     #invokeDynamic "doHandle" "someBootstrap" 
    } 

    static CallSite someBootstrap { 
     // resolve that dynamic method call. 
    } 
} 

(soy consciente de MultiJava, pero es posible lograrlo de una manera Java pura?)

Answer 1

Como no tengo experiencia con invokedynamic, no sé lo bueno que sería el rendimiento y la seguridad de tipos, pero solo puede dar algunos indicadores:

• the Da Vinci Machine Project el centro o el envío a través de múltiples invokedynamic (ver Múltiple de Despacho/src/invokedynamicmultipledispatch /);
• Charles Oliver Natter tiene talked about applications of invokedynamic on JAX2012. Las diapositivas no entran en detalles en absoluto, pero creo que encontré más detalles en un video o podcast hablando de JAX2012, que no puedo encontrar en este momento.
• Christopher Dutchyn's JVM Multiple Dispatch es un enfoque alternativo sin invocadodinámico. His COOTS '01 Paper y these slides tienen una gran cantidad de información de rendimiento/evaluación comparativa (y son una buena lectura después de que haya terminado su disseration;)

Answer 2

El invokedynamic instrucción es una instrucción puramente JVM, que no se refiere a distribución dinámica. El envío se completa con identificadores de método (el método maneja el gráfico y el método handle tree también son correctos.) Que comprende varias instancias de control de método. Una ruta en el gráfico (árbol) representa una ruta de envío.

Para su muestra dada, sería posible construir un gráfico (Diferentes personas podrían tener un resultado gráfico diferente). En este gráfico, el recorrido de los manejadores de método en el gráfico es la forma en que termina el preparado.