The OpenNET Project / Index page

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



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

Оглавление

Google занялся продвижением средств безопасной работы с памятью в открытом ПО, opennews (??), 18-Фев-21, (0) [смотреть все]

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


43. "Google занялся продвижением средств безопасной работы с памя..."  +1 +/
Сообщение от анонн (ok), 18-Фев-21, 22:53 
> if (ptr == nullptr)
>  return FAIL;
> ZeroMemory(newmem, sz);
> if (i >= sz)
>  return FAIL;
> но ради этого, конечно, нужны спецсредства, особенно денежные. *facepalm*

Так главный прикол - перевод таких проверок в компайл-тайм.
Компиляторостроение и теория типов не стяли на месте со времен изобретения сишки, так что хотя бы раз в 30 лет вылезайте из криокамеры.

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

54. "Google занялся продвижением средств безопасной работы с памя..."  +/
Сообщение от Sw00p aka Jerom (?), 19-Фев-21, 00:39 
>Так главный прикол - перевод таких проверок в компайл-тайм.

может все таки прийти к "нормальной" изоляции памяти?

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

107. "Google занялся продвижением средств безопасной работы с памя..."  –1 +/
Сообщение от Аноним (75), 19-Фев-21, 10:04 
как в компайл-тайме проверить границы массива, который ты откуда-то считываешь в рантайме? Правильно, никак, и никакой раст тут тебе не поможет.
Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

145. "Google занялся продвижением средств безопасной работы с памя..."  +1 +/
Сообщение от анонн (ok), 19-Фев-21, 13:57 
> как в компайл-тайме проверить границы массива, который ты откуда-то считываешь в рантайме?

Зависимые/ограниченные типы, оставляющие _максимум_ 1 проверку при считывании юзверьдат (а не как сейчас принято - от 0 "там все норм" и до "во всех-всех-все 102 (из 103) местах, работающих с этими данными")?
Не, не слышали.
> Правильно, никак,

Главное умный и уверенный вид, ога.
> и никакой раст тут тебе не поможет.

И мантры не забывать про великую сишку, неосиляторов и хипстеров со смузихлебами! Мантры - анонимное всё!

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

147. Скрыто модератором  –2 +/
Сообщение от arisu (ok), 19-Фев-21, 14:07 
Ответить | Правка | Наверх | Cообщить модератору

154. Скрыто модератором  +1 +/
Сообщение от анонн (ok), 19-Фев-21, 15:15 
Ответить | Правка | Наверх | Cообщить модератору

155. Скрыто модератором  –2 +/
Сообщение от arisu (ok), 19-Фев-21, 15:17 
Ответить | Правка | Наверх | Cообщить модератору

197. "Google занялся продвижением средств безопасной работы с памя..."  +/
Сообщение от Аноним (197), 21-Фев-21, 00:13 
https://en.wikipedia.org/wiki/Iterator#Contrasting_with_inde...

К слову в расте итераторы волшебны. Ты не можешь "отравить" коллекцию в процессе итерирования, и реализуется это на стадии компиляции.

Признаю что многие базовые алгоритмы без индексирования сделать затруднительно, и тогда лучше всего просто индексировать, пусть это и медленней на несколько тактов. А уже когда придет время оптимизации базового кода, можно и пару unsafe'ов под общим присмотром добавить.

Но чаще всего это уже сделано за вас гораздо лучше в стандартной библиотеке, и например
https://lib.rs/search?q=itertools
https://lib.rs/algorithms

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

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

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




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

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