Użyj invokedynamic do wdrożenia wielu wysyłek

Question

Zastanawiam się, czy nowa instrukcja JavaTM invokedynamic bytecode może być użyta do implementacji multiple dispatch dla języka Java. Czy nowy interfejs API pod java.lang.invoke byłby przydatny do wykonywania takich zadań?

Scenariusz, o którym myślałem, wyglądał następująco. (To wygląda na razie aplikacja do projektowania odwiedzający, ale nie mogą być przyczyny, że to nie jest realną opcją.)

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); 
    } 
} 

Klasa biblioteka MultipleDispatch by następnie zrobić coś w rodzaju:

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. 
    } 
} 

(jestem świadomy MultiJava, ale można to osiągnąć w Java czystej mody?)

Answer 1

Ponieważ mam żadnego doświadczenia z invokedynamic, nie wiem jak dobra wydajność i typu bezpieczeństwo byłoby, ale może dać tylko kilka wskazówek:

• the Da Vinci Machine Project oferuje wiele wysyłkę poprzez invokedynamic (patrz Multiple wysyłki/src/invokedynamicmultipledispatch /);
• Charles Oliver Natter ma talked about applications of invokedynamic on JAX2012. Slajdy nie wnikają w szczegóły, ale wydaje mi się, że natknąłem się na więcej szczegółów w wideo lub podcastu mówiący o JAX2012, którego teraz nie mogę znaleźć.
• Christopher Dutchyn's JVM Multiple Dispatch to alternatywne podejście bez invokedynamic. His COOTS '01 Paper i these slides dużo Informacje wydajności/benchmarkingu (i są dobrym odczytu po skończysz swoją disseration;)

Answer 2

Dyspozycja invokedynamic jest czysto instrukcja JVM, to nie odnosi się do dynamicznego wysyłki. Wysyłkę uzupełniają uchwyty metod (wykres obsługi metody i drzewo obsługi metody są również w porządku.), Która zawiera wiele instancji uchwytów metod. Ścieżka na wykresie (drzewo) reprezentuje jedną ścieżkę wysyłki.

Dla danej próbki, mógłbym utworzyć wykres (Różne osoby mogą mieć inny wynik wykresu). Na tym wykresie przechodzenie uchwytów metod na wykresie jest sposobem zakończenia działania polecenia disptach.