Come impedire a g ++ di ottimizzare un ciclo controllato da una variabile che può essere modificata da un IRQ?

Question

consideri il seguente pezzo di codice:

unsigned global; 
while(global); 

global viene modificato in una funzione che viene richiamata da un IRQ. Tuttavia, g ++ rimuove il test "is-not-zero" e traduce il ciclo while in un loop infinito.

La disattivazione dell'ottimizzazione del compilatore risolve il problema, ma C++ offre un costrutto linguistico per questo?

Answer 1

dichiarare la variabile come volatile:

volatile unsigned global; 

Questa è la parola chiave che dice al compilatore che global possono essere modificate in diversi thread e tutte le ottimizzazioni dovrebbe essere spento per esso.

Answer 2

Si potrebbe utilizzare gli attributi GCC sulla dichiarazione di funzione per disattivare l'ottimizzazione su una base per funzione:

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

vedere la pagina GCC Function Attributes per ulteriori informazioni.

Answer 3

Dal momento che si sta utilizzando GCC e dire che fare la variabile volatile non funziona, si può ingannare l'ottimizzatore a pensare che il ciclo cambia la variabile da sdraiato al compilatore:

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

Questo è una dichiarazione di assemblaggio inline che dice che modifica la variabile (viene trasmessa come un operando input-output). Ma è vuoto, quindi ovviamente non fa nulla in fase di runtime. Tuttavia, l'ottimizzatore pensa di modificare la variabile - lo hanno detto i programmatori, e il compilatore, tranne la sostituzione dell'operando (che significa semplicemente sostituire un testo con un altro), non si preoccupa del corpo dell'assembly inline e non lo farà cose divertenti ad esso.

E poiché il corpo è vuoto e il vincolo utilizzato è il più generico disponibile, dovrebbe funzionare in modo affidabile su tutte le piattaforme in cui GCC supporta l'assemblaggio in linea.