操作系统基础:进程同步【下】

简介: 操作系统基础:进程同步【下】



1 进程同步

⛵1.1 吸烟者问题

✈️1.1.1 问题描述

✈️1.1.2 问题分析

1.1.2.1 关系分析(确定同步、互斥关系)

我们将供应者分别提供的两样东西视为一体,即:组合1(烟草,纸)、组合2(烟草,胶水)、组合3(纸、胶水)。吸烟者分别需要其中的一种组合

(1)进程

共有四个进程:供应者、吸烟者1、2、3

(2)同步关系

吸烟者1只有在供应者供应组合1之后才可以取走东西。吸烟者2、3同理。

(3)互斥关系

三个吸烟者必须轮流的吸烟(或者说:供应者只有在吸烟者吸完之后才可以再次供应原材料)

1.1.2.2 整理思路(确定PV操作的大致顺序)

每种关系都需要有一个信号量,同步关系的三个关系为offer1、offer2、offer3,互斥关系为finish。

供应者供应了offer1后(V操作),吸烟者才可以拿offer1(P操作)。只有当三个吸烟者之一吸完烟之后(P操作),供应者才可以供应东西(V操作)

1.1.2.3 设置信号量(确定信号量初值)

初始时桌子上应该是没有东西的,所以Offer1、2、3的初值都是0。初始时也没有人吸烟,所以finish的初值也为0。此外,由于题目说明吸烟者轮流吸烟,所以还需要一个控制变量,我们设置为整型变量(1代表吸烟者1,2代表吸烟者2,3代表吸烟者3)

✈️1.1.3 代码

🛰️1.1.3.1 吸烟者

以吸烟者1为例:

吸烟者必须先查看桌子上是否有物品1,进行P(offer1),如果没有,则进入睡眠队列,只有当供应者提供了物品1时才苏醒;如果有就拿走吸完,执行V(finish)操作。

其他吸烟者同理

🛰️1.1.3.2 供应者

通过i的变化循环的为每个吸烟者提供材料。以材料1为例,每供应一个材料,就需要将材料的数量+1,执行V(offer1)操作。供应完之后,就应该等待吸烟者吸完,执行P(finish)操作。

🛰️1.1.3.3 改进

事实上,由于缓冲区的大小为1,四个同步信号量中至多只有一个为1,所以finish互斥信号量是不必要的。

✈️1.1.4 总结

可以生产多种产品的单生产者

⛵1.2 读者-写者问题

🛩️1.2.1 问题描述

即:读操作可以同时进行,写操作只可以单独进行

🛩️1.2.2 问题分析

🛰️1.2.2.1 关系分析(确定同步、互斥关系)

(1)进程

共有2个进程,即:读进程、写进程

(2)同步关系

读进程-读进程

(3)互斥关系

读进程-写进程

写进程-写进程

🛰️1.2.2.2 整理思路(确定PV操作的大致顺序)
  1. 实现读写互斥
    为了实现读、写的互斥访问,可以设置一个互斥信号量rw,读操作、写操作之前都需要对其进行P操作。但是这样又会造成读进程只可以互斥的访问文件。
  2. 实现读读同步
    可以增加一个表示读进程数量的变量count。

读进程在访问文件前首先检查count是不是为0:

①如果是,代表该进程是第一个读的,所以需要对文件进行加锁,

②如果不是,代表之前已经有读进程对文件加锁,可以直接读取,并使count+1代表自己在读取文件

进程对文件的访问结束之后会使count-1,代表自己访问结束,并检查count是不是为0:

①如果是,代表自己是最后一个停止访问文件的,应该对文件解锁,执行V操作,

②如果不是,代表后面还有读进程在读取文件,对文件的解锁应该由后面的文件进行,自己可以直接退出。

如图:

(读进程)

(写进程)

  1. 让读不阻塞

试想,当一个读进程甲执行完对count的检查并准备执行P(rw)时,进程被切换到读进程乙,读进程乙执行完P(rw),此时rw=0,后续进程被切换回读进程甲时,它发现rw已经等于0,于是被阻塞在那里。

出现这种情况的原因是因为进程对count的检查并不是连续的。于是可以增加一个互斥信号量mutex用于实现对count的互斥访问。

读进程在读文件前,执行P(mutex)操作,对count进行访问,即:初始查看count是否=0与使count+1时需要加锁,以及最后的对count-1与检查count是否为0时需要加锁。如图

(读进程)

  1. 让写不饿死

试想,当一直不断有文件读取文件时,写操作就无法完成。因此,还需要设置一个互斥信号量w,读、写进程在执行操作前对需要对这个信号量加锁,在操作完成之后都需要将这个信号量解锁。如图。此时读进程不再是可以源源不断的占用处理机了,写进程也可以与读进程”同台竞争“处理机的使用机会。

(读进程)

(写进程)

  1. 验证

接下来,我们对不同的情况进行依次分析

①读甲-读乙

读甲首先执行P(w),对w加锁,接着执行后续操作实现对count的访问,之后将w解锁。此时读乙就可以进入到文件的读取中。实现了读操作的同步

②写甲-写乙

写甲首先执行P(w),将w加锁。之后在写操作完成之后才解锁,写乙才可以对文件进行写操作。实现了写操作的异步

③写甲-读乙

写甲首先执行P(w),将w加锁。之后在写操作完成之后才解锁,读乙才可以对文件进行读操作。实现了读写操作的异步

④读乙-写甲-读丙

读乙首先对w加锁,写甲等待w解锁,当读乙解锁后写甲就可以写,即使进程被切换到读丙,读丙也只可以等待写甲队w的解锁。这样,就实现了写操作不被读操作饿死。

⑤写甲-读乙-写丙

与上述分析类似,注意到:w本质上是实现了读写操作的公平性,即:读操作不会打断写操作。

🛰️1.2.2.3 设置信号量

初始时,文件有一个,没有被分给任何一个进程,rw为1;初始时没有进程读文件,则count初值为0;mutex的初始为1;w了实现写、读的公平必须设置为0(w是同步信号量,而同步信号量初值一般都是设置为0)

🛩️1.2.3 总结

⛵1.3 哲学家进餐问题

🚁1.3.1 问题描述

🚁1.3.2 问题分析

可以看出,这个问题中只有互斥事件,即:对于五个筷子的任何一个,拿起其中的任何一个都必须互斥的进行。因此必须设置5个互斥信号量,为chopstick[5] = {1,1,1,1,1}。初值为1代表初始时各筷子的数量都为1

🛸1.3.2.1 解决办法

仅当一个哲学家左右两支筷子都可用时才允许他抓起筷子。

(1)代码

(2)解释

其中的(i+1)%5是为了能让i=5时(第五个哲学家),他可以拿到1号的筷子。

①当1号哲学家尝试拿起筷子,执行P(mutex),再拿起筷子0,接着拿起筷子1,假设此时发生了进程切换,切换到3号哲学家,此时出现一种情况:即使该哲学家旁边的两个筷子都在,但是他还是没有办法拿筷子吃饭。

②当1号哲学家尝试拿起筷子,执行P(mutex),再拿起筷子0,接着拿起筷子1,执行了V(Mutex)操作,假设此时发生了进程切换,切换到0号哲学家,他先执行P(mutex),并拿起筷子4,此时他右边的筷子没有,此时出现了一种情况:并不能保证只有哲学家两边的筷子都可用时,哲学家才拿起筷子。

(3)基于以上两种情况,该方案更加合适的说法是:

但是不管怎么说,这个方案都是可行的

🛸1.3.2.2 其他解决办法

🚁1.3.3 总结

⛵1.4 管程

🚠1.4.1 总览

为什么引入管程

我们必须注意到:信号量机制虽然可以有效的解决临界资源的访问问题,但是它的实现方式较为复杂且容易出错,这就给程序的编写造成了很大的困难。引入管程是为了让人们在编写代码时无须关注复杂的PV操作,同时还可以让进程可以同步或互斥的访问某些临界资源(管程可以实现同步、互斥)

🚠1.4.2 管程的定义与特征

1. 定义

2. 特征

3. 可以类比于Java中的class,管程的几个特征都是为了实现对于资源的互斥访问

🚠1.4.3 使用管程解决生产者消费者问题

🛸1.4.3.1 主程序:

🛸1.4.3.2 各进程

较为简单不再赘述

🛸1.4.3.3 总结

🚠1.4.4 Java类似管程的机制

🚠1.4.5 总结

🕮 2 总结

操作系统,如默默守护的守夜者,无声地管理硬件与软件的交流,为计算机创造和谐秩序。

它是无形的引导者,让复杂的任务变得井然有序,为用户提供无忧体验。

操作系统的巧妙设计,让计算机变得更加智能高效,让人与科技之间的交流更加顺畅。

在每一次启动中,它如信任的伙伴,带领我们进入数字世界的奇妙旅程。

渴望挑战操作系统的学习路径和掌握进阶技术?不妨点击下方链接,一同探讨更多操作系统的奇迹吧。我们推出了引领趋势的💻OS专栏:《OS从基础到进阶》 ,旨在深度探索OS的实际应用和创新。🌐🔍

相关文章
|
2月前
|
算法 Linux 调度
深入理解Linux操作系统的进程管理
本文旨在探讨Linux操作系统中的进程管理机制,包括进程的创建、执行、调度和终止等环节。通过对Linux内核中相关模块的分析,揭示其高效的进程管理策略,为开发者提供优化程序性能和资源利用率的参考。
109 1
|
3月前
|
算法 调度 Python
深入理解操作系统中的进程调度算法
在操作系统中,进程调度是核心任务之一,它决定了哪个进程将获得CPU的使用权。本文通过浅显易懂的语言和生动的比喻,带领读者了解进程调度算法的重要性及其工作原理,同时提供代码示例帮助理解。
|
2月前
|
调度 开发者 Python
深入浅出操作系统:进程与线程的奥秘
在数字世界的底层,操作系统扮演着不可或缺的角色。它如同一位高效的管家,协调和控制着计算机硬件与软件资源。本文将拨开迷雾,深入探索操作系统中两个核心概念——进程与线程。我们将从它们的诞生谈起,逐步剖析它们的本质、区别以及如何影响我们日常使用的应用程序性能。通过简单的比喻,我们将理解这些看似抽象的概念,并学会如何在编程实践中高效利用进程与线程。准备好跟随我一起,揭开操作系统的神秘面纱,让我们的代码运行得更加流畅吧!
|
1月前
|
监控 搜索推荐 开发工具
2025年1月9日更新Windows操作系统个人使用-禁用掉一下一些不必要的服务-关闭占用资源的进程-禁用服务提升系统运行速度-让电脑不再卡顿-优雅草央千澈-长期更新
2025年1月9日更新Windows操作系统个人使用-禁用掉一下一些不必要的服务-关闭占用资源的进程-禁用服务提升系统运行速度-让电脑不再卡顿-优雅草央千澈-长期更新
128 2
2025年1月9日更新Windows操作系统个人使用-禁用掉一下一些不必要的服务-关闭占用资源的进程-禁用服务提升系统运行速度-让电脑不再卡顿-优雅草央千澈-长期更新
|
2月前
|
C语言 开发者 内存技术
探索操作系统核心:从进程管理到内存分配
本文将深入探讨操作系统的两大核心功能——进程管理和内存分配。通过直观的代码示例,我们将了解如何在操作系统中实现这些基本功能,以及它们如何影响系统性能和稳定性。文章旨在为读者提供一个清晰的操作系统内部工作机制视角,同时强调理解和掌握这些概念对于任何软件开发人员的重要性。
|
2月前
|
Linux 调度 C语言
深入理解操作系统:从进程管理到内存优化
本文旨在为读者提供一次深入浅出的操作系统之旅,从进程管理的基本概念出发,逐步探索到内存管理的高级技巧。我们将通过实际代码示例,揭示操作系统如何高效地调度和优化资源,确保系统稳定运行。无论你是初学者还是有一定基础的开发者,这篇文章都将为你打开一扇了解操作系统深层工作原理的大门。
|
2月前
|
存储 算法 调度
深入理解操作系统:进程调度的奥秘
在数字世界的心脏跳动着的是操作系统,它如同一个无形的指挥官,协调着每一个程序和进程。本文将揭开操作系统中进程调度的神秘面纱,带你领略时间片轮转、优先级调度等策略背后的智慧。从理论到实践,我们将一起探索如何通过代码示例来模拟简单的进程调度,从而更深刻地理解这一核心机制。准备好跟随我的步伐,一起走进操作系统的世界吧!
|
2月前
|
算法 调度 开发者
深入理解操作系统:进程与线程的管理
在数字世界的复杂编织中,操作系统如同一位精明的指挥家,协调着每一个音符的奏响。本篇文章将带领读者穿越操作系统的幕后,探索进程与线程管理的奥秘。从进程的诞生到线程的舞蹈,我们将一起见证这场微观世界的华丽变奏。通过深入浅出的解释和生动的比喻,本文旨在揭示操作系统如何高效地处理多任务,确保系统的稳定性和效率。让我们一起跟随代码的步伐,走进操作系统的内心世界。
|
2月前
|
运维 监控 Linux
Linux操作系统的守护进程与服务管理深度剖析####
本文作为一篇技术性文章,旨在深入探讨Linux操作系统中守护进程与服务管理的机制、工具及实践策略。不同于传统的摘要概述,本文将以“守护进程的生命周期”为核心线索,串联起Linux服务管理的各个方面,从守护进程的定义与特性出发,逐步深入到Systemd的工作原理、服务单元文件编写、服务状态管理以及故障排查技巧,为读者呈现一幅Linux服务管理的全景图。 ####
|
3月前
|
算法 Linux 调度
深入浅出操作系统的进程管理
本文通过浅显易懂的语言,向读者介绍了操作系统中一个核心概念——进程管理。我们将从进程的定义出发,逐步深入到进程的创建、调度、同步以及终止等关键环节,并穿插代码示例来直观展示进程管理的实现。文章旨在帮助初学者构建起对操作系统进程管理机制的初步认识,同时为有一定基础的读者提供温故知新的契机。