Comment empêcher g ++ d'optimiser une boucle contrôlée par une variable pouvant être modifiée par une IRQ?

Question

Considérons le morceau de code suivant:

unsigned global; 
while(global); 

global est modifié dans une fonction qui est invoquée par un IRQ. Cependant, g ++ supprime le test "is-not-zero" et traduit la boucle while en une boucle sans fin.

Désactiver l'optimisation du compilateur résout le problème, mais C++ offre-t-il une construction de langage pour cela?

Answer 1

Déclarez la variable comme volatile:

volatile unsigned global; 

C'est le mot-clé qui indique au compilateur que global peut être modifié dans différents threads et toutes les optimisations doivent être désactivées pour elle.

Answer 2

Vous pouvez utiliser les attributs GCC sur la déclaration de fonction pour désactiver l'optimisation sur une base par fonction:

void myfunc() __attribute__((optimize(0))); 

Voir la page GCC Function Attributes pour plus d'informations.

Answer 3

Puisque vous utilisez GCC et vous dire que faire la volatile variable ne fonctionne pas, vous pouvez tromper l'optimiseur en pensant que la boucle change la variable en mentant au compilateur:

while(global) 
    asm volatile("" : "+g"(global)); 

C'est une instruction d'assemblage en ligne qui dit qu'elle modifie la variable (elle est passée comme un opérande d'entrée-sortie). Mais il est vide, donc évidemment, il ne fait rien à l'exécution. Pourtant, l'optimiseur pense qu'il modifie la variable - les programmeurs l'ont dit, et le compilateur, interdisant la substitution d'opérande (ce qui signifie simplement remplacer un texte par un autre), ne se soucie pas vraiment du corps de l'assemblage inline et ne fera aucune choses drôles. Et comme le corps est vide et que la contrainte l'utilise comme la plus générique disponible, elle devrait fonctionner de manière fiable sur toutes les plates-formes où GCC supporte l'assemblage en ligne.