Keil C51 и volatile. Массив, изменяемый в обработчике прерывания - volatile?

ArtemKolesnikov · 06.01.2017, 16:26

Всем привет.
Имеется официальный код примера на чип-трансивер nrf24LE1 от Nordic.
Keil C51

Код:

// Global variables
uint8_t payload[3];
 
// Radio interrupt
NRF_ISR() //Обработчик прерывания, макросс #define NRF_ISR()       void nrf_isr(void)      interrupt 8   // RF interrupt (0x4b)
{
...
    // Read payload
...
      hal_nrf_read_rx_payload(payload);
...
}

Функция hal_nrf_read_rx_payload(payload) принимает аргумент-указатель и читает данные из буфера обмена чипа в этот массив.
Кто-нибудь, пожалуйста, объясните, почему в этом коде программисты глобальный массив uint8_t payload[3] не объявили как volatile ???
Уже 4 часа не могу вкурить.
На форуме Keil пишут, что надо.
http://www.keil.com/forum/3380/
Спасибо!

NewWriter · 06.01.2017, 17:12

volatile - рекомендация компилятору не оптимизировать (не изменять по своему усмотрению) работу с этими переменными, когда включается оптимизация, и компилятор вдруг может обнаружить возможность оптимизации (сокращения, ускорения) операций. "Может", но не "обязан".

ArtemKolesnikov · 07.01.2017, 23:03

Тут прочитал информацию, что оптимизация массива (не volatile) не будет производиться, если этот массив передается в функцию. Как раз мой случай. Прочитал в комментариях на хабрахабре. Эти слова имеют законное основание?

akegor · 07.01.2017, 23:14

Сообщение от ArtemKolesnikov

почему в этом коде программисты глобальный массив uint8_t payload[3] не объявили как volatile ???

Вообще-то, если в тексте программы есть прямое явное обновление данных массива, то он не должен подвергаться оптимизации. Вот если заполнение идет через ПДП от периферии, то компилятор запросто может посчитать, что объявленный массив содержит нули и он просто не нужен.
Но это теоретически. Практически - я уже ходил по этим граблям: что и как расценит компилятор - и разработчик не всегда скажет. "Лучше перебздеть, чем недобдеть"(с) Кстати, то же относится к неявным преобразованиям типов.