История изменений
Исправление red75prim, (текущая версия) :
Как ты собрался заставить программиста на Rust не шарить ссылки между потоками?
Для этого в расте есть Send и Sync. Попытка расшарить между потоками мутабельные данные (ссылками или Arс’ами) без синхронизации даст ошибку компиляции. Третий раз пишу, если что.
А unsafe можно даже не проверять руками. Есть #[deny(unsafe_code)]
Желаете ещё какие-нибудь инструменты по проверке наличия отсутствия data races?
Исправление red75prim, :
Как ты собрался заставить программиста на Rust не шарить ссылки между потоками?
Для этого в расте есть Send и Sync. Попытка расшарить между потоками мутабельные данные (ссылками или Arс’ами) без синхронизации даст ошибку компиляции. Третий раз пишу, если что.
А unsafe можно даже не проверять руками. Есть #[deny(unsafe_code)]
Желаете ещё какие-нибудь инструменты по проверке наличия отсутствия race conditions?
Исправление red75prim, :
Как ты собрался заставить программиста на Rust не шарить ссылки между потоками?
Для этого в расте есть Send и Sync. Попытка расшарить между потоками мутабельные данные (ссылками или Arс’ами) без синхронизации даст ошибку компиляции. Третий раз пишу, если что.
А unsafe можно даже не проверять руками. Есть #[deny(unsafe_code)]
Исправление red75prim, :
Как ты собрался заставить программиста на Rust не шарить ссылки между потоками?
Для этого в расте есть Send и Sync. Попытка расшарить между потоками мутабельные данные (ссылками или Arс’ами) без синхронизации даст ошибку компиляции. Третий раз пишу, если что.
Исходная версия red75prim, :
Как ты собрался заставить программиста на Rust не шарить ссылки между потоками?
Для этого в расте есть Send и Sync. Попытка расшарить между потоками мутабельные данные (ссылками или Arс’ами) без синхронизации даст ошибку компиляции.