Язык программирования — это набор информации, которая важна для реализации алгоритмов в компьютерах. Существует множество языков программирования, доступных для нашего использования. Вы можете выбрать тот, который удовлетворяет вашим потребностям.
Недавно компания Microsoft решила создать язык программирования Rust. Rust — это мультипарадигмальный язык программирования, который в основном фокусируется на безопасности и производительности. Хотя синтаксис похож на C и C++, Rust обеспечивает безопасность памяти без сборки мусора.
Microsoft создает язык программирования на основе Rust
В июле прошлого года компания Microsoft объявила о своем эксперименте по использованию языка программирования Rust вместо C и C++ для безопасного кодирования. Таким образом, компания начала проект Verona, чтобы сделать Windows 11 безопасной и надежной. В рамках проекта Verona компания Microsoft будет интегрировать разработанный Mozilla язык Rust для низкоуровневых компонентов Windows.
В этой статье мы попытаемся узнать, почему Microsoft стремится создать язык программирования на основе Rust? Итак, начнем:
Почему Rust?
По мнению Microsoft, большинство ошибок связано с недостатками безопасности памяти. Эти недостатки присутствуют в коде windows, написанном на C или C++. Более того, 70% проблем, связанных с безопасностью, возникают в C и C++.
Поэтому, чтобы защитить widows от уязвимостей безопасности и обезопасить пространство памяти от различных программных ошибок, Microsoft запустила проект. Более того, «безопасный для памяти» язык программирования Rust может снизить стресс разработчиков. Таким образом, разработчикам больше не нужно беспокоиться об ошибках, связанных с безопасностью памяти.
Мэтью Паркинсон (исследователь Microsoft из Кембриджской компьютерной лаборатории в Великобритании) недавно рассказал о шагах, которые компания предпринимает для решения проблемы памяти. В своем выступлении он заявил, что Microsoft сейчас работает с MemGC для internet explorer и edge.
«MemGC устраняет уязвимости в стандартной функции браузера, известной как Document Object Model (DOM) — представление данных, используемых браузерами для интерпретации веб-страниц. Элитные хакеры Google Project Zero были впечатлены MemGC от Microsoft после опроса основных браузеров», — говорит Паркинсон.
Мы создали сборщик мусора (GC) для DOM». Тот большой всплеск использования после бесплатного использования был связан с тем, что люди нашли способы эксплуатации управления памятью в механизме DOM в IE. И тогда [Microsoft] представила MemGC, который является консервативным GC для DOM. Он был очень направлен на этот конкретный тип уязвимости и затем практически искоренил его как вектор атаки».
Заключение
Паркинсон также заявил, что, поскольку невозможно написать все с нуля, Microsoft сосредоточится в основном на переписывании некоторых целевых компонентов на языке Rust. «Если нам нужны отсеки, и мы хотим вырезать унаследованные части нашего кода, чтобы код эксплойта [злоумышленников] не мог выбраться наружу, что нам нужно в дизайне языка, что может помочь в этом?».
Более того, Паркинсон также сказал, что они объявят проект как Open-source. Руководитель проекта C# Мадс Торгенсен и инженер-программист Microsoft Research Cambridge Джулиана Франко также связаны с проектом. Если вы хотите узнать больше о проекте Verona, посетите эту ссылку.