Микроконтроллеры

Не факт, должны быть volatile только если снаружи они проверяются в цикле, в одной функции (чтоб компилятор каждый раз проверял, а не оптимизировал этот процесс). Кроме того, если доступ к переменной не атомарный -- НУЖНЫ КРИТИЧЕСКИЕ СЕКЦИИ для чтения и изменения переменных снаружи прерывания.