计数型信号量-鲁棒控制——线性矩阵不等式处理方法 俞立 文字版 非扫描版

14.4 计数型信号量 14.4.1 计数型信号量简介 有些资料中也将计数型信号量叫做数值信号量，二值信号量相当于长度为 1 的队列，那么 计数型信号量就是长度大于 1 的队列。同二值信号量一样，用户不需要关心队列中存储了什么 数据，只需要关心队列是否为空即可。计数型信号量通常用于如下两个场合： 1、事件计数 在这个场合中，每次事件发生的时候就在事件处理函数中释放信号量(增加信号量的计数 值 )，其他任务会获取信号量 (信号量计数值减一，信号量值就是队列结构体成员变量 uxMessagesWaiting)来处理事件。在这种场合中创建的计数型信号量初始计数值为 0。 2、资源管理 在这个场合中，信号量值代表当前资源的可用数量，比如停车场当前剩余的停车位数量。 一个任务要想获得资源的使用权，首先必须获取信号量，信号量获取成功以后信号量值就会减 一。当信号量值为 0 的时候说明没有资源了。当一个任务使用完资源以后一定要释放信号量， 释放信号量以后信号量值会加一。在这个场合中创建的计数型信号量初始值应该是资源的数量， 比如停车场一共有 100 个停车位，那么创建信号量的时候信号量值就应该初始化为 100。 14.4.2 创建计数型信号量 FreeRTOS 提供了两个计数型信号量创建函数，如表 14.4.2.1 所示： 函数 描述 xSemaphoreCreateCounting() 使用动态方法创建计数型信号量。 xSemaphoreCreateCountingStatic() 使用静态方法创建计数型信号量 表 14.4.2.1 计数型信号量创建函数 1、函数 xSemaphoreCreateCounting() 此函数用于创建一个计数型信号量，所需要的内存通过动态内存管理方法分配。此函数本