Памятка начинающему эмбеддеру-прошивкописателю.

[alex34]

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

[BSVi]

Объявляй volatile все, что используется и в прерывании и где-то еще.

[Qic]

От себя могу добавить.
Словил баг когда на 8битном авр гонял переменную 32бита.
Либо 8бит, либо 1 слово - переменные должны наиболее точно соответствовать архитектуре.

[Pavlya]

Одни из граблей, на которые я наступал - выравнивание структур на различных архитектурах. Размер структуры типа:

Code: Select all

struct somestruct{
    uint8_t   var1;
    uint16_t var2; 
};

может оказаться совершенно разным

[BSVi]

Да-да, в таких случаях нужно использовать #pragma pack

[Qic]

<xxx> и запомние дети
<xxx> если при поиске бага вы с уверенностью и непоколебимостью
<xxx> пропускаете кусок кода мимо внимания
<xxx> т.к. "ну я же не могу быть настолько мудаком, чтоб доцстить ошибку там!"
<xxx> знайте, вы - можете
<xxx> =(

-Сегодня очередную железку разрабатывал, в одном месте кусок кода отключил для отладки, забыл включить потом xD (минус пол часа), в другом месте при копировании куска кода точку с запятой потерял...

[alex34]

Больше похоже на законы Мёрфи

[Qic]

Правда что =) А по сути они и есть.

[tetraa]

Да-да, в таких случаях нужно использовать #pragma pack

А что случиться то может?

[Pavlya]

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

Code: Select all

struct header_t{
uint8_t   type;
uint16_t seq;
};

У нас есть некий буфер, в который мы принимаем данные:

Code: Select all

uint8_t rxbuf[SIZE];

После того, как данные были приняты, выделяем заголовок:

Code: Select all

header_t  * hdr;
hdr = (header_t *)rxbuf;

И вот теперь начинается самое интересное. При выравнивании по границе 1 байт sizeof(hdr.type) вернет 1. То есть значение type будет лежать в rxbuf[0];
А при выравнивании по границе 2 байт sizeof(hdr.type) вернет 2. То есть значение type будет лежать в rxbuf[0] и rxbuf[1]; Соответственно заголовок займет не три байта а четыре и структура пакета будет нарушена.
#pragma pack в данном случае позволяет задать границу выравнивания. Выглядит примерно так:

Code: Select all

#pragma pack(push,1)

struct header_t{
uint8_t   type;
uint16_t seq;
};

#pragma pack(pop)

[Drunya]

А как быть с GCC? Он вроде не знает прагму. Я не выделываюсь, я реально не в курсе:)

[BSVi]

Знает.