进程控制与进程同步(笔记)

本文详细介绍了操作系统中进程的创建、终止、阻塞与唤醒、挂起与激活的过程,强调了进程同步的重要性,包括临界资源、临界区的概念,并讨论了互斥的实现方法,如关中断、Test-and-Set指令、Swap指令,以及信号量机制在进程同步中的应用。
摘要由CSDN通过智能技术生成

进程控制
1.进程的创建
1)一个进程创建另一进程的事件(原因)
用户登录:分时情况下用户的请求
作业调度:批处理中
提供服务:运行中的用户程序提出功能请求,要创建服务进程(如打印服务)
应用请求:应用程序自己创建进程,完成特定功能的新进程。(木马程序)
2)创建过程
(1) 申请空白PCB
(2) 为新进程分配资源
主要是内存资源的处理
(3) 初始化进程控制块
标识符(包括父进程的)、程序计数器指向程序入口地址,就绪态、优先级等信息的填写。
(4) 将新进程插入就绪队列
原语是由若干指令构成的原子操作过程,作为整体实现功能,不可被打断。
OS通过调用进程创建原语Creat()创建新进程。
其他各控制工作也都是由OS内核以“原语”的方式实现,以保证不被打断
2.进程的终止
1)引起进程终止的事件
正常结束
异常结束
内存越界错误
保护错(权限错,如修改只读文件等)
非法指令(不存在的指令,程序异常转向而把数据当指令)
特权指令错(用户态程序试图执行只有OS可执行的指令)
运行超时、运算错、i/o故障等
外界干预
操作员或操作系统干预(死锁时,可人为结束)
父进程请求终止子进程
父进程终止,子孙进程也跟着终止
2)终止过程
对上述事件,OS调用内核终止原语,执行下列过程:
(1) 根据进程标示符,检索出该进程PCB,读其状态。
*IF 执行态,立即终止该进程,置调度标志为真,指示重新进行调度。
*IF 有子孙进程,亦应予以终止,以防成为不可控进程。
(2) 归还全部资源至其父进程或系统。
(3) 将该进程PCB从所在队列或链表中移出。
3.进程的阻塞与唤醒
1)引起进程阻塞和唤醒的事件
请求系统服务的满足情况
启动某种需等待(I/O)操作
合作需要的新数据尚未到达
执行某功能的进程暂时无新工作可做(如发送数据进程)
2)阻塞和唤醒过程
由进程调用阻塞原语阻塞自己,是主动行为:
(1)将PCB中的状态改为阻塞
(2)该PCB加入到阻塞队列中
(3)转进程调度,将处理机分配给另一进程
(4)进行进程切换,即根据两切换进程的PCB,保护与重新设置处理机状态。
阻塞进程等待的事件发生时,有关进程(如放弃该资源的进程)调用唤醒原语把等待该事件的进程唤醒。
(1)把阻塞进程从等待该事件的阻塞队列中移出
(2)将其PCB中的现行状态改为就绪
(3)将PCB插入到就绪队列中。
4.进程的挂起与激活
挂起原语将指定进程或阻塞进程挂起。
(1)检查被挂起进程的状态,活动就绪则改为静止就绪,活动阻塞则改为静止阻塞
(2)将该PCB复制到内存(方便检查)/外存(对换)指定区域
(3)*若挂起的进程是执行态,则需重新进行进程调度。
激活原语的执行过程
若挂起进程在外存上,将其调入内存
检查进程状态,若处于静止就绪,则改为活动就绪,若处于静止阻塞,则改为活动阻塞

进程同步
进程间的两种制约关系:
1、间接相互制约关系:主要源于资源共享,表现为
进程A—打印机资源—进程B(互斥)
2、直接相互制约关系:主要源于进程合作,表现为
进程A写缓冲—进程B读缓冲(有序)
1.进程同步的基本概念
1)进程同步的主要任务:
使并发执行的诸进程之间能有效地共享资源和相互合作,从而使程序的执行具有可再现性。
2)临界资源
一次仅允许一个进程使用的资源。
3)临界区
每个进程中访问临界资源的那段代码叫临界区。
为了正确同步,对临界区的代码要增加控制。
进入区:对欲访问的临界资源进行检。若此刻未被访问,设正在访问的标志
临界区:访问临界资源的代码。
退出区:将正在访问的标志恢复为未被访问的标志
剩余区:其余部分
4)同步机制应遵循的规则
实现互斥的方法应符合如下每条原则
空闲让进:资源使用最基本原则
忙则等待:保证互斥
有限等待:合适时被唤醒防止死等
让权等待:能主动释放CPU防止忙等
同步控制的关键
主要涉及”判断”和”修改标志”操作
不应被打断(原语,OS核心态运行)
硬件同步机制
许多计算机提供一些特殊的硬件指令,允许对一个字中的内容进行检测和修正,或对两个字的内容进行交换。利用这些特殊指令解决临界区问题。
进入临界区往往跟其标志有关,可将标志看做一个锁,“锁开”进入并关锁,“锁关”必须等待,初始时锁是打开的。
①关中断
进入锁测试前关闭中断,直到完成锁测试并上锁后才能打开中断。进程在临界区执行期间,系统不响应中断,从而不引发调度。
缺点:
滥用风险
关中断时间过长会影响效率,限制CPU交叉执行能力
不适用于多CPU系统
②Test-and-Set指令
boolean TS(boolean *lock)
{
Boolean old;
old=*lock;
*lock=TRUE;
return old;
}
*一个不可分割的原语

为一个临界资源设置一布尔变量lock,初值为false
do{

while TS(&lock) ;
critical section;
lock=FALSE;
remainder section;
}while(TRUE);
③利用Swap指令实现进程互斥
对换指令(intel 80x86中称XCHG指令),用于交换两个字节的内容
void swap(boolean *a, boolean *b)
{boolean temp;
temp=*a;
*a=*b;
*b=temp;
}
为临界资源设置一个全局布尔变量lock=false。每个进程一个局部布尔变量key。
do{
key=TRUE;
do{
swap(&lock,&key);
}while(key!=FALSE);
临界区操作;
lock=FALSE;
剩余区;
}while(TRUE);

2.信号量机制
1) 整型信号量
最初的信号量机制,两个原子操作对一个共享整型量进行操作。
信号量定义为一个整型量;
根据初始情况赋相应的值;
仅能通过两个原子操作来访问。
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值