Canonical AI-t használna C-kódok Rustra fordítására, PhD-projekt indul Bristolban

A Canonical, az Ubuntu fejlesztője hároméves PhD-projektet indít a Bristol Egyetem Programozási Nyelvek Kutatócsoportjában. A cél annak vizsgálata, hogy a mesterséges intelligencia képes-e nagyméretű C-kódokat biztonságos és karbantartható Rust kódra fordítani. (The Register)

A kutatás nem az egész Ubuntu operációs rendszer átírását célozza Rustra, hanem egy kutatót finanszíroz, aki több éven át vizsgálja az AI-alapú fordítás megvalósíthatóságát. A projektet Jon Seager, a Canonical mérnöki alelnöke jelentette be az Ubuntu Discourse fórumán.

Az AI-alapú fordítás módszertana

A hagyományos forráskód-fordító eszközök gyakran túl szó szerint őrzik meg a C szerkezetét, ami a fordított Rust kódokat nagymértékben támaszkodóvá teheti a `unsafe` műveletekre, és jelentős manuális munkát igényelhet. Az új projekt célja, hogy az LLM-ek segítségével a C programokat kisebb komponensekre bontsák, majd ezeket a komponenseket írják át biztonságos, viselkedésileg korrekt és karbantartható Rust kódra.

Esettanulmányok és finanszírozás

Esettanulmányként a kutatók a `snap-confine` és az `AppArmor` eszközöket fogják vizsgálni. Bár az openSUSE 16 tavaly az AppArmor helyett a SELinux-ot választotta, az AppArmor továbbra is használatban van Debianban és kisebb disztribúciókban. A projekt eredményei potenciálisan előnyösek lehetnek az AppArmor fennmaradó felhasználói számára.

A Canonical a projektet az Egyesült Királyság egyik állami szervével, az UK Research and Innovation-nel közösen finanszírozza. A kutatást Seager mellett Dr. Meng Wang és Dr. Cristina David professzorok felügyelik a Bristol Egyetemen. A három év hagyományosnak számít egy brit PhD-képzés esetében.

A projektnek valós bizonyítékokat kell produkálnia arról, hogy az AI-alapú fordítási megközelítés hasznos lehet-e a szoftverfejlesztésben, különösen a régi, nagyméretű C kódok modernizálásában. A kutatás eredményeit a projekt lezárulásakor várják.