Что представляет собой короткая иллюстративная программа на C, демонстрирующая разницу между энергозависимой и энергонезависимой при дизассемблировании?
ie
int main()
{
volatile int x;
???
}
vs
int main()
{
int x;
???
}
На что мы можем заменить оба ???, чтобы сгенерированный код был другим?
Например:
x = 0;
Если x не является volatile, компилятор увидит, что он не используется, и, вероятно, полностью удалит его (либо оператор x = 0;, либо даже саму переменную) из сгенерированного кода в качестве оптимизации.
Однако ключевое слово volatile предназначено именно для того, чтобы предотвратить это от компилятора. По сути, оно сообщает генератору кода: «Что бы вы ни думали об этой переменной, не сомневайтесь, она мне нужна». Таким образом, компилятор будет обрабатывать изменчивую переменную как доступную и выдавать фактический код, соответствующий выражению.
x = 0 устраняется в энергонезависимой версии в gcc -O2, тогда как в энергозависимой версии его нет.
- person Andrew Tomazos; 03.11.2012
Это может быть не самый короткий пример, но это обычное использование volatile во встроенных системах, предполагая, что x указывает на адрес регистра, если volatile не используется, компилятор примет значение x не изменится и удалит цикл:
volatile long *x = (long*) REGISTER_BASE;
while (!(x&0x01)) {
//do nothing;
}
Вы также можете попробовать это:
x=1;
x=2;
return x;
Включите оптимизацию и проверьте дизассемблирование для обоих.
