The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Проект Kerla развивает Linux-совместимое ядро на языке Rust , opennews (ok), 26-Окт-21, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


33. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +3 +/
Сообщение от Ordu (ok), 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

Ответить | Правка | Наверх | Cообщить модератору

37. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +1 +/
Сообщение от Кир (?), 26-Окт-21, 17:15 
Автор-растаман детектед, он в новости про дыры и баги в расте будет писать о его суперсиле
Ответить | Правка | Наверх | Cообщить модератору

55. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +/
Сообщение от Аноним (71), 26-Окт-21, 17:41 
Автор какой-то неосилятор, чесслово. Инлайн ассембли у него импрувед - да более мощного инлайн ассемли, чем у гцц, в природе не существует. Гцц можно указать связи между сишным кодом и асмом и он автоматически будет юзать нужные и автоподставлять используемые регистры в код туда и обратно.

Ну и пассаж про девелопер-френдли тулчейн все расставляет на свои места. Неосилятор-френдли тулчейн таки да, есть, не поспоришь.

Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

76. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +2 +/
Сообщение от Ordu (ok), 26-Окт-21, 17:58 
> Автор какой-то неосилятор, чесслово. Инлайн ассембли у него импрувед - да более
> мощного инлайн ассемли, чем у гцц, в природе не существует.

Хаха.

> Гцц
> можно указать связи между сишным кодом и асмом и он автоматически
> будет юзать нужные и автоподставлять используемые регистры в код туда и
> обратно.

Ты так говоришь, как будто в расте нельзя этого делать.

> Ну и пассаж про девелопер-френдли тулчейн все расставляет на свои места. Неосилятор-френдли
> тулчейн таки да, есть, не поспоришь.

Я никогда не понимал "осиляторов", которые будут плакать, колоться, но осиливать, вместо того, чтобы сделать хорошо и удобно себе. Преодолевать надо реальные проблемы, а остальные сваливать на компьютер, на то он и компьютер, чтобы выполнять всю рутину за нас.

Ответить | Правка | Наверх | Cообщить модератору

108. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +/
Сообщение от _kp (ok), 26-Окт-21, 19:06 
А не надо заниматься не своим делом, как "удобно себе", а надо правильно, как удобно пользователю.
А иначе будет баловство, которым никто не будет пользоваться.
Ответить | Правка | Наверх | Cообщить модератору

185. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +2 +/
Сообщение от Ordu (ok), 27-Окт-21, 08:20 
Мне приходилось сталкиваться с мастерами своего дела в разных областях, не только в программировании, но и с механиками, строителями разной направленности, например. И они все имеют одну общую черту: они уделяют осознанно время тому, чтобы организовать свой труд. Чтобы инструменты лежали бы на своих местах и их искать не надо было бы. Чтобы освещение было бы как в операционной, чтобы видно было бы всё, чтобы неудобные для данной задачи инструменты заменить на удобные, либо покупая подходящие, либо внося модификации в существующие, либо даже создавая с нуля.

Удобство пользователя начинается с удобства профессионала, который создаёт удобство для пользователя. Это даже у спасателей работает: они сначала заботятся о собственной безопасности, и после этого спасают, а не наоборот, потому как нету повести печальнее на свете, чем спасатель, который вместо того, чтобы спасти жертву, сам стал жертвой, увеличив количество работы другим спасателям.

Как-то так выходит, что те, кто не ценит удобство для себя, не ценят также и удобство для других. Мне кажется, что люди привыкают делать всё черезж, и потом даже не представляют, что можно иначе.

Ответить | Правка | Наверх | Cообщить модератору

153. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  +1 +/
Сообщение от Аноним (153), 26-Окт-21, 22:09 
> да более мощного инлайн ассемли, чем у гцц, в природе не существует

Вот тут вы барыня и всpались

Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

138. "Проект Kerla развивает Linux-совместимое ядро на языке Rust "  –1 +/
Сообщение от Онаним (?), 26-Окт-21, 20:40 
"Rust makes me confident: its type system and ownership & lifetime concepts make me realize that my implementation won't work"
Мне кажется этого достаточно, остальное можно убирать.
Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру