VxWorks学习篇-二进制信号量

目前国内雷达信号处理平台上所用的操作系统大多为VxWorks，在VxWorks中，信号量是一种在不同任务间有效传递消息的机制，其中包括二进制信号量、计数型信号量、互斥型信号量。在这些信号量中，二进制信号量的使用最为普遍，下面是对该类型信号量原理的分析。

1、基本函数

在二进制信号量中，主要涉及到下面三个函数

semBCreate该函数作用是创建二进制信号量

SEM_IDsemTest=semBCreate(SEM_Q_PRIORITY,SEM_FULL)

第一个参数为SEM_Q_PRIORITY(任务基于优先级排序)，或者是SEM_Q_FIFO(任务基于先进先出排序);

第二个参数为SEM_FULL(信号量创建时即为满-可用)，或者是SEM_EMPTY(创建时为空，不可用)

semGive 该函数作用是释放信号量

semGive(semTest)

其实semGive并不是直接将信号量从empty状态改变为full状态，其首先要从等待该信号量的任务阻塞队列里面取出第一个任务让其执行，如果没有任务才将信号量状态改变。

semTake 该函数的作用是等待信号量

semTake(semTest,WAIT_FOREVER)

其实semTake也不是直接将信号量从full转换为empty，而是将任务放入等待该信号量的任务阻塞队列。

2、过程分析

semBCreate创建信号量基本过程

//底层调用semInit
{
	semQInit//创建等待信号量的阻塞队列
	semaphore status//设置信号量状态
} 

semGive释放信号量基本过程

//二进制信号量底层调用semBGive
{
pNode = Q_FIRST (&semId->qHead) //检测该信号量阻塞队列
if(Q is empty)
{
vxAtomicSet_inline ((atomic_t *) (void *)&semId->semOwner,(atomicVal_t) SEMB_FULL_STATE);//修改信号量状态
}
else
{
	windPendQGet (&semId->qHead);//将阻塞队列中第一个任务取出，让其执行
}
}

semTake获取信号量基本过程

//二进制信号量底层调用semBTake
{
abc:	    prevVal = vxAtomicSet_inline ((atomic_t *) (void *) &semId->semOwner,SEMB_PENDED_TASK | SEMB_EMPTY_STATE);//判断信号量状态
if(prevVal == (atomicVal_t) SEMB_FULL_STATE)//如果信号量状态为full，直接返回ok
{
	return (OK);
}
Else
{
windPendQPut (&semId->qHead, timeout)//将任务加入信号量阻塞队列
if(status = KERNEL_UNLOCK ())//进入阻塞状态，如果设定有超时到时间后跳出循环，否则继续执行
goto abc.

}
}

信号量处理过程中最重要的是维护一个阻塞队列，操作该队列函数如下：

void windPendQGet(Q_HEAD *pQHead)      /* pend queue to get first task off */
{
    FAST WIND_TCB *pTcb = NODE_PTR_TO_TCB (Q_GET (pQHead));//从等待该信号量的队列中取出第一个任务
    pTcb->status &= ~WIND_PEND; //将任务状态清楚阻塞标志位
    if (pTcb->status & WIND_DELAY)	//判断是否有超时任务，如果有直接将任务从超时队列中移除
	{
		pTcb->status &= ~WIND_DELAY;
		Q_REMOVE (&tickQHead, &pTcb->tickNode);	/* remove from queue */
	}
    if (pTcb->status == WIND_READY)		//判断此时任务状态，如果为ready将任务放入Ready队列中
		READY_Q_PUT (pTcb);
}

STATUS windPendQPut(
    FAST Q_HEAD *pQHead, //等待该信号量的阻塞队列
    FAST int    timeout )//判断该任务是否超时
    {
    FAST WIND_TCB *pTcbCurrent = _WRS_KERNEL_GLOBAL_ACCESS (taskIdCurrent);
    READY_Q_REMOVE (pTcbCurrent);//将任务从ready队列中移除
    pTcbCurrent->status |= WIND_PEND;//将任务状态加入pend阻塞标志位
    pTcbCurrent->pPendQ = pQHead;			/* pQHead pended on */
    Q_PUT (pQHead, PENDQ_NODE_PTR (pTcbCurrent), pTcbCurrent->priority);//将任务放入等待该信号量的阻塞队列中
    if (timeout != WAIT_FOREVER)	//判断是否有设定超时机制，默认一般不设置
	{
	if ((UINT64)(vxAbsTicks + timeout) < vxAbsTicks)  //计算等待时间
	    {
	    windCalibrateTickQ ();                        /* reset delays */
	    vxAbsTicksZero ();
	    }
	/*
	 * Set the finish time of the delay for the task.  This is used to
	 * facilitate recalculation of timeouts on RESTART.
	 */
	TASK_CPUTIME_INFO_SET (pTcbCurrent, 0, (vxAbsTicks + timeout));
	Q_PUT (&tickQHead, &pTcbCurrent->tickNode, timeout);//放入超时队列中
	pTcbCurrent->status |= WIND_DELAY;//将任务状态标志位增加delay标示
	}
    return (OK);
}

以上两个函数中，Q_GET，Q_PUT，Q_REMOVE，READY_Q_PUT等均为宏定义函数，作用是操作相关队列。