C++ оптимизации приводит к резьбового

Question

Я сделал программу, которая имеет следующие особенности:

Это работает в классе ClassA

переменные:

int8_t* p1; // this is only modified on thread1 
volatile int8_t* p2; 

thread1 (который блокируется)

while(p1 + 64 > p2); 

thread2 (который изменяет р2)

while(true) { 
    //reading file 
    p2 += 10; 
    //reading file 
    p2 += 10; 
    //reading file 
    p2 += 10; 
} 

Thread1 в какой-то момент заблокирован. ОДНАКО, изменяя thread1 на следующий код, этот thread1 никогда не блокируется.

while(p1 + 64 > p2) { 
    printf("%d\n", p1); 
} 

Я скомпилировал этот код с -Ofast. Я думаю, проблема в оптимизации. Как я могу исправить это без изменения моих флагов компилятора?

Answer 1

Использовать мьютекс или использовать соответствующие атомные типы для p1 и p2. В C++ volatile не имеет определенной многопоточной семантики. Изменение обычной переменной (например, p2), в то время как другой поток может получить к ней доступ, дает непредсказуемые результаты. Не делай этого.

Answer 2

p2 - переменная, измененная вне вашей первой нити, поэтому она должна быть объявлена ​​изменчивой.

Несмотря на это, скорее используйте атомы или мьютексы. volatile не защищает снова и отключает чтение и запись. На linux мьютексы очень дешевы, когда нет никаких утверждений.