进程同步与进程互斥

1.进程同步

知识点回顾:

进程具有异步性 的特征。

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

如何解决这种异步问题,就是"进程同步"所讨论的内容。

  • 同步亦称直接制约关系,它是指为完成某种任务而建立的两个或多个进程,
  • 这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。
  • 进程间的直接制约关系就是源于它们之间的相互合作。

2.进程互斥

进程的"并发"需要"共享"的支持。

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

(比如内存,又比如打印机、摄像头这样的I/O设备)

1.互斥共享方式

系统中的某些资源,虽然可以提供给多个进程使用,但一个时间段内只允许一个进程访间该资源。

2.同时共享方式

系统中的某些资源,允许一个时间段内由多个进程"同时"对它们进行访问。

  • 我们把一个时间段内只允许一个进程使用 的资源称为临界资源
  • 许多物理设备(比如摄像头、打印机)都属于临界资源。
  • 此外还有许多变量、数据、内存缓冲区等都属于临界资源。

对临界资源的访问,必须互斥 地进行。互斥,亦称间接制约关系
进程互斥 指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。

当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源。

3.对临界资源的互斥访问,可以在逻辑上分为如下四个部分:

  1. 进入区:负责检查是否可进入临界区,若可进入,则应设置正在访问临界资源的标志(可理解为"上锁"),以阻止其他进程同时进入临界区
  2. 临界区:访问临界资源的那段代码
  3. 退出区:负责解除正在访问临界资源的标志(可理解为"解锁")
  4. 剩余区:做其他处理

注意:

  • 临界区是进程中访问临界资源的代码段。
  • 进入区和退出区是负责实现互斥的代码段。
  • 临界区也可称为"临界段"。

4.为了实现对临界资源的互斥访问,同时保证系统整体性能,需要遵循以下原则:

  1. 空闲让进。临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区;
  2. 忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等待;
  3. 有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿)﹔
  4. 让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待。
相关推荐
hxhy0025 分钟前
异地组网实战:从 frp 中转到 Tailscale 直连,SSH 延迟 410ms → 29ms
运维·ssh
陈年老古董26 分钟前
CentOS编译安装Python3.11完整教程
linux·笔记·学习·centos·python3.11
志栋智能28 分钟前
从安全超自动化到超自动化安全的认知飞跃
运维·安全·自动化
深念Y30 分钟前
为什么选 Go:直观、可维护、AI 友好
linux·开发语言·人工智能·golang·agent·harness
笨笨饿36 分钟前
#111_关于FreeRTOS面试的一些题目
linux·ubuntu·面试·职场和发展·centos·rtos
当代红领巾39 分钟前
VMware 里装好 Linux 系统没有 ipv4 地址?
linux·运维·服务器
ailsa_hui1 小时前
给50人的电子厂上数智云平台,大概要多少预算?
大数据·运维·人工智能
老当益壮梁奶奶1 小时前
Linux 软件编程学习笔记(六):线程编程入门与实践
linux·c语言·c++·笔记·学习
qq_401700411 小时前
TCP 粘包问题深度解析:嵌入式网络开发的常见坑与解决方案
服务器·网络·qt·网络协议·tcp/ip
DigitalOcean1 小时前
面向 AI 工作负载,单核性能提升 30%:DigitalOcean v5 Droplets 云服务器正式上线
服务器