caxapa.ru :: Логика переходов в КА понятна ровно до того момента, пока в эту логику не пытаешься впихнуть ожидание кучи разных событий неблокируемым способом, после этого логика превращается в "тыкву", которую хрен поймёшь. ОСь позволяет неблокируемость

=AlexD= (21.10.2019 11:48, просмотров: 975) ответил VLLV на Хм, стало быть КА не имеют права на жизнь без RTOS. Зачем тогда они существуют? В моем понимании, именно из-за понятной логики переходов, в отличие от кода с множеством флагов. Может, лучше высыпаться, а не постить спорные вещи в злобе? ;)

Логика переходов в КА понятна ровно до того момента, пока в эту логику не пытаешься впихнуть ожидание кучи разных событий неблокируемым способом, после этого логика превращается в "тыкву", которую хрен поймёшь. ОСь позволяет неблокируемость достичь переключением контекста. Собственно это самое переключение может оказаться быстрее кучи вложенных свичей, не говоря уж за наглядность.

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

Ответить

- От "впихивания ожидания кучи событий" логика КА не разваливается. Просто автомат разрастается до очень большого числа состояний. На самом деле, "куча событий", как мне думается, подразумевает систему параллельных автоматов, где каждый работает fk0^{легенда}(152 знак., 21.10.2019 22:42)
  - Не понимаю я вот этого противопоставления потоки vs КА. КА внутри потоков работающие строго по блокируемым системным вызовам - наш путь, не? - =AlexD=(22.10.2019 06:10)
    - Да, примерно об этом я и думаю. Что систему КА можно запускать параллельно, на пуле потоков, по выбирая готовые к запуску по мере наличия интересующих конкретные КА событий (это важный момент, т.к. планировщик избавляет от важной проблемы Big fk0^{легенда}(3286 знак., 22.10.2019 11:16)
    - Ага. и называется кооперативная ОС. В минимально возможном варианте, как я понял. - symbions(22.10.2019 07:46)
- Совершенно неочевидное утверждение. К вершине графа состояний сколько угодно ребер подходить может, откуда там сразу тыква? - s_h_e(21.10.2019 12:16)
  - Логика конечно может быть сколь угодно сложной, но охватить силою мысли довольно тяжело, и написать юнит тесты для 100500 состояний можно, но забибикаешься. - =AlexD=(22.10.2019 06:15)
    - В общем, fk0 отписался уже. Любой активный bool флажок или бинарный семафор увеличивает кол-во возможных состояний подсистемы вдвое, и делает это неявно. Для неявных состояний юнит тесты никто не пишет конечно же, что дает видимость легкой жизни. s_h_e(152 знак., 22.10.2019 08:23)
- Вы говорите об автомате уровнем выше. Вместо переключения контекста с помощью ОС он может принудительно менять состояние управляемого автомата. VLLV(568 знак., 21.10.2019 12:11)
- PT_WAIT_UNTIL(pt, condition1() && condition2() && condition3()); - SciFi(21.10.2019 11:56)
  - Для контроллера ~~курятника~~ умного дома - отличный вариант. - =AlexD=(22.10.2019 06:12)
    - Это старопердунизм :-) - SciFi(22.10.2019 09:52)
  - +1 - evgeniy1294(21.10.2019 11:58)

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