¿Cómo evitar que g ++ optimice un ciclo controlado por una variable que puede ser modificada por un IRQ?

Question

Considérese el siguiente fragmento de código:

unsigned global; 
while(global); 

global se modifica en una función que se invoca por un IRQ. Sin embargo, g ++ elimina la prueba "is-not-zero" y traduce el ciclo while en un ciclo sin fin.

La desactivación de la optimización del compilador resuelve el problema, pero ¿ofrece C++ una construcción de lenguaje para ello?

Answer 1

declarar la variable como volatile:

volatile unsigned global; 

Ésta es la palabra clave que le dice al compilador que global pueden ser modificados en diferentes hilos y todas las optimizaciones debe ser apagado por ello.

Answer 2

Se podría utilizar los atributos del CCG en la declaración de la función para desactivar la optimización en función de cada función:

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

Véase la página GCC Function Attributes para más información.

Answer 3

Dado que está utilizando GCC y que decir que lo que la variable volatile no funciona, puede engañar al optimizador en el pensamiento de que el bucle cambia la variable por mentir al compilador:

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

Este es una instrucción de ensamblaje en línea que dice que modifica la variable (se pasa como un operando de entrada y salida). Pero está vacío, así que obviamente no hace nada en tiempo de ejecución. Aún así, el optimizador piensa que modifica la variable - los programadores lo dicen, y el compilador, salvo la sustitución de operando (lo que significa simplemente reemplazar un texto por otro), realmente no se preocupa por el cuerpo del ensamblaje en línea y no hará ningún cosas divertidas para eso.

Y como el cuerpo está vacío y la restricción lo usa como el más genérico disponible, debería funcionar de manera confiable en todas las plataformas donde GCC admite el ensamblaje en línea.