Зависит ли этот результат от значения «из воздуха»? ⇐ C++

[Anonymous]

В этом примере x изначально равен 0, а y изначально равен 2.

Код: Выделить всё

// thread 1:
if(y.load(relaxed) == 1){ // #1
x.store(1,relaxed); // #2
}
//thread 2:
int pre = x.load(relaxed); // #3
while(pre != 0){
if(x.compare_exchange_strong(pre, pre+1, acquire, relaxed)){  // #4
break;
}
}
y.store(1,relaxed); // #5

Если и #1, и #4 верны, зависит ли этот результат от значения «из воздуха»? [atomics.order] p8 говорит:

Реализации должны гарантировать, что никакие «из воздуха» не вычисляются значения, которые циклически зависят от свои собственные вычисления.

В этом примере #1 возвращает true в зависимости от того, читается ли #5 . #5 выполняется независимо от того, равен ли pre нулю или ненулевому значению. Сложность заключается в том, что #4 может быть успешной операцией RMW только в том случае, если pre !=0, иначе #4 никогда не будет выполнен. В этом примере x изначально равен 0, поэтому #4 возвращает true, только если #3 читает #2, а #4 читает # 2. После этого анализа я не уверен, можно ли упростить приведенный выше пример до следующего:

Код: Выделить всё

// thread 1:
if(y.load(relaxed) == 1){ // #1
x.store(1,relaxed); // #2
}
// thread 2:
int pre = 1;
while(!x.compare_exchange_strong(pre,pre+1, acquire, relaxed)){} // #4
y.store(1,relaxed); // #5

Теперь #1 зависит от #5, а #5 зависит от #4 читается #2 , #2 зависит от #1. Значит, если и #1, и #4 возвращают true, этот результат зависит от OOTA?

Подробнее здесь: https://stackoverflow.com/questions/792 ... -air-value