caxapa.ru :: Шагать по этажам абстракции нужно с осторожностью, иначе можно далеко зайти.

=AlexD= (18.01.2012 21:38, просмотров: 170) ответил ReAl на Давайте так. Вот есть «аппаратный» автомат — на триггерах, логике. Тут как бы безусловно «ему на вход поступают сигналы», ничего он «насильно» не читает. Но теперь для экономии аппаратуры прикрутим к этому автомату мультиплексор, выход которого, к

Шагать по этажам абстракции нужно с осторожностью, иначе можно далеко зайти. Например попробуйте возразить на то, что вообще любая программа для микропроцессора - это конечный автомат (как и сам микропроцессор) вне зависимости от того, как она написана. ;-) Для упрощения отладки и сопровождения программ зачастую вводятся разные абстракции - структуры, классы, функции, всё это естественно не потому, что без них нельзя. Эти абстракции для упрощения логической сущности программы. Так и в программных реализациях конечных автоматов желательно выделять две абстракции - состояние автомата и входной сигнал. Именно из соображений читаемости и сопровождаемости. И если при этом для исключения громоздкости он делится на отдельные модули или даже на несколько конечных автоматов - ничего страшного. Неявные зависимости гораздо хуже. Ессно сказанное не закон, а моё мнение, и каждый волен делать как он хочет.

Три кита на которых зиждется реклама: враньё, преувеличение, замалчивание. Новости СМИ - это политическая реклама.

Ответить

- Да-да-да! Состояние автомата и входной сигнал. Это две сущности. Но где-то там ниже о взаимодействии между ними было сказано, что «автомат читает входные сигналы» — это якобы неправильно. Правильно «входные сигналы ReAl(1782 знак., 18.01.2012 22:37 - 22:43)
  - 1 некошерно, скорее некрасивый способ кодирования. 2 против 3? использую и то, и другое. Метод 2 красиво-глобальный, метод 3 - безупречен, если абсолютно локальный в автомате. Но Vladimir Ljaschko(147 знак., 18.01.2012 22:51)
    - Почему некошерно? У автомата (модуля со скрытыми внутренними данными, включая переменные состояния) есть несколько функций, вызовом которых внешний мир посылает ему сигналы. Одну из функций вызывает непосредственно внешний мир (аппаратное ReAl(715 знак., 18.01.2012 23:06)
      - Это два разных подхода к кодированию. 1 посылать сигналы модулю 2 вызывать модуль для сбора сигналов. ИМХО 2 метод хуже переносим. Спецификация модуля должна определять что необходимо для его работы, и если требует создания глобальных переменных и =AlexD=(327 знак., 19.01.2012 07:10)
        
        Если посмотреть как это делается в FBD то увидим что там "связь вход-выход" выделяют в отдельную сущность. Это очень правильно, один и тот же автомат может быть использован несколько раз, в разных местах программы. На Си для этого подходит Скрипач(21 знак., 20.01.2012 10:22)
        
        У меня сложилась практика передачи связи в виде ссылки на класс, специфицированном параметром шаблона :-), из которого дёргаются методы унифицированные на сколько это разумно (read, write & etc.). В такой конфигурации использование готовых модулей =AlexD=(34 знак., 20.01.2012 11:06)
        
        А можно примерчик? Я тоже сейчас нечто подобное изобретаю. Этакий полиморфизм силами компилятора :) - Скрипач(20.01.2012 18:11 - 18:46)
        
        У меня сейчас мозг занят схемотехникой и трассировкой пп и я физически не могу переключиться на программирование. Может через пару недель я буду в состоянии что-то выдать. - =AlexD=(23.01.2012 14:36)
        
        Потерпим. Не к спеху. - Скрипач(23.01.2012 17:02)
        
        подходит передача параметров .... ага, в виде указателя на структуру. Но собственно к автоматам это не относится. Так, общий стиль программирования. - Vladimir Ljaschko(20.01.2012 10:55)
        
        А не накладно? В смысле много-букв-писать-через-указатель-обращаться? - Скрипач(24.01.2012 20:17)
        
        А голова зачем дана? Когда накладно, то инлайнить. Пример управления двумя приводами (position control=pc) да и прочими автоматами для трех проектов в одном workspace. Vladimir Ljaschko(1276 знак., 24.01.2012 20:31)
        
        Угу. Именно то, о чем я говорил. НАКЛАДНО! (Я про много служебных символов в тексте, инлайном такое не лечится) Скрипач(2610 знак., 24.01.2012 21:17 - 22:04)
        
        Инлайном лечится все, я проверял. Например, аналогичное под инлайном на высшей оптимизации под ИАРом ускоряется существенно. Vladimir Ljaschko(3606 знак., 24.01.2012 23:25 - 25.01.2012 08:22)
      - Не, я до такого не дошел, максимум это прямая смена состояния одного автомата, от чего у меня изжога :) Vladimir Ljaschko(372 знак., 18.01.2012 23:26)
        
        Все isr-методы обязательно inline, никаких расходов по сравнению с прямым кодом в обработчике прерывания. - =ReAl=(19.01.2012 00:27, )

Микроконтроллеры AVR