Исходное сообщение
"В ядро Linux 6.8 намечено включение первого сетевого драйвер..." Отправлено фнон, 18-Дек-23 16:47
> Нет, проблема именно с базовой системой владения, borrow checker и т.п. > Например когда несколько указателей из разных потоков владеют хитрым образов куском памяти. Судя по описанию несколько потоков просто имеет кусок памяти, а потом где-то случается гонка и CVEшки поимеют юзера. > И часто сделать это из-за самого же Rust просто невозможно (именно доказать корректность для borrow checker Rust). Тут 2 варианта: ты не смог или невозможно вообще. Если второе - то на дыряшке эта конструкция и так будет небезопасна, а мы почитаем про очередную "уязвимость с повышением привилегий". Если первое - то не страшно, возможно ты просто неосилятор или не смог поменять парадигму программинга. А то попривыкают писать uint32_t x = (*(struct foo *)NULL)->x и ARM приходится бросать безусловный HardFault, потому что по другому подобные гении не учатся. > И все забивают и пишут unsafe на unsafe, или глобальный аллокатор То что можно наовнокодить даже на Раст - это известно, но в нормальном проекте за каждый ансейф тебе придется отчитаться на кодревью. А если это какой-то васянопроект - то сомневаюсь, что там ревью вообще будет. > Это КАТАСТРОФА. Для Витюшка, возможно. Для linux, android, aws, windows и индутрии в целом - нет. Возможно разница в ресурсах и опыте.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Нет, проблема именно с базовой системой владения, borrow checker и т.п. >> Например когда несколько указателей из разных потоков владеют хитрым образов куском памяти. > Судя по описанию несколько потоков просто имеет кусок памяти, а потом где-то > случается гонка и CVEшки поимеют юзера. >> И часто сделать это из-за самого же Rust просто невозможно (именно доказать корректность для borrow checker Rust). > Тут 2 варианта: ты не смог или невозможно вообще. > Если второе - то на дыряшке эта конструкция и так будет небезопасна, > а мы почитаем про очередную "уязвимость с повышением привилегий". > Если первое - то не страшно, возможно ты просто неосилятор или не > смог поменять парадигму программинга. > А то попривыкают писать uint32_t x = (*(struct foo *)NULL)->x > и ARM приходится бросать безусловный HardFault, потому что по другому подобные гении > не учатся. >> И все забивают и пишут unsafe на unsafe, или глобальный аллокатор > То что можно наовнокодить даже на Раст - это известно, но в > нормальном проекте за каждый ансейф тебе придется отчитаться на кодревью. > А если это какой-то васянопроект - то сомневаюсь, что там ревью вообще > будет. >> Это КАТАСТРОФА. > Для Витюшка, возможно. Для linux, android, aws, windows и индутрии в целом > - нет. > Возможно разница в ресурсах и опыте.
	Введите код, изображенный на картинке: