嵌入式编程状态机

我正在研究在具有gcc的32位MCU上实现非平凡的有限状态机（指定为UML分层状态图）。

是否有任何经验法则，哪些方法更好，哪些效果不好？我的直觉说，基于开关（甚至是计算的goto）的实现应该稍微更高性能，而通常认为基于功能指针的过渡表更易于维护。

另外：有人对嵌入式应用程序的Boost MSM进行了评估吗？我知道Boost MSM通常被认为是非常高效的，但是对于嵌入式应用程序，效率的衡量标准可能不同于PC编程领域。

有人知道MSM的编译状态机引擎是什么样吗？是更像开关跳转表还是更像函数指针转换表？它使用动态内存分配还是可以静态使用？

如果32位MCU有很大的不同，我会感到惊讶。避免条件分支可以为您节省几个周期，但是您真的会根据几个周期成功或失败吗？RAM和ROM上的等待状态数可能至少同样重要。CPU指令集也是如此。

过早的优化是万恶之源。从易于实现和维护的内容开始，并且仅在必要时基于分析进行优化。

对于嵌入式上的一种UML实现，请查看QP框架-> http://www.state-machine.com。C和C ++变体均可用。随附的GUI（QM）甚至允许使用UML表示法进行编码。该框架足够小，可以在Arduino上运行；32位用户很容易。