408操作系统学习笔记——进程与线程、处理机调度、同步与互斥(PV操作)、死锁(一)

简介: 408操作系统学习笔记——进程与线程、处理机调度、同步与互斥(PV操作)、死锁

1.进程与线程

1.1.进程的概念

1.进程:程序的一次执行过程

2.PCB(Process Control Block):进程控制块6bb1b8c1bc554740bd4c069f50f9bffc.png

3.进程实体(进程映像)由PCB、程序段和数据段组成

进程实体反应了进程某个时刻的状态,因此,进程是动态的,进程实体是静态的

进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位bc3482a396984d439cf41464f4186669.png

4.同一个程序被打开多次,则被建立多个不同的进程,它们的程序段相同,而PCB和数据段不同

1.2.进程的特征d1a279676e76459989c20992767a1184.png

1.3.进程的状态

1.创建态:为进程分配资源、初始化PCB

2.就绪态:创建完成后,进入就绪态(除处理机外的资源都具备)(CPU忙,无法为该进程服务);可能有多个就绪态;CPU空闲时,选择一个就绪进程运行

3.运行态:在CPU上运行的进程

4.阻塞态:进程运行过程中,可能会请求某个事情的发生(既没有处理机资源,也没有某种系统资源)主动,等待某种系统资源的分配),操作系统就会剥夺该进程CPU的使用权,使其进入阻塞态(同时CPU就会进入空闲状态,从而选择另外一个处于就绪态的进程执行);若该进程等待的事情处理完成后,该进程就重新从阻塞态变为就绪态

5.终止态:进程可以通过执行exit系统调用,请求操作系统终止该进程,同时该进程进入终止态;操作系统剥夺该进程CPU的使用权,回收内存空间等系统资源,并回收该进程的PCB

6.PCB中有一个变量state表示当前进程的状态

1.4.进程状态的转换image.png

1.就绪态→运行态:

处于就绪态的进程被调度后,获得处理机资源,于是进程由就绪态切换为运行态

2.运行态→就绪态:

情况1:处于运行态的进程在时间片用完后,不得不让出处理机,进而转换为就绪态

情况2:在可剥夺的操作系统中,当有更高优先级的进程就绪时,调度程序将正在执行的进程转换为就绪态,让更高优先级的进程执行

3.运行态→阻塞态(主动行为)

进程请求某一资源(如外设)的使用或等待某一事件的发生(如I/O操作的完成)时,它就从运行态转换为阻塞态

进程以系统调用的形式请求操作系统提供服务,这是一种特殊的,由用户态程序调用操作系统内核过程的形式

4.阻塞态→就绪态(被动行为:需要其他相关进程的协助)

进程等待的事件到来,如I/O操作结束或中断结束时,中断处理程序必须把相应进程的状态由阻塞态转换为就绪态

1.5.进程控制

1.PCB的state中连接各种不同的进程状态:

①通过指针的方式3b4e454b96564a75b4549582f408bd00.png

②通过索引表方式bf6bee1e89be4edebb53ae02a1852135.png

2.进程的控制需要用原语:原语的执行具有原子性(通过关中断指令、开中断指令的方式,实现期间不可被中断)

进程在控制过程中,需要两步操作(设采用指针方式):

①修改PCB中的state ②将阻塞队列放到就绪队列

如果不采用原语,则可能发生第一步完成后,就转向处理中断

3.原语:原语的执行具有原子性(通过关中断指令、开中断指令的方式,实现期间不可被中断

①创建原语:创建态→就绪态

(1)申请空白PCB:创建PCB(PCB是进程存在的唯一标志)

(2)为进程分配所需资源:内存空间等

(3)初始化PCB:分配PID、设置UID等

(4)将PCB插入就绪队列:创建态→就绪态

②引发创建原语的事件:

(1)用户登录:用户登陆成功后,系统将会建立一个新的进程

(2)作业调度:从外存中挑选一个进程放入内存中运行

(3)提供服务:用户向操作系统提出某些请求时,新建一个进程处理该请求

(4)应用请求:用户进程主动请求创建子进程

③撤销原语:就绪态/阻塞态/运行态→终止态→无

(1)找到该进程的PCB

(2)若该进程正在运行,剥夺其CPU的使用权,并将CPU分配给其他进程

(3)终止其所有子进程,并将其资源归还给父进程或操作系统

(4)删除PCB

④引发撤销原语的事件:

(1)正常结束:进程自己请求终止(exit系统调用)

(2)异常结束:整数除0、非法使用特权命令(异常)

(3)外界干预:用户选择关闭进程(任务管理器结束)

⑤阻塞原语:运行态→阻塞态

(1)找到该进程的PCB

(2)运行进程保护现场,将PCB中的信息改为阻塞态,暂停进程运行

(3)将PCB插入相应事件的等待序列

⑥引起阻塞原语的事件:

(1)需要等待某种系统资源的分配

(2)需要等待合作进程

⑦唤醒原语:阻塞态→就绪态

(1)找到该进程的PCB

(2)将PCB中从等待序列中删除,将PCB中的信息改为就绪态

(3)将PCB插入就绪队列,等待被调度

⑧引起唤醒原语的事件:等待的事件发生(引起该进程阻塞的事件)

(阻塞原语和唤醒原语成对出现)

⑨切换原语:进程A:运行态→就绪态;进程B:就绪态→运行态(两个进程状态改变)

(1)将运行环境信息某些寄存器中的内容,PSW、PC等)存入PCB,将PCB插入相应序列

(2)选择另一个进程运行,并更新其PCB(例如状态信息),并根据其PCB恢复运行环境信息

⑩引起切换原语的事件:

(1)当前进程时间片到

(2)有更高优先级的进程出现(可剥夺系统)

(3)当前进程主动阻塞

(4)当前进程终止

1.6.进程通信

1.各进程的内存地址空间相互独立

2.一个进程不可以直接访问另一个进程的地址空间

1.6.1.共享存储

1.开辟一个公共的地址空间用于信息交换(对于该公共空间进行操作必须是互斥的,例如PV)

2.基于数据结构(低级通信):限制多,速度慢(例如数组)

基于存储区(高级通信):操作系统只负责划分出一块内存区域用于共享存储,而如何共享存储区中数据的形式、数据如何存放等细节问题由进程决定,因此限制少,速度快

1.6.2.消息传递

1.进程间的数据交换以格式化的消息为单位

2.格式化的消息由消息头和消息体构成

消息头(概要信息):由发送进程ID(由谁发送)、接受进程ID(发送给谁)、消息长度(整个消息的长度)等格式化的消息

消息体(具体信息):具体的数据

3.(1)直接通信方式:发送方进程需要指明接收方进程的ID(指明由谁接受)

设发送方为p,接收方为q

①p通过发送原语将消息发送到q(指明接收方)的pcb的消息队列中(q的pcb在操作系统内核的地址空间)

②通过接受原语将消息从pcb的消息队列中找到p(指明发送方)发来的消息,并取到q的地址空间中

(2)间接通信方式:通过“信箱间接通信,指明信箱(因此又称信箱通信方式 )

①信箱存放在操作系统内核的地址空间中

②发送方指明发往哪个信箱;接收方指明从哪个信箱中接收

1.6.3.管道通信

1.数据的流向只能是单向(半双工通信),如果需要进行双向数据传输,则需要两个管道

2.管道是一个特殊的文件(本质是在内存中开辟一个大小固定的内存空间):管道满时,写阻塞;管道空时,读阻塞

3.管道和共享存储的区别:共享存储方式中,数据的读/写的在地址空间的位置是任意的;管道需要遵循FIFO的方式按顺序读/写(本质上是循环队列)

4.进程对管道的访问是互斥

5.允许多个写进程,仅允许一个读进程e4ba784ffa744922902c43bc7246fa3f.png

1.7.线程的概念

1.线程是程序执行流的最小单位(每个线程可以对应不同的代码,并发执行),也是基本的CPU执行单元(CPU调度/服务的对象为线程)——即线程是调度的基本单位

2.进程是除CPU外的系统资源的分配单元(系统资源是分配给进程的,而不是分配给线程)——即进程是资源分配的基本单位

3.进程间(切换系统开销大)、线程间(切换系统开销小)都可以并发

bb5e88989e624e81831f8bd73cb6e3a7.png

4.线程可以占用不同的CPU

5.每个线程都有线程ID(对应进程ID)、线程控制块TCB(对应进程的PCB)

6.线程有就绪、阻塞和运行三种状态

7.线程几乎不拥有系统资源(进程是资源分配的基本单位):线程使用进程的系统资源,同一进程的不同线程共享系统资源

8.共享内存地址空间→线程间通信无需系统干预

9.同一进程间的线程切换,不引起进程切换(系统开销小);不同进程间的线程切换,引起进程切换(系统开销大)

9.内核级线程是处理机分配的基本单位(操作系统能意识到的只有内核级线程)

1.8.线程的实现方式和多线程模型

1.8.1.用户级线程image.png

1.程序员自己写一个程序库实现逻辑上的线程操作系统的视角只看得到进程(因此操作系统意识不到用户级线程的存在)

2.线程的管理工作由应用程序完成(通过线程库)

3.优点:线程的切换不需要操作系统参与,由应用程序完成,因此不需要变态

4.缺点:①当一个用户级线程被阻塞后,整个程序都会被阻塞(程序需要按代码顺序执行)

多个线程不可以在多核处理机上运行(操作系统的视角下只能看到进程,因此,此时操作系统的基本调度单位仍然是进程,而非线程)

1.8.2.内核级线程(一对一模型)5866e75d4beb4b0c87cc94f0b4304ee8.png

1.线程的管理工作由操作系统完成

2.线程的切换需要CPU变态(线程的调度和切换等需要内核负责)

3.操作系统能够意识到内核级线程的存在(操作系统为每个内核级线程建立相应的TCB)

4.优点:①当一个线程被阻塞后,其余线程仍可工作(每个用户线程都有相对的内核级线程)

多个线程可以在多核处理机上运行(操作系统可以意识到内核级线程的存在,此时,线城是调度的基本单位)

5.缺点:线程切换需要变态,系统开销大

1.8.3.多线程模型——多对一模型image.png

1.8.4.多线程模型——多对多模型

image.pngimage.png

1.9.线程的状态与转换

1.线程的状态转换和对应的进程转换一致

image.png

2.线程切换时需要保存/恢复:PC(程序执行到哪)、其他寄存器(程序当前运行的结果)和堆栈指针(下处理机保存到PCB,上处理机从PCB中恢复)

①堆栈用于保存函数调用信息,例如A调用B、B调用C和函数返回地址,即C执行完后应返回B的哪一句代码等

②堆栈还用于保存局部变量

③堆栈是内存中一个很大的地址空间,保存堆栈指针可以使得我们找到该程序在堆栈中的哪个位置

相关文章
|
1月前
|
算法 Linux 调度
深入理解Linux操作系统的进程管理
本文旨在探讨Linux操作系统中的进程管理机制,包括进程的创建、执行、调度和终止等环节。通过对Linux内核中相关模块的分析,揭示其高效的进程管理策略,为开发者提供优化程序性能和资源利用率的参考。
86 1
|
13天前
|
监控 搜索推荐 开发工具
2025年1月9日更新Windows操作系统个人使用-禁用掉一下一些不必要的服务-关闭占用资源的进程-禁用服务提升系统运行速度-让电脑不再卡顿-优雅草央千澈-长期更新
2025年1月9日更新Windows操作系统个人使用-禁用掉一下一些不必要的服务-关闭占用资源的进程-禁用服务提升系统运行速度-让电脑不再卡顿-优雅草央千澈-长期更新
2025年1月9日更新Windows操作系统个人使用-禁用掉一下一些不必要的服务-关闭占用资源的进程-禁用服务提升系统运行速度-让电脑不再卡顿-优雅草央千澈-长期更新
|
1月前
|
C语言 开发者 内存技术
探索操作系统核心:从进程管理到内存分配
本文将深入探讨操作系统的两大核心功能——进程管理和内存分配。通过直观的代码示例,我们将了解如何在操作系统中实现这些基本功能,以及它们如何影响系统性能和稳定性。文章旨在为读者提供一个清晰的操作系统内部工作机制视角,同时强调理解和掌握这些概念对于任何软件开发人员的重要性。
|
1月前
|
Linux 调度 C语言
深入理解操作系统:从进程管理到内存优化
本文旨在为读者提供一次深入浅出的操作系统之旅,从进程管理的基本概念出发,逐步探索到内存管理的高级技巧。我们将通过实际代码示例,揭示操作系统如何高效地调度和优化资源,确保系统稳定运行。无论你是初学者还是有一定基础的开发者,这篇文章都将为你打开一扇了解操作系统深层工作原理的大门。
|
1月前
|
存储 算法 调度
深入理解操作系统:进程调度的奥秘
在数字世界的心脏跳动着的是操作系统,它如同一个无形的指挥官,协调着每一个程序和进程。本文将揭开操作系统中进程调度的神秘面纱,带你领略时间片轮转、优先级调度等策略背后的智慧。从理论到实践,我们将一起探索如何通过代码示例来模拟简单的进程调度,从而更深刻地理解这一核心机制。准备好跟随我的步伐,一起走进操作系统的世界吧!
|
1月前
|
算法 调度 开发者
深入理解操作系统:进程与线程的管理
在数字世界的复杂编织中,操作系统如同一位精明的指挥家,协调着每一个音符的奏响。本篇文章将带领读者穿越操作系统的幕后,探索进程与线程管理的奥秘。从进程的诞生到线程的舞蹈,我们将一起见证这场微观世界的华丽变奏。通过深入浅出的解释和生动的比喻,本文旨在揭示操作系统如何高效地处理多任务,确保系统的稳定性和效率。让我们一起跟随代码的步伐,走进操作系统的内心世界。
|
7月前
|
监控 Linux 应用服务中间件
探索Linux中的`ps`命令:进程监控与分析的利器
探索Linux中的`ps`命令:进程监控与分析的利器
153 13
|
6月前
|
运维 关系型数据库 MySQL
掌握taskset:优化你的Linux进程,提升系统性能
在多核处理器成为现代计算标准的今天,运维人员和性能调优人员面临着如何有效利用这些处理能力的挑战。优化进程运行的位置不仅可以提高性能,还能更好地管理和分配系统资源。 其中,taskset命令是一个强大的工具,它允许管理员将进程绑定到特定的CPU核心,减少上下文切换的开销,从而提升整体效率。
掌握taskset:优化你的Linux进程,提升系统性能
|
6月前
|
弹性计算 Linux 区块链
Linux系统CPU异常占用(minerd 、tplink等挖矿进程)
Linux系统CPU异常占用(minerd 、tplink等挖矿进程)
211 4
Linux系统CPU异常占用(minerd 、tplink等挖矿进程)
|
5月前
|
算法 Linux 调度
探索进程调度:Linux内核中的完全公平调度器
【8月更文挑战第2天】在操作系统的心脏——内核中,进程调度算法扮演着至关重要的角色。本文将深入探讨Linux内核中的完全公平调度器(Completely Fair Scheduler, CFS),一个旨在提供公平时间分配给所有进程的调度器。我们将通过代码示例,理解CFS如何管理运行队列、选择下一个运行进程以及如何对实时负载进行响应。文章将揭示CFS的设计哲学,并展示其如何在现代多任务计算环境中实现高效的资源分配。