Linux-0.11实现信号量

在Linux-0.11中实现信号量机制，并向用户提供API，实验具体实现可见Linux-0.11操作系统实验5-信号量的实现和应用。这里对在实验中的P操作中的一些问题进行记录。实验中给出的PV操作代码如下所示：

int sys_sem_wait(sem_t *sem)
{
    cli();
    while( sem->value <= 0 )        //使得所有小于0的进程阻塞
        sleep_on(&(sem->queue));    
    sem->value--;             
    sti();
    return 0;
}
int sys_sem_post(sem_t *sem)
{
    cli();
    sem->value++;
    if( (sem->value) <= 1)    //小于0阻塞，只有为1时才唤醒，保证一次仅唤醒一个进程
        wake_up(&(sem->queue));
    sti();
    return 0;
}

消费者和生产者代码如下所示：

//1 生产者 N 消费者
			sem_wait(empty);// initial empty=BUFFSIZE小
			sem_wait(mutex);// initial mutex=1
			//消费者操作共享区
			sem_post(mutex);
			sem_post(full); initial full=0

			sem_wait(full);
			sem_wait(mutex);
			//生产者操作共享区
			sem_post(mutex);
			sem_post(empty);

需要注意的是P操作中的while语句，这里是通过while语句来判断当前的信号量值如果小于0，则将当前进程一直置于阻塞队列中，不断调用sleep_on语句，因此这里的whie语句和下面的sem->value–语句不可调换顺序，如果将sem->value–置于while之前，N个消费通过P操作会将full修改为-N，如果共享区的大小BUFFSIZE小于N，则当empty=0时，full=-N+BUFFSIZE<0,会导致程序出现死锁现象，因此当消费者数量大于共享区大小时，这种方法不可用。

由于sleep_on语句会将进程放进阻塞队列，阻塞队列中的线程不会被操作系统调度，因此这里理论上只需要将当前线程sleep_on一次即可，因此我们可以将该处的while更改为if语句，这时候sem->value和阻塞语句的顺序便可以调换，实验验证也通过。此时不需考虑消费者和共享区的大小关系。

int sys_sem_wait(sem_t *sem)
{
	cli();
	sem->value--;
	if(sem->value<0)
		sleep_on(&(sem->queue));
	
	sti();
	return 0;
}

int sys_sem_post(sem_t *sem)
{
	cli();
	sem->value++;
	if ((sem->value)<=0)
		wake_up(&(sem->queue));
	sti();
	return 0;
}

下面对信号量做简要说明:
为了多个线程可以正确的访问临界区，需要对临界区做控制访问。信号量可以作为一个计数器，用来表示可用资源数量。信号量有两个原子操作：P和V。
1、P操作
进程需要访问共享资源时，首先进行P操作，将信号量减一，减一后数值如果小于0，则将当前进程阻塞，否则继续对临界区进行访问。
2、V操作
进程退出临界区时，需要进行V操作，将信号量加一，如果加一后信号量的值小于等于0，则表示当前有进程被阻塞，唤醒阻塞队列中的一个进程，并结束临界区访问。