Исходное сообщение
"Проект Kerla развивает Linux-совместимое ядро на языке Rust " Отправлено Ordu, 26-Окт-21 17:11
> Использование языка Rust в проекте позволяет сократить число ошибок в коде благодаря применению приёмов безопасного программирования и повышению эффективности выявления проблем при работе с памятью. Безопасная работа с памятью обеспечивается в Rust во время компиляции через проверку ссылок, отслеживание владения объектами и учёт времени жизни объектов (области видимости), а также через оценку корректности доступа к памяти во время выполнения кода. Кроме того, Rust предоставляет средства для защиты от целочисленных переполнений, требует обязательной инициализации значений переменных перед использованием, применяет концепцию неизменяемости (immutable) ссылок и переменных по умолчанию, предлагает сильную статическую типизацию для минимизации логических ошибок, упрощает обработку входных значений благодаря средствам сопоставления с образцом. Вот откуда эта отсебятина взялась? Автор ни о чём таком не пишет. Он пишет о другом: - Rust makes me confident: its type system and ownership & lifetime concepts make me realize that my implementation won't work at the compile time, because of a violation of the shared XOR mutable rule, for example. Once the compile passes, it works without surprises (like nasty data races and dangling pointer dereferences). - Forces handling all input patterns: enum and pattern matching (match) allow you to handle all possible cases in an expressive way. You don't need to be bothered by a messy chain of else if. - It already has things I need to write a kernel: packed struct, raw pointers, improved inline assembly syntax, embedding assembly files, ... - Convenient no_std (freestanding) crates are available: bitflags manipulation library, array-based vector and string implementation, multi-producer multi-consumer queue, ... - Built-in unit testing: writing and running unit tests in Rust is pretty easy. What is more, you can run unit tests on QEMU or real machines thanks to the custom_test_frameworks feature. - Developer-friendly great toolchain: linter helps you write a good Rust code, cross-compiling is pretty easy, and rust-analyzer turns your favorite editor into a highly-productive IDE like IntelliJ IDEA. https://seiya.me/writing-linux-clone-in-rust

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Использование языка Rust в проекте позволяет сократить число ошибок в коде благодаря применению приёмов безопасного программирования и повышению эффективности выявления проблем при работе с памятью. Безопасная работа с памятью обеспечивается в Rust во время компиляции через проверку ссылок, отслеживание владения объектами и учёт времени жизни объектов (области видимости), а также через оценку корректности доступа к памяти во время выполнения кода. Кроме того, Rust предоставляет средства для защиты от целочисленных переполнений, требует обязательной инициализации значений переменных перед использованием, применяет концепцию неизменяемости (immutable) ссылок и переменных по умолчанию, предлагает сильную статическую типизацию для минимизации логических ошибок, упрощает обработку входных значений благодаря средствам сопоставления с образцом. > Вот откуда эта отсебятина взялась? Автор ни о чём таком не пишет. > Он пишет о другом: > - Rust makes me confident: its type system and ownership & lifetime > concepts make me realize that my implementation won't work at the > compile time, because of a violation of the shared XOR mutable > rule, for example. Once the compile passes, it works without surprises > (like nasty data races and dangling pointer dereferences). > - Forces handling all input patterns: enum and pattern matching (match) allow > you to handle all possible cases in an expressive way. You > don't need to be bothered by a messy chain of else > if. > - It already has things I need to write a kernel: packed > struct, raw pointers, improved inline assembly syntax, embedding assembly files, ... > - Convenient no_std (freestanding) crates are available: bitflags manipulation library, > array-based vector and string implementation, multi-producer multi-consumer queue, ... > - Built-in unit testing: writing and running unit tests in Rust is > pretty easy. What is more, you can run unit tests on > QEMU or real machines thanks to the custom_test_frameworks feature. > - Developer-friendly great toolchain: linter helps you write a good Rust code, > cross-compiling is pretty easy, and rust-analyzer turns your favorite editor into > a highly-productive IDE like IntelliJ IDEA. > https://seiya.me/writing-linux-clone-in-rust
	Введите код, изображенный на картинке: