操作系统【OS】Ch2 大题 PV题型分类

  • 生产者-消费者问题:生产资源-消费资源
  • 理发师问题:服务-被服务
  • 读者-写者问题:同类进程不互斥、异类进程互斥
  • 哲学家进餐问题:只有一类进程,每个进程需要同时拥有多种资源才能运行
  • 单纯的同步问题:前驱后继图

生产者-消费者问题

  • 有几类进程?
    • 每类进程对应一个函数
  • 在每个函数内部,用中文描述进程动作
    • 只做一次:不加whlie
    • 不断重复:加while(1)
  • 分析每一动作之前是否需要p什么?
    • ⚠️隐含的互斥(eg 缓冲区的访问,需要加:P(mutex))
  • 只要有P必定有V,每写一个P,就要安排V
  • 所有PV写完之后,再去定义信号量(semaphore)
  • 定义完之后思考每个信号量的初值是多少
  • 检查多个P连续出现的地方是否可能产生死锁
    • ⚠️可以尝试调整P顺序
    • 若某个信号量PV操作总连续出现,中间没有夹其他P,则不可能因信号量产生死锁
  • 读题检查,是否满足题目要求

哲学家进餐问题

无脑让进程一口气取得所有的资源,再开始运行

- 定义大锁:``Semophore Lock = 1; //互斥信号量

- 定义资源数:

复制代码
`//eg:有a、b、c三类资源,分别有9个、8个、5个,则:`

`int a = 9; // 表示a的剩余数量`

`int b = 8; // 表示b的剩余数量`

`int c = 5; // 表示c的剩余数量`

- 代码模版:

复制代码
`Process(){`

` while(1){`

` P(Lock);`

` if(所有资源都够){`

` 所有资源的int值减少; //题目回告知每类资源需要多少个。`

` 取xxx资源; //一口气拿走所有的资源。`

` `V(Lock);` //拿完资源解锁 `

` `break;` //跳出while循环`

` }`

` `V(Lock);` //资源不够,解锁,再循环尝试一次`

` }`

` 做进程该做的事情(例如:哲学家干饭)// 用中文说明即可。`

` `P(Lock);

` 归还所有资源,所有资源的int值增加。`

` `V(Lock);

`}`

读者-写者问题

题目没有要求避免饥饿的话,用最简单的方法(读优先)可以得满分

- 读者优先:

复制代码
`semaphore lock = 1; // 用于实现对共享文件的互斥访问`

`int count = 0; //记录当前有几个读进程在访问文件`

`semaphore mutex = 1; //用于保证对count变量的互斥访问`

` `

`writer(){`

` while(1){`

` P(lock); // 写之前上锁`

` write;`

` V(lock); // 写完了解锁`

` }`

`}`

` `

`reader(){`

` while(1){`

` P(mutex); //各个进程互斥访问count`

` if(count == 0) P(lock); //第一个读者,读之前帮他的兄弟们上锁`

` count ++; //访问文件的读进程数+1`

` V(mutex);`

` `

` read;`

` `

` P(mutex); //各个进程互斥访问count`

` count----; //访问文件的读进程数-1`

` if(count == 0) V(lock); //最后一个读进程负责解锁`

` V(mutex);`

` }`

`}`
相关推荐
于齐龙7 分钟前
2025年12月18日 - 数据结构
408
_OP_CHEN15 分钟前
【Linux系统编程】(十八)Linux 进程创建与终止进阶:等待机制与程序替换的底层密码
linux·服务器·操作系统·进程·进程等待·进程替换·exec函数族
蒙奇D索大39 分钟前
【数据结构】考研408 | 散列查找性能剖析:装填因子、冲突策略与优化全攻略
数据结构·考研·算法·哈希算法·改行学it
柏木乃一15 小时前
进程(6)进程切换,Linux中的进程组织,Linux进程调度算法
linux·服务器·c++·算法·架构·操作系统
阿恩.77020 小时前
材料工程科技期刊征稿:快速发表,知网、维普检索!
经验分享·笔记·考研·网络安全·数学建模·能源·制造
元亓亓亓1 天前
考研408--组成原理--day10--指令执行过程&数据通路&硬布线控制器
考研·指令·408·组成原理·硬布线控制器
_OP_CHEN1 天前
【Linux系统编程】(十七)揭秘 Linux 进程创建与终止:从 fork 到 exit 的底层逻辑全解析
linux·运维·服务器·操作系统·shell·进程·进程创建与终止
元亓亓亓1 天前
考研408--计算机网络--day10--传输层&UDP&TCP
tcp/ip·计算机网络·考研·udp·408
阿恩.7702 天前
前沿科技计算机国际期刊征稿:电子、AI与网络计算
人工智能·经验分享·笔记·计算机网络·考研·云计算
疯疯癫癫才自由2 天前
26华南理工大学软件工程考研复试辅dao
考研·软件工程