概述
信号量常用于任务的同步,通过该信号,就能够控制某个任务的执行,这个信号具有计数值,因此,可以称为计数信号量。
计数信号量可以用于资源管理,允许多个任务获取信号量访问共享资源,但会限制任务的最大数目。访问的任务数达到可支持的最大数目时,会阻塞其他试图获取该信号量的任务,直到有任务释放了信号量。这就是计数型信号量的运作机制,虽然计数信号量允许多个任务访问同一个资源,但是也有限定,比如某个资源限定只能有 3 个任务访问,那么第 4 个任务访问的时候,会因为获取不到信号量而进入阻塞,等到有任务(比如任务 1)释放掉该资源的时候,第 4 个任务才能获取到信号量从而进行资源的访问,其运作的机制具体见下图。
生活中常见的例子,假设停车场只有三个车位,一开始三个车位都是空的。这时如果同时来了五辆车,看门人允许其中三辆直接进入,然后放下车拦,剩下的车则必须在入口等待,此后来的车也都不得不在入口处等待。这时,有一辆车离开停车场,看门人得知后,打开车拦,放入外面的一辆进去,如果又离开两辆,则又可以放入两辆,如此往复。
在这个停车场系统中,车位是公共资源,每辆车好比一个任务(线程),看门人起的就是控制信号量的作用,描述车位数。
PV原语
1965年,荷兰学者Dijkstra提出了利用信号量机制解决进程同步问题,信号量正式成为有效的进程同步工具,现在信号量机制被广泛的用于单处理机和多处理机系统以及计算机网络中。
信号量S是一个整数,S大于等于零时代表可供并发进程使用的资源实体数,但S小于零时则表示正在等待使用临界区的进程数。
Dijkstra同时提出了对信号量操作的PV原语。
P原语操作的动作是:
(1)S减1;
(2)若S减1后仍大于或等于零,则进程继续执行;
(3)若S减1后小于零,则该进程被阻塞后进入与该信号相对应的队列中,然后转进程调度。
V原语操作的动作是:
(1)S加1;
(2)若相加结果大于零,则进程继续执行;
(3)若相加结果小于或等于零,则从该信号的等待队列中唤醒一等待进程,然后再返回原进程继续执行或转进程调度。
PV操作对于每一个进程来说,都只能进行一次,而且必须成对使用。在PV原语执行期间不允许有中断的发生。
信号量的P、V操作,P表示申请一个资源,每次P操作使信号量减1,V是释放一个资源,每次V操作使信号量加1。信号量表示的是当前可用的资源个数,当信号量为负时,申请资源的进程(任务)就只能等待了。所以,信号量是负的多少,就表明有多少个进程(任务)申请了资源但无资源可用,只能处于等待状态。
除了访问共享资源外,亦可中断/任务控制某任务的执行,称之为“单向同步”。
函数接口
创建信号量
void OSSemCreate (OS_SEM *p_sem,
CPU_CHAR *p_name,
OS_SEM_CTR cnt,
OS_ERR *p_err)
参数:
p_sem,信号量对象
p_name,信号量名字
cnt,信号量的初值
p_err,返回错误码,没有错误的就返回OS_ERR_NONE
等待信号量
OS_SEM_CTR OSSemPend (OS_SEM *p_sem,
OS_TICK timeout,
OS_OPT opt,
CPU_TS *p_ts,
OS_ERR *p_err)
参数:
p_sem,信号量对象
timeout,超时时间,默认写0,一直等待
opt,设置当前等待互斥锁的阻塞方式,默认写OS_OPT_PEND_BLOCKING,阻塞等待
p_ts,用于记录等待信号量花了多长时间,默认写NULL,不记录。
p_err,返回错误码,没有错误的就返回OS_ERR_NONE
释放信号量
OS_SEM_CTR OSSemPost (OS_SEM *p_sem,
OS_OPT opt,
OS_ERR *p_err)
参数:
p_sem,信号量对象
opt,信号量接收方
.OS_OPT_POST_1,只释放信号量给最高优先级且就绪的任务,类似于UDP的点播
.OS_OPT_POST_ALL,释放给所有等待信号量的任务,类似于UDP的广播
p_err,返回错误码,没有错误的就返回OS_ERR_NONE
返回值:
当前信号量计数值。
若多个任务等待信号量,等待信号量的任务最好是优先级是一样。
例程
#include "led.h"
#include "delay.h"
#include "sys.h"
#include "usart.h"
#include "includes.h"
void Task1_task(void *parg);
#define Task1_TASK_PRIO 5
#define Task1_TASK_SIZE 128
CPU_STK Task1_TASK_STK[Task1_TASK_SIZE];
OS_TCB Task1_TCB;
void Task2_task(void *parg);
#define Task2_TASK_PRIO 6
#define Task2_TASK_SIZE 128
CPU_STK Task2_TASK_STK[Task1_TASK_SIZE];
OS_TCB Task2_TCB;
OS_SEM g_sem;
int main(void)
{
OS_ERR err;
delay_init();
NVIC_PriorityGroupConfig(NVIC_PriorityGroup_2);
uart_init(115200);
LED_Init();
OSInit(&err);
OSTaskCreate((OS_TCB * )&Task1_TCB,
(CPU_CHAR * )"Task1_task",
(OS_TASK_PTR )Task1_task,
(void * )0,
(OS_PRIO )Task1_TASK_PRIO,
(CPU_STK * )&Task1_TASK_STK[0],
(CPU_STK_SIZE)Task1_TASK_SIZE/10,
(CPU_STK_SIZE)Task1_TASK_SIZE,
(OS_MSG_QTY )0,
(OS_TICK )0,
(void * )0,
(OS_OPT )OS_OPT_TASK_NONE,
(OS_ERR * )&err);
OSTaskCreate((OS_TCB * )&Task2_TCB,
(CPU_CHAR * )"Task2_task",
(OS_TASK_PTR )Task2_task,
(void * )0,
(OS_PRIO )Task2_TASK_PRIO,
(CPU_STK * )&Task2_TASK_STK[0],
(CPU_STK_SIZE)Task2_TASK_SIZE/10,
(CPU_STK_SIZE)Task2_TASK_SIZE,
(OS_MSG_QTY )0,
(OS_TICK )0,
(void * )0,
(OS_OPT )OS_OPT_TASK_NONE,
(OS_ERR * )&err);
OSSemCreate (&g_sem,"g_sem",0,&err);
OSStart(&err);
printf("OS run error.......\r\n");
while(1);
}
void Task1_task(void *parg)
{
OS_ERR err;
printf("task1 is create ok\r\n");
while(1)
{
printf("task1 is running ...\r\n");
OSSemPost (&g_sem,OS_OPT_POST_1,&err);
delay_ms(1000);
}
}
void Task2_task(void *parg)
{
OS_ERR err;
printf("task2 is create ok\r\n");
while(1)
{
OSSemPend(&g_sem,0,OS_OPT_PEND_BLOCKING,NULL,&err);
printf("task2 is running ...\r\n");
delay_ms(1000);
}
}
任务1释放信号量,任务2等待信号量
注意
若有3个任务,任务1发送信号量,任务2 任务3等待信号量打印信息
如果释放信号量参数选择OS_OPT_POST_1,任务2优先级高于任务3 打印顺序为
任务1》任务2》任务1》任务2》任务1》任务2… … …
如果释放信号量参数选择OS_OPT_POST_1,任务2和任务3优先级相同 打印顺序为
任务1》任务2》任务1》任务3》任务1》任务2》任务1》任务3… … …
如果释放信号量参数选择OS_OPT_POST_ALL,任务2和任务3优先级相同 打印顺序为
任务1》任务3》任务2》任务1》任务2》任务3》任务1》任务3》任务2… … …
广播形式的信号量,任务2和任务3都会执行
如果释放信号量参数选择OS_OPT_POST_ALL,任务2优先级高于任务3 打印顺序为
任务1》任务2》任务3》任务1》任务2》任务3》任务1》任务2》任务3… … …
优先级反转
概述
在实时系统中使用信号量有可能导致一个严重的问题——优先级反转,详见《嵌入式实时操作系统UCOSIII》章节13.3.5。
优先级反转在可剥夺内核中是非常常见的,在实时系统中不允许出现这种现象,这样会破坏任务的预期顺序,可能会导致严重的后果,下图就是一个优先级反转的例子。
(1)任务H和任务M处于挂起状态,等待某一事件的发生,任务L正在运行。
(2)某一时刻任务L想要访问共享资源,在此之前它必须先获得对应该资源的信号量。
(3)任务L获得信号量并开始使用该共享资源。
(4)由于任务H优先级高,它等待的事件发生后便剥夺了任务L的CPU使用权。
(5)任务H开始运行。
(6)任务H运行过程中也要使用任务L正在使用着的资源,由于该资源的信号量还被任务L占用着,任务H只能进入挂起状态,等待任务L释放该信号量。
(7)任务L继续运行。
(8)由于任务M的优先级高于任务L,当任务M等待的事件发生后,任务M剥夺了任务L的CPU使用权。
(9)任务M处理该处理的事。
(10)任务M执行完毕后,将CPU使用权归还给任务L。
(11)最终任务L完成所有的工作并释放了信号量,到此为止,由于实时内核知道有个高优先级的任务在等待这个信号量,故内核做任务切换。
在这种情况下,任务H的优先级实际上降到了任务L的优先级水平。因为任务H要一直等待直到任务L释放其占用的那个共享资源。由于任务M剥夺了任务L的CPU使用权,使得任务H的情况更加恶化,这样就相当于任务M的优先级高于任务H,导致优先级反转。
优先级反转。简单地说,就是高优先级任务必须等待低优先级任务的完成。
解决方案
为了避免优先级反转这个问题,UCOSIII支持一种特殊的二进制信号量:互斥信号量,即互斥锁,用它可以解决优先级反转问题。
目前解决优先级反转有许多种方法。其中普遍使用的有2种方法:一种被称作优先级继承(priority inheritance);另一种被称作优先级天花板(priority ceilings)。
A. 优先级继承(priority inheritance) :优先级继承是指将低优先级任务的优先级提升到等待它所占有的资源的最高优先级任务的优先级。当高优先级任务由于等待资源而被阻塞时,此时资源的拥有者的优先级将会临时自动被提升,以使该任务不被其他任务所打断,从而能尽快的使用完共享资源并释放,再恢复该任务原来的优先级别。
B. 优先级天花板(priority ceilings): 优先级天花板是指将申请某资源的任务的优先级提升到可能访问该资源的所有任务中最高优先级任务的优先级。(这个优先级称为该资源的优先级天花板) 。
A和B的区别:优先级继承,只有当占有资源的低优先级的任务被阻塞时,才会提高占有资源任务的优先级;而优先级天花板,不论是否发生阻塞,都提升。
在UCOSIII,默认使用方案A,详细如下图。
注意事项
程序中可以使用任意多的信号量访问各种资源。比如一个信号量来访问一个共享的显示设备,另一个则访问一个共享的打印机;再用一个信号量来共享一些数据结构,另一个信号量来保护缓冲池等。不过一般建议信号量来访问I/O设备,而不用它来访问存储单元。
信号量常被用过了头,用信号量来处理简单的共享变量更是小题大做。请求和释放信号量的过程相当耗费时间的。尽管关中断可能会带来一些间接成本,甚至导致那些并不访问共享资源的高优先级任务也无法在第一时间被执行,但用户仍可以通过关中断、开中断来处理简单的共享变量从而提高整体工作效率。
例如两个任务共享一个32位的整数变量,一个任务给这个任务变量加1,另一个任务给这个变量清0。如果要求不管哪种操作,CPU都能在极短时间内完成,显然就不会使用信号量来满足互斥访问的条件了。每个任务只需要在操作这个任务之前关中断,之后再开中断就可以了。然而,如果这个变量是浮点数,而相应的微处理器又没有硬件的浮点协处理器,则浮点运算的时间相当长,如此一来,关中断时间长了便会影响到中断延迟,这种情况下就有必要使用信号量了。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)