Reclassement d'instructions avec des verrous

Question

Voici un code C++ auquel plusieurs threads accèdent en parallèle. Il a une section critique:

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 

La classe de la variable de verrouillage est wrapper autour de la mise en œuvre de mutex POSIX. En raison des opérations du module, il n'est pas possible d'utiliser des opérations atomiques.

Est-il possible qu'un compilateur gcc avec un indicateur O3 optimise le code afin que l'affectation de current_id soit déplacée avant le verrou?

Answer 1

Il est possible de compiler avec O3!

Le compilateur n'optimisera jamais à travers un appel de fonction à moins que la fonction ne soit marquée comme pure en utilisant des attributs de fonction.

Les fonctions mutex ne sont pas pures, il est donc absolument sûr de les utiliser avec O3. Volatile n'empêche pas toutes les optimisations pertinentes.

Answer 2

Normalement, le compilateur ne devrait pas faire de telles optimisations nuisibles. Si vous n'êtes toujours pas sûr, vous pouvez utiliser le mot clé volatile pour empêcher les optimisations sur ces variables d'identifiant.