经典进程的同步问题之——生产者&&消费者

1 、利用记录型信号量解决生产者——消费者问题

假定在生产者和消费者之间的公用缓冲池，具有n个缓冲区，这时可利用互斥信号量mutex实现诸进程对缓冲池的互斥使用。利用信号量empty和full分别表示缓冲池中空缓冲区和满缓冲区的数量。只要缓冲区未满生产者便可将消息送入缓冲区，只要缓冲区未空消费者便可从缓冲区取走一个消息。

 1 Var mutex,empty,full:semapthore:=1,n,0; // 声明互斥信号量mutex=1,n个空缓冲区,满缓冲区个数为0
 2     buffer:array[0,1,...,n-1] of item;
 3     in,out:integer:=0,0; // 输入、输出指针
 4     begin
 5         parbegin
 6             proceducer:begin
 7                         repeat
 8                         ...
 9                         proceducer an item nextp; // 生产一个产品
10                         ...
11                         wait(empty);      // 申请一个空缓冲区
12                         wait(mutex);      // 申请一个临界资源使用权
13                         buffer(in):=nextp;// 将产品放入缓冲池中
14                         in:=(in+1) mod n; // 输入指针向前移一个位置
15                         signal(mutex);    // 释放临界资源
16                         signal(full);     // 释放一个满缓冲区
17                         until false;
18                        end
19             consumer:begin
20                         repeat
21                             wait(full);         // 申请一个满缓冲区
22                             wait(mutex);        // 申请一个临界资源使用权
23                             nextc:=buffer(out); // 从缓冲池取走一个产品
24                             out:=(out+1) mod n; // 输出指针向前移一个位置
25                             signal(mutex);      // 释放临界资源
26                             signal(empty);      // 释放一个空缓冲区
27                             consumer the item in nextc;
28                         until false
29                      end
30         parend
31     end

2、利用AND信号量解决生产者——消费者问题（看懂了上面的详细分析，下面的伪代码就容易理解多了）

 1 Var mutex,empty,full:semapthore:=1,n,0;
 2     buffer:array[0,...,n-1] of item;
 3     in out:integer:=0,0;
 4 begin
 5     parbegin
 6         proceducer:begin
 7             repeat
 8              ...
 9              proceduce an item in nextp;
10              ...
11              Swait(empty,mutex);  // 同时申请一个空缓冲区和临界资源使用权
12              buffer(in):=nextp;
13              in:=(in+1)mod n;
14              Ssignal(mutex,full); // 同时释放一个临界资源和满缓冲区
15             until false
16           end
17         consumer:begin
18             repeat
19                 Swait(full,mutex);
20                 Nextc:=buffer(out);
21                 Out:=(out+1)mod n;
22                 Ssignal(mutex,empty);
23                 consumer the item in nextc;
24               until false;
25             end
26     parend
27 end

 

转载于:https://www.cnblogs.com/IamJiangXiaoKun/p/9466678.html