从自动售货机到嵌入式系统：状态机的跨领域设计哲学-开发者社区

从自动售货机到嵌入式系统：状态机的跨领域设计哲学

1. 状态机：从生活场景到技术实现

第一次接触自动售货机时，我被它精准的交互逻辑所吸引——投币、选择商品、出货、找零，每个步骤都环环相扣。这种看似简单的流程背后，隐藏着状态机（State Machine）的精妙设计。在嵌入式系统中，状态机同样扮演着关键角色，尤其是在STM32F103这类资源受限的微控制器上。

状态机本质上是一种数学模型，由三个核心要素构成：

状态集合：系统可能处于的所有状态
事件集合：触发状态转移的输入信号
动作集合：状态转移时执行的操作

以自动售货机为例，其状态转移表如下：

当前状态	触发事件	执行动作	下一状态
待机	投币	显示金额	投币中
投币中	选择商品	计算余额	商品选择
商品选择	确认购买	出货并计算找零	交易完成
交易完成	超时或取货	重置界面	待机

在嵌入式开发中，状态机的实现通常有两种方式：

// 方式一：switch-case实现 switch(current_state) { case STATE_IDLE: if(event == EVENT_COIN) { display_amount(); current_state = STATE_COIN_IN; } break; // 其他状态处理... } // 方式二：状态表驱动 typedef struct { State next_state; void (*action)(void); } StateTransition; StateTransition state_table[MAX_STATES][MAX_EVENTS] = { [STATE_IDLE][EVENT_COIN] = {STATE_COIN_IN, display_amount}, // 其他状态转移规则... };

2. 时间片轮询：裸机系统的多任务引擎

在没有操作系统的STM32F103上实现多任务处理，时间片轮询机制是经典解决方案。这种架构通过滴答定时器（SysTick）产生固定频率的中断，作为系统运行的"心跳"。

关键组件实现要点：

SysTick配置（以1ms中断为例）：

void Systick_Init(void) { // 系统时钟72MHz，1ms中断 SysTick_Config(SystemCoreClock / 1000); } void SysTick_Handler(void) { static uint16_t tick = 0; if(++tick >= 10) { // 每10ms执行一次任务标记 task_scheduler(); tick = 0; } }

任务控制块设计：

typedef struct { uint8_t run_flag; // 任务就绪标志 uint16_t timer; // 倒计时计数器 uint16_t reload; // 重装载值 void (*task_func)(void); // 任务函数指针 } TaskControlBlock; TaskControlBlock tasks[] = { {0, 100, 100, led_blink}, // 每100ms执行LED闪烁 {0, 500, 500, key_scan} // 每500ms执行按键扫描 };

任务调度核心逻辑：

void task_scheduler(void) { for(int i=0; i<TASK_COUNT; i++) { if(tasks[i].timer && --tasks[i].timer == 0) { tasks[i].run_flag = 1; tasks[i].timer = tasks[i].reload; } } } void task_executor(void) { for(int i=0; i<TASK_COUNT; i++) { if(tasks[i].run_flag) { tasks[i].run_flag = 0; tasks[i].task_func(); } } }

这种架构的优势在于：

资源占用极低：不需要复杂的内存管理
确定性响应：每个任务的最坏执行时间可预测
易于调试：状态流转可视性强

3. 状态机与时间片的融合设计

将状态机与时间片机制结合，可以构建出更强大的裸机框架。以下是典型的设计模式：

分层架构设计：

硬件驱动层：处理外设初始化和底层中断
时间片调度层：管理任务周期执行
状态机应用层：实现业务逻辑

状态机优化技巧：

状态超时机制：防止系统死锁

typedef struct { State state; uint32_t timeout; // 其他状态上下文 } StateContext; void state_machine(StateContext *ctx, Event event) { if(event == EVENT_TIMEOUT) { ctx->state = STATE_ERROR; return; } // 正常状态处理... }

状态持久化：意外复位后恢复现场

typedef struct { State saved_state; uint32_t checksum; } StateBackup; void save_state(StateContext *ctx) { StateBackup backup = { .saved_state = ctx->state, .checksum = calculate_checksum(ctx) }; FLASH_Write((uint32_t)&backup, sizeof(backup)); }

事件队列：处理异步事件

#define EVENT_QUEUE_SIZE 8 typedef struct { Event events[EVENT_QUEUE_SIZE]; uint8_t head; uint8_t tail; } EventQueue; void enqueue_event(EventQueue *q, Event evt) { q->events[q->head++] = evt; q->head %= EVENT_QUEUE_SIZE; } Event dequeue_event(EventQueue *q) { Event evt = q->events[q->tail++]; q->tail %= EVENT_QUEUE_SIZE; return evt; }

4. 实战：智能家居控制器的状态机实现

以一个智能灯光控制器为例，展示完整实现：

系统状态定义：

typedef enum { STATE_OFF, STATE_ON, STATE_DIM, STATE_FAULT } LightState; typedef enum { EVT_POWER, EVT_DIM_UP, EVT_DIM_DOWN, EVT_TIMEOUT, EVT_FAULT } LightEvent;

状态转移表实现：

void light_state_machine(LightState *state, LightEvent evt) { static uint8_t brightness = 100; switch(*state) { case STATE_OFF: if(evt == EVT_POWER) { pwm_set_duty(brightness); *state = STATE_ON; } break; case STATE_ON: if(evt == EVT_POWER) { pwm_set_duty(0); *state = STATE_OFF; } else if(evt == EVT_DIM_UP && brightness < 100) { brightness += 10; pwm_set_duty(brightness); } // 其他转移... break; case STATE_FAULT: // 故障处理逻辑 break; } }

时间片任务集成：

void light_task(void) { static LightState state = STATE_OFF; static EventQueue evt_queue; // 从硬件获取事件 if(button_pressed()) { enqueue_event(&evt_queue, EVT_POWER); } // 处理事件队列 if(!queue_empty(&evt_queue)) { LightEvent evt = dequeue_event(&evt_queue); light_state_machine(&state, evt); } // 状态保持逻辑 if(state == STATE_ON) { // 自动调光等持续行为 } }

性能优化建议：