关于信号量的问题

peiha

关于信号量的问题 [复制链接]

小弟有个测试程序，是用信号量来激活进程的，如下:
SEM_ID  binarySem;
int semCount;
void semGive()
{
     int count;
     for(count=0;count<6;count++)
     {
            printf("\ngive sem\n");
            semGive(binarySem);
     }
}

void semTake()
{
       FOREVER
       {
              semTake(binarySem,WAIT_FOREVER);
              printf("\nsem take %d\n",++semCount);
       }
}
void semTest()
{
      binarySem=semCreate(,,...);
      semCount=0；
      taskSpawn("semTake", 100, 0x100, 2000, (FUNCPTR)semTake, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);
      taskSpawn("semGive", 90, 0x100, 2000, (FUNCPTR)semGive, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);      
}

各位达人想必已经看出这个小程序的目的了，就是一个高优先级的进程先给出6个信号量，然后低优先级的进程在得到信号量后就打印。
可是为什么结果却是：
give sem
give sem
give sem
give sem
give sem
give sem
sem take 1
sem take 2
-----------------
也就是说，任务semTake只得到了两个信号量了？为什么不是1个或者6个了？？？
而且实际上不管任务semGive给了多少信号量，也就说不管这个变量count设为任何大于等于3的数，任务semTake都只打印两次！
这是怎么回事了？？

lixingping1125

我使用我的工程测试了，运行正常，可能是你的设备或工程有问题。

407406136

??怎么会了？？我用目标虚拟机和vmware上运行的都是上面的结果啊？？！那请问你的结果是什么啊？

hupl

??怎么会了？？我用目标虚拟机和vmware上运行的都是上面的结果啊？？！那请问你的结果是什么啊？

北风good

测试代码有问题，你使用的是二进制信号量，不是计数信号量，将信号量换成计数的试试。

zs447150061

二进制信号量释放多次和释放一次的效果一样，你这边semTake任务优先级低，应该是信号量被释放了多次后，take任务
才去获取的

compareview

这个我也是这么想的！但是这样应该是打印一个sem take 1啊！为什么会打印两次了？？

岚裳

很简单的问题，看一看Bianry Semapore的实现不就知道了。刚开始时你的第低级别任务PEND在信号量上，高级别任务Give时判断有PENDING的任务就把这个任务设置为READY了，后面再运行时把semId->events.taskId设置为零，这种情况下Binary Semaphore的含义是“满”。
高级别的任务执行完6次循环之后你的低级别任务得到执行，等于semTake成功返回，再循环时由于semId->events.taskId为NULL则设置为taskIdCurrent直接成功返回，这就是第二次了。后面再运行时由于信号量是空，就阻塞了。