二值信号量

wen619

创建二值信号量时参数semSEMAPHORE_QUEUE_ITEM_LENGTH是0，即这一个队列项是不占用字节的，怎么理解这样一个二值信号量可以表示“有”与“无”？这唯一的一个队列项长度是0那不就等于是没有队列项的队列吗？向其发送信号量怎么可能发送进去呢？

zuozhongkai

队列的两种状态，满和空。不刚好就是二值信号量，直接判断队列状态，不需要往队列里面写数据

39035605

列队创建的底层有这么一行代码，可以解决的你疑惑。。                pxNewQueue = ( Queue_t * ) pvPortMalloc( sizeof( Queue_t ) + xQueueSizeInBytes );

wen619

队列项的长度是0字节，难到不是说明这个队列永远是空吗？ 怎么会有所谓的“满”呢？应该至少占一个字节 也好理解 “满”与“空”啊？左工！

wen619

谢谢 ，明日再啃啃这段代码

wen619

39035605 发表于 2018-3-27 19:51
列队创建的底层有这么一行代码，可以解决的你疑惑。。                pxNewQueue = ( Queue_t * ) pvPortMalloc( sizeof( ...

我是这么理解的:二值信号量创建好以后，内存值有一个sizeof( Queue_t )这么大的空间属于这个信号量，这个Queue_t的结构体里的成员pcHead就指向sizeof( Queue_t )+1,也是这个结构体的末尾（因为semSEMAPHORE_QUEUE_ITEM_LENGTH=0）.

使用xSemaphoreGive发送信号量的时候调用xQueueGenericSend发送的队列项内容是空，但是会导致Queue_t 的成员uxMessagesWaiting加1，这就代表这个二值信号量是“满”。

使用xSemaphoreTake提取信号量的时候调用xQueueGenericReceive时会去判断uxMessagesWaiting，看了代码知道如果uxMessagesWaiting>0,进行一大堆的处理返回pdPASS，即获取到信号量了。

理解的关键还是队列操作会使得uxMessagesWaiting在0与1之间变化，所以代表队列项大小的semSEMAPHORE_QUEUE_ITEM_LENGTH为0是可以理解了。

wen619

Queue_t的结构体里的成员pcHead就指向sizeof( Queue_t )+1//理解错了，信号量的话 成员pcHead就是指向这个队列结构体的头