FreeRTOS：轻量级实时操作系统的核心原理与实现机制(三)

在多任务系统中，任务之间的同步与通信是实现协同工作的关键，FreeRTOS提供了丰富的同步与通信机制，包括信号量、互斥锁、消息队列、事件组等，这些机制如同任务之间的“语言”，确保信息传递的有序性和资源访问的安全性。 

信号量（Semaphore）是最基础的同步工具，用于控制对共享资源的访问或传递事件信号。FreeRTOS的信号量通过 xSemaphoreCreateBinary() （二进制信号量）或 xSemaphoreCreateCounting() （计数信号量）创建。二进制信号量常用于互斥访问（初始值为1）或事件通知（初始值为0）：当任务需要访问共享资源时，通过 xSemaphoreTake() 获取信号量，若信号量有效则继续执行，否则进入阻塞态；当任务释放资源时，通过 xSemaphoreGive() 释放信号量，唤醒等待的任务。计数信号量则用于管理多个相同资源（如多个缓冲区），初始值为资源数量，每获取一个资源计数减1，释放则加1。 

互斥锁（Mutex）是专为解决优先级反转问题设计的同步机制，与二进制信号量的区别在于支持优先级继承。当低优先级任务持有互斥锁时，若高优先级任务申请该锁，互斥锁会将低优先级任务的优先级临时提升至高优先级任务的级别（优先级继承），避免中等优先级任务打断低优先级任务，确保高优先级任务能尽快获得资源。例如，在传感器数据处理系统中，低优先级的“数据存储”任务持有SD卡访问锁时，若高优先级的“数据采集”任务需要访问SD卡，互斥锁会临时提升“数据存储”任务的优先级，使其快速完成操作并释放锁。 

消息队列（Queue）用于任务之间的数据传递，支持异步通信。消息队列通过 xQueueCreate() 创建，指定队列长度和每个消息的大小，任务通过 xQueueSend() 发送消息，通过 xQueueReceive() 接收消息。消息队列采用先进先出（FIFO）方式存储消息，也可配置为优先级排序（高优先级消息插入队首）。例如，在智能家居系统中，“传感器采集”任务将温度、湿度数据通过消息队列发送给“数据分析”任务，两者无需同步运行，即使“数据分析”任务暂时繁忙，数据也能在队列中缓存，避免丢失。 

事件组（Event Group）用于处理多任务间的复杂同步场景，允许任务等待多个事件中的一个或全部发生。事件组通过 xEventGroupCreate() 创建，每个事件用一个比特位表示，任务通过 xEventGroupWaitBits() 等待特定事件组合（如“事件A或事件B”“事件C和事件D”），其他任务通过 xEventGroupSetBits() 设置事件位。例如，在火灾报警系统中，“报警处理”任务等待“烟雾检测到”（bit0）或“温度过高”（bit1）事件，任一事件发生都能触发报警，提高响应速度。