进程同步经典问题
- 格式：doc
- 大小：40.00 KB
- 文档页数：3
当前位置：文档之家 › 进程同步经典问题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
P(full2)；
P(mutex)；
Take from buffer1[out1] and buffer2[out2]中的A、B零件；
out1：=(out1+1) mod m；
out2：=(out2+1) mod m；
V(mutex)；
V(empty1)；
V(empty2)；
把A和B装配成产品；
until false
}
process producerB
{ repeat
P(empty2)；
P(sb)；
P(mutex)；
Buffer2[in2]：=B零件；
in2：=(in2+1) mod m；
V(mutex)；
V(sa)；
V(full2)；
untile Biblioteka Baidualse；
}
process take
{ repeat
P(full1)；
读者进入阅览室的动作描述getin：
while(TRUE){
P (seats); /*没有座位则离开*/
P（mutex）/*进入临界区*/
填写登记表;
进入阅览室读书;
V（mutex）/*离开临界区*/
V（readers）
}
读者离开阅览室的动作描述getout：
while(TRUE){
P（readers）/*阅览室是否有人读书*/
B1empty缓冲区B1空，初值1
B2full缓冲区B2满，初值0
B2empty缓冲区B2空，初值1
3、有一个阅览室，共有100个座位，读者进入时必须先在一张登记表上登记，该表为每一座位列一表目，包括座号和读者姓名等，读者离开时要消掉登记的信息，试用PV操作描述读者进程之间的同步关系。
算法的信号量有三个：seats——表示阅览室是否有座位（初值为100，代表阅览室的空座位数）；readers——表示阅览室里的读者数，初值为0；用于互斥的mutex，初值为1。
var empty1，empty2，full1，full2：semaphore；
mutex，sa，sb：semaphore；
in1，in2，out1，out2：integer；
buffer1，buffer2：array [0..m-1] of item；
empty1：=empty2：=m；
sa：=sb：=n；
in1：=in2：=out1：=out2：=0；
cobegin
{
process producer A
{ repeat
P(empty1)；
P(sa)；
P(mutex)；
buffer1[in1]：=A零件；
in1：=(in1+1) mod m；
V(mutex)；
V(sb)；
V(full1)；
untile false；
1、有一个仓库可存放A、B两种零件，最大库容量各为m个。生产车间不断地取A和B进行装配，每次各取一个。为避免零件锈蚀，按先入库者先出库的原则。有两组供应商分别不断地供应A和B，每次一个。为保证配套和合理库存，当某种零件比另一种零件超过n(n<m)个时，暂停对数量大的零件的进货，集中补充数量少的零件。试用信号量与P、V操作正确地实现它们之间的同步关系。
}
}
coend.
2、设有输入进程INPUT，缓冲区B1接纳输入内容。进程MAKER对B1中的内容加工后移送到B2。进程OUTPUT负责从B2中取出内容进行打印。设有一个无穷序列供INPUT输入，B1与B2的大小相同。请用PV过程写出三个进程同步工作的过程。
系统设置四个信号量：
B1full缓冲区B1满，初值0
P（mutex）/*进入临界区*/
消掉登记；
离开阅览室；
V（mutex）/*离开临界区*/
V（seats）/*释放一个座位资源*/
}
P(mutex)；
Take from buffer1[out1] and buffer2[out2]中的A、B零件；
out1：=(out1+1) mod m；
out2：=(out2+1) mod m；
V(mutex)；
V(empty1)；
V(empty2)；
把A和B装配成产品；
until false
}
process producerB
{ repeat
P(empty2)；
P(sb)；
P(mutex)；
Buffer2[in2]：=B零件；
in2：=(in2+1) mod m；
V(mutex)；
V(sa)；
V(full2)；
untile Biblioteka Baidualse；
}
process take
{ repeat
P(full1)；
读者进入阅览室的动作描述getin：
while(TRUE){
P (seats); /*没有座位则离开*/
P（mutex）/*进入临界区*/
填写登记表;
进入阅览室读书;
V（mutex）/*离开临界区*/
V（readers）
}
读者离开阅览室的动作描述getout：
while(TRUE){
P（readers）/*阅览室是否有人读书*/
B1empty缓冲区B1空，初值1
B2full缓冲区B2满，初值0
B2empty缓冲区B2空，初值1
3、有一个阅览室，共有100个座位，读者进入时必须先在一张登记表上登记，该表为每一座位列一表目，包括座号和读者姓名等，读者离开时要消掉登记的信息，试用PV操作描述读者进程之间的同步关系。
算法的信号量有三个：seats——表示阅览室是否有座位（初值为100，代表阅览室的空座位数）；readers——表示阅览室里的读者数，初值为0；用于互斥的mutex，初值为1。
var empty1，empty2，full1，full2：semaphore；
mutex，sa，sb：semaphore；
in1，in2，out1，out2：integer；
buffer1，buffer2：array [0..m-1] of item；
empty1：=empty2：=m；
sa：=sb：=n；
in1：=in2：=out1：=out2：=0；
cobegin
{
process producer A
{ repeat
P(empty1)；
P(sa)；
P(mutex)；
buffer1[in1]：=A零件；
in1：=(in1+1) mod m；
V(mutex)；
V(sb)；
V(full1)；
untile false；
1、有一个仓库可存放A、B两种零件，最大库容量各为m个。生产车间不断地取A和B进行装配，每次各取一个。为避免零件锈蚀，按先入库者先出库的原则。有两组供应商分别不断地供应A和B，每次一个。为保证配套和合理库存，当某种零件比另一种零件超过n(n<m)个时，暂停对数量大的零件的进货，集中补充数量少的零件。试用信号量与P、V操作正确地实现它们之间的同步关系。
}
}
coend.
2、设有输入进程INPUT，缓冲区B1接纳输入内容。进程MAKER对B1中的内容加工后移送到B2。进程OUTPUT负责从B2中取出内容进行打印。设有一个无穷序列供INPUT输入，B1与B2的大小相同。请用PV过程写出三个进程同步工作的过程。
系统设置四个信号量：
B1full缓冲区B1满，初值0
P（mutex）/*进入临界区*/
消掉登记；
离开阅览室；
V（mutex）/*离开临界区*/
V（seats）/*释放一个座位资源*/
}