一、信号量
信号量是操作系统提供的一种协调共享资源访问的方法
信号量的实现:
为什么信号量的实现就不会被中途打断呢,因为信号量是由操作系统来实现的,保证了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操作集中到一个模块中,更容易实现。
管程实现这个问题,把检查资源区是否是空满的状态放在管程内部,也就是在进入资源区之前,用信号量来实现就先进入临界区再判断。