SylixOS信号量（二进制信号量、计数型信号量、互斥信号量（简称互斥量）、读写信号量）

àì夳堔傛蜴生んèń 2022-12-05 10:00 395阅读 0赞

**目录**

二进制信号量

互斥信号量

计数器信号量

读写信号量

--------------------

# **SylixOS 信号量** #

多个线程在读写某个共享数据（全局变量等）时必须通过某种方法实现共享数据的互斥访问或者同步访问（例如线程 B 等待线程 A 的结果以继续运行）。其中，信号量是一种最常见的方法。

> SylixOS 信号量包括四种类型：
> 
>  *  二进制信号量、
>  *  计数型信号量、
>  *  互斥信号量（简称互斥量）、
>  *  读写信号量。

信号量是一种约定机制：在共享资源的互斥访问中，它约定当一个线程获得信号量（Wait）后，其他线程不可以再次获得该信号量直到信号量被释放（Give）；在同步机制中，它约定等待信号量（Take）的线程（或者说等待信号更确切）在收到信号量之前应该处于阻塞状态，直到其他线程发送该信号量（Post）。

> 二进制信号量：最快的最常用的信号量，可用于同步或互斥。
> 
> 互斥信号量：为了解决内在的互斥问题如优先级继承、删除安全和递归等情况而最优化的特殊的二进制信号量。
> 
> 计数信号量：类似于二进制信号量，但是随信号量释放的次数改变而改变。

关于取值，二进制信号量的取值限定于 FALSE 和 TRUE；而计数型信号量的最小取值为 0，最大取值在创建计数型信号量时决定。

### **二进制信号量** ###

二进制信号量能够满足任务间的互斥和同步，需要的系统开销最小，因此也称快速信号量。二进制信号量可以看成一个标志，对应资源是可用还是不可用。当一个任务请求一个信号量时，如果此时信号量可用，信号量会被清零，并且任务立即继续执行；如果信号量不可用，任务会被阻塞来等待信号量。

当一个任务释放一个二进制信号量时。如果信号量已经可用，释放信号量不会产生任何影响；如果信号量不可用并且没有任务等待使用该信号量，信号量只是被简单地置为可用；如果信号量不可用并且有一个或多个任务等待该信号量，**最高优先级的任务被解阻塞，**信号量仍为不可用。

> 互斥：
> 
> 当两个以上的任务共享使用同一块内存缓冲区或同一个I/O设备之类的资源时，可能会发生竞争状态。
> 
> 二进制信号量可以通过对共享资源上锁，实现高效的互斥访问，不象禁止中断或禁止抢占，二进制信号量将互斥仅仅限于对与之联系的资源的访问，并且比禁止中断和禁止抢占提供更精确的互斥粒度。使用时创建用于保护资源的二进制信号量，初始时信号量可用。
> 
> 当任务需要访问这个资源时，首先取得这个信号量，所有其它想要访问这个资源的任务将被阻塞。当任务完成了对该资源的访问时，释放该信号量，允许其他任务使用该资源。因此所有对一个需要互斥访问资源的操作由semTake ()和semGive ()对一起来实现。

> 同步：
> 
> 信号量另一种通常的用法是用于任务间的同步机制。在这种情况下，信号量代表一个任务所等待的条件或事件。**最初，信号量是不可用的。**一个任务或中断处理程序释放该信号量来通知这个事件的发生。等待该信号量的任务将被阻塞直到事件发生、该信号量可用。一旦被解阻塞，任务就执行恰当的事件处理程序。**信号量在任务同步中的应用对于将中断服务程序从冗长的事件处理中解放出来以缩短中断响应时间是很有用的。**

### **互斥信号量** ###

互斥信号量是一种特殊的二进制信号量，互斥信号量用于共享资源需要互斥访问的场合，可以理解为初始值为 TRUE 的带优先级天花板和优先级继承机制（意在解决优先级反转问题）的二进制信号量，只有拥有互斥信号量的线程才有权释放互斥信号量。一般用于解决具有内在的互斥问题：优先级继承、删除安全和对资源的递归访问等情况。

对于一般的操作系统，一般互斥信号量就是二值信号量，但VxWoks中有非同寻常的意义。另外一个典型就是，Linux内核也单独设立了互斥信号量。

>  *  优先级继承：
> 
> 优先级倒置发生在一个高优先级的任务被迫等待一段不确定时间，等待一个低优先级任务完成。优先级继承协议确保拥有资源的任务以阻塞在该资源上的所有任务中优先级最高的任务的优先级执行，直到它释放所拥有的所有信号量，然后该任务返回到正常状态。因此这个“继承的高优先级”任务受到不会被任何中间优先级任务抢占的保护。
> 
>  *  删除安全：
> 
> 另一个互斥问题涉及到任务删除。在一个受信号量保护的临界区，经常需要保护在临界区执行的任务不会被意外地删除。删除一个在临界区执行的任务可能引起意想不到的后果，造成保护资源的信号量不可用，可能导致资源处于破坏状态，也就导致了其他要访问该资源的所有任务无法得到满足。
> 
>  *  递归资源访问：
> 
> 互斥信号量能够被递归地获得。这意味着信号量能够被一个拥有该信号量的任务在该信号量最终被释放之前多次获取。递归对于满足一些子程序即要求能够相互调用但是也要求互斥访问一个资源非常有用。这种情形是可能的，因为系统需要跟踪哪一个任务当前拥有信号量。

### **计数器信号量** ###

计数器信号量是实现任务同步和互斥的另一种手段，在具体实现上有点差异。计数器信号量除了像二进制信号量那样工作外，还保持对信号量释放次数的跟踪。与二进制信号量不同的时，计数型信号量每次释放，计数器加一；每次获取，计数器减一，当信号量减到0 时，试图获取该信号量的任务被阻塞。

正如二进制信号量，当计数信号量释放时，如果有任务阻塞在该信号量阻塞队列上，那么任务解除阻塞；但是如果信号量释放时，没有任务阻塞在该信号量阻塞队列上，那么计数器加一。

### **读写信号量**  ###

POSIX 读写锁中介绍的情形，当出现多个读者，单个写者的情况时，单纯地使用互斥信号量将极大地减弱多线程操作系统的处理性能。为了满足这种高并发的处理速度问题，SylixOS 引入了读写信号量，它的应用场景类似于 POSIX 读写锁。

SylixOS 读写信号量满足写优先的原则，也就是说，如果已经存在写信号量，则不能再申请读信号量，直到写信号量被释放。但是当已经存在读信号量时，可以再次请求读信号量。这种机制满足了读的高并发性。