State machine, Приведите примеры реализации Опции

[sat]

Где можно почитать по теме/посмотреть примеры на С, асме

[Diz]

Наверное, jumptable может быть полезен для сохранения текущего состояния в eeprom и восстановления после сбоя. Пишем лишь индекс, а не потенциально
опасный указатель.

[TMX]

Наверное, jumptable может быть полезен для сохранения текущего состояния в eeprom и восстановления после сбоя. Пишем лишь индекс, а не потенциально
опасный указатель.

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

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

[Dog Pawlowa]

сомнительно. все равно потом по указателю функция вызывается,

Индекс проще проверит на валидность. Всего лишь на максимум.
Индекс удобно использовать при генерации события по смене состояния.
Индекс удобно использовать для возврата в старое состояние.

Кароч, я использую индексы и массивы функций. Иногда двумерный массив functions[state][event] в каком-нить менюшном сервисе.

[TMX]

Индекс проще проверит на валидность. Всего лишь на максимум.
Индекс удобно использовать при генерации события по смене состояния.
Индекс удобно использовать для возврата в старое состояние.

Кароч, я использую индексы и массивы функций. Иногда двумерный массив functions[state][event] в каком-нить менюшном сервисе.

с первым согласен. Только какой смысл в такой проверке? Проверка в рантайме - от какого бага она спасает? Если на этапе отладки - использование только поименованных констант не позволит вызвать неописанное состояние. С другой стороны, где гарантия, что индексы идут подряд.
со вторым и третьим - не могу ничего сказать. Не могли бы вы написать пример реализации поподробнее? Для одномерного и двумерного массива? Особенно, для functions[state][event], что является индексом массива?

я считаю, что удобство понятие не только субъективное.
Удобно - когда логическая ошибка проявляется как можно раньше. Например, на этапе компиляции (стоимость обнаружения)
Удобно - когда при введении нового состояния его надо прописывать как можно в меньшем количестве списков (связность). И компилятор следит за правильностью (стоимость).
Неудобно - когда в нескольких списках описание состояния должно быть с одинаковым номером (связность).

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

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

[Dog Pawlowa]

с первым согласен. Только какой смысл в такой проверке?

В некоторых случаях смысл есть. Например, после ресета можно вернуться в нужную точку. Делал прибор, который, зараза, был чувствителен к ESD. Вот и пришлось решать проблему программно.

Не могли бы вы написать пример реализации поподробнее? Для одномерного и двумерного массива?

Да все тупо...

CODE

// Определения состояний и функций

#define stRestart 0
#define f0 fRestart

#define stSelfTest 1
#define f1 fSelfTest

#define stWaiting 2
#define f2 fWaiting

// массив функций
const VECTORS function[stQty] =
{ f0, f1, f2, f3,..}

//основной цикл процесса

event=GetTimerEvent();
if (!event) event=GetOtherEvent(); // тут собыий много может быть
...
if (!event) if (state-old_state) event=evNew;
function[state]();
event=0;

// пример функции

void fRestart(void)
{ switch (event)
{ case evNew:
....
GetDateAndTime();
SetLcdPos(1,2); printf("%s",rtc_date);
Old();
break;

case ev500ms:
switch (restart_counter)
{ ...
сase 4: if (!LowPowerStart) state= stSelfTest;
else {SetLcdPos(1,2); printf(msgStartLowVoltage[lang]); }
} break;
if (restart_counter<4) restart_counter++;
break;

case evUpDn:
state=stStartUserMenu;
break;
}
}

Причина редактирования: Уменьшение видимого размера цитаты исходника.