Mengapakah objek Java yang boleh dicapai dimuktamadkan dalam Java 8, walaupun amalan terbaik tidak menggalakkan `finalize()`?

JVM Penyelesaian Objek Boleh Dicapai di Java 8: Satu Penerokaan

Walaupun mematuhi amalan terbaik yang tidak menggalakkan penggunaan finalize(), a naik taraf baru-baru ini daripada Java 7 kepada Java 8 telah membawa kepada isu yang tidak dijangka. Dalam senario ini, objek yang masih boleh dicapai dengan kuat oleh timbunan utas semasa sedang tertakluk kepada pemuktamadan dalam masa jalan Java 8.

Memahami Kod dan Pengecualian

The kod yang dimaksudkan melibatkan perpustakaan MIME tersuai, di mana kelas MIMEBodyPart memanjangkan HTTPMessage. HTTPMessage melaksanakan kaedah finalize() yang cuba menutup strim input yang berkaitan, membawa kepada pengecualian apabila strim sudah ditutup semasa operasi writePart() aktif.

Menyiasat Punca

Terkejut dengan pemuktamadan yang tidak dijangka, pembangun menyelidiki lebih mendalam tentang kod dan gelagat JVM. Telah didapati bahawa objek MIMEBodyPart sememangnya boleh dicapai daripada susunan urutan semasa, dan oleh itu, tidak sepatutnya dimuktamadkan.

Menghipotesiskan Kemungkinan Tidak Dapat Dicapai

Walaupun kebolehcapaian jelas objek, ia telah berteori bahawa Mesin Maya Java (JVM) masih boleh menganggapnya sebagai tidak boleh dicapai jika ia tidak dirujuk secara eksplisit dalam kod berikutnya. Konsep "keupayaan unreach" ini juga meluas kepada panggilan kaedah aktif pada tindanan.

Contoh Menunjukkan Ketidakbolehcapaian

Untuk menggambarkan tingkah laku ini, contoh kod yang dipermudahkan telah dibentangkan:

class FinalizeThis {
    @Override
    protected void finalize() {
        System.out.println("finalized!");
    }

    void loop() {
        System.out.println("loop() called");
        for (int i = 0; i < 1,000,000,000; i++) {
            if (i % 1,000,000 == 0)
                System.gc();
        }
        System.out.println("loop() returns");
    }

    public static void main(String[] args) {
        new FinalizeThis().loop();
    }
}

Dalam contoh ini, kaedah gelung() termasuk gelung besar-besaran yang mencetuskan pengumpulan sampah secara berkala. Walaupun kaedah gelung secara aktif memanggil kaedah contoh bagi objek FinalizeThis, JVM memuktamadkan dan sampah mengumpul objek tersebut disebabkan ketidakupayaan dicapainya yang jelas.

Menggunakan Hipotesis pada Senario Asal

Adalah sangkaan bahawa situasi yang sama mungkin berlaku dalam kes MIMEBodyPart objek. Jika ia disimpan dalam pembolehubah tempatan tanpa sebarang rujukan berikutnya, ia boleh menjadi tidak dapat dicapai dan terdedah kepada pemuktamadkan.

Kemas kini dan Pemerhatian Tambahan

Melalui ujian dan analisis lanjut, ternyata bahawa pengkompil JIT memainkan peranan dalam tingkah laku ini. Dengan memaksa kaedah untuk disusun JIT sebelum pelaksanaan (pilihan-Xcomp), isu pemuktamadan pramatang muncul semula. Ini menunjukkan bahawa kekurangan awal pemuktamadan dalam contoh yang dipermudahkan adalah disebabkan oleh tafsiran dan bukannya kompilasi, yang melakukan analisis kebolehcapaian yang lebih agresif.

Kesimpulan

Walaupun perincian isu mungkin berbeza-beza bergantung pada struktur kod dan persekitaran pelaksanaan yang tepat, konsep asas potensi pemuktamadan walaupun untuk objek yang boleh dicapai disebabkan oleh ketidakupayaan yang dirasakan perlu diberi perhatian. Ia menekankan kepentingan memahami kebolehcapaian objek dan kemungkinan akibat daripada panggilan pemuktamadan pada objek aktif.

Atas ialah kandungan terperinci Mengapakah objek Java yang boleh dicapai dimuktamadkan dalam Java 8, walaupun amalan terbaik tidak menggalakkan `finalize()`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!