信号量与管程

一、信号量

信号量是操作系统提供的一种协调共享资源访问的方法

信号量的实现：

    为什么信号量的实现就不会被中途打断呢，因为信号量是由操作系统来实现的，保证了PV操作的原子性，这也是其主要的优势。

classSemaphore{

   int sem;

   WaitQueue q;

}

Semaphore::P() {
    sem--;
    if(sem<0) {
        Add this thread t to q;
        block(p);
    }
}


Semaphore::V() {
    sem++;
    if(sem<=0) {
        Remove a thread t from q;
        Wakeup(p);
    }
}

二、信号量的使用

1.用信号量来实现临界区的互斥访问

注意：必须成对使用P()操作和V()操作

P()操作保证互斥访问临界区资源

V()操作在使用后释放临界区资源

PV操作不能次序颠倒、重复或者遗漏。

每类资源设置一个信号量，其初值为1

mutex = new Semaphore(1);
mutex->P();
Critical Section;
mutex->V();

2.用信号量实现条件同步

 

3.生产者消费者问题

 

三、管程

管程是一种用于多线程互斥访问共享资源的程序结构

管程与临界区的区别主要在第三条，可临时放弃。

管程可以有多个条件变量

管程与信号量的区别在于信号量初值为资源数，管程为0.

用管程解决生产者消费者问题：

可以吧PV操作集中到一个模块中，更容易实现。 

管程实现这个问题，把检查资源区是否是空满的状态放在管程内部，也就是在进入资源区之前，用信号量来实现就先进入临界区再判断。