Canonical unterstützt ein neues dreijähriges Forschungsprojekt, das zum Ziel hat, die automatische Übersetzung großer, reifer C-Codebasen in sicheres Rust praktikabel zu machen. Die Initiative ist eine Zusammenarbeit zwischen Canonical und der Universität Bristol im Vereinigten Königreich, wobei mit Beginn der Arbeiten später im Jahr 2026 zu rechnen ist.
Das Hauptziel des Projekts ist die Entwicklung einer vollständigen Plattform, die in der Lage ist, große Code-Repositorys – oft mit Hunderttausenden von Zeilen C – in sicheres, zuverlässiges und wartbares Rust zu übersetzen. Die Herausforderung liegt in der enormen Menge an veralteter C-Software, die noch verwendet wird; die manuelle Neuschreibung eines solchen Codes ist kostenintensiv und riskant angesichts der Jahre von akkumulierten Fehlerbehebungen und Optimierungen.
Derzeitige Quell-zu-Quell-Übersetzer lösen das Problem nur teilweise. Obwohl sie große Mengen an Code verarbeiten können, replizieren sie oft die Strukturen von C zu stark, was zu Rust führt, das weiterhin unsichere Funktionen nutzt. LLMs hingegen eignen sich hervorragend zur Generierung idiomatischer Rust für kleine Code-Snippets, stoßen jedoch bei der breiteren Kontextverständnis ganzer Repositorys an Grenzen.
Um diese Hürden zu überwinden, wird das Projekt einen hybriden, oder ‚neuro-symbolischen‘ Ansatz verfolgen, der maschinelles Lernen mit traditioneller Programmanalyse, Tests und formalen Methoden kombiniert. Canonical plant, AppArmor und snap-confine als Fallstudien aus der Praxis zu verwenden. Die Initiative orientiert sich auch an der breiteren Adoption von Rust innerhalb von Ubuntu durch Canonical, wie in Projekten wie uutils coreutils und sudo-rs zu sehen ist.
Wesentliche Akteure: Unternehmen: Canonical, Universität Bristol | Standorte: Vereinigtes Königreich
Quelle: Hacker News · Zusammengefasst von HeadlinesBriefing