Задание переупорядочения с помощью замков

Question

Вот несколько C++-кода, к которым обращаются из нескольких потоков параллельно. Он имеет критический раздел:

lock.Acquire(); 
current_id = shared_id; 
// small amounts of other code 
shared_id = (shared_id + 1) % max_id; 
lock.Release(); 
// do something with current_id 

Класс переменной блокировки является оберткой вокруг реализации мьютекса POSIX. Из-за работы модуля невозможно использовать атомные операции.

Возможно ли, что gcc-компилятор с флагом O3 оптимизирует код так, чтобы назначение current_id было перемещено перед блокировкой?

Answer 1

Можно скомпилировать с помощью O3!

Компилятор никогда не будет оптимизировать функцию вызова функции, если функция не будет отмечена как чистая с использованием атрибутов функции.

Функции мьютекса не являются чистыми, поэтому абсолютно безопасно использовать их с O3.

Answer 2

Обычно компилятор не должен производить такую ​​вредную оптимизацию. Если вы все еще не уверены, вы можете использовать ключевое слово volatile, чтобы предотвратить оптимизацию этих переменных id.