操作系统:进程与线程(二)同步与互斥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. 利用信号量实现前驱关系

相关推荐
WZF-Sang10 小时前
Linux—进程学习-01
linux·服务器·数据库·学习·操作系统·vim·进程
Goboy1 天前
0帧起步:3分钟打造个人博客,让技术成长与职业发展齐头并进
程序员·开源·操作系统
结衣结衣.1 天前
【Linux】Linux管道揭秘:匿名管道如何连接进程世界
linux·运维·c语言·数据库·操作系统
OpenAnolis小助手1 天前
龙蜥副理事长张东:加速推进 AI+OS 深度融合,打造最 AI 的服务器操作系统
ai·开源·操作系统·龙蜥社区·服务器操作系统·anolis os
小蜗的房子2 天前
SQL Server 2022安装要求(硬件、软件、操作系统等)
运维·windows·sql·学习·microsoft·sqlserver·操作系统
邂逅岁月4 天前
【多线程奇妙屋】 Java 的 Thread类必会小技巧,教你如何用多种方式快速创建线程,学并发编程必备(实践篇)
java·开发语言·操作系统·线程·进程·并发编程·javaee
CXDNW5 天前
【系统面试篇】进程和线程类(1)(笔记)——区别、通讯方式、同步、互斥、死锁
笔记·操作系统·线程·进程·互斥·死锁
Anemone_5 天前
MIT 6.S081 Lab3
操作系统
掘了6 天前
持久化内存 | Persistent Memory
c++·架构·操作系统
结衣结衣.7 天前
【Linux】掌握库的艺术:我的动静态库封装之旅
linux·运维·服务器·c语言·操作系统·