Сравнение языков программирования
Rust: безопасность памяти без сборщика мусора
Предложение Rust является точным: устранить семейства ошибок использования после освобождения и гонки данных во время компиляции, сохраняя при этом производительность на родной скорости и без пауз сборщика мусора. Отрасль заметила: от ядер ОС, принимающих модули Rust, до важных исправлений безопасности в кодовых базах с большим количеством C; Это отдельная статья, лежащая в основе нашего эссе «Почему ржавчина» и прямого сравнения с Go, Python и C++.
Главное
- Средство проверки заимствований — это новинка, которая окупается: владение плюс время жизни статически удаляют целые семейства CVE, вызывающие повреждение памяти (использование после освобождения, двойное освобождение, аннулирование итератора, гонка данных между потоками); та же эргономичная цена объясняет, почему сообщество рекомендует изучать его как можно раньше.
- Никакой сборщик мусора не является маркетингом: согласованное по задержке поведение памяти имеет значение в наиболее требовательных крайних случаях отрасли (встроенные системы, пути ядра, звук в реальном времени); Производительность собственного кода Rust без пауз GC — это единственная причина, по которой «перезапись в Rust» нацелена на конкретные горячие пути, а не на все остальное.
- Cargo — это ров для опыта: инструменты зависимостей/версий/сборки плюс экосистема crates.io делают историю адаптации более гладкой, чем устаревшие системы компилируемых языков; «аудит грузов» по консультативным базам данных — вот ответ цепочки поставок.
- Interop придерживается прагматичного подхода: границы FFI с C — это стандартная история интеграции (вызов существующих библиотек C, аналогичное получение страниц в Rust из других языков), поэтому Rust живет внутри более крупных систем (браузеров, ядер, веб-серверов), а не требует изоляции с нуля.
- Затраты честны: кривая обучения (модель заимствования меняет представления о псевдонимах/владении данными) плюс время компиляции становятся значительными в сжатых циклах итерации; команды, работающие над продуктом с большим объемом CRUD, часто выпускают продукт быстрее с языками GC (в нашей статье «Почему ржавчина» рассказывается, какие компоненты созревают в Rust, а какие остаются на месте).
- Где он выигрывает на практике: компоненты инфраструктуры и анализаторы (прокси/фильтры/цепочки инструментов), экосистемы CLI, встроенные модули и модули ядра, а также критически важные для безопасности перезаписи, где одна ошибка памяти стоит больше, чем когда-либо стоила кривая разработки.
Заметка из практики
Переписанный Rust, который заслужил свое существование, заменил парсер C, который создавал один CVE в год: во время адаптации программа проверки заимствований обнаружила три эквивалентные ошибки, которые трекер CVE никогда не обнаруживал. Кривая обучения — это цена удаления классов ошибок.
Частые вопросы
Должна ли моя команда переписать все на Rust?
Нет: перепишите чувствительные к надежности основные компоненты (парсеры, прокси, крайние случаи ядра), где важна плата за безопасность. В нашей статье «Почему ржавчина» рассматривается честный подход к выбору компонентов, а не мода.
Насколько крута проверка кредита на самом деле?
Недели на освоение навыков для разработчиков, свободно владеющих системами, месяцы для архитектур с большим количеством владельцев; выгода появляется тогда, когда параллельный код, который когда-то создавал условия гонки, вместо этого просто безопасно компилируется (кто бы его ни написал).
Чем это отличается от очных встреч в Го?
Время компиляции намного превышает скорость сборки Go; модели параллелизма различаются (владение Rust, каналы Go); Экосистемы CLI-plus-надежность дружелюбны; В нашей статье «Rust vs Go» описываются честные границы для каждого типа рабочей нагрузки.
Работает ли сейчас Rust в ядре Linux?
Да: появилась поддержка ядра (адаптеры, позволяющие писать модули на Rust), а драйверы/компоненты слились на полях; промышленное внедрение еще рано, но направление уже задано.
Как мы берём на себя сравнение языков программирования
Честно: чаще всего к нам приходят после того, как команда попробовала справиться сама. Языки для работы системы, сценариев и сервисов, сравниваемые по тому, что действительно важно в производстве: гарантии безопасности, чистая скорость, кого вы можете нанять, и насколько болезненно развертывать и исправлять полученные сервисы. Услуга Администрирование серверов и Обслуживание сайтов существует как раз затем, чтобы не изучать сравнение языков программирования на своих ошибках: настройку, ночные сюрпризы и постоянное наблюдение мы берём на себя.