гарантии видимости нет

гарантия порядка заключается в том , что операции могут быть объяснены as if они происходили в каком-то тотальном порядке

в принципе ты почти правильно сформулировал

что если мы увидели одно то увидим и другие, но дело в том что

чтение атомика не гарантирует прочтение последнего именно значения если это не RMW операция

правильно понимаю что это из-за того что компилятор может переупорядочить операции в каждом треде, поставив в обоих лоад на первое место?

нет, компилятор не переупорядочивает их

Спасибо
А как мы можем на расте такое гарантировать?

exchange например

или compare_exchange

да даже fetch_add

тогда RMW операция увидит последнее значение (in modification order)

на х86 просто залочится системная шина до этой ячейки кэша, так как будет lock инструкция-префикс

ну и сбросится стор баффер

по этим шнягам надо только растовые имена найти, я к сожалению запамятовал

То есть в моем примере все лоады заменить на что-нибудь из этого?

кстати, да, попробуйте

интересный эксперимент )

use loom::thread;
use loom::sync::atomic::{AtomicUsize, Ordering};
use loom::sync::Arc;

fn main() {
    loom::model(|| {
        let x = Arc::new(AtomicUsize::new(0));
        let y = Arc::new(AtomicUsize::new(0));
        let x1 = x.clone();
        let y1 = y.clone();
        let x2 = x.clone();
        let y2 = y.clone();
        let child_x = thread::spawn(move || {
            x1.store(1, Ordering::SeqCst);
            y1.swap(1, Ordering::SeqCst)
        });
        let child_y = thread::spawn(move || {
            y2.store(1, Ordering::SeqCst);
            x2.swap(1, Ordering::SeqCst)
        });
        let res_x = child_x.join().unwrap();
        let res_y = child_y.join().unwrap();
        assert!(!(res_x == 0 && res_y == 0), "x = {}, y = {}", res_x, res_y);
    })
}

действительно работает

йуху!