Borrow checker Valen bekerja secara terbalik melalui fungsi, sebuah pendekatan baru untuk pemeriksaan keamanan memori. Berbeda dengan borrow checker tradisional yang berjalan maju seperti milik Rust, Valen menelusuri pernyataan fungsi dari yang terakhir ke yang pertama selama tahap pemeriksaan keamanannya.
Kompilator memproses fungsi dalam empat tahap: penguraian menjadi AST, pengetikan statis, pengelompokan statis, dan pemeriksaan keamanan. Pemeriksaan keamanan (#4) adalah lintasan terbalik yang tidak biasa, yang memeriksa pernyataan terakhir terlebih dahulu lalu bergerak mundur ke bagian atas fungsi.
Pendekatan terbalik ini menawarkan keunggulan dalam kemudahan, penanganan loop, dan kecepatan. Valen masih bersifat eksperimental dengan banyak kekurangan yang diperkirakan ada hingga v0.1 pada Februari, meski upaya refaktor besar sudah berjalan.
Teknik ini berbeda dari inferensi region berbasis penyelesaian constraint yang digunakan Rust, yang diikuti pemeriksaan konflik maju. Meski rustc memang memindai mundur untuk mencari penggunaan variabel, pemeriksaan keamanan memori sebenarnya berjalan maju.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing