Как предотвратить оптимизацию gcc некоторых операторов в C?

Чтобы сделать страницу грязной (включая бит грязи в записи таблицы страниц), я касаюсь первых байтов страницы следующим образом:

pageptr[0] = pageptr[0];

Но на практике gcc проигнорирует утверждение об исключении мертвого хранилища. Чтобы предотвратить его оптимизацию в gcc, я переписываю инструкцию следующим образом:

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

Вроде уловка работает, но несколько некрасиво. Я хотел бы знать, есть ли какие-либо директивы или синтаксис, которые имеют такой же эффект? И я не хочу использовать -O0флаг, так как это также сильно снизит производительность.

Отключение оптимизации решает проблему, но в этом нет необходимости. Более безопасная альтернатива - запретить компилятору оптимизировать хранилище с помощью volatileквалификатора типа.

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

volatileТипа Классификатор инструктирует компилятор быть строгим о магазинах памяти и нагрузках. Одна из целей volatile- сообщить компилятору, что доступ к памяти имеет побочные эффекты и, следовательно, должен быть сохранен. В этом случае хранилище имеет побочный эффект, вызывая ошибку страницы, и вы хотите, чтобы компилятор сохранил ошибку страницы.

Таким образом, окружающий код все еще может быть оптимизирован, и ваш код переносится на другие компиляторы, которые не понимают GCC #pragmaили __attribute__синтаксис.

Ты можешь использовать

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

your code

#pragma GCC pop_options

чтобы отключить оптимизацию, начиная с GCC 4.4.

См. Документацию GCC, если вам нужны дополнительные сведения.

Вместо использования новых прагм вы также можете использовать __attribute__((optimize("O0")))для своих нужд. Это имеет то преимущество, что оно применяется только к одной функции, а не ко всем функциям, определенным в одном файле.

Пример использования:

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