Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
26 апреля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

Средства и методы разработки

NAUT (12.04.2019 14:15, просмотров: 45703)

Реализация конечного автомата на Си заданного таблицей: хочу уйти от гигантских switch-case-ов, загнать автоматы по таблицам и потом таблицы парсить, НО не догоню как кошерно записать в таблицу условие которое потом будет проверятся в if-ах. можно было бы в таблицу писать указатель на функцию которая проверяет сложное условие, но это некрасиво.

Какие же это, чёрт подери, кубики? Когда это жизнь моя.

Ответить

- Все что пробовал еще более громоздко. Делаю if-ы с goto. Ну и *Дункельсовские prototreads для совсем элементарных вещей (задержки и т.п.). - Скрипач(12.04.2019 14:37 - 15.04.2019 14:41)
  - Надо уходить в таблицы т.к. закащщик и прочие физлица будет править таблицы а не код куячить. - NAUT(12.04.2019 15:14)
    - Некоторые продвинутые пацаны в таких случаях делают простенький язык под задачу и интерпретатор к нему. DSL - domain-specific language. - SciFi(12.04.2019 15:20, ссылка)
      - + 100500 Именно так (когда то) сварганил свою мнемонику интерпретатора: команда/параметр/выход по признаку [Yes|No|Esc-возврат на предыдущий уровень] на другую команду ;функцию; подпрограмму. Старо , как Мир, но очень действенно! Создал "матрицу" serhio(43 знак., 12.04.2019 16:44)
      - +1. И графическую конфигурялку поверх DSL. - Скрипач(12.04.2019 15:23)
        
        знаем мы эти IAR вижуалстейты и модные фреймворки NAUT(56 знак., 12.04.2019 15:33)
        
        В любом случае, то что наваяют "часные лица" я бы хранил в виде сугубо текстовых констант, которые скармливал бы интерпретатору. - Скрипач(12.04.2019 15:39)
        
        видимо я что-то упускаю из вида, а примером не поделитесь хоть издали? не понимаю как Вы предлагаете проверять на непротиворечивость данных допустим, это же адская бизнес-логика какая-то должна быть с кучей правил - NAUT(12.04.2019 20:40)
        
        Я писал, у меня не дошли руки, реальной потребности нет, прикладной код пишут те же люди, что допущены к системному. Скрипач(769 знак., 12.04.2019 20:48 - 20:58)
        
        Препроцессор уже придуман, до нас - VLLV(12.04.2019 15:48)
        
        Ин-тер-при-та-тор. Потому что перезагрузка пользовательского кода не должна подразумевать перезагрузки системного. Неправильно это. - Скрипач(12.04.2019 15:50)
        
        А как же "не любой ценой"? :-) - SciFi(12.04.2019 15:59, ссылка)
        
        И? В чем вы видите "большую цену"? - Скрипач(12.04.2019 16:39)
        
        Большая цена - в попытках приобщить ТС к моде :-) - SciFi(12.04.2019 16:52, ссылка)
        
        Сформулируйте, пожалуйста, как-то иначе, каждое слово отдельно - понимаю, предложение целиком - нет. - Скрипач(12.04.2019 16:59)
        
        С трудом уговорили его на X Macro. Уговорить на интерпретатор - неподъёмная задача. - SciFi(12.04.2019 17:01)
        
        ну, вообще, на базе готового кода, если старшие коллеги советуют, то почему бы и нет... в голове пока не вижу "красоты" интерпретатора, максимум что понимаю, это типа парсера .CFG-файлов каких-нибудь, типа разделенного строками конфигурационного NAUT(932 знак., 12.04.2019 20:16)
        
        Может и поздно, но оставлю вам пару местных ссылок. - Dingo(18.04.2019 19:48, ссылка, ссылка)
        
        Он сам решит, как ему лучше. У меня тоже интерпретатор так и не появился. Точнее, он появился совсем в другом месте и совершенно другой роли. Скрипач(121 знак., 12.04.2019 17:06)
        
        Неправильно - это гоуту и множить сущности, программируя для Тини ;) Одна программа, один компилятор, один идеолог, все работает. - VLLV(12.04.2019 15:57)
        
        Ja-ja, natürlich... Ein Volk, ein Reich, ein Führer! ;О) И эта... Arbeit macht frei! Сцукко, тиньки - латентные авторитаристы. ;О) - mse homjak(13.04.2019 10:53)
        
        Ну не надо ТАК уж сгущать краски... ))) SERHIO(73 знак., 13.04.2019 01:51)
        
        Не увидел ничего интересного в этой статье. А пример автоматов с goto вообще жесть, массив функций имеет существенное преимущество - есть переменная "состояние", ее можно в интерфейсе посмотреть, ей можно присвоить тип енум и сразу понятен смысл. VLLV(282 знак., 13.04.2019 08:03)
        
        Переменная состояния - pt (см.мой пример, выше). Но она не читаема влоб. Это цена за использование прототридов. Скрипач(185 знак., 13.04.2019 11:19 - 11:24)
        
        А кто заставляет оформлять задержку как отдельное логическое состояние? Убогость goto? VLLV(1352 знак., 13.04.2019 14:14)
        
        Стоп! Не вижу в тексте. Как в пределах одного состояния проверить условие дать задержку и проверить другое условие? - Скрипач(13.04.2019 14:29)
        
        Например вот так. VLLV(959 знак., 13.04.2019 16:15)
        
        Т.е. отдельным состоянием. Так не интересно. - Скрипач(13.04.2019 16:48)
        
        Не разобрались, зацепившись за слово. Точно не интересно. - VLLV(13.04.2019 16:54)
        
        evOpOver. Я не прав? - Скрипач(13.04.2019 17:13)
        
        Это код события, соответствующего окончанию задержки. Разумеется, в системе есть фоновый таймер, отсчет задержек и формирование событий, эти механизмы универсальны для всех состояний, в которых используются, поэтому и вынесены. - VLLV(13.04.2019 17:35)
        
        А если таких отсчетов несколько, несколько событий и несколько разных case, верно? - Скрипач(13.04.2019 18:37)
        
        Верно, есть настраиваемые и есть фиксированные. - VLLV(13.04.2019 19:02)
        
        Ну и чего я тогда не понял? В моей предметной области это не удобно. Слишком много чисто технологических задержек. Дункелс рулит. - Скрипач(13.04.2019 21:04)
        
        То, что может быть неудобно, я принимаю, сам недавно обсуждал эту тему в команде, чтобы "система" не пожирала ресурсы. Но разговор ушел немного в сторону, от противостояния goto и переменной состояния типа такого: VLLV(854 знак., 13.04.2019 22:45)
        
        У меня переменная состояния использована под прототриды. Двухуровневая модель состояний - именованные и неименованные. Потому tradeoff между "формальной правильностью" и чистотой/ читабельностью кода. Скрипач(364 знак., 14.04.2019 06:23 - 06:29)
        
        Будем, только я пока не готов. VLLV(764 знак., 14.04.2019 08:29)
        
        Будуте готовы- маякните:) Скрипач(1271 знак., 14.04.2019 20:22 - 20:27)
        
        Неявное использование goto SERHIO(730 знак., 14.04.2019 00:23 - 00:54)
        
        А спишем неприятие goto на личные пристрастия? Когда-то заимствовал кусок кода с goto, x-modem, кажется, в нужный момент там что-то не заработало, с тех пор я его проклял. VLLV(229 знак., 14.04.2019 08:38)
        
        Спишем!(После Ваших пояснений личного НЕприятия этого оператора стало-таки понятны причины Вашего "табу" на него). А обсуждения сеи.... Это ж старо как ASM vs C! SERHIO(272 знак., 14.04.2019 12:39)
        
        Ткните пальцем в лишнюю сущность. ЛИШНЮЮ, которую выбросить, а не возможность добавить еще одну/две (массив функций, например). - Скрипач(12.04.2019 16:45)
        
        Прослоечка в виде интерпретатора не лишняя сущность, а встроенное средство языка - массив указателей - лишняя? нууу, осталось только #define TRUE FALSE - VLLV(12.04.2019 16:57)
        
        Передергиваете. Зачем? Скрипач(253 знак., 12.04.2019 17:03 - 17:08)
        
        :) - Молодой коллега(12.04.2019 19:11, youtube)
        
        goto != jmp, фоновые переходы - ну кто их считает? - VLLV(12.04.2019 18:32)
        
        Вот-вот. Физлица правят, а потом фобос в грунт. - SciFi(12.04.2019 15:42)
        
        "в инструкции пользователя ввести следующую фразу: доступ разрешается только аттестованному персоналу" - NAUT(12.04.2019 15:44)
        
        Первое же "почему текст?" - потому что нужно обязательно предусматривать диагностику ошибок. И выдавать ее в понятной форме. - Скрипач(12.04.2019 15:48)
        
        ну, нет, мне проще из виндосформы тогда уж правильный текст сразу генерить по кликам мышки, чем проверять этот текст на всякоразно - NAUT(12.04.2019 16:18)
        
        я как то делал "транслятор" перед запуском его запускал сишный препроцессор. Препроцессор делал файл который я скармливал рукописному транслятору. транслятор генерил бинарник который клался во флэш. abivan(652 знак., 12.04.2019 17:37 - 17:42)
        
        Я такое делал на ассемблере. Макросами формировал структур данных, полученный двоичный файл загружал в память и работал по нему указателями. В том числе и на запись. Периодически записывая на диск дамп. - Скрипач(12.04.2019 18:33)
        
        Такие вещи удобно делать на AWK. - SciFi(12.04.2019 17:44)
        
        И что будете делать если загрузится "какая-то лажа"? Жизнь, она такая, shit - happends. - Скрипач(12.04.2019 16:48)
  - Пример. Скрипач(954 знак., 12.04.2019 14:40)
    - Дикий трэш. Не в том месте скобочка, а в такой лапше ее легко пропустить - и "счастливой отладки!". - s_h_e(13.04.2019 09:17)
      - В case пропустите break и получите в точности тоже самое. - Скрипач(14.04.2019 20:39)
        
        В некоторых компиляторах от этого помогает ключ -Wimplicit-fallthrough. - s_h_e(15.04.2019 15:04)
        
        В большинстве случаев от этого помогает форматирование текста. - Скрипач(15.04.2019 15:05)
        
        Диска С - mse homjak(15.04.2019 18:08)
        
        У меня его нет. - Скрипач(15.04.2019 18:17)
        
        "Тогда удалите какие-нибудь важные файлы..."(С) - mse homjak(15.04.2019 19:10)
        
        Могу ~/tmp удалить. Устроит? - Скрипач(15.04.2019 19:12)
        
        Когда программизд втыкает в код охреневший, потому что надо было уже вчера, а нихрена не работает, может и не помогать. - s_h_e(15.04.2019 15:09)
    - "увижу кого кто напишет гоуту - убью нахуй!" LordN(36 знак., 12.04.2019 14:50)
      - Мой жизненный принцип: "...но не любой ценой". Скрипач(213 знак., 12.04.2019 14:54 - 15:09)
        
        Припомнился вариант без явного GOTO Vit(748 знак., 15.04.2019 12:02)
        
        Мой вариант - намного лучше. Собственно состояния - прототридсы. goto это переход на мини блоки инициализации каждого из состояний. Скрипач(232 знак., 15.04.2019 12:20)
        
        Вопрос был как попасть из разных мест. А метка - хоть и точка входа на графе, но это и состояние. Хорошо, когда можно упростить, но иногда нужно и документировать. - Vit(15.04.2019 13:23)
        
        Именно что документировать. А не подменять документацию "осмысленными именами переменных". Вы правы в том смысле, что если уж пишем prototreads, то переход между состояниями КА неплохо бы сделать частью этой библиотеки. Скрипач(218 знак., 15.04.2019 14:10 - 14:34)
        
        Анонимность состояний Protothreads это не священная корова. Лечится, если нужно. Вопрос не в выборе между switch, goto или Protothreads. Переход через точку входа должен изменить состояние, иначе это не документируется (разве что вручную), а кроме Vit(204 знак., 15.04.2019 15:32)
        
        Есть состояние, а есть дуги переходов. Скрипач(501 знак., 15.04.2019 16:05 - 16:10)
        
        Я пользуюсь goto и не стесняюсь. Но goto, необходимые для алгоритма, а не для работы с анонимными состояниями, у меня обернуты - добавляется изменение переменной состояния. Я показал как при switch можно обеспечить переход на ТОЧКУ ВХОДА из Vit(1042 знак., 15.04.2019 17:08)
        
        Ничего не поделаешь, я ставил перед собой задачу подружить именно protothreads с проименованными состояниями. Скрипач(385 знак., 15.04.2019 21:03 - 21:06)
        
        Вы наверно, в каком-то другом мире живете, где есть время на документирование ПО, остается только завидовать. - VLLV(15.04.2019 14:35)
        
        Да, в другом (хмуро). И на документирование ПО, и на журнал версий ПО, и на code review. - Скрипач(15.04.2019 14:45 - 14:52)
        
        Если уж коверкать слова, предлагаю не прототриды, а пуськи бятые. Ну и switch всего лишь потому, что в рамках стандартного Си только так и можно. GCC даёт расширение "labels as values", с ним гораздо эффективнее. - SciFi(15.04.2019 14:17 - 14:21)
        
        1) Исправил 2) А вы готовы закладывать в архитектуру уникальную особенность одного единственного (хоть и мега-крутого) компилятора? Скрипач(57 знак., 15.04.2019 14:34)
        
        А я и не закладываю. Просто GCC даёт ускоренный вариант, достаточно подсунуть компилятору в командную строку правильный define, в остальном всё можно оставить как везде. Кстати, таки protothreads. И никакой он не Дункан :-) - SciFi(15.04.2019 14:39, ссылка)
        
        А что со switch делать, если они в исходниках есть, а хотим прыгнуть на компилятор, который не умеет? Кроме того, это будет вторая (другая) переменная состояния, вы точно этого хотите? :) Скрипач(45 знак., 15.04.2019 14:43)
        
        офигеть, это всерьез? А то, что состояние - это не место в коде, а банальная переменная, которая выбирает место в коде - не рассматривается? т.е. массив функций по индексу - открытие? - VLLV(12.04.2019 16:04)
        
        Т.е. продолжаем прыгать, но не специально созданной для этого инструкцией, а каким-то через-оппным способом, нагородив кучу лишнего, загромождающего синтаксиса?! Скрипач(58 знак., 12.04.2019 16:43)
        
        Какой еще оопный способ в записи function[state]() ? А что касается читабельности, то 1) см ссылку 2) я сопровождаю старые проекты, написанные "в лоб", и новые, с использованием возможностей препроцессора, и могу сравнивать. На днях маханул шашкой VLLV(67 знак., 12.04.2019 16:51, ссылка)
        
        По сравнению с меткой? Две сущности вместо одной. Четыре строки текста вместо одной. Вызов функции не может быть именно в том месте где меняем состояние, нужен отдельно планировщик - еще несколько строк текста там, где они не нужны. Скрипач(117 знак., 12.04.2019 16:58)
        
        Планировщик - это одна строка "for (;;)". Но ладно, я сдаюсь, спишем неприятие GOTO на мою тупость ;) - VLLV(12.04.2019 18:14)
        
        На добивание. Скрипач(244 знак., 12.04.2019 18:38)
        
        Точно также! :) VLLV(341 знак., 12.04.2019 18:43)
        
        Параметры где? function[head.state](input1,output1,fault1,option1,option3) ? И на каждое состояние ОТДЕЛЬНАЯ функция? И на каждый тип агрегата отдельный тип массива функций? - Скрипач(12.04.2019 19:25 - 19:29)
        
        тут не просто один тип массива - просто один массив) Но это скорёе извращение, обычно на структуру агрегатора передается указатель. И параметров меньше нужно передавать. - VLLV(12.04.2019 20:19)
        
        Еще одна сущность.Ну и проверки типов, как я понимаю... придумали трусы? :) Скрипач(557 знак., 12.04.2019 20:25 - 20:37)
        
        Усё, здаюсь - VLLV(12.04.2019 20:34)
        
        Это зря. Со злом надо бороться) - s_h_e(13.04.2019 09:24)
        
        С мнимым злом? ;) Борьба в тёмной комнасте с тёмными...силами, порождёнными собственными страхами на фоне параноечки "кабы чего не вышло"? )) serhio(31 знак., 15.04.2019 11:47)
        
        Не соглашусь с тобой, Гудвин(27 знак., 12.04.2019 18:18)
        
        Застал на липистрониксе срач на эту тему. Зажигал небезызвестный koyodza :-) - SciFi(12.04.2019 18:39)
        
        Не прижилось - думать надо - то ли (0), то ли (1) :) - VLLV(12.04.2019 18:29)
        
        дело скорей не в GOTO а в парадигме, если однозначно переносим отлаженный автомат в код, то можно и в GOTO и ассемблер, а если структурное программирование, то прыгать запрещено. - NAUT(12.04.2019 16:35)
        
        Гордий вертится в гробу... - SciFi(12.04.2019 15:18)
        
        Их сжыгали. Язычники, фуле... - mse homjak(12.04.2019 15:21)
      - Его не Мисрой звали? - SciFi(12.04.2019 15:04)
      - ...и поэтому юзайте jmp-ы - NAUT(12.04.2019 14:53)
- При определенных условиях, switch-case вырождается после компиляции как раз в таблицу функций и мой скромный опыт говорит о том, что switch case гораздо более читабелен, надежен и лучше поддерживается, чем таблица функций. Выносите содержимое Хитрый Китаец(61 знак., 15.04.2019 10:41)
  - Да, уже лет десять назад IAR AVR формировал таблицу функций. А насчет читабельности switch - сильно зависит от размера case, если весь попадает на экран, то нет проблем. - VLLV(15.04.2019 13:46)
    - Ну, один case - одна static функция и один break. Если совсем места жалко - 1 строка - Хитрый Китаец(17.04.2019 08:51)
- Раз уж пошла такая "пьянка" об автоматах, то кто нибудь применял UML для описания графа конечного автомата с дальнейшей генерацией кода (или хотя бы "рыбы" кода). Если да, то можно сюда пример бросить? - Make_Pic(14.04.2019 15:01)
- Раз уж речь зашла о автоматах, может ли кто-нибудь пояснить смысл графических обозначений состояний в приложенном документе? Почему они разные? AlexG(46 знак., 14.04.2019 12:11)
  - Не оно? - s_h_e(14.04.2019 12:57, ссылка)
    - Спасибо! В части прямоугольников смысл чуть другой, но это именно оно. - AlexG(14.04.2019 15:10)
    - да уж :( Make_Pic(14.04.2019 14:54)
      - Старина Джордж Буль творил 1815-1864 - это не повод отказаться от конъюнкции и дизъюнкции. - Evgeny_CD(15.04.2019 20:05, ссылка)
- Это смутно мне напоминает то, как 35-40 лет назад делали формирователи импульсов на РЕ3 и РТ5. :-) - Лагунов(13.04.2019 17:27)
- В простых случаях примерно так AU08(597 знак., 12.04.2019 20:52)
- Тоже парился с многозадачками, от switch-case-ов не уйти, но можно их несколько штук последовательно сделать по флагам условий, код даже читабельнее становится. - Visitor(12.04.2019 18:44)
  - Да вот можно уйти, видите, ниже коллега предложил реализацию табличного метода - NAUT(12.04.2019 20:26)
- "можно было бы в таблицу писать указатель на функцию которая проверяет сложное условие, но это некрасиво." Почему некрасиво ?? если еще сделать чтоб адрес в таблице являлся номером команды, вообще ничего парсить не надо, забрал адрес вызвал Aleksey_75(59 знак., 12.04.2019 15:32)
  - "адрес в таблице являлся номером команды" - ээ я не понял - NAUT(12.04.2019 15:36)
    - каждому событию присваивается свой id, этот id является адресом в массиве указателей на функции, потом просто (* com_func[event_id])(); автоматом упали в функцию обработки - Aleksey_75(12.04.2019 15:51)
      - и да и нет, функции обработки если и должны быть, то то что у них внутри должно подсовываться из таблицы, а имена функций автоматически подсовываться в таблицу... - NAUT(12.04.2019 16:14)
- Ты на псевдокоде напиши чего хош, а то так непонятно. - =AlexD=(12.04.2019 14:19)
  - Сейчас код для автомата такой: NAUT(595 знак., 12.04.2019 14:27)
    - Поробуй такой Codavr(336 знак., 14.04.2019 02:41 - 03:01)
    - Когда-то была NesOS - позиционировалась как FSMOS. Vit(91 знак., 13.04.2019 11:07)
    - Возможно в Cpp11/14 можно задействовать безымянные лямбда, в сях такое не получится. - =AlexD=(12.04.2019 14:42)
    - ИМХО, с макросами надо поколдовать. - SciFi(12.04.2019 14:40)
    - ну дык нужен массив функций проверки условий, индекс этого массива и впихивается. VLLV(81 знак., 12.04.2019 14:36)
      - если оборачивать в функции, то есть такое, но это звиздец: NAUT(726 знак., 12.04.2019 14:49)
        
        В GCC есть расширения языка по имени computed goto. Встречал как-то парсер на это фигне построенный. Ничо так, гламурненько - LightElf(12.04.2019 15:01, ссылка)
      - или альтернатива - все условия генерирут события, тогда все вырождается в двумерный массив функций [state][event] - VLLV(12.04.2019 14:42)
        
        вот да, осталось придумать ГДЕ в коде проверять эти условия если они как-то прописаны в таблице - NAUT(12.04.2019 14:45)
        
        В случае с событиями я делаю это перед вызовом функции по индексу состояния, тогда чужие для этого состояния события пролетают и обнуляются после. - VLLV(12.04.2019 15:06)
        
        это в смысле так как-то? NAUT(195 знак., 12.04.2019 15:19)
        
        У меня полно разных вариантов, даже не знаю, что предлагать :) Вот например макросы, размещающие результат проверки условий в биты слова. VLLV(1885 знак., 12.04.2019 15:44)
        
        а где такое подсмотрели, как называется механизм? биты выставленные по условиям потом разворачиваются в результат? - NAUT(12.04.2019 16:08)
        
        В этом проекте биты не разворачиваются, а используются внутри функций обработки состояния просто с помощью маски. Альтернативный вариант такой: VLLV(602 знак., 12.04.2019 16:44)
        
        гениально! хороший код! спасибо большое! - NAUT(12.04.2019 17:35)
        
        вот-вот этого хотелось, спасибо, ща изобрету - NAUT(12.04.2019 16:00)
        
        Так-так, начинаем понимать, что такое X Macro? - SciFi(12.04.2019 16:04, ссылка, ссылка)
        
        а это оно и есть же, да? спасибо! - NAUT(12.04.2019 16:13, ссылка)
        
        Именно, только мозги должны слегка привыкнуть к таким абстракциям. - VLLV(12.04.2019 16:46)