一、前言

在FreeRTOS多任务开发中，新手最容易混淆的就是队列（Queue）、信号量（Semaphore）、互斥量（Mutex）。很多人只记住API函数，却分不清什么时候用队列，什么时候用二值信号量，保护共享资源为什么不能随便用二值信号量而要用互斥量。

一句话总纲：

队列：传递数据，任务之间搬运消息；

信号量：事件通知 / 资源计数，只传递“事件发生”或“资源可用数量”，不带数据；

互斥量：保护共享资源，专门做互斥访问，带所有权、优先级继承机制，用来缓解优先级反转。

从内核实现角度：信号量和互斥量本质上是队列的特殊简化版本。二进制信号量可以理解为只能存放1个字节、但不关心内容的队列，只关心队列是空还是满。

二、队列 Queue——消息载体，用来传数据

队列是FreeRTOS最基础的通信对象，核心作用：任务间传递完整消息数据。

核心特性

队列内部是一块缓冲区，可以存放多条消息，遵循FIFO先进先出；也支持LIFO紧急消息。

每条消息可以是任意类型（基础变量、结构体指针），创建时指定单条消息大小与最大消息个数。

读空队列时，接收任务阻塞；队列满时，发送任务阻塞。

支持任务↔任务、中断↔任务通信（中断发送使用xQueueSendFromISR）。

通俗类比：快递信箱

信箱有固定容量，可以存放多个快递包裹，包裹里面有真实数据。发送任务把包裹丢进信箱；接收任务从信箱取出包裹。信箱满了寄件人等待；信箱空了收件人等待。

典型使用场景

传感器采集任务，把温度、压力数据打包发给数据处理任务；

串口接收中断，收到一帧数据，把消息结构体放入队列，唤醒解析任务；

多任务下发指令，缓存多条待处理消息。

关键点：有数据要传递，优先选队列。

三、信号量 Semaphore——事件通知与资源计数，不带数据

信号量本质就是一个计数器，不携带消息内容，只表示“事件来了”或“还剩多少可用资源”。分为二进制信号量和计数信号量两类。

3.1 二进制信号量 Binary Semaphore

计数器只有0和1两种状态。0表示事件未发生，1表示事件已发生。创建默认初始值为0（空）。

类比：门铃。门铃只有响/不响两种状态，门铃响只是通知你有事来了，不会附带任何信息。

场景：中断通知任务。例如ADC转换完成、DMA传输结束，中断里give二值信号量，唤醒后台任务处理缓冲区。

注意：多次give，如果信号量已经是1，不会叠加计数，多次事件会丢失。

3.2 计数信号量 Counting Semaphore

计数器可以是大于0的任意数值，用来表示资源池剩余数量。初始值等于总资源数量；take一次，计数减1；give一次，计数加1；计数为0，任务阻塞。

类比：停车场。一共有10个车位，车子进来车位-1，车子离开车位+1，车位满了就不让进。

场景：多个外设缓冲区池管理；记录脉冲事件次数，多次触发不会丢失事件计数；限流、多实例资源分配。

信号量通用特点

只传事件，不传数据；如果需要附带数据，需要配合全局缓冲区；

没有所有权概念：A任务take拿到信号量，B任务也可以直接give释放；

没有优先级继承，如果拿来保护共享资源，会出现优先级反转问题。

适用场景：只需要通知“事件触发”，不需要传递消息内容。

四、互斥量 Mutex——共享资源保护，带优先级继承

互斥量（互斥锁），很多教材叫互斥信号量。它是专门用于互斥访问共享资源的特殊对象，不要和二进制信号量混用。

核心特性

创建时默认资源可用，计数值初始为1；

所有权机制：只有take拿到互斥量的任务，才允许give释放；别的任务不能替它释放；

优先级继承（核心）：缓解优先级反转。

原理：低优先级任务持有互斥锁，此时高优先级任务尝试获取锁而阻塞。内核会临时把低优先级任务的优先级提升到高优先级任务的优先级，防止被中等优先级任务抢占，缩短高优先级任务的等待时间。

注意：优先级继承不能完全消除优先级反转，只能减轻。

通俗类比：卫生间钥匙

同一时间只能一个人使用；拿到钥匙的人才能归还钥匙；如果拿钥匙的人被高优先级任务卡住，系统会临时抬高拿钥匙人的优先级，尽快释放钥匙。

典型场景

多任务读写同一个全局变量；

I2C、SPI等硬件外设，多个任务分时复用；

LCD屏幕显示，防止多个任务同时刷屏导致画面错乱。

重要避坑：互斥量 vs 二进制信号量

很多人觉得二值信号量初始化为1就等价互斥量，这是错误做法：

二值信号量没有所有权，任意任务/中断都可以调用give释放；

没有优先级继承，保护资源时会发生严重优先级反转，破坏实时性；

互斥量不能在中断服务函数中使用（API不支持，内部有任务优先级处理）；而二值信号量支持ISR中give。

一句话区分：互斥量用于资源保护；二值信号量用于事件同步（任务/中断唤醒）。

五、横向对比总表

六、选型决策口诀

需要传递数据、结构体 → 队列；

中断通知后台任务，只需要唤醒 → 二进制信号量；

管理多份相同资源、统计事件次数 → 计数信号量；

多个任务访问同一个共享资源（全局变量、外设） → 互斥量。

避坑清单

不要用互斥量做任务事件同步；

不要用二进制信号量代替互斥量保护共享资源；

互斥量禁止在中断中调用；

信号量丢失事件：二值信号量连续多次give，计数不会叠加，事件会被覆盖丢失，需要计数场景用计数信号量；

队列可以传递指针，但注意共享内存并发访问，指针指向的数据依然需要互斥保护。

七、极简代码示例（便于教学演示）

八、总结

队列、信号量、互斥量三者底层同源，但设计目标完全不同：队列是消息通道，负责搬运数据；信号量是事件/资源计数器，负责通知；互斥量是资源令牌，带所有权与优先级继承，专门用来保护共享资源。