Организация памяти: адресное пространство скетча

Порог срабатывания жил в ячейке 5, режим — в 6, журнал начинался с 10. Однажды мне понадобилось поле «длительность паузы», и я без долгих раздумий вставил его между порогом и режимом: порог остался в 5, режим переехал с 6 на 7, журнал поехал с 11. Прошивка обновилась на трёх платах, и все три продолжили работать — только порог теперь читался из ячейки, где лежало его старое значение, режим — из ячейки, где лежала запись журнала, а журнал писал поверх режима. Две недели странного поведения, один вечер с распечаткой адресов и честный вывод: я нарушил собственную раскладку, потому что раскладка жила у меня в голове.

Причина — адреса жили в коде россыпью: цифры 5, 6, 10 в разных строках. Для компилятора это просто числа, никакой связи между ними он не видит и подсказать не может. Имена ADDR_ при поиске по коду находятся мгновенно: поиск по префиксу показывает каждое место обращения к памяти. Лекарство — объявить всё адресное пространство в одном месте: константы с говорящими именами, блоки-регионы с границами, проверка пересечений на этапе компиляции. Тогда добавление поля — это одна строка в конце списка, один плюс к ревизии и ноль сюрпризов на платах пользователей.

В этом уроке соберём шапку-карту, которой я пользуюсь теперь во всех проектах с EEPROM: const-адреса полей, #define границы регионов, enum для типов записей журнала, self-check при старте и правило ревизии. Плюс решим, где константная карта заканчивается и пора передавать адреса компилятору через struct.

Симулятор не понимает #if и #define, поэтому проверку пересечений в нём выполняет обычный if при старте — логика та же, что у препроцессора в реальном скетче. EEPROM, как и во всём разделе, представлен массивом в скетче с функциями myPut и myGet.

Форма, к которой я пришёл: шапка объявляет каждый адрес константой — const uint8_t ADDR_THRESHOLD = 2; — и в коде не остаётся ни одного голого числа. Тип uint8_t честнее int: он ровно байт, как ячейка EEPROM, и компилятор напомнит, если значение не влезет. Префикс ADDR в имени — быстрый маркер: перед вами адрес в памяти настроек, а не локальная переменная. Прочитать первый сохранённый байт такой константой — тот же вызов EEPROM.read из урока про read и write, только вместо цифры — имя.

Дальше — регионы. Между блоками констант в шапке живёт комментарий-карта: что лежит по адресам 0-9, что с 16. Границы регионов — тоже константы, но объявленные через #define: SET_LAST и JRN_FIRST. И на стыке — самая сильная строка всей схемы: #if JRN_FIRST <= SET_LAST с #error отказывается компилировать скетч, в котором журнал наехал на настройки. Конфликт раскладки ловится в момент сборки, за секунду, а не через две недели на живой плате.

Для журнала — enum вместо магических чисел: типы записей получают имена — enum RecType { REC_TEMP = 1, REC_BTN = 2 };. В ячейку уходит один байт типа, а в дампе сразу видно, что запись про температуру, а не про кнопку. Кольцо из двенадцати записей занимает двадцать четыре байта журнала: адрес следующей записи всегда J_BASE плюс указатель, умноженный на два, и никакой арифметики в основном коде. Добавление нового типа не двигает адреса — это просто новая строка в списке. Именованные числа с смыслом ложатся на материал урока про переменные и типы один в один.

Проверка #if с #error — то место, где карта перестаёт быть комментарием. Условие вычисляет препроцессор до компиляции, поэтому границы регионов объявлены #define-ом: препроцессор видит только свои символы и не смотрит на const. Это тонкость, на которой спотыкаются: адреса полей — const, границы регионов — #define, и оба живут в шапке рядом, каждый для своего уровня проверки. Компиляция упала — значит, раскладку нарушили вы сами секунду назад, а не прошивка через месяц.

Правило добавления поля: новое место — в конец региона настроек, после ADDR_LAST, никогда в середину. Вставка в середину сдвигает все последующие адреса, и обновлённая прошивка читает старые данные из новых адресов — та самая история с тремя платами. Если полю позарез нужно место в середине, это миграция: прочитать старую раскладку, переложить, поднять ревизию. Механизм версий мы собирали в уроке про put и get — байт version внутри структуры; здесь та же идея, только раскладку ведут константы, а не sizeof.

Пара скетчей на одной плате — отдельная глава. Загрузчик и основной код, прошивка и заводская утилита — оба пишут одну EEPROM, и их карты обязаны совпадать байт в байт. Держать две копии карты в двух файлах — самообман: правка в одном месте забудется во втором. Вынесите шапку-карту в отдельный заголовочный файл memory_map.h и подключите к обоим скетчам: одна правда на два проекта, изменение в одном файле.

Рантайм-проверка при старте не заменяет #if, но страхует: if (JRN_FIRST <= ADDR_LAST) — зажечь светодиод, напечатать нарушение в Serial и не писать в память до разбирательств. Она обязательна там, где препроцессор бессилен: скетч собирается в разных конфигурациях, карта подключается из внешнего файла, адреса считаются при запуске. Стоит проверка два байта RAM под флаг и строчку печати — дешевле, чем один затёртый журнал. Роль у неё другая, чем у #error: не поймать нарушение при сборке, а не допустить записи в чужие ячейки на работающей плате. Я ставлю обе — и в моих проектах они ни разу не понадобились, что и есть их главный результат.

Границы метода: константная карта хороша до пяти-шести полей. Дальше каждому полю нужны тип, дефолт и место в блоке, и руками это вести утомительно — пора передавать раскладку компилятору: struct с полями, sizeof сам считает размер, put и get сами раскладывают байты, вам остаётся magic и ревизия. Порог шесть полей не магия: сверх него у каждого поля появляется ещё дефолт и проверка диапазона, и констант на них уходит больше, чем заняла бы структура. Мой ориентир: больше шести полей или хотя бы один многобайтовый тип — беру struct. Константная карта остаётся для журналов, счётчиков и всего, что растёт по кругу и структурам не ложится.

Сохранение порога по кнопке в этом скетче — update по событию: пишется один байт при нажатии, ресурсу ячейки безразлично, почему именно — посчитано в уроке про update. Ввод порога крутилкой и кнопкой без delay-пауз собирается на millis-планировщике из урока про millis, а если порогов и команд станет много — текстовое меню уже описано в уроке про командный парсер: карта памяти и командный протокол живут рядом отлично.

Раздел сложился в полный набор инструментов: в первые настройки легли байты и magic, дальше — ресурс, побайтовая арифметика, структуры, калибровка, карта килобайта и вот теперь адресное пространство в шапке скетча. Соберите свою карту до первой строки кода, защитите границы на компиляции и печатайте раскладку при старте — и мои две недели с тремя сбитыми платами останутся предостережением, а не вашим опытом.