信号量与队列基础概念

大家好，我是老张。做嵌入式实时系统这些年，我见过太多因为任务间通信没处理好而翻车的项目。今天咱们就来聊聊信号量和队列——这两个RTOS里最基础也最重要的概念。

说实话，刚入行那会儿，我也觉得这些东西理论性太强。直到有一次，一个电机控制项目在产线上频繁死机，排查了三天才发现是共享资源访问冲突。从那以后，我对信号量和队列的理解就深刻多了。

什么是信号量

信号量，说白了就是一个资源计数器。它用来管理多个任务对共享资源的访问。你可以把它想象成一个停车场门口的显示屏——显示还有多少个空车位。

二值信号量

二值信号量的值只有0和1。它就像一个互斥锁，但更轻量。我习惯用它来做任务同步，比如通知某个任务数据已经准备好了。

// 伪代码示例：二值信号量用于任务同步
Task_A() {
    while(1) {
        // 采集传感器数据
        sensor_data = read_sensor();
        // 释放信号量，通知Task_B处理数据
        give_semaphore(sem_data_ready);
    }
}

Task_B() {
    while(1) {
        // 等待数据就绪
        take_semaphore(sem_data_ready);
        // 处理数据
        process_data(sensor_data);
    }
}

你想想看，如果没有信号量，Task_B就得轮询检查数据是否就绪，白白浪费CPU时间。用信号量，Task_B在等待时可以被挂起，让出CPU给其他任务。

计数信号量

计数信号量的值可以大于1。它适合管理多个相同资源的场景。比如一个系统有3个DMA通道，多个任务需要申请使用。

信号量类型	取值范围	典型应用场景
二值信号量	0 或 1	任务同步、中断与任务通信
计数信号量	0 ~ N	资源池管理、生产者-消费者
互斥信号量	0 或 1（带优先级继承）	保护共享资源（有优先级反转风险时）

互斥信号量

互斥信号量是二值信号量的升级版。它解决了优先级反转问题。什么是优先级反转？嗯，这里要注意：当一个低优先级任务持有锁，高优先级任务在等锁，而中优先级任务抢占了低优先级任务的CPU时间，导致高优先级任务迟迟拿不到锁。

什么是队列

队列是一种先进先出(FIFO)的数据结构。在RTOS里，队列主要用于任务间传递消息。你可以把它想象成一个管道——数据从一端进去，从另一端出来，顺序不变。

消息队列

消息队列是RTOS中最常用的通信方式。每个消息可以是一个简单的数值，也可以是一个结构体指针。我个人习惯用消息队列传递事件类型+数据的组合。

// 消息队列使用示例
typedef struct {
    uint8_t event_id;
    uint32_t data;
} Message_t;

// 创建队列，容量10条消息
QueueHandle_t msg_queue = xQueueCreate(10, sizeof(Message_t));

// 发送任务
void Send_Task(void *param) {
    Message_t msg;
    msg.event_id = EVT_BUTTON_PRESS;
    msg.data = 1;
    xQueueSend(msg_queue, &msg, portMAX_DELAY);
}

// 接收任务
void Recv_Task(void *param) {
    Message_t msg;
    while(1) {
        if(xQueueReceive(msg_queue, &msg, portMAX_DELAY) == pdTRUE) {
            // 根据事件ID处理
            handle_event(msg.event_id, msg.data);
        }
    }
}

环形缓冲区

环形缓冲区是队列的一种轻量级实现。它用固定大小的数组和两个指针（读指针、写指针）来实现FIFO。为什么叫环形？因为当指针到达数组末尾时，会回绕到开头。

为什么需要它们

这个问题问得好。没有信号量和队列，RTOS就失去了灵魂。我总结了几点核心原因：

1. 解耦任务：生产者任务和消费者任务不需要知道对方的存在，通过队列或信号量间接通信
2. 避免竞态：多个任务访问同一资源时，信号量确保一次只有一个任务能操作
3. 提高效率：任务在等待资源时可以被挂起，而不是忙等待浪费CPU
4. 简化设计：用信号量做同步，用队列传数据，代码结构清晰，容易维护

举个例子，一个数据采集系统：

• ADC中断把数据写入环形缓冲区
• 数据处理任务从队列中取出数据
• 信号量控制数据处理的节奏
• 互斥信号量保护显示缓冲区不被同时访问

你看，整个系统的任务间通信就这么清晰了。

这张图把信号量和队列的体系结构梳理清楚了。左边是信号量的三种类型，右边是队列的两种实现，底部是它们的应用场景。做项目时，你可以根据实际需求选择合适的组合。

好了，信号量和队列的基础概念就讲到这里。记住，它们是RTOS的左膀右臂。理解透了，后面讲实战案例时你会觉得特别顺手。

---

公众号:蓝海资料掘金营，微信deep3321