同步互斥相关习题10道 附详解

PV操作

2016

某系统允许最多10个进程同时读文件F,当同时读文件F的进程不满10个时,欲读该文件的其他文件可立即读,当已有10个进程在读文件F时读,其他欲读文件F的进程必须等待,直至有进程读完后退出方可去读

  1. 在实现管理时应采用同步方式还是互斥方式
  2. 写出用PV操作实现管理时应定义的信号量及其初值
  3. 写出进程并发执行时的程序

  1. 互斥
  2. 定义一个信号量S,初值S=10
semaphore S = 10;
process reader iP(S);read file F;V(S);
2015

什么是前趋图,用前趋图绘出下列程序段的前趋关系
S1 :a = x + y
S2 :b = z + 3
S3 :c = a + b
S4 :s = c + a


前趋图是一个有向无环图,用于描述进程之间执行的前后关系
![[Pasted image 20241118184722.png]]

2

在一个仓库中可以存放A和B两种产品,要求:

  1. 每次只能存入一种产品。
  2. A产品数量-B产品数量<M,其中M是正整数。
  3. B产品数量-A产品数量<N,其中N是正整数。
    假设仓库的容量是无限的,试用PV操作描述产品A和B的入库过程。

使用信号量mutex控制两个进程互斥访问临界资源仓库
使用同步信号量Sa和Sb分别表示产品A与B的还可容纳的数量差,以及产品B与A的还可容纳的数量差

semaphore Sa = M - 1, Sb = N - 1;
semaphore mutex = 1;process_A()
{while (1){P(Sa);P(mutex);A产品进入仓库;V(mutex);V(Sb);}
}process_B()
{while (1){P(Sb);P(mutex);B产品进入仓库;V(mutex);V(Sa);}
}
5

某寺庙有小和尚、老和尚若干,有一水缸,由小和尚提水入缸供老和尚饮用。
水缸可容10桶水,水取自同一井中。水井径窄,每次只能容一个桶取水。水桶总数为3个。每次入缸取水仅为1桶水,且不可同时进行。试给出有关从缸取水、入水的算法描述。


从井中取水并放入水缸是一个连续的动作,可视为一个进程
从缸中取水可视为另一个进程
设水缸与水井为临界资源,引入well和vat
三个水桶无论是从井中取水还是将水倒入水缸都是一次一个,给一个信号量pail,抢不到水桶的进程只好等待
水缸满时,不可以再放水,设置empty信号量来控制入水量
水缸空时,不可以取水,设置full信号量来控制

sempaphore well = 1;        // 用于互斥地访问水井
sempaphore vat = 1;         // 用于互斥地访问水缸
sempaphore empty = 10;      // 用于表示水缸中剩余空间能容纳的水的桶数
sempaphore full = 0;        // 表示水缸中的水的桶数
sempaphore pail = 3         // 表示有多少个水桶可以用,初值为3// 从水缸中打水
while (1)
{P(full);P(pail);P(vat);从水缸中打一桶水;V(vat);V(empty);喝水;V(pail);
}// 从井中打水
while (1)
{P(empty);P(pail);P(well);从井中打一桶水;V(well);P(vat);将水倒入水缸中;V(vat);V(full);V(pail);
}
6

如下图所示,三个合作进程P1,P2,P3,它们都需要通过同一设备输入各自的数据a,b,c,
该输入设备必须互斥地使用,而且其第一个数据必须由P1进程读取,第二个数据必须由P2进程读取,第三个数据必须由P3进程读取。
![[Pasted image 20241118185608.png]]

然后,三个进程分别对输入数据进行下列计算:
P1:x = a + b;
P2:y = a x b;
P3:z = y + c - a;
最后,P1进程通过所连接的打印机将计算结果x,y,Z的值打印出来。
请用信号量实现它们的同步。


为了控制三个进程依次使用输入设备进行输入,需要分别设置三个信号量S1,S2,S3,其中S1的初值为1,S2和S3的初值为0
使用上述信号量后,三个进程不会同时使用输入设备,因此不必再为输入设备设置互斥信号量
还需要设置信号量Sb,Sy,Sz来表示数据b是否已经输入,以及y,z是否已计算完成,它们的初值均为0
P1
S1初始为1,P(S1),申请S1,S1–
S2初始为0,V(S2),释放S2,S2++
计算x要用到b,申请Sb,P(Sb),Sb–
要打印xyz,要申请Sy和Sz,P(Sy),P(Sz)
P2
S2为1,P(S2),申请S2,S2–
S3初始为0,释放S3,S3++
Sb初始为0,当b输入完成后,V(Sb),Sb+1;
Sy初始为0,当计算完y后,V(Sy),释放一个y,Sy+1;
P3
输入数据c要用输入设备,申请S3,P(S3)
计算要使用y,所以要P(Sy),申请y
Sz初始为0,当计算完z后,V(Sz),释放一个z,Sz+1;

P1()
{P(S1);从输入设备输入数据a;V(S2);P(Sb);x = a + b;P(Sy);P(Sz);使用打印机打印出x,y,z的结果;
}P2()
{P(S2);从输入设备输入数据b;V(S3);V(Sb);y = a + b;V(Sy);
}P(3)
{P(S3);从输入设备输入数据c;P(Sy);z = y + c - a;V(Sz);
}
7

有桥如下图所示。车流方向如箭头所示。回答如下问题:

  1. 假设桥上每次只能有一辆车行驶,试用信号灯的PV操作实现交通管理。
  2. 假设桥上不允许两车交会,但允许同方向多辆车一次通过(桥上可有多辆同方向行驶的车)。试用信号灯的PV操作实现桥上的交通管理。
    ![[Pasted image 20241118185705.png]]

桥上每次只能有一辆车通过,所以只要设置一个互斥信号量bridge就可以判断桥是否使用
若在使用中,等到;若无人使用,则执行P操作进入;出桥后,执行V操作

semaphore bridge = 1;
NtoS()
{P(bridge);通过桥;V(bridge);
}StoN()
{P(bridge);通过桥;V(bridge);
}

桥上可以同方向多车行驶,需要设置bridge,还需要对同方向车辆计数,
为了防止同方向计数中同时申请bridge造成同方向不可同时行车的问题,需要对计数过程加以保护,因此设计信号量mutexSN和mutexNS

  • 计数器
    • countSN:记录当前正在从南到北过桥的汽车数量。
    • countNS:记录当前正在从北到南过桥的汽车数量。
  • 信号量
    • mutexSN:用于对 countSN 的访问提供互斥保护。
    • mutexNS:用于对 countNS 的访问提供互斥保护。
    • bridge:控制桥的访问,保证同一时刻只有一个方向的车可以通过桥。
  • 函数
    • P(semaphore):信号量的减操作(等待信号量)。
    • V(semaphore):信号量的加操作(释放信号量)。
从南到北
  1. 进入临界区
    • 调用 P(mutexSN) 获取对 countSN 的独占访问权限。
    • 检查 countSN 是否为 0:
      • 如果是 0,说明桥上没有从南到北方向的车。
      • 调用 P(bridge) 占用桥,防止其他方向的车进入。
    • 将 countSN 增加 1。
    • 释放 mutexSN,其他南向车辆可以检查 countSN。
  2. 过桥
    • 模拟车辆过桥的操作。
  3. 离开桥
    • 再次调用 P(mutexSN) 进入临界区,减少 countSN 的值。
    • 检查 countSN 是否为 0:
      • 如果是 0,说明当前方向的车辆已经全部过桥,释放桥的控制权(V(bridge))。
    • 释放 mutexSN。
  • 信号量保护
    • mutexSN 和 mutexNS 确保对计数器的访问是线程安全的。
    • bridge 确保同一时刻只有一个方向的车辆可以通过桥。
  • 连续性
    • 当桥上有一个方向的车辆在通行时,同方向的其他车辆可以加入,不需要等待桥的重新分配。
  • 方向切换
    • 当某一方向的最后一辆车离开桥后(countSN 或 countNS 变为 0),桥释放(调用 V(bridge)),另一方向的车可以进入桥。
int countSN = 0;        // 用于表示从南到北的汽车数量
int countNS = 0;        // 用于表示从北到南的汽车数量
semaphore mutexSN = 1;  // 用于保护 countSN
semaphore mutexNS = 1;  // 用于保护 countNS
semaphore bridge = 1;   // 用于互斥地访问桥StoN()
{P(mutexSN)if (countSN == 0)P(bridge);countSN++;V(mutexSN);过桥;P(mutexSN);countSN--;if (countSN == 0)V(bridge);V(mutexSN);
}NtoS()
{P(mutexNS)if (countNS == 0)P(bridge);countNS++;V(mutexNS);过桥;P(mutexNS);countNS--;if (countNS == 0)V(bridge);V(mutexNS);
}
9

设自行车生产线上有一个箱子,其中有N个位置(N≥3),每个位置可存放一个车架或一个车轮;又设有3名工人,其活动分别为:
工人1活动:

do
{加工一个车架;车架放入箱中;
}while(1)

工人2活动:

do
{加工一个车轮;车轮放入箱中;
}while(1)

工人3活动:

do
{箱中取一个车架;箱中取二个车轮;组装为一台车;
}while(1)

试分别用信号量与PV操作实现三名工人的合作,要求解中不含死锁。


首先不考虑死锁的问题,1和3,2和3构成生产者消费者关系,这两对关系通过共同的缓冲区相联系
箱子中的空位置相当于1和2的资源,车架和车轮相当于3的资源
为防止死锁的产生,箱子中车架的数量不可超过N-2,车轮的数量不可超过N-1

semaphore empty = N;       //空位置
semaphore wheel = 0;       //车轮
semaphore frame = 0;       //车架
semaphore s1 = N - 2;      //车架最大数
semaphore s2 = N - 1;      //车轮最大数工人1
do
{加工一个车架;P(S1);P(empty);车架放入箱子;V(frame);
}while (1);工人2
do
{加工一个车轮;P(S2);P(empty);车轮放入箱子;V(wheel);
}while (1);工人3
do
{P(frame);取一个车架;V(empty);V(S1);P(wheel);P(wheel);取两个车轮;V(empty);V(empty);V(S2);V(S2);组装;
}while (1);
10

设P,Q,R共享一个缓冲区,P,Q构成一对生产者-消费者,R既为生产者又为消费者,若缓冲区为空,则可以写入;若缓冲区不空,则可以读出。
使用PV操作实现其同步。


设三个信号量,full,empty,mutex,
full和empty用来控制缓冲区状态,mutex用来互斥进入
R既为消费者又是生产者,因此必须在执行前判断状态,若empty = 1,则执行生产者功能;若full = 1,执行消费者功能

semaphore full = 0;
semaphore empty = 1;
semaphore mutex = 1;process P()
{while (true){P(empty);P(mutex);Product One;v(mutex);V(full);}
}process Q()
{while (true){P(full);P(mutex);Consume One;v(mutex);V(empty);}
}process R()
{if (empty == 1){P(empty);P(mutex);Product One;v(mutex);V(full);	}if (full == 1){P(full);P(mutex);Consume One;v(mutex);V(empty);}
}
12

假设一个录像厅有1,2,3三种不同的录像片可由观众选择放映,录像厅的放映规则如下:

  1. 任意时刻最多只能放映一种录像片,正在放映的录像片是自动循环放映的,最后一名观众主动离开时结束当前录像片的放映。
  2. 选择当前正在放映的录像片的观众可立即进入,允许同时有多位选择同一种录像片的观众同时观看,同时观看的观众数量不受限制。
  3. 等待观看其他录像片的观众按到达顺序排队,当一种新的录像片开始放映时,所有等待观看该录像片的观众可依次序进入录像厅同时观看。
    用一个进程代表一个观众,
    要求:用信号量方法PV操作实现,并给出信号量定义和初始值。

电影院一次只能放映一部影片,希望观看另外两部的用户只能等待
分别为三个影片设置三个信号量s0,s1,s2,初值分别为1,1,1
电影院一次只能放一部影片,需要互斥使用
由于观看影片的观众有多个,必须分别设置三个计数器,统计观众个数
计数器是共享变量,需要互斥使用

  • 共享资源控制信号量:s
    • s 是一个二元信号量,控制资源访问权限。
    • 任意一个组的进程在访问共享资源前,必须获得 s,而当所有该组进程退出资源时,才释放 s
  • 组内进程同步信号量:s0, s1, s2
    • 每个组的进程都有一个独立的信号量(如 s0, s1, s2),用于保护对组内计数器 count0, count1, count2 的操作,防止多个进程同时修改这些计数器导致竞态条件。
  • 计数器:count0, count1, count2
    • 每组都有一个计数器,用于记录当前正在访问共享资源的该组进程数目。
    • 第一个进入共享资源的进程会锁定资源,最后一个退出资源的进程会解锁资源。

程序运行流程

process 1()
  1. 进入资源时:
    • 获取组信号量 s0,修改组计数器 count0
    • 如果是第一个进入资源的进程(count0 == 1),锁定共享资源信号量 s
    • 释放组信号量 s0,允许其他进程修改组计数器。
    • 进入资源(看影片)。
  2. 退出资源时:
    • 获取组信号量 s0,修改组计数器 count0
    • 如果是最后一个退出资源的进程(count0 == 0),释放共享资源信号量 s
    • 释放组信号量 s0

核心功能

  • 互斥访问:
    • 每个组的进程在访问共享资源时,确保独占。
    • 使用 s 信号量控制资源访问,防止不同组的进程同时访问资源。
  • 组内进程同步:
    • 同组的进程可以同时访问资源。
    • 使用 s0, s1, s2 信号量保护对计数器的访问,防止竞态条件。
semaphore s = 1, s0 = 1, s1 = 1, s2 = 1;
int count0 = 0, count1 = 0, count2 = 0;process 1()
{P(s0);count0 = count0 + 1;if (count0 == 1)P(s);V(s0);看影片;P(s0);count0 = count0 - 1;if (count0 == 0)V(s);V(s0);
}process 2()
{P(s1);count1 = count1 + 1;if (count1 == 1)P(s);V(s1);看影片;P(s1);count1 = count1 - 1;if (count1 == 0)V(s);V(s1);
}process 1()
{P(s2);count2 = count2 + 1;if (count2 == 1)P(s);V(s2);看影片;P(s2);count2 = count2 - 1;if (count2 == 0)V(s);V(s2);
}
13

设公共汽车上驾驶员和售票员的活动分别如下图所示。
![[Pasted image 20241118195422.png]]

驾驶员的活动:启动车辆,正常行车,到站停车;
售票员的活动:关车门,售票,开车门。
在汽车不断地到站、停车、行驶的过程中,这两个活动有什么同步关系?
用信号量和PV操作实现它们的同步。


汽车行驶过程中,驾驶员活动与售票员活动之间的同步关系为,
售票员关门后,向驾驶员发开车信号,驾驶员接到开车信号后启动车辆,在汽车行驶过程中售票员售票,到站时驾驶员停车,售票员在车停后开门让乘客下车
驾驶员启动车辆的动作必须与售票员关车门的动作同步
售票员开门的动作必须与驾驶员停车同步
应设置两个信号量S1,S2
S1表示是否允许驾驶员启动汽车,初值为0
S2表示是否允许售票员开门,初值为0

主要信号量分析

  • S1 信号量:
    • 初值为 0,表示通知司机开始开车
    • 售票员在关车门后通过 V(S1) 通知司机开车。
    • 司机通过 P(S1) 等待售票员的通知。
  • S2 信号量:
    • 初值为 0,表示通知售票员可以开车门和上下乘客
    • 司机在停车后通过 V(S2) 通知售票员。
    • 售票员通过 P(S2) 等待司机的通知。

程序的同步机制

  • 售票员和司机同步:
    • 售票员调用 V(S1) 后,司机通过 P(S1) 接收到通知,开始驾驶。
    • 司机调用 V(S2) 后,售票员通过 P(S2) 接收到通知,开车门并上下乘客。
  • 过程的互斥和顺序控制:
    • 售票员不能在司机开车前打开车门(需要等待司机通知)。
    • 司机不能在售票员关车门之前开始驾驶(需要等待售票员通知)。
semaphore S1 = 0, S2 = 0;process driver()
{while (1){P(S1);Start;Driving;Stop;V(S2);}
}process Conductor()
{while (1){关车门;V(S1);售票;P(S2);开车门;上下乘客;}
}
  • 售票员关车门并通知司机准备开车。
  • 司机开车、驾驶、停车,并通知售票员完成驾驶。
  • 售票员开车门,进行上下乘客的操作。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/diannao/61103.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Postman之数据提取

Postman之数据提取 1. 提取请求头\request中的数据2. 提取响应消息\response中的数据3. 通过正在表达式提取4. 提取cookies数据 本文主要讲解利用pm对象对数据进行提取操作&#xff0c;虽然postman工具的页面上也提供了一部分的例子&#xff0c;但是实际使用时不是很全面&#…

【专题】数据库原理与应用之故障恢复

1. 数据库故障恢复概述 数据库的可恢复性&#xff1a; DBMS能把数据库从被破坏、不正确的状态、恢复到最近一个正确的状态。 恢复管理任务的种类&#xff1a; 一是在未发生故障而系统正常运行时&#xff0c;采取一些必要措施为恢复工作打基础。 二是在发生故障后进行恢复处…

EXCEL 或 WPS 列下划线转驼峰

使用场景&#xff1a; 需要将下划线转驼峰&#xff0c;直接在excel或wps中第一行使用公式&#xff0c;然后快速刷整个列格式即可。全列工下划线转为格式&#xff0c;使用效果如下&#xff1a; 操作步骤&#xff1a; 第一步&#xff1a;在需要显示驼峰的一列&#xff0c;复制以…

MODBUS TCP转CANOpen网关

Modbus TCP转CANopen网关 型号&#xff1a;SG-TCP-COE-210 产品用途 本网关可以实现将CANOpen接口设备连接到MODBUS TCP网络中&#xff1b;并且用户不需要了解具体的CANOpen和Modbus TCP 协议即可实现将CANOpen设备挂载到MODBUS TCP接口的 PLC上&#xff0c;并和CANOpen设备…

分布式----Ceph部署

目录 一、存储基础 1.1 单机存储设备 1.2 单机存储的问题 1.3 商业存储解决方案 1.4 分布式存储&#xff08;软件定义的存储 SDS&#xff09; 1.5 分布式存储的类型 二、Ceph 简介 三、Ceph 优势 四、Ceph 架构 五、Ceph 核心组件 #Pool中数据保存方式支持两种类型&…

自动驾驶系列—面向自动驾驶的模型迭代:工具、平台与最佳实践

&#x1f31f;&#x1f31f; 欢迎来到我的技术小筑&#xff0c;一个专为技术探索者打造的交流空间。在这里&#xff0c;我们不仅分享代码的智慧&#xff0c;还探讨技术的深度与广度。无论您是资深开发者还是技术新手&#xff0c;这里都有一片属于您的天空。让我们在知识的海洋中…

Spring Boot3自定义starter

1、加入必要依赖 plugins {id javaid org.springframework.boot version 3.2.6id io.spring.dependency-management version 1.1.5 } group org.example.test.starter version 1.1.0jar{enabledtrue// resolveMainClassName }java {toolchain {languageVersion JavaLanguage…

AI开发-计算机视觉库-OpenCV

1 需求 官网&#xff1a;OpenCV - Open Computer Vision Library 2 接口 3 示例 import cv2image cv2.imread("./data/train/1_1.jpg") print(type(image)) 4 参考资料

delphi fmx android 离线人脸识别

搜遍全网都没有找到delphi android 能用的 离线人脸识别,无需注册什么开发者 有这方面需求的可以用fsdk 这边用的luxand.FSDK8.0 android下的注册号要自己找下 1,用老猫的工具将android 下的sdk,FSDK.java 编译成FSDK.jar 老猫的工具 2,用上面的工具将FSDK.jar 生成de…

RabbitMQ教程:工作队列(Work Queues)(二)

RabbitMQ教程&#xff1a;工作队列&#xff08;Work Queues&#xff09;&#xff08;二&#xff09; 一、引言 在快节奏的软件开发世界中&#xff0c;我们经常面临需要异步处理任务的场景&#xff0c;比如在Web应用中处理耗时的图片处理或数据分析任务。这些任务如果直接在用…

乐维网管平台(七):网络稳定与高效的“安全锦囊”

试想一下&#xff0c;你给电脑升级了一个软件&#xff0c;升级完成后发现有BUG&#xff0c;经常无故卡死&#xff0c;这时候想回退或重新安装旧版本…相对地&#xff0c;一家企业的网络管理员&#xff0c;在对公司的核心交换机进行复杂的配置调整时&#xff0c;一个小小的疏忽&…

时代变迁对传统机器人等方向课程的巨大撕裂

2020年之后&#xff0c;全面转型新质课程规划&#xff0c;传统课程规划全部转为经验。 农耕-代表性生产关系-封建分配制度主要生产力-人力工业-代表性生产关系-资本分配制度工业分为机械时代&#xff0c;电气时代&#xff0c;信息时代&#xff1b;主要生产力-人力转为人脑&…

Spring6 AOP 面向切面编程

1. 概念 面向切面编程&#xff1a;一种编程思想。proxy动态代理&#xff08;实现了这种思想&#xff09;&#xff1a;在原方法执行时&#xff0c;给原方法的前面或着后面增加其他的方法。增加的方法并不会写在原方法中 原方法就是目标方法&#xff0c;增加的方法就是代理方法 …

计算机组成与原理(2) basic of computer architecture

Instruction Set Architecture (ISA) 和 Hardware System Architecture (HSA) 是计算机体系结构中两个重要的层次&#xff0c;它们各自的职责和作用如下&#xff1a; Instruction Set Architecture (ISA) 定义 ISA是指令集体系结构&#xff0c;是硬件和软件之间的接口。它定义…

window的wsl(Ubuntu)安装kafka步骤

环境&#xff1a;Win11 WSL(Linux子系统Ubuntu) apache-zookeeper-3.9.3-bin kafka_2.12-3.8.1 思路&#xff1a;apache上分别下载zookeeper和kafka&#xff0c;在wsl环境安装。在kafka上创建消息的topic&#xff0c;发送消息&#xff0c;接受消息&#xff0c;验证是否安…

数据结构树和二叉树知识点和递归序列

二叉树知识点 一.树的概念1.1关于树的名词解释 二.二叉树的概念1. 二叉树性质&#xff1a; 三.满二叉树与完全二叉树递归前序遍历递归中序遍历递归后续遍历 一.树的概念 树是一种非线性数据结构&#xff0c;它是由n个或大于n个的结点来组成具有层次关系的一个集合&#xff08;…

速通前端篇 —— CSS

找往期文章包括但不限于本期文章中不懂的知识点&#xff1a; 个人主页&#xff1a;我要学编程程(ಥ_ಥ)-CSDN博客 所属专栏&#xff1a;速通前端 目录 CSS的介绍 基本语法规范 CSS选择器 标签选择器 class选择器 id选择器 复合选择器 通配符选择器 CSS常见样式 颜…

使用 Elastic 3 步实现基于 OTel 的原生 K8s 和应用可观测性

作者&#xff1a;来自 Elastic Bahubali Shetti Elastic 的 OpenTelemetry 发行版现已支持 OTel Operator&#xff0c;可使用 EDOT SDK 自动检测应用程序&#xff0c;并管理 EDOT OTel Collector 的部署和生命周期以实现 Kubernetes 可观察性。了解如何通过 3 个简单步骤进行配…

stack、queue、priority_queue、deque的使用和模拟实现

目录 1.容器适配器 2.stack stack的常用接口及使用示例 stack的模拟实现 3.queue queue的常用接口及使用示例 queue的模拟实现 4.priority_queue priority_queue的常用接口及使用示例 priority_queue的模拟实现 5.deque 认识deque deque底层的数据结构 deque和ve…

Linux的cuDNN(cudnn)安装教程(CUDA(cuda\cuda toolkit))

CUDA(cuda\cuda toolkit&#xff09;安装教程 https://blog.csdn.net/huiyayaya/article/details/143863835?spm1001.2014.3001.5502官网下载cudnn https://developer.nvidia.com/rdp/cudnn-archive这个下载到自己的电脑 下载到本地就好 复制到服务器 切换到cudnn文件所在目…