Язык Rust рассматривается как ключевой элемент развития дистрибутивов Linux благодаря встроенным механизмам безопасной работы с памятью и высокой производительности. Но ручной перенос ОС, написанной на Си, экономически невыгоден и сопряжен с рисками утратить копившиеся годами критически важные исправления, оптимизации и решения для обратной совместимости.

Чтобы снизить затраты и риски миграции, компания Canonical и Бристольский университет запустили проект платформы автоматического «перевода» с Си на Rust. Обычные конвертеры кода переносят конструкции Си слишком буквально, сохраняя небезопасные приемы. В свою очередь, большие языковые модели умеют выдавать чистый код Rust, но не способны удерживать «в голове» архитектурный контекст крупных репозиториев Linux и не дают гарантий сохранения исходной логики.

Создаваемая система объединит два подхода и будет работать в четыре этапа. Сначала планировщик разбивает проект на фрагменты с сохранением связей. Затем нейросеть транслирует фрагменты в синтаксис Rust, после чего блок верификации проверяет соответствие поведения исходной программе на Си. Завершают процесс автоматическая отладка и исправление ошибок. Первыми тестовыми площадками для технологии станут компоненты подсистемы безопасности Linux.