caxapa.ru :: Все что пробовал еще более громоздко. Делаю if-ы с goto. Ну и *Дункельсовские prototreads для совсем элементарных вещей (задержки и т.п.).

Скрипач, пророк (12.04.2019 14:37 - 15.04.2019 14:41, просмотров: 296) ответил NAUT на Реализация конечного автомата на Си заданного таблицей: хочу уйти от гигантских switch-case-ов, загнать автоматы по таблицам и потом таблицы парсить, НО не догоню как кошерно записать в таблицу условие которое потом будет проверятся в if-ах. можно

Все что пробовал еще более громоздко. Делаю if-ы с goto. Ну и *Дункельсовские prototreads для совсем элементарных вещей (задержки и т.п.).

... но не любой ценой.

Ответить

- Надо уходить в таблицы т.к. закащщик и прочие физлица будет править таблицы а не код куячить. - 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)

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