The OpenNET Project / Index page

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



"Пятая редакция патчей для ядра Linux с поддержкой языка Rust "
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для слежения за появлением новых сообщений в нити, нажмите "Проследить за развитием треда".
. "Пятая редакция патчей для ядра Linux с поддержкой языка Rust..." +/
Сообщение от Аноним (177), 13-Фев-22, 17:56 
>В rust дается "слежением за владением" не бесплатно

Верно, но он все же Тьюринг-полный. Просто части некоторого кода выгоднее делать в unsafe.
Двусвязный список на безопасном Rust (неэффективен поскольку использует подсчет ссылок) https://gist.github.com/matey-jack/3e19b6370c6f7036a9119b79a...
Естественно при использовании unsafe будет и короче и красивее, и небезопасно при многопоточном использовании. Как в Си.
>> buffer overflow
>От этого rust не может защитить на этапе компиляции.

Безопасное подмножетсво Rust от этого защищает путем проверки на стадии исполнения что индекс входит в границы. В оригинальном комментарии не спрашивалось о стадии на которой происходит проверка. (Это единственный скрытый оверхед Rust'a о котором надо узнавать отдельно, известно любому программисту на C++/ Как оверхед динамической диспетчеризации, или явных счетчиков ссылок, примитивов синхронизации)
>> UB
>А вот это практически упирается теорему останова.

Справедливости ради никто и не ожидал от Rust решить теорему останова.

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

Оглавление
Пятая редакция патчей для ядра Linux с поддержкой языка Rust , opennews, 13-Фев-22, 11:53  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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