Исходное сообщение
"Представлена библиотека Aya для создания eBPF-обработчиков н..." Отправлено Ordu, 16-Июн-21 21:20
> А вот и жертвы пропаганды нарисовались. Модель памяти раста не предполагает конкурентного > доступа, а когда нет конкурентного доступа нет гонок. race condition в расте делается элементарно. Сделай два mutex'а, и попробуй залочить их оба последовательно из параллельных потоков. data race в расте элементарно не делается, unsafe нужен, как раз в силу этой самой модели памяти. А конкурентный доступ есть, чтобы какую бы лапшу _тебе_ пропаганда не вешала на уши, есть Arc для менеджмента памятью в конкурентном окружении, и есть Mutex, для конкрентного доступа. Есть Send, говорящий о том, что значения данного типа можно прокидывать между потоками выполнения. Наконец, есть Sync, для типов навроде Mutex'а, которые не просто можно прокидывать между потоками, но шарить между потоками, в смысле иметь указатели на них в разных потоках одновременно. И если Arc и Mutex -- это творения стандартной библиотеки и дают простор порассуждать, что это не раст как таковой, а библиотека к нему, то Send и Sync -- это трейты-маркеры типов, прошитые в язык, наряду с другими трейтами-маркерами формирующими модель памяти раста (чтобы это не означало), такими как Clone, Copy, ?Sized. > Тебя обманули. Конечно. > Представляешь, отличается. Раз раст не может в конкурентный доступ, то любое его > наличие требует unsafe, Да, ты прикинь, они врут всё про безопасность: массивы тоже в расте не реализуются без unsafe'ов. Ты реально можешь заглянуть в сорцы core::slice и увидеть там как unsafe на unsafe unsafe'ом погоняет: https://doc.rust-lang.org/src/core/slice/mod.rs.html#86

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> А вот и жертвы пропаганды нарисовались. Модель памяти раста не предполагает конкурентного >> доступа, а когда нет конкурентного доступа нет гонок. > race condition в расте делается элементарно. Сделай два mutex'а, и попробуй залочить > их оба последовательно из параллельных потоков. > data race в расте элементарно не делается, unsafe нужен, как раз в > силу этой самой модели памяти. > А конкурентный доступ есть, чтобы какую бы лапшу _тебе_ пропаганда не вешала > на уши, есть Arc для менеджмента памятью в конкурентном окружении, и > есть Mutex, для конкрентного доступа. Есть Send, говорящий о том, что > значения данного типа можно прокидывать между потоками выполнения. Наконец, есть Sync, > для типов навроде Mutex'а, которые не просто можно прокидывать между потоками, > но шарить между потоками, в смысле иметь указатели на них в > разных потоках одновременно. > И если Arc и Mutex -- это творения стандартной библиотеки и дают > простор порассуждать, что это не раст как таковой, а библиотека к > нему, то Send и Sync -- это трейты-маркеры типов, прошитые в > язык, наряду с другими трейтами-маркерами формирующими модель памяти раста (чтобы это > не означало), такими как Clone, Copy, ?Sized. >> Тебя обманули. > Конечно. >> Представляешь, отличается. Раз раст не может в конкурентный доступ, то любое его >> наличие требует unsafe, > Да, ты прикинь, они врут всё про безопасность: массивы тоже в расте > не реализуются без unsafe'ов. Ты реально можешь заглянуть в сорцы core::slice > и увидеть там как unsafe на unsafe unsafe'ом погоняет: https://doc.rust-lang.org/src/core/slice/mod.rs.html#86
	Введите код, изображенный на картинке: