атомное упорядочение памяти и прерывания цикла сообщений

Question

Рассмотрим следующие два потока исполнения:

Тема A:

// Initialize stuff... 
std::atomic<bool> interrupted = false; 

// Launch thread B 
// ... Do some useful stuff 

// Interrupt B 
interrupted = true; 
InterruptMessageLoop(B); 

Thread B

RunMessageLoop(); // Can exit by itself or due to InterruptMessageLoop 
if (interrupted) { 
    // Do something special 
} 

вопрос, что у меня есть - может Я уверен, что если нить A действительно вызовет InterruptMessageLoop, поток B увидит атом interrupted в состоянии true? (Я имею в виду это «желаемое поведение» ниже)

Проблемы, которую я вижу в том, что, если я правильно понимаю, упорядоченность памяти std::memory_order_seq_cst, который используется в operator= вариабельных гарантиях атомных, что не нормально пишет будет переупорядочено после атомной операции и нет нормального читает будет переупорядочено до атомной операции. Но может случиться так, что поток A переупорядочивает InterruptMessageLoop(B) до атома, тогда поток B прерывает цикл сообщения и считывает неверное значение (относительно логического значения) interrupted, и только тогда поток A записывает в interrupted. Это верно? И если да, есть ли способ убедиться, что я получаю поведение, которое я хочу, не прибегая к мьютексу (т. Е. Оберните InterruptMessageLoop и булевскую модификацию в мьютекс и заблокируйте один и тот же мьютекс при чтении)?

Обратите внимание, что я не контролирую реализацию RunMessageLoop.

Редактировать Обратите внимание, что ситуация, когда я выполняю команду, чтобы прервать цикл и цикл существует нормально (вроде игнорирования моей команды) - это нормально в моем случае, когда поток B считает, что прерывание вызывается цикл обработки сообщений выйти.

Answer 1

Чтобы точно отличить, была ли RunMessageLoop закончена нормально или из-за InterruptMessageLoop, вам придется полагаться на какой-то статус, о котором говорит RunMessageLoop.

Хакерный способ, который вы пытаетесь сделать, не будет работать. Скажем, вам удалось гарантировать, что компилятор ничего не записывает. Вы по-прежнему имеют следующий перемежения:

• Т1: (А) = прервала истинно
• Т2: (В) RunMessageLoop() закончил нормально.
• T3: (A) InterruptMessageLoop()
• T4: (B) если (прервано) возвращает true, но B не прерывается!