【王道考研 操作系统】【第二章】进程同步、进程互斥的实现方法 软件&硬件 优点&缺点 信号量机制

本文详细介绍了进程同步、进程互斥的概念和实现方法,包括软件和硬件层面的解决方案。重点讨论了信号量机制,如整型和记录型信号量,并通过经典问题如生产者-消费者、读者-写者和哲学家问题,阐述了如何使用信号量实现进程的互斥和同步。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

第一章【王道考研 操作系统】【第一章】操作系统的概述、特征、发展、体系结构 中断与系统调用

第二章 1~5【王道考研 操作系统】【第二章】进程概念 进程控制 进程通信 线程概念和多线程模型

第二章 6~8【王道考研 操作系统】【第二章】处理机调度 进程调度算法

第二章

9. 进程同步、进程互斥

 进程具有 异步性 的特征,异步性是指,各并发执行的进程以各自独立的、不可预知的速度向前推进。

9.1 进程同步

 进程具有 异步性 的特征。异步性是指,各并发执行的进程以各自独立的、不可预知的速度向前推进,因此并发操作的 先后顺序 是不确定的。

进程同步 即解决异步中进程先后顺序不确定的问题,让并发的进程按要求 有序地推进

image-20220302160743212

9.2 进程互斥

 进程的并发需要 共享 的支持。各个并发执行的进程不可避免的需要共享一些系统资源。

临界资源 指一个时间段内只允许一个进程使用的资源。对临界资源的访问,必须 互斥 地进行。
进程互斥 指当一个进程访问某临界资源时,另一个想要去访问该临界资源的进程必须等待;当前访问临界资源的进程访问结束、释放资源之后,另一个进程才能去访问。

9.2.1 实现过程

临界区 是进程中访问临界资源的代码段;进入区退出区 是负责实现互斥的代码段。

image-20220302161234210

9.2.2 实现互斥须遵循的 原则
  1. 空闲让进:临界区空闲时,允许一个请求进入临界区的进程立即进入临界区;
  2. 忙则等待:当已有进程进入临界区时,其他试图进入临界区的进程必须等待;
  3. 有限等待:对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿);
  4. 让权等待:当进程不能进入临界区时,应立即释放处理机,防止进程忙等待。
9.2.3 软件实现方法
  • 单标志法

    两个进程再访问完临界区后会把使用临界区的权限转交给另一个进程,即 每个进程进入临界区的权限只能被另一个进程赋予。(设置 当前允许进入临界区的进程号)<

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值