Mengapa Kedalaman Rekursi Bukan Deterministik dalam Java 8 tetapi Deterministik dalam OpenJDK 7?

Kedalaman Tindanan Bukan Deterministik dalam Java 8

Menentukan kedalaman rekursi maksimum dalam Java boleh menjadi penting untuk memahami penggunaan tindanan dan masalah memori yang berpotensi . Walau bagaimanapun, pada Java 8 Oracle, keputusan yang dilaporkan boleh menjadi bukan penentu, manakala sebaliknya, OpenJDK 7 menghasilkan hasil yang konsisten.

Pengaruh Pengoptimum HotSpot

The Pengoptimum pengkompil HotSpot memberi kesan ketara kepada tingkah laku yang diperhatikan. Apabila kaedah rekursif disusun JIT, pengoptimum boleh mengoptimumkan panggilan kaedah tertentu atau menggabungkan bingkai tindanan bagi berbilang seruan. Pengoptimuman ini membawa kepada keperluan ruang tindanan yang lebih kecil, yang membolehkan rekursi yang lebih mendalam.

Contoh

Pertimbangkan kod berikut:

<code class="java">public static int countDepth() {
    try { return 1+countDepth(); }
    catch(StackOverflowError err) { return 0; }
}</code>

Keputusan dengan JIT (dari Oracle's Java 8):

2097
4195
4195
4195
12587
12587
12587

Hasil tanpa JIT (dari Oracle's Java 8):

2104
2104
2104
2104
2104
2104
2104

Penguatkuasaan Had Tindanan dan ASLR

Faktor lain yang mempengaruhi bukan penentuan ialah cara JVM menguatkuasakan had tindanannya. Jika alamat akhir tindanan memerlukan penjajaran khas (cth., menjajarkan ke sempadan halaman disebabkan oleh sekatan perkakasan), peruntukan tindanan awal mungkin mempunyai kekangan penjajaran yang lebih lemah. Digabungkan dengan Rawak Susun Atur Ruang Alamat (ASLR), ini boleh mengakibatkan jumlah ruang tindanan tersedia yang berubah-ubah, yang membawa kepada kedalaman rekursi bukan deterministik.

Determinisme dalam OpenJDK 7

Berbeza dengan Java 8 Oracle, OpenJDK 7 nampaknya mempunyai penguatkuasaan had tindanan yang lebih konsisten dan tidak menggunakan ASLR secara lalai. Ini menerangkan tingkah laku deterministik yang diperhatikan dalam OpenJDK 7.

Atas ialah kandungan terperinci Mengapa Kedalaman Rekursi Bukan Deterministik dalam Java 8 tetapi Deterministik dalam OpenJDK 7?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!