Як запобігти оптимізації 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
}