Пример барьеры вики с памятью GCC ⇐ C++

[Anonymous]

Следующий код поступает из Wiki GCC.

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

// -Thread 1-
y.store (20, memory_order_relaxed)
x.store (10, memory_order_relaxed)

// -Thread 2-
if (x.load (memory_order_relaxed) == 10)
{
assert (y.load(memory_order_relaxed) == 20) /* assert A */
y.store (10, memory_order_relaxed)
}

// -Thread 3-
if (y.load (memory_order_relaxed) == 10)
assert (x.load(memory_order_relaxed) == 10) /* assert B */

Поскольку потоки не должны синхронизировать через систему, в этом примере может фактически Fail .

Я могу выяснить, почему утверждение A может потерпеть неудачу. Но как Assert B также может сбой?>

Подробнее здесь: https://stackoverflow.com/questions/795 ... er-example