操作系统:进程与线程(二)同步与互斥A

一战成硕

    • [2.3 同步与互斥](#2.3 同步与互斥)
      • [2.3.1 同步与互斥的基本概念](#2.3.1 同步与互斥的基本概念)
      • [2.3.2 实现临界区互斥基本方法](#2.3.2 实现临界区互斥基本方法)
      • [2.3.3 互斥锁](#2.3.3 互斥锁)
      • [2.3.4 信号量](#2.3.4 信号量)

2.3 同步与互斥

2.3.1 同步与互斥的基本概念

  1. 临界资源
    将一次仅允许一个进程使用的资源称为临界资源。
    许多物理设备均属于临界资源,如打印机,此外,还有许多变量数据等,可以被若干进程共享,也属于临界资源。
    对于临界资源的访问,必须互斥地进行,在每个进程中,访问临界资源的那段代码称为临界区,为了保证临界资源的正确使用,可把临界资源访问过程分为四个部分:
    1)进入区
    2)临界区
    3)退出区
    4)剩余区
  2. 同步
    同步亦称直接制约关系,是指为完成某种任务而建立的两个或多个进程。
  3. 互斥
    互斥也称直接制约关系。当一个进程进入临界区使用临界资源,另一个进程必须等待,当占用临界资源的进程退出临界区,另一进程才允许去访问此临界资源。
    同步机制应遵循以下准则:
    1)空闲让进
    2)忙则等待
    3)有限等待
    4)让权等待

2.3.2 实现临界区互斥基本方法

  1. 软件实现方法

    在进入设置区设置并检查一些标志来标明是否有进程在临界区,若已经有进程在临界区,则在进入区通过循环检查进行等待,进程离开临界区后,则在退出区修改标志。

    1)算法一:单标志法

    2)算法二:双标志先检查

    3)算法三:双标志法后检查

    4)算法四:Peterson`s Algorithm


  2. 硬件实现方法

    计算机提供了特殊的硬件指令,允许对一个字的内容进行检测和修正,或对两个字的内容进行交换,通过硬件支持实现临界段问题的方法称为低级方法,或称元方法。

    (1)中断屏蔽法

(2)硬件指令法


2.3.3 互斥锁

2.3.4 信号量

用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作,从而很方便的实现了进程互斥,进程同步。

信号量其实就是一个变量(可以是一个整数,也可以是更复杂的记录型变量),可以用一个信号量来表示系统中某种资源的数量。

wait(S)和signal(S)原语常简称为P(S)、V(S)。

  1. 整型信号量

  2. 记录型信号量


  3. 利用信号量实现同步

  4. 利用信号量实现进程互斥

    1)分析并发关键活动,划定临界区

    2)设置互斥信号量 初值为1

  5. 利用信号量实现前驱关系

相关推荐
Thexhy32310 小时前
Linux学习,CentOS虚拟机网络存在问题,主网络接口 ens33没有分配到 IP 地址,按照这个流程,99% 的虚拟机无网络访问问题都能得到解决。请从第一
操作系统
CYRUS_STUDIO1 天前
Android 反调试攻防实战:多重检测手段解析与内核级绕过方案
android·操作系统·逆向
YxVoyager3 天前
操作系统(二) :CPU调度
操作系统
pusue_the_sun4 天前
简单概述操作系统的发展
操作系统·计算机组成原理
apolloyhl5 天前
深入理解 Linux 内核进程管理
linux·运维·服务器·操作系统
hour_go7 天前
用户态与内核态的深度解析:安全、效率与优化之道
笔记·操作系统
LUCIAZZZ8 天前
HTTPS优化简单总结
网络·网络协议·计算机网络·http·https·操作系统
fakerth10 天前
【OpenHarmony文件管理子系统】文件访问接口解析
操作系统·openharmony
Layflok11 天前
第三章 内存管理
笔记·操作系统·内存管理·王道笔记
fakerth13 天前
【OpenHarmony文件管理子系统】文件访问接口mod_fileio解析
操作系统·openharmony