RTX中信号量相关函数的理解

时间:2022-04-01 15:13:55

 关于信号量的定义

以下摘自百度百科:

信号量(Semaphore),有时被称为信号灯,是在多线程环境下使用的一种设施, 它负责协调各个线程, 以保证它们能够正确、合理的使用公共资源。 Semaphore分为单值和多值两种,前者只能被一个线程获得,后者可以被若干个线程获得。

 

  以一个停车场是运作为例。为了简单起见,假设停车场只有三个车位,一开始三个车位都是空的。这时如果同时来了五辆车,看门人允许其中三辆不受阻碍的进入,然后放下车拦,剩下的车则必须在入口等待,此后来的车也都不得不在入口处等待。这时,有一辆车离开停车场,看门人得知后,打开车拦,放入一辆,如果又离开两辆,则又可以放入两辆,如此往复。

 

  在这个停车场系统中,车位是公共资源,每辆车好比一个线程,看门人起的就是信号量的作用。

 

  更进一步,信号量的特性如下:信号量是一个非负整数(车位数),所有通过它的线程(车辆)都会将该整数减一(通过它当然是为了使用资源),当该整数值为零时,所有试图通过它的线程都将处于等待状态。在信号量上我们定义两种操作: Wait(等待) 和 Release(释放)。 当一个线程调用Wait等待)操作时,它要么通过然后将信号量减一,要么一自等下去,直到信号量大于一或超时。Release(释放)实际上是在信号量上执行加操作,对应于车辆离开停车场,该操作之所以叫做“释放”是应为加操作实际上是释放了由信号量守护的资源。

个人对RTX中相关函数的理解

os_sem_init (  OS_ID semaphore,   U16   token_count );  

函数初始化被函数参数semaphore指定的信号量对象,token_count决定在信号量中公共资源的数目,相当于车位数。

OS_RESULT os_sem_send (  OS_ID semaphore)

增加被函数参数识别的信号量的数目,相当于有车离开停车场,告知守门人可用的车位增加了 。

OS_RESULT os_sem_wait (  OS_ID semaphore,U16 timeout)

该函数向semaphore指定的信号量请求一个使用公共资源的命令,相当于有车进停车场时,车主向停车场里的看门人请求将车停人停车场。这时,停车场看门人判断空车位是否为0,如果不为0,则停车场看门人允许车主将车停进停车场;此时,空车位的数量减1,并告知停车场看门人;如果此时空车位为0,看门人不允许车主进入停车场,告知等待一段时间