Canonical mendukung proyek riset baru berjudul tiga tahun yang bertujuan membuat praktis menerjemahkan kode C yang besar dan sudah matang ke Rust yang aman secara otomatis. Inisiatif ini merupakan kolaborasi antara Canonical dan Universitas Bristol di Inggris, dengan pekerjaan diharapkan dimulai nanti pada 2026.
Tujuan utama proyek adalah mengembangkan platform lengkap yang mampu menerjemahkan repositori kode besar — seringkali berisi ratusan ribu baris kode C — ke Rust yang aman, andal, dan mudah dipelihara. Tantangannya terletak pada sejumlah besar perangkat lunak C lama yang masih digunakan; menulis ulang kode semacam itu secara manual mahal dan berisiko, mengingat bertahun-tahun perbaikan dan pengoptimalan yang telah terakumulasi.
Penerjemah sumber-ke-sumber saat ini hanya memecahkan masalah secara parsial. Meskipun mereka dapat menangani volume kode yang besar, mereka sering mereplikasi struktur C terlalu dekat, menghasilkan Rust yang masih bergantung pada fitur-fitur yang tidak aman. LLM, di sisi lain, unggul dalam menghasilkan Rust yang idiomatik untuk potongan kode kecil, tetapi kesulitan dengan konteks yang lebih luas dari seluruh repositori.
Untuk mengatasi rintangan ini, proyek akan menggunakan pendekatan hibrida, atau 'neurosymbolik', yang menggabungkan pembelajaran mesin dengan analisis program tradisional, pengujian, dan metode formal. Canonical berencana menggunakan AppArmor dan snap-confine sebagai studi kasus dunia nyata. Inisiatif ini juga selaras dengan adopsi yang lebih luas terhadap Rust di dalam Ubuntu oleh Canonical, seperti yang terlihat dalam proyek-proyek seperti uutils coreutils dan sudo-rs.
Entitas kunci: Perusahaan: Canonical, Universitas Bristol | Lokasi: Inggris
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing