Zephyr内核——内核服务（调度，中断和同步）——信号量

信号量

信号量是实现传统计数信号量的内核对象。

概念

可以定义任意数量的信号量（仅受可用RAM的限制）。每个信号量都由其内存地址引用。

信号量具有以下关键属性：

• 指示信号量的次数的计数。计数为零表示该信号量不可用。
• 指示信号量的计数可以达到的最大值的限制。
• 信号量必须初始化才能使用。它的计数必须设置为一个小于或等于其极限的非负值。

一个信号量可以由一个线程或一个ISR给出。给信号量增加它的计数，除非计数已经等于极限。

一个信号量可以被一个线程获取。取信号量将减少其计数，除非信号量不可用（即为零）。当一个信号量不可用时，一个线程可以选择等待它被给出。任意数量的线程都可能同时等待一个不可用的信号量。当给出信号量时，它被等待时间最长的最高优先级线程占用。

注意：

您可以初始化一个“完整”信号量（计数等于限制），以限制能够同时执行关键段的线程数量。您还可以初始化一个空信号量（计数等于0，限制大于0）来创建一个门，在信号量增加之前，没有等待线程通过。支持公共信号量的所有标准用例。

注意：

内核确实允许ISR获取信号量，但是如果信号量不可用，ISR就不能尝试等待。

实现

定义信号量

使用k_sem类型的变量定义信号量。然后，必须通过调用k_sem_init()来初始化它。

下面的代码定义了一个信号量，然后通过将其计数设置为0，将其限制设置为1，将其设置为一个二进制信号量。