目录
课时五 死锁（一）
1.死锁的概念
2.死锁的预防
课时六 死锁（二）
1.死锁的避免
2.死锁的检测与解除
课时七 进程同步（一）
1.同步与互斥的基本概念
2.进程同步机制
课时八 进程同步（二）
2.信号量的基本应用
3.管程
课时九 进程同步（三）
1.生产者消费者问题
2.读者写者问题
3.哲学家进餐问题
银行家算法
void P0()
{
while(TRUE){
flag[0]= TRUE;
turn=1;
while(flag[1]&&(turn==1));
临界区;
flag[0]= FALSE;
}
}
void P1()
{
while(TRUE){
flag[1]= TRUE;
turn=0;
while(flag[0]&&(turn==0));
临界区;
flag[1]= FALSE;
}
}int x;
process P1{
int y,z;
x=1;
y=0;
if(x>=1)
y=y+1;
z=y;
}
process P2{
int t,u;
x=0;
t=0;
if(x<=1)
t=t+2;
u=t;
}
显然，两次执行结果不同，所以这两个并发进程不能正确运行。可将这个程序改为：
int x;
semaphore S=1;
process P1{
int y,z;
P(S);
x=1;
y=0;
if(x>=1)
y=y+1;
V(S);
z=y;
}
process P2{
int t,u;
P(S);
x=0;
t=0;
if(x<=1)
t=t+2;
V(S);
u=t;
}while(1){
生产一个产品 A;
P(empty1); //判断货架 F1 是否有空
P(mutex1); //互斥访问货架 F1
将产品 A 存放到货架 F1 上；
V(mutex1); //释放货架
F1 V(full1); //货架 F1 上的零件 A 的个数加 1
}B车间的工作过程可描述为：
while(1){
生产一个产品 B;
P(empty2); //判断货架 F2 是否有空
P(mutex2); //互斥访问货架 F2
将产品 B 存放到货架 F2 上；
V(mutex2); //释放货架 F2
V(full2); //货架 F2 上的零件 B 的个数加 1
}while(1){
P(full1); //判断货架 F1 是否有产品 A
P(mutex1); //互斥访问货架 F1
从货架 F1 上取一个 A 产品；
V(mutex1); //释放货架 F1 V(empty1); //货架 F1 上的空闲空间数加 1
P(full2); //判断货架 F2 是否有产品 B
P(mutex2); //互斥访问货架 F2
从货架 F2 上取一个 B 产品；
V(mutex2); //释放货架 F2
V(empty2); //货架 F2 上的空闲空间数加 1
将取得的 A 产品和 B 产品组装成成品；
}
解析：这个题目要解决：南、北互斥(桥上不允许两车交汇，相当于“读、写互斥”)，需要设置一个互斥信号量mutex，初值为 1；南、南共享（相当于“读、读共享”），套用实现“读、读共享”的模式，需要设置一个共享变量southcount，用于记录当前桥上向南行驶过桥的车辆数目，初值为 0，再设置一个互斥信号量smutex，实现对southcount的互斥访问；北、北共享（也相当于“读、读共享”），套用实现“读、读共享”的模式，同理可得。
semaphore mutex = 1;// 作为桥的互斥访问信号量
semaphore smutex = 1;// 作为 southcount 的互斥访问信号量
semaphore nmutex = 1;// 作为 northcount 的互斥访问信号量
int southcount = 0;// 记录南方向的车辆的数量
int northcount = 0;// 记录北方向的车辆的数量
void south(){
while(true){
wait(smutex);
if(southcount == 0)
wait(mutex);
southcount++;
signal(smutex);
// 南方车辆通过
wait(smutex);
southcount--;
if(southcount == 0)
signal(mutex);
signal(smutex);
}
}
void north()
{
while(true){
wait(nmutex);
if(northcount == 0)
wait(mutex);
northcount++;
signal(nmutex);
// 北方车辆通过
wait(nmutex);
northcount--;
if(northcount == 0)
signal(mutex);
signal(nmutex);
}
}semaphore bow1;
semaphore chopstick[n];
for(int i=0;i注：文章仅用于个人期末复习，资料来源蜂考，侵删。
你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧
