летучий uint32_t на Cortex-M3

Question

Это мой код:

volatile uint32_t value = *((volatile uint32_t *) 0xA0000000); // here `value` is 12498 
value *= 2; // here `value` is still 12498 
value |= 0x0000001; // still 12498 

При анализе в моем отладчике переменную value, она имеет то же значение на всех линиях. Что я делаю не так?

Answer 1

Возможно, ваш отладчик на самом деле не так хорош. Когда один из моих инструментов не работает, я всегда проверяю его на другой инструмент.

Попробуйте отладить старинке, с:

volatile uint32_t value = *((volatile uint32_t *) 0xA0000000); 
printf ("A:%d\n", value); 

value *= 2; 
printf ("B:%d\n", value); 

value |= 0x0000001; 
printf ("C:%d\n", value); 

или какой-либо другой метод вывода, если printf недоступен (это выглядит, как вы можете работать во встроенном пространстве).

Посмотрите, что вы получите с этим - я был бы более склонен доверять printf -debugging, чем отладчики.

---

Если ваша проблема не связана с value, но вместо того, чтобы с памятью на месте 0xA0000000, то он работает, как ожидалось.

Вы управляете локальной переменной, а не ячейкой памяти. Вам нужно записать значение обратно, что-то вроде:

*((volatile uint32_t *) 0xA0000000) = value; 

---

Однако, учитывая ваше использование изменчиво, это вполне возможно, вы просто хотели переменную указателя к этому месту, так что изменения будут отражать немедленно ,

Если это так, то вам нужно будет что-то вдоль линий:

volatile uint32_t *pValue = (volatile uint32_t *) 0xA0000000; 
*pValue *= 2; 
*pValue |= 0x00000001; 

В этом случае ячейка памяти будет изменена в каждой инструкции без, имеющих явно записать значение.

Answer 2

1. Это может быть, что ваш оптимизатор заметил, что value является автоматическим переменным, адрес которого никогда не принимается, и так фактически игнорируется тот факт, что его неустойчивым, так как это происходит что-то узнать об архитектуре он работает на , и пришел к выводу, что соответствующая программа не может наблюдать, какая последовательность чтения и записи на нее происходит, хотя стандарт говорит, что это наблюдаемо. Очевидно, что это не очень удобно для отладчика, но я не удивлюсь, если это произойдет. Фактически, компилятор предположил бы, что вы не можете «видеть» стек, что является ложным, если вы используете отладчик, исследуете дамп ядра, отмечаете стек только для чтения и обрабатываете результирующие сигналы и т. Д. Проверьте разборку, посмотрите, действительно ли отображаются множители/сдвиг и бит.
2. Возможно, ваш отладчик неправильно отслеживает значение, либо из-за (1), либо иным образом.

Answer 3

попробуйте записать значение в другую временную переменную и изучить это значение. Иногда это позволяет компилятору/отладчику делать то, что вы хотите. AFAIK, volatile сообщает компилятору всегда читать значение, не обязательно держать его вокруг для записи, если его никогда не читать.