Прошивки и модели памяти

ОБЯЗАТЕЛЬНОДЛЯ НОВИЧКОВ

Всем

Прошивки и модели памяти

Определение и архитектурная роль прошивки

Прошивка (или Firmware) — это "душа" микроконтроллера. Представьте себе пустой робот-пылесос. В нем есть крутые моторы, датчики, процессор (железо). Но он мертвый. Он не знает, что он пылесос. Он не знает, что нужно ездить по комнате и собирать мусор.

Прошивка представляет собой специализированный программный слой, интегрированный в энергонезависимую память аппаратных компонентов вычислительной системы.

Прошивка — это файл (набор инструкций), который вы загружаете в память микроконтроллера. После этой загрузки мертвое железо оживает и начинает делать то, что вам нужно: мигать лампочкой, крутить мотор или отправлять данные в интернет.

Данный программный модуль обеспечивает инициализацию периферийных контроллеров, конфигурацию тактовых генераторов, настройку интерфейсов ввода-вывода и передачу управления прикладным алгоритмам.

Когда вы подаете питание на устройство, оно не знает, что делать. Внутри него есть "шпаргалка" (векторная таблица), которая говорит: "Эй, процессор, первая команда, которую ты должен выполнить, лежит вот по этому адресу в памяти". Это как если бы вы проснулись, и у вас на стене крупно висело: "Шаг 1: Открой глаза. Шаг 2: Встань с кровати".

Процессор начинает бешено настраивать все вокруг:

Настройка тактового генератора: Процессор говорит железу: "Ребята, мы будем работать с такой-то скоростью (тактовой частотой)". Это как дирижер задает темп оркестру.
Настройка ножек (портов): Процессор смотрит в свой "паспорт" и решает: "Ножка номер 5 будет СЛУШАТЬ датчик, а ножка номер 7 будет КОМАНДОВАТЬ мотором".
Настройка памяти: Готовит оперативную память (SRAM) к работе.

Без этого этапа микроконтроллер не знает, где вход, а где выход.

Прошивка функционирует на границе между физическим оборудованием и операционными системами или автономными приложениями, выполняя функции низкоуровневого драйвера и системного загрузчика.

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

Процессор — это очень сосредоточенный работник. Он что-то считает в основном цикле. Но внезапно кто-то позвонил в дверь (например, пользователь нажал кнопку, или датчик зафиксировал превышение температуры). Если бы процессор сам проверял кнопку каждую миллисекунду — он бы отвлекался. Но здесь система работает иначе: прерывание — это как звонок будильника. Процессор моментально запоминает, что он делал, бежит обрабатывать нажатие кнопки, а потом возвращается к своей работе с того же места. Это очень эффективно.

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

После того как все настроено, процессор входит в бесконечный цикл (в программировании на Arduino это называется loop()).

Он бесконечно повторяет одно и то же:
Посмотрел на датчик.
Подумал.
Включил или выключил мотор.
Снова Посмотрел...

И так миллион раз в секунду, пока не выключат питание.

Раньше, чтобы записать программу в микросхему, использовали высокое напряжение, которое буквально "прожигало" микроперемычки внутри кристалла. Программу туда не просто сохраняли, а именно "вшивали" навсегда. Сейчас технологии другие, но термин остался.

Механизмы обновления встроенного программного обеспечения

Представьте, что ваш смартфон — это микроконтроллер, а прошивка — это его Android. Когда выходит новая версия Android, вы же не разбираете телефон и не меняете микросхемы. Вы просто скачиваете файл и нажимаете «Обновить». В мире микроконтроллеров все то же самое, но так как там мало памяти, и нет экрана, процесс выглядит хитрее.

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

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

Считает контрольную сумму (это как отпечаток пальца у файла: если изменить в нем 1 байт, отпечаток станет другим).
Ставит цифровую подпись (гарантия, что файл сделал именно производитель, а не хакеры).

Транспортный этап обеспечивает доставку пакета через интерфейсы программирования, сетевые протоколы или внешние носители данных. Файл нужно доставить в микроконтроллер.

Если это провод (например, вы подключили Arduino по USB) — файл просто переливается по кабелю.
Если это беспроводной способ (интернет вещей) — файл разбивается на маленькие кусочки-пакеты и летит по Wi-Fi, Bluetooth или даже через сотовую сеть к вашему умному чайнику.

Верификационный этап выполняет проверку подписи, сравнение хеш-значений и анализ совместимости целевой аппаратной платформы. Допустим, данные долетели. Но микроконтроллер — очень недоверчивый охранник. Он не запустит новую программу, пока не проверит:

«А точно ли подпись настоящая? Может, хакеры прислали свой вирус?»
«А совпадает ли отпечаток (хеш-сумма) с той, что заявлена? Вдруг файл повредился во время полета по Wi-Fi?»
«А эта прошивка вообще подходит к моей модели чипа?»
Только если все три проверки пройдены, он дает зеленый свет на установку.

Этап записи применяет загрузчик для стирания выделенных страниц флеш-памяти и программирования новых блоков данных. Bootloader — это такая микро-программа, которая всегда живет в самом начале памяти микроконтроллера. Она крошечная и работает только для того, чтобы стирать старую прошивку и записывать новую. Осторожно! Если на этом этапе выдернуть питание или прервать связь, вы получите «кирпич» — устройство, в котором нет ни старой, ни новой программы, и оно мертво. Поэтому разработчики всегда делают защиту, чтобы старый код стирался только после того, как новый полностью загружен в оперативную память.
Валидационный этап запускает самодиагностику системы, проверяет контрольные суммы исполняемого кода и инициирует перезапуск процессора. Прошивка записана. Но микроконтроллер не тупо перезагружается. Сначала он делает самопроверку (самодиагностику):

Он снова считает контрольную сумму уже записанного кода в памяти (мало ли, в самом конце запись сбойнула).
Проверяет, все ли периферийные модули (датчики, порты) настроились корректно.
И только если всё идеально, он говорит: «Окей, ребят, я перезагружаюсь и начинаю работать по-новому!».

openocd -f interface/stlink.cfg -f target/stm32f4x.cfg -c "program firmware.elf verify reset exit"

Это просто пример реальной команды, которую инженер пишет в черном окне (терминале), чтобы запустить процесс обновления через специальный отладчик (ST-Link) для микроконтроллеров STM32.

Если перевести эту команду на русский язык, она кричит компьютеру: «Эй, программатор! Возьми настройки для этого отладчика (stlink), возьми настройки для этого чипа (stm32f4), запиши туда файл прошивки (firmware.elf), проверь (verify), что она записалась без ошибок, перезагрузи систему (reset) и выйди из режима программирования (exit)!»

У микроконтроллеров мало памяти. Поэтому классический способ — стираем старую — пишем новую. Но пока мы пишем новую, устройство МЕРТВО (не работает). Для умного холодильника это ок (постоял 5 минут выключенным). А для медицинского оборудования — нельзя.

Поэтому умные системы используют двухбанковую память (A и B). Устройство работает из банка А, а тем временем загружает новую прошивку в банк Б в фоне. Потом оно просто переключает указатель загрузки с А на Б и перезагружается за 1 секунду. Это называется бесшовное обновление (как на современных телефонах).

Специфика разработки прошивок микроконтроллеров

Ваш компьютер (Windows/Intel) и микроконтроллер (ARM/AVR) говорят на разных языках. Если вы напишете программу на C++ в Visual Studio, компьютер ее поймет, а микроконтроллер — нет.

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

Вы пишете красивый код: if (температура > 30) { включить_вентилятор(); }. Компилятор берет этот текст и переводит его в объектные файлы — это кусочки машинного кода, которые процессор понимает. Но это пока просто набор кубиков без инструкции, как их собрать.
Представьте, что память микроконтроллера — это огромный склад с адресами (как номера домов на улице).

Адрес 0x08000000 — это начало Flash-памяти (там хранится программа).
Адрес 0x20000000 — это начало оперативной памяти SRAM (там хранятся переменные).

Компоновщик берет ваши кусочки кода и раскладывает их по строго определенным полкам:

Секция .text (Текст программы): Он кладет в начало Flash (по адресу 0x08000000). Это ваша инструкция для процессора.
Секция .data (Глобальные переменные): Он кладет в SRAM. Но есть нюанс! Исходные значения этих переменных (чтобы они не потерялись при выключении) он прячет рядом с кодом во Flash. При старте микроконтроллер сам перетащит их в SRAM.
Секция .bss (Неинициализированные переменные): Сюда складываются переменные, которым пока не присвоили значения (просто пустые ячейки в SRAM, которые нужно обнулить при старте).

Разработка прошивок микроконтроллеров опирает на кросс-компиляцию исходного кода под целевую архитектуру процессора с применением специализированных наборов инструментов.

Компилятор генерирует объектные файлы, компоновщик распределяет сегменты кода и данных по адресному пространству целевого чипа, а утилита преобразования формирует бинарный образ в форматах HEX или BIN.

Компоновщик — это как архитектор, который решает, что будет лежать на первом этаже, а что на втором. Если компоновщик ошибется и положит код в то место, где лежат данные, микроконтроллер зависнет (упадет в HardFault). Поэтому каждый разработчик пишет свой скрипт для конкретной модели чипа.

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

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

Скрипты компоновщика задают точное размещение секций, определяют атрибуты доступа к областям памяти и формируют карту символов для последующей отладки.

MEMORY
{
    FLASH (rx) : ORIGIN = 0x08000000, LENGTH = 512K
    SRAM  (rwx): ORIGIN = 0x20000000, LENGTH = 64K
}
SECTIONS
{
    .text : { *(.text*) } > FLASH
    .data : { *(.data*) } > SRAM AT > FLASH
    .bss  : { *(.bss*)  } > SRAM
}

Этот скрипт буквально говорит компьютеру: «Сынок, у нас есть 512 КБ для инструкций и 64 КБ для временных данных. Инструкции кидай сюда, данные сюда. Не перепутай адреса, а то будет беда!»

Вы пишете код на C++ в Arduino IDE или другой среде.
Компилятор переводит ваш код в машинные коды.
Компоновщик (линкер) по заданному скрипту раскладывает эти коды по правильным ячейкам памяти (это как рассадить пассажиров в поезде по своим местам).
Утилита превращает это в файл .HEX.
Вы заливаете этот файл в микроконтроллер.

Именно из-за этого этапа компоновки одна и та же программа, написанная для Arduino Uno (AVR), не взлетит на ESP32 — ведь адреса памяти и архитектура у них полностью разные! Для каждого камня — свой скрипт и свой компилятор.

После того как все разложено по правильным адресам, специальная утилита превращает это в конечный файл прошивки.

Формат HEX: Это текстовый файл, в котором написано: "По адресу 0x08000000 положить байты 01, A3, FF...". Удобно для чтения глазами и отладки.
Формат BIN: Это просто голый бинарный код (сырые байты). Он меньше по размеру и быстрее заливается в микроконтроллер.

Если вы пишете сложный проект, где нужно одновременно крутить мотор, опрашивать экран и слушать Wi-Fi, писать всё в одном бесконечном цикле loop() становится адом. ОСРВ — это как офис-менеджер. Она не дает вам программисту думать о времени. Вы просто создаете "задачи" (Task):

Задача 1: "Крути мотор" (выполняется каждые 10 мс).
Задача 2: "Читай кнопку" (выполняется каждые 100 мс).
Задача 3: "Отправляй данные по Wi-Fi" (выполняется, когда есть время).

ОСРВ сама решает, когда какую задачу запустить, переключается между ними так быстро, что кажется, будто они работают одновременно. Это называется детерминированное переключение контекста.

Архитектура памяти микроконтроллеров и проектные следствия

Давайте представим, что микроконтроллер — это небольшой склад (или офис), в котором есть три типа комнат для хранения вещей.

Микроконтроллеры применяют многоуровневую организацию памяти, разделяющую энергонезависимые и энергозависимые области для оптимизации производительности и надёжности.

Флеш-память хранит исполняемый код и константные данные, обеспечивая высокую плотность хранения данных в условиях последовательной записи. Это ваш "архив" или "книжный шкаф". Инструкции (программа) лежат на полках. Когда вы включаете устройство, процессор бежит к этому шкафу, берет книгу (очередную инструкцию) и читает ее. Когда вы выключаете питание, инструкции из этого шкафа никуда не деваются. Они остаются навсегда (пока вы не зальете новую прошивку). Вы не можете просто так переписать одну страничку в этой книге. Чтобы изменить 1 байт, вам придется стереть целый блок (как вырвать и вставить заново целый раздел книги). Это медленно и ресурсоемко.

Статическая оперативная память предоставляет высокоскоростной доступ для размещения переменных, стека вызовов и динамических структур, сохраняя размещённые данные до отключения электропитания. Это ваш рабочий стол. Здесь лежат текущие документы, записи, переменные и стек вызовов (то есть "закладки", куда нужно вернуться после выполнения подпрограммы). Процессор может мгновенно записать сюда любое число, изменить его, прочитать обратно, не дожидаясь ответа. Как только вы выключите питание — стол опустеет. Все текущие результаты вычислений (например, сколько градусов сейчас на датчике) пропадут навсегда. Поэтому она всегда маленькая (32-64 КБ), потому что стоит дорого и занимает место на кристалле.

EEPROM сохраняет конфигурационные параметры и калибровочные коэффициенты, поддерживая побайтовую адресацию и повышенную стойкость к циклам перезаписи. Это небольшой несгораемый сейф для особо ценных бумаг. Представьте, что у вас робот-пылесос. В EEPROM хранится расписание уборки и пароль от Wi-Fi. Если вы перезагрузите пылесос, он не забудет настройки. Если вы захотите поменять пароль, прошивка просто исправит 1 байт в EEPROM, не трогая всю программу в Flash.

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

Тип памяти	Физические характеристики	Типичное назначение в прошивке	Параметры эксплуатации
Flash	Энергонезависимая архитектура, блочная запись, высокая скорость чтения	Хранение машинного кода, векторов прерываний, констант и таблиц калибровки	Поддерживает определённое количество циклов стирания, требует блочной подготовки перед модификацией
SRAM	Энергозависимая архитектура, произвольный доступ, низкая задержка	Размещение глобальных и локальных переменных, стека, кучи, буферов DMA	Сохраняет состояние ячеек при наличии питания, объём определяется кристаллической структурой
EEPROM	Энергонезависимая архитектура, побайтовая запись, повышенная износостойкость	Хранение настроек, серийных номеров, счётчиков наработки, калибровочных данных	Поддерживает последовательную модификацию ячеек, обеспечивает стабильное хранение в условиях циклических записей

Архитектурные следствия распределения памяти формируют правила размещения сегментов в скриптах компоновщика, определяют стратегии использования кэш-памяти контроллера и влияют на выбор алгоритмов сжатия образов.

Разработчики применяют прямое отображение флеш-памяти в адресное пространство процессора для выполнения кода по месту, используют DMA для асинхронного перемещения данных между SRAM и периферией, а также реализуют программные эмуляторы EEPROM поверх флеш-памяти при отсутствии аппаратного модуля.

Проектирование прошивок учитывает выравнивание структур данных для ускорения доступа, минимизацию фрагментации кучи и резервирование областей для загрузчика и системных таблиц.

Раз уж мы знаем, где что лежит, мы должны писать прошивку с умом. Вот 4 главных правила жизни инженера:

Правило 1: Не шей константы в код (используй таблицы). Если у вас есть, например, таблица для управления цветами светодиодной ленты (1000 чисел), не забивайте ими ценную оперативную память (SRAM). Положите их в Flash, как книгу на полку, и читайте оттуда прямо во время работы. Это экономит место.

Правило 2: Не стирай Flash без нужды. У Flash есть предел перезаписи (выносливость). Если вы будете каждую секунду перезаписывать лог ошибок в Flash, она умрет через пару дней. Для частых изменений используйте SRAM, а на Flash сохраняйте только результат в конце дня.

Правило 3: Используй DMA (бесплатный грузчик). Выше упоминается DMA. Представьте, что вам нужно перетащить большой файл (битмап картинки) из Flash в SRAM, чтобы быстро вывести его на экран. Если это делает процессор, он отвлекается от главной программы. DMA — это такой "грузчик", который перегоняет данные между Flash и SRAM самостоятельно, пока процессор отдыхает. Это повышает производительность.

Правило 4: Имитация EEPROM (если её нет). В дешевых микроконтроллерах (как у многих AVR) аппаратного EEPROM часто нет. Что делают программисты? Они выделяют кусок Flash и называют его "эмулятором EEPROM". Они пишут туда настройки, но чтобы не убить Flash, они записывают новую настройку не поверх старой, а в следующую свободную ячейку (алгоритм выравнивания износа). Когда свободное место кончается, они стирают весь блок целиком и начинают заново.

Когда вы просто нажимаете кнопку "Загрузить" в Arduino IDE, вы не думаете об этом. Но когда вы создаете что-то сложное (например, будильник с сохранением времени даже после отключения батарейки), вы должны принять решение:

"Часто меняющийся счетчик секунд" положить в SRAM (чтобы быстро обновлялся).
"Настройки громкости и яркости" положить в EEPROM (чтобы сохранялись).
"Саму программу" оставить во Flash.

Именно этот выбор и называется "архитектурное следствие" — как вы распределите данные, так устройство и будет работать: быстро и надежно или медленно и с глюками.

Прошивки и модели памяти