操作系统：读者-写者问题

待我称王封你为后i 2022-04-16 06:11 261阅读 0赞

读者写者问题：哲学家就餐问题对于互斥访问有限资源的竞争问题（如I/O设备）一类的建模过程十分有用。另一个著名的问题是读者-写者问题（Courtois 等人，1971），它为数据库访问建立了一个模型。例如，设想一个飞机订票系统，其中有许多竞争的进程试图读写其中的数据。多个进程同时读数据库是可以接受的，但如果一个进程正在更新（写）数据库，则所有的其他进程都不能访问该数据库，即使读操作也不行。

所有等待的情况：

（一）写者要等到没有读者的时候才能去写文件

（二）所有读者要等待写者写完文件后才能去读文件

伪代码：

Var rmutex,wmutex:semaphore:=1

readcount:integer:=0

begin

repeat;

wait(rmutex);

readcount = readcount +1;

if readcount =1 then

wait(wmutex);

signal(rmutex);

读数据

wait(rmutex);

readcount := readcount -1;

if readcount =0 then

signal(wmutex);

signal(rmutex);

forever;

end;

begin

repeat:

wait(wmutex);

写数据

signal(wmutex);

forever;

end;

生产者消费者问题：生产者进程生产产品，放入缓冲区供消费者进程使用，为了使二者可以并发执行，设置缓冲区，大小为n。两进程必须保持同步，既不允许消费者进程到空缓冲区去取产品，设置信号量full，也不允许生产者进程去满缓冲区投放产品，设置信号量empty。

整型信号量可能使进程处于"忙等状态"，不符合同步机制的"让权等待原则"，下面考虑使用记录型信号量和信号量集来解生产者消费者问题。

（1）记录型信号量

所有等待的情况

（一）：生产进程要等待缓存消费者进程消费完

（二）：消费者进程要等待生产者生产完

伪代码：

Var mutex,empty,full:semaphore:=1,n,0;

buffer:array\[0,...，n-1\] of item;

in,out:integer:=0,0;

begin

parbegin

proceducer:begin

repeat

生产者生产消息;

wait(empty);

wait(mutex);

buffer(in):=nextp;

in:=(in+1) mod n;

signal(mutex);

signal(full);

until false;

end

consumer:begin

repeat

wait(full);

wait(mutex);

nextc:=buffer(out);

out:=(out+1) mod n;

signal(mutex);

signal(empty);

end

parend

end

哲学家进餐问题：五个哲学家共用一个圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五只筷子，平时哲学家进行思考，饥饿时便试图取用其左右最靠近它的筷子，只有拿到两个筷子时才能进餐。

Var chopsticks array\[0,...,4\] of semaphore:=(1,1,1,1,1);

process

repeat

think;

Sswait(chopstick\[(i+1) mod 5\],chopstick\[i\]);

eat;

Ssignal(chopstick\[(i+1) mod 5\],chopstick\[i\]);

until false;

P、V操作

记录型信号量

type semaphore=record

value:integer;

L:list of process;

end

procedure wait(S)

var S:semaphore;

begin

S.value:=S.value-1;

if S.value<0 then block(S.L)

end

procedure signal(S)

var S:semaphore;

begin

S.value:=S.value+1;

if S.value<=0 then wakeup(S.L)

end

发表评论取消回复

表情：

评论列表（有 0 条评论，261人围观）

还没有评论，来说两句吧...

相关阅读

相关读者--写者问题

读者--写者问题问题描述问题分析如何实现总结问题描述有读者和写者两组并发进程,共享一个文件,当两个或两个以上的读进程同时访问共

小鱼儿/ 2023年10月05日 13:48/ 0 赞/ 52 阅读

相关 2.7操作系统（读者—写者问题哲学家进餐问题管程）

目录 1.读者—写者问题 2.哲学家进餐问题实现 3.管程 1.为什么要引入管程？ 2.管程的定义和基本特征 3.扩展1：用管程解决生产者消费者问题 4

绝地灬酷狼/ 2023年10月01日 21:44/ 0 赞/ 18 阅读

相关读者—写者问题

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhp

朱雀/ 2023年07月17日 04:52/ 0 赞/ 143 阅读

相关读者写者问题----读者优先(python测试）

读者写者问题----读者优先(python测试）问题描述限制条件利用读者优先策略测试输出总结问题描述 >

逃离我推掉我的手/ 2023年06月06日 10:47/ 0 赞/ 16 阅读

相关操作系统【信号量集机制、“读者-写者”问题】

> ![20210409211326373.png][] > > ![20210409210905367.png][] > > 0、信号量机制应用引导篇.flv >

本是古典何须时尚/ 2022年11月17日 13:49/ 0 赞/ 162 阅读

相关操作系统之读者与写者问题

问题: 首先,有一个共享文件,可以让同时多个读者读,但只要有一个读者在读,就不允许写者写文件,即是说当写者写的时候,只允许一个写者写,其他到来的读者和新到来的写者等待.

一时失言乱红尘/ 2022年07月14日 13:29/ 0 赞/ 173 阅读

相关 [转]: 读者写者问题（读写锁问题）

多进程对共享资源互斥访问及进程同步的经典问题设有一文件F，多个并发读进程和写进程都要访问，要求： (1)读写互斥 (2)写写互斥 (3)允许多个读进程同时访问采用

亦凉/ 2022年07月12日 13:53/ 0 赞/ 180 阅读

相关读者_写者模型

一.读者\_写者模型我们知道在一些程序中存在读者写者问题，就是对某些资源的访问会存在两种可能的情况：一种就是写操作，写操作是可以独占资源的，也就是具有排他性；另一种情况

短命女/ 2022年07月12日 13:15/ 0 赞/ 285 阅读

相关操作系统：读者-写者问题

读者写者问题：哲学家就餐问题对于互斥访问有限资源的竞争问题（如I/O设备）一类的建模过程十分有用。另一个著名的问题是读者-写者问题（Courtois 等人，1971），它为数据

待我称王封你为后i/ 2022年04月16日 06:11/ 0 赞/ 262 阅读

相关同步机制—读者写者问题

【实验目的】理解临界区和进程互斥的概念，掌握用信号量和PV操作实现进程互斥的方法。【实验内容】在windows或者linux环境下编写一个控制台应用程序，该程序运行

朱雀/ 2021年11月09日 00:18/ 0 赞/ 401 阅读