#操作系统# Chapter4并发进程-2 信号量机制-PV问题

本文详细探讨了操作系统中并发进程的信号量机制,通过一系列经典的PV问题实例,如哲学家吃饭问题、生产者消费者问题、读者写者问题等,阐述了互斥与同步的概念,并总结了P、V操作的使用规则及其重要性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

操作系统


Chapter4 并发进程-2 信号量机制(PV经典问题)

2018-12-25

例1 最简单的互斥问题(捡黑白子问题类似)

semaphore mutex;
mutex=1;
void Pi()
{
   
	……
	P(mutex);
	//使用打印机
	V(mutex);
}

例2 最简单的同步问题-缓冲区为1的生产者消费者问题

semaphore empty,full;
empty=1;
full=0;
void Producer()
{
   
	while(1)
	{
   
		//生产一个产品
		P(empty);
		//送产品到缓冲区
		V(full);
	}
}
void Consumer()
{
   
	while(1)
	{
   
		P(full);
		//从缓冲区取产品
		V(empty);
		//消费产品
	}
}

例3 哲学家吃通心面问题

问题描述:5个哲学家围坐在一圆桌旁,桌中央放置一盘通心面,每人面前有一只空盘子,每两人之间放一把叉子。哲学家思考、饥饿、吃通心面,且必须获得两把叉子才能进食。
(编号:5个哲学家编号0 ~4, 5把叉子编号0 ~4, 0号哲学家左手的叉子编号是0号且逆时针增加,哲学家的编号也逆时针增加)
1)会导致死锁

semaphore fork[0..4];
fork[i]=1;
void Ph_i()
{
   
	//思考
	//饥饿
	P(fork[i]);//申请左手边叉子
	P(fork[(i+1)%5]);//申请右手边叉子
	//吃通心面
	V(fork[i]);//释放左手边叉子
	V(fork[(i+1)%5]);//释放右手边叉子
}

2)解决死锁方法① 至多允许4个哲学家同时吃

semaphore fork[0..4];
fork[i]=1;
semaphore m;
m=4;//增加一个信号量限制并发进程数
void Ph_i()
{
   
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值