JVM neden hala arama optimizasyonunu desteklemiyor?

Jvm-önleme-çağrı-optimizasyonlarından iki yıl sonra , bir prototip uygulaması var gibi görünüyor ve MLVM bir süredir bu özelliği "proto% 80" olarak listeliyor.

Kuyruk çağrıları desteklenmesinde Sun'ın / Oracle'ın taraftan etkin faiz var mı yoksa kuyruk aramalar sadece "[...] öyle her özellik öncelik listesinde ikinci sırada gelmeye kader [...]" nde belirtildiği gibi JVM Dil Zirvesi ?

Birisi bir MLVM yapısını test ettiyse ve (eğer varsa) ne kadar iyi çalıştığına dair bazı izlenimleri paylaşabilseydi gerçekten ilgilenirim.

Güncelleme: Avian gibi bazı VM'lerin herhangi bir sorun olmadan uygun kuyruk aramalarını desteklediğini unutmayın .

Java Kodunu Teşhis Etme: Java Kodunuzun Performansını İyileştirme ( alt ), JVM'nin neden kuyruk arama optimizasyonunu desteklemediğini açıklar.

Ancak, bir kuyruk özyinelemeli işlevin otomatik olarak basit bir döngüye nasıl dönüştürüleceği iyi bilinmesine rağmen, Java belirtimi bu dönüşümün yapılmasını gerektirmez. Muhtemelen, bunun bir gereklilik olmamasının bir nedeni, genel olarak dönüşümün nesne yönelimli bir dilde statik olarak yapılamamasıdır. Bunun yerine, kuyruk özyinelemeli işlevden basit döngüye dönüşüm, bir JIT derleyicisi tarafından dinamik olarak yapılmalıdır.

Daha sonra dönüşmeyecek bir Java kodu örneği verir.

Bu nedenle, Liste 3'teki örneğin gösterdiği gibi, statik derleyicilerin dilin anlamını korurken Java kodunda kuyruk özyinelemesinin dönüşümünü gerçekleştirmesini bekleyemeyiz. Bunun yerine, JIT'in dinamik derlemesine güvenmeliyiz. JVM'ye bağlı olarak, JIT bunu yapabilir veya yapmayabilir.

Ardından, JIT'inizin bunu yapıp yapmadığını anlamak için kullanabileceğiniz bir test verir.

Doğal olarak, bu bir IBM kağıdı olduğu için bir fiş içerir:

Bu programı birkaç Java SDK ile çalıştırdım ve sonuçlar şaşırtıcıydı. Sun'ın 1.3 sürümü için Hotspot JVM'sini çalıştırmak, Hotspot'un dönüşümü gerçekleştirmediğini ortaya koyuyor. Varsayılan ayarlarda, yığın alanı makinemde bir saniyeden daha kısa sürede tükeniyor. Öte yandan, IBM'in 1.3 sürümü için JVM'si, kodu bu şekilde dönüştürdüğünü göstererek sorunsuz bir şekilde devam ediyor.

Geçmişte Java'da TCO uygulamamasının (ve bunun zor görülmesinin) bir nedeni, JVM'deki izin modelinin yığına duyarlı olması ve bu nedenle kuyruk aramalarının güvenlik yönlerini ele alması gerektiğidir.

Bunun Clements ve Felleisen [1] [2] tarafından bir engel olmadığını gösterdiğine inanıyorum ve soruda bahsedilen MLVM yamasının da bununla ilgilendiğinden eminim.

Bunun sorunuza cevap vermediğini fark ediyorum; sadece ilginç bilgiler ekliyor.

1. http://www.ccs.neu.edu/scheme/pubs/esop2003-cf.pdf
2. http://www.ccs.neu.edu/scheme/pubs/cf-toplas04.pdf

Belki bunu zaten biliyorsunuzdur, ancak özellik, göründüğü kadar önemsiz değildir çünkü Java dili aslında yığın izini programcıya gösterir.

Aşağıdaki programı düşünün:

public class Test {

    public static String f() {
        String s = Math.random() > .5 ? f() : g();
        return s;
    }

    public static String g() {
        if (Math.random() > .9) {
            StackTraceElement[] ste = new Throwable().getStackTrace();
            return ste[ste.length / 2].getMethodName();
        }
        return f();
    }

    public static void main(String[] args) {
        System.out.println(f());
    }
}

Bunun bir "kuyruk çağrısı" olmasına rağmen optimize edilmemiş olabilir. (Bu takdirde edilir optimize, hala programın buna dayanır semantik beri tüm çağrı-yığının defter tutma gerektirir.)

Temel olarak, bu, hala geriye dönük uyumluyken bunu desteklemenin zor olduğu anlamına gelir.

Java, hayal edebileceğiniz en az işlevsel dildir (pekala, tamam, belki hayır !), Ancak bu, Scala gibi JVM dilleri için büyük bir avantaj olacaktır .

Gözlemlerim, JVM'yi diğer diller için bir platform haline getirmenin, Sun için öncelik listesinin başında hiç görünmedi ve sanırım şimdi Oracle için.