Исходное сообщение
"Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..." Отправлено Аноним, 30-Дек-23 18:02
> Я же не бегаю и не кричу о безопасном Zig, который избегает гонок данных Ты при этом сам придумал, что Раст полностью позволяет избегать гонок и докапываешься до всех "А докажите коррекность с помощью раста!!11", хотя он это не гарантирует. Почитаей уже доку! Вот тебе цитата с Rustonomicon: "Safe Rust guarantees an absence of data races, which are defined as:     two or more threads concurrently accessing a location of memory     one or more of them is a write     one or more of them is unsynchronized" ВСЁ! Не больше и не меньше! (Хотя это не так мало, зигушка и в это не может...) То что ты нафантазировал - твои личные проблемы. "Data races are mostly prevented through Rust's ownership system: it's impossible to alias a mutable reference, so it's impossible to perform a data race. Interior mutability makes this more complicated, which is largely why we have the Send and Sync traits. However Rust does not prevent general race conditions." https://doc.rust-lang.org/nomicon/races.html При этом все что оно гарантирется - гарантируется автоматически! А что не гарантируется, то можно доказать на бумажке. И будет абсолютно тоже самое. Ну, если конечно не накосичишь в расчетах, ты же не мировое светило по мультитредингу...

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Я же не бегаю и не кричу о безопасном Zig, который избегает гонок данных > Ты при этом сам придумал, что Раст полностью позволяет избегать гонок и > докапываешься до всех "А докажите коррекность с помощью раста!!11", хотя он > это не гарантирует. > Почитаей уже доку! Вот тебе цитата с Rustonomicon: > "Safe Rust guarantees an absence of data races, which are defined as: > two or more threads concurrently accessing a location > of memory > one or more of them is a write > one or more of them is unsynchronized" > ВСЁ! Не больше и не меньше! (Хотя это не так мало, зигушка > и в это не может...) > То что ты нафантазировал - твои личные проблемы. > "Data races are mostly prevented through Rust's ownership system: it's impossible to > alias a mutable reference, so it's impossible to perform a data > race. Interior mutability makes this more complicated, which is largely why > we have the Send and Sync traits. However Rust does not > prevent general race conditions." > https://doc.rust-lang.org/nomicon/races.html > При этом все что оно гарантирется - гарантируется автоматически! > А что не гарантируется, то можно доказать на бумажке. И будет абсолютно > тоже самое. > Ну, если конечно не накосичишь в расчетах, ты же не мировое светило > по мультитредингу...
	Введите код, изображенный на картинке: