学习材料:计算机操作系统(第2版,人民邮电出版社)
一、进程控制
概念:是对系统中的所有进程实施有效的管理,是处理机管理功能的一部分。为了实现共享,协调并发进程的关系。进程管理的功能应包括:进程控制、进程调度、实现进程之间的同步协调和通信。
1)进程创建
- 系统启动时,创建并产生一些必须的、承担系统资源分配的管理工作的系统进程。
- 用户进程,用户在程序提交给系统时创建的。
- 进程创建也是进程管理的基本功能之一。用户不能直接创建进程,只能通过操作系统提供进程创建原语,以系统请求方式向操作系统申请一个进程。
2)进程撤销
功能:
撤销本进程,撤销一个指定标识符的进程或撤销一组子进程。
过程:
- 由运行指针得到当前进程的PCB。
- 释放本进程所占用的资源给父进程。
- 释放此PCB结构。
- 转进程调度。
3)进程阻塞与唤醒
进程阻塞:进程需要等待某一时间完成时,调用阻塞原语将自己挂起。进程一旦被挂起,它只能由另一个进程唤醒。也就是,先停止调用进程的执行,将CPU现场保留到该进程的PCB现场保护区(也即完成了多少工作,将其保存),改变其状态为等待,并插入等待队列。最后使控制转向进程调度。
本质:进程需要等待某一资源,指令无法继续执行,此时将进程挂起,调度其他进程。
进程唤醒:当进程等待的事件发生时,唤醒等待该事件的进程。
进城唤醒的步骤:
- 将该进程移出等待队列。
- 置进程状态为就绪。
- 将进程PCB插入就绪队列。
4)进程约束关系
分两种情况:
1.竞争系统资源而引起的间接相互制约关系。
2.进程之间存在共享数据而引起的直接相互制约关系。
重点:进程互斥
临界资源:通常把一次仅允许一个进程使用的资源称为临界资源。一般输入机,打印机等都有这种性质。
临界区:每个进程中,访问该临界资源的那段程序称为临界区。是进程对公共变量或存储区进行访问与修改的程序段。
上面那些满足条件的进程进入临界区必须互斥!
互斥:多进程对公共存储区这样的临界资源有这样的恩特店,共享的各方不能同时读写同一数据区,只有当一方读写完毕后,另一方才可以读写。这种进程的制约关系称之为互斥。
重点:进程同步
概念:相互合作的一组并发进程。在一些关键点上可能需要互相等待与互通消息,这种相互制约的等待与互通消息称为进程同步。
重点:同步机构
-
首先,锁。包含上锁和开锁两种操作。锁就是一个物理实体,采用一个标志(上锁开锁标志)代表某种资源的状态或并发程序当前的状态。
锁同步机构中,每一个共享的临界资源都要有一个单独的锁位。“0”表示资源可用,“1”表示资源被占用。
进程使用共享资源之前必须完成如下操作:
1)检测锁位的值。 2)如果原来的值为0,将锁位置置1 。 3)如果原来为1,返回1再考察(有一定时间间隔),不是立即。
使用完资源后,将锁置0,称为开锁。 -
PV操作。S为可用资源。
P操作:1)S--,相当于占用了一个资源。2)减完大于等于0,进程继续执行(相当于还有资源或资源刚好够用)。3)小于0(缺少资源,等待),该进程被封锁,并将它插入到该信号灯的等待队列中,转入调度。
V操作:1)s++,提供一个资源。 2)相加结果大于0,进程继续执行。 3)相加结果小于或等于0,等待队列移出一个进程(它获得了刚释放出来的资源)。然后返回本进程继续执行。
进程同步的两个例子:
一、病员就诊:
- 分为看病进程,化验进程。
- 首先看病进程执行一部分,开出化验单,转入化验进程。
- 化验进程化验完毕得到化验结果,并发送给看病进程转入,否则必须等待。
我们用PV操作来实现,首先先要理解的是,下面的程序是需要来回转入转出的,不是一个程序执行到底,这也体现了进程同步的概念。
下面是伪代码:
main()
{
int s1=0;//信号灯1,表示看病进程,也可以理解为有无化验单
int s2=0;//信号灯2,表示化验进程,也可以理解为有无化验结果
cobegin
labora();
diagnosis();
coend
}
labora()
{
while(化验工作未完成)
{
p(s1);
化验工作;
v(s2);
}
}
diagnosis()
{
while(看病工作未完成)
{
看病;
v(s1); //看完病才会提供化验单
p(s2);
diagnosis;
}
}
解读:
- 首先执行labora(),缺少s1,挂起。
- 进入diagnosis(),执行看病,看完病v(s1)提供化验所需要的资源(可以理解为提供了化验单,化验工作才能进行)。
- p(s2),s2是化验进程,可以理解为缺少化验进程完的结果,所以挂起,执行labora()。
- 执行化验工作,然后提供化验结果(即提供了v(s2))。
- 化验进程结束,转入诊断进程,执行p(s2),可以理解为获得了化验进程的结果才能诊断,最后进程完成。
生产者——消费者问题
概念:简单地来说,就是有一块公用缓冲区,生产者生产资源,将资源放置到缓冲区去,而消费者读消息进程, 从缓冲区提取资源。
设置:公用缓冲区是临界资源,因此设置三个信号灯empty,full,mutex,分别表示空缓冲区(默认为缓冲区大小n),满缓冲区(初始为0),以及互斥信号灯,占用时为1,占用后为0。
//生产者和消费者操作过程中的伪代码:
producer()
{
while(生产未完成)
{
……
生产一个产品;
p(empty);
p(mutex);
送到有界缓冲区;
v(mutex);
v(full);
}
}
consumer()
{
while(还要继续消费)
{
p(full);
p(mutex);
从有界缓冲区取产品;
v(mutex);
v(empty);
……
消费一个产品;
}
}
试想:如果把生产者前两行申请占用资源的代码换一下,会发生什么情况?
提示:死锁。
网友评论