Comment empêcher gcc d'optimiser certaines instructions en C?

Afin de rendre une page sale (en activant le bit sale dans l'entrée du tableau des pages), je touche les premiers octets de la page comme ceci:

pageptr[0] = pageptr[0];

Mais en pratique, gcc ignorera l'instruction par élimination du magasin mort. Afin d'empêcher gcc de l'optimiser, je réécris l'instruction comme suit:

volatile int tmp;
tmp = pageptr[0];
pageptr[0] = tmp;

Il semble que le truc fonctionne, mais un peu moche. Je voudrais savoir s'il existe des directives ou une syntaxe qui ont le même effet? Et je ne veux pas utiliser de -O0drapeau, car cela entraînera également une grande pénalité de performance.

La désactivation de l'optimisation résout le problème, mais ce n'est pas nécessaire. Une alternative plus sûre consiste à empêcher le compilateur d'optimiser le magasin en utilisant le volatilequalificateur de type.

// Assuming pageptr is unsigned char * already...
unsigned char *pageptr = ...;
((unsigned char volatile *)pageptr)[0] = pageptr[0];

Le volatilequalificateur de type indique au compilateur d'être strict sur les magasins et les charges de mémoire. L'un des objectifs de volatileest de faire savoir au compilateur que l'accès à la mémoire a des effets secondaires et doit donc être préservé. Dans ce cas, le magasin a pour effet secondaire de provoquer une erreur de page et vous souhaitez que le compilateur conserve l'erreur de page.

De cette façon, le code environnant peut toujours être optimisé, et votre code est portable vers d'autres compilateurs qui ne comprennent pas les GCC #pragmaou la __attribute__syntaxe.

Vous pouvez utiliser

#pragma GCC push_options
#pragma GCC optimize ("O0")

your code

#pragma GCC pop_options

pour désactiver les optimisations depuis GCC 4.4.

Consultez la documentation GCC si vous avez besoin de plus de détails.

Au lieu d'utiliser les nouveaux pragmas, vous pouvez également utiliser __attribute__((optimize("O0")))pour vos besoins. Cela présente l'avantage de ne s'appliquer qu'à une seule fonction et non à toutes les fonctions définies dans le même fichier.

Exemple d'utilisation:

void __attribute__((optimize("O0"))) foo(unsigned char data) {
    // unmodifiable compiler code
}