Исходное сообщение
"В ядро Linux 6.8 намечено включение первого сетевого драйвер..." Отправлено Витюшка, 18-Дек-23 16:31
Нет, проблема именно с базовой системой владения, borrow checker и т.п. Rust очень тупой язык, и корректный и валидный (но сложный) код просто не понимает. Например когда несколько указателей из разных потоков владеют хитрым образов куском памяти. Rust говорит "я ничего не понимаю, что ты там написал, я тупой, ДОКАЖИ мне что это корректно". И часто сделать это из-за самого же Rust просто невозможно (именно доказать корректность для borrow checker Rust). И все забивают и пишут unsafe на unsafe, или глобальный аллокатор, потому что объект в BumpAllocator привязан в времени жизни аллокатора (массива) и объяснить компилятору что код корректный не получается. Ну, как я понял из их описания. Это КАТАСТРОФА.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Нет, проблема именно с базовой системой владения, borrow checker и т.п. Rust > очень тупой язык, и корректный и валидный (но сложный) код просто > не понимает. > Например когда несколько указателей из разных потоков владеют хитрым образов куском памяти. > Rust говорит "я ничего не понимаю, что ты там написал, я тупой, > ДОКАЖИ мне что это корректно". И часто сделать это из-за самого > же Rust просто невозможно (именно доказать корректность для borrow checker Rust). > И все забивают и пишут unsafe на unsafe, или глобальный аллокатор, потому > что объект в BumpAllocator привязан в времени жизни аллокатора (массива) и > объяснить компилятору что код корректный не получается. Ну, как я понял > из их описания. > Это КАТАСТРОФА.
	Введите код, изображенный на картинке: