172 похожих чатов

Кто-Нибудь может сказать S_Access корректна (не имеет UB, безопасна, защищает

от гонок, алиасинга мут ссылок и ещё чего-то о чём я не знаю) для записи и чтения S?
Пожалуйста, не предлагайте мне других вариантов решения, не спрашивайте зачем мне это нужно и т. д.
Просто ответьте "да", "нет" или "не знаю". И если ответ "нет", то аргументируйте пожалуйста.

type T = ...;

static mut S: T = ...;
use S_local::S_Access;

mod S_local {
use core::ops::{DerefMut, Deref};
use core::sync::atomic::{AtomicBool, Ordering};
use core::marker::PhantomData;

pub struct S_Access(PhantomData<super::T>);

static IS_TAKEN: AtomicBool = AtomicBool::new(false);

impl S_Access {
pub fn take() -> Self {
IS_TAKEN.compare_exchange(false, true, Ordering::Acquire, Ordering::Acquire).unwrap();
Self(PhantomData)
}
}

impl Drop for S_Access {
fn drop(&mut self) {
IS_TAKEN.store(false, Ordering::Release);
}
}

impl Deref for S_Access {
type Target = super::T;

fn deref(&self) -> &Self::Target {
unsafe { &super::S }
}
}

impl DerefMut for S_Access {
fn deref_mut(&mut self) -> &mut Self::Target {
unsafe { &mut super::S }
}
}
}

10 ответов

5 просмотров

В чем толк от ответа "не знаю"

Albert Terrors
В чем толк от ответа "не знаю"

не знаю - значит надо KANI брать

Андрей-Смирнов Автор вопроса

Если ты из двух тредов берёшь мутабельные ссылки на два разных инстанса S_Access, то по DerefMut получаешь две мутабельные ссылки на static mut.

Artem
Если ты из двух тредов берёшь мутабельные ссылки н...

Два разных не получится получить одновременно, ибо второй должен будет на атомике упасть.

1. Использование Acquire в compare_exchange значит, что запись будет Relaxed. 2. В исходниках spinlock делают SeqCst (ровно для тех же целей, в общем-то) https://docs.rs/spinlock/latest/src/spinlock/lib.rs.html#142 https://docs.rs/spinlock/latest/src/spinlock/lib.rs.html#189

Artem
1. Использование Acquire в compare_exchange значит...

Release-store синхронизируется с Acquire-load, Relaxed нужен только для failure ветки в compare_exchange(_weak)

Разве только для этого? Условно когда много потоков считают количество "хороших" чисел на промежутке, и инкрементируют один атомик, и им нафиг не нужна никакая синхронизация?

Андрей-Смирнов Автор вопроса

Может быть, ещё кто-нибудь знает ответ но не видел вопрос? Пока ещё не поступило достаточно утвердительного ответа.

Похожие вопросы

Обсуждают сегодня

коллеги, добрый вечер! А никто не знает как модальная форма может себя закрыть? Ну допустим модальная форма определила, что смысла ей работать нет и хочет вернуть modalResult...
Михаил
83
А если изначально бот работал так : есть сайт онлайн школы. У каждого ученика свой кабинет. Где он авторизуется по своим данным. И уже в кабинете, на самом сайте делает оплату...
Денис 💡 Фрилансер
13
А что ты вообще делаешь ?
Yesgoter
13
На работе пишем распределенное приложение, у которого сотни, если не тысячи настроек. Конфиги написаны на xml, расположены на разных хостах и должны быть согласованы друг с др...
Aleksandr Druzhinin
5
Всем привет 🙂 Какая-то непонятная проблема у меня с видео, раньше такого не было. Загружаю видео с гугл диска именно в видео mp4 и меняю ссылку как положено вот она: https://d...
Ксюша|Верстка на Тильде|Дизайн 🦥
6
средствами IBX как-то можно выполнить запрос insert ... returning?
Igor
31
Добрый день Хочу начать обучение языку, не являюсь представителем it, буду благодарна за помощь, совсем пока не понимаю ничего) Подскажите, пожалуйста, где можно начать первы...
Sara Lala
18
что это и почему оно? executor.start_polling(bot, skip_updates=True, on_startup=on_startup, File "/usr/local/lib/python3.10/dist-packages/aiogram/utils/executor.py", line 4...
𐌍𐌄 ᕓ𐌄𐌓𐌌Ꝋ𐌓𐌄
2
Hi there everyone Is there anyone who have not started hamster bot yet? I need only one, I'll be glad if you do this for me DM if you haven't yet
Mehrshad
53
Подскажите, почему в правом коде с1 дополняется до 8байт, а не до 4?
Sergey
9
Карта сайта