关于二进制信号量

今天刚看到二进制信号量的问题，有些疑问请教大家：

1，用共享资源时需要用二进制信号量互斥，我的问题是，程序不是顺序执行的嘛，那在一个时间段只有一个程序可以访问共享资源，这个程序完了 ，下个程序才能访问。何必要互斥，难道程序都是并行发生的？

2，一个例子：

#include "vxworks.h"
#include "tasklib.h"
#include "semlib.h"
#include "stdio.h"

#define ITER 10
SEM_ID semBinary;
int global=0;

static void taskOne()
{
int i;
for(i=0;i<ITER;i++)
{
semTake(semBinary,WAIT_FOREVER);
printf("I am taskOne and global =%d ........................./n",++global);
semGive(semBinary);
}
}

static void taskTwo()
{
int i;
semGive(semBinary);/*NOTE 1*/
for(i=0;i<ITER;i++)
{
semTake(semBinary,WAIT_FOREVER);
printf("I am taskTwo and global =%d..................../n",--global);
semGive(semBinary);
}

}

void s3_sem()
{
int taskIdOne,taskIdTwo;
semBinary=semBCreate(SEM_Q_FIFO,SEM_FULL);
semTake(semBinary,WAIT_FOREVER); /*NOTE 2*/

taskIdOne =taskSpawn("t1",90,0x100,2000,(FUNCPTR)taskOne,0,0,0,0,0,0,0,0,0,0);

taskIdTwo =taskSpawn("t2",90,0x100,2000,(FUNCPTR)taskTwo,0,0,0,0,0,0,0,0,0,0);
}

在这个例子中，两个任务竞争修改global的值，运行结果是1，0，1，0，1，0.。。。。。。，1，0

我的问题是：

两个任务为什么会在每个for语句只执行一遍的时候就跳到下一个for里面去，而执行完后又会跳回到for里面继续执行，然后又执行一遍又跳出。

 

 

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

作者:chenlei188 时间:2008-8-17 15:29:35