一、问答题
-
操作系统中为什么要引入进程的概念?
为了使进程实体能和其它进程实体并发执行,以提高资源利用率和系统吞吐量。 -
什么是进程?
进程是进程实体的运行过程,是对运行时程序的封装,是系统进行资源分配和调度的一个独立单位。 -
七态模型中进程的状态有哪些?哪些事件可能引起不同状态之间的转换?
进程的七状态模型,分为:创造、就绪、执行、堵塞、终止、挂起就绪、挂起阻塞。
创建事件、调度事件、阻塞事件、完成事件、恢复事件、中断事件可能会引起不同状态之间的转换。 -
什么是进程控制块(PCB)?它包含哪些基本信息?
PCB是进程存在的唯一标识,是操作系统对进程进行控制、管理和调度的依据。它通常包括进程名,进程优先数,轮转时间片,进程所占用的CPU时间,进程的状态,当前队列指针等。 -
在操作系统中引入进程的概念之后为什么还要引入线程的概念?
进程只能在一个时间干一件事,如果想同时干两件事或多件事,进程就无能为力了。 进程在执行的过程中如果阻塞,例如等待输入,整个进程就会挂起,即使进程中有些工作不依赖于输入的数据,也将无法执行。因此为了减少程序在并发执行时所付出的时空开销,使OS具有更好的并发性引入了线程。 -
什么是线程控制块(TCB)?它有哪些主要内容?
线程控制块(TCB)是操作系统中用于管理和控制线程的数据结构。每个线程在操作系统中都有对应的线程控制块,用于存储和跟踪线程的相关信息。线程控制块的主要作用是跟踪和管理线程的状态、资源和调度相关的信息。操作系统可以通过线程控制块来决定线程的调度顺序、状态切换、资源分配和回收等操作,从而实现多线程编程的高效管理和调度。线程控制块TCB通常包含:线程标识符、一组寄存器、线程运行状态、线程专有存储 -
试述进程的互斥和同步两个概念之间的差异。
概念不同:互斥(Mutual Exclusion):关注的是对共享资源的访问问题,确保同一时间内只有一个进程能访问共资源,避免数据竞争和不一致性。同步(Synchronization):关注的是协调多个进程/线程之间的执行顺序和时机,保证进程之间按照一定的规则进行交互和协作。
目标不同:互斥:防止并发执行的进程或线程对共享资源进行冲突访问,避免数据不一致和竞态条件的出现。同步:保证多个进程/线程按照特定的顺序或条件进行协作,确保它们在特定时刻达到某种约定的状态。
应用场景不同:互斥:主要用于解决对共享资源的访问冲突,例如多个进程/线程同时修改相同的数据结构或文件。同步:适用于需要多个进程/线程之间按照一定顺序进行协作的场景,例如生产者-消费者模型、进程间消息传递等。
实现方式不同:互斥:通过使用锁、信号量等机制,保某一时刻只有一个进程/线程能进入临界区,避免数据竞争。同步:通过使用信号量、条件变量、事件等机制,控制进程/线程的执行序列和等待/唤醒操作,实现进程之间的协作。 -
什么是临界区和临界资源?
把一次只允许一个进程访问的资源称为临界资源,访问临界资源的程序段称为临界区。 -
什么是信号量?
信号量表示系统中某一类可用资源的数量,是一个整形变量。 -
如何区分公用信号量和私用信号量?
公用信号量 用来实现进程间的互斥,初值为1,允许它所联系的一组进程对它执行P/V操作。 私用信号量 用来实现进程间的同步,初值为0或者某个正整数,仅允许拥有它的进程对其执行P/V操作。 -
** 对信号量S执行PV操作时,S的值发生变化,当S>0,S=0,S<0时,其物理含义分别是什么?**
S>0,表示可用的资源数量大于零。当执行P操作时,如果S的值大于零,表示存在可用资源,进程可以继续执行,申请使用这些资源。执行P操作后,S的值会减一,反映了资源被占用或分配给进程的状态。
S=0,表示可用的资源数量等于零。当执行P操作时,如果S的值等于零,表示当前没有可用资源,进程需要等待。执行P操作后,进程将被阻塞,直到有其他进程执行V操作来唤醒它。
S<0,表示当前有进程等待资源。当执行P操作时,如果S的值小于零,表示已经有进程等待资源。执行P操作后,进程将被阻塞,进入等待队列。当执行V操作时,会唤醒等待的进程。 -
为什么PV操作均为不可分割的原语操作?
因为信号量在使用过程中是可变的,但对它们的改变不能被中断,故只能由PV操作来改变,因此PV操作均为不可分割的原语操作。 -
若进程控制程序允许并发执行,将产生什么后果?试举例说明。
竞争条件(Race Condition):当多个进程同时访问共享资源时,由于执行顺序的不确定性,可能导致共享资源的状态不一致或发生错误。这种情况下的后果是无法预测的,并且可能导致程序崩溃、数据损坏等问题。
举例说明:
假设有两个进程同时对一个计数器进行操作,一个进程负责递增计数器的值,另一个进程负责递减计数器的值。如果进程调度使得递增的操作和递减的操作交叉进行,那么计数器的最终结果可能与预期不符。例如,初始计数器值为0,递增进程首先执行递增操作,将计数器值加1,然后递减进程执行递减操作,将计数器值减1,此时计数器的值为0。但如果调度使得递增操作和递减操作交替执行,如递增进程递增一次,递减进程递减一次,这样计数器的值就会永远保持为0,无论进程执行多少次,最终结果始终为0。
死锁(Deadlock):当多个进程互相等待彼此持有的资源时,会发生死锁,导致所有进程都无法继续执行。这种情况下,系统可能需要强制终止进程或进行重启。
举例说明:
假设有两个进程,进程A持有资源X并等待资源Y,进程B持有资源Y并等待资源X。如果进程A先获取了资源X,而进程B先获取了资源Y,然后两个进程都等待对方释放资源,那么就会发生死锁。此时,无论系统如何进行调度,都无法使其中一个进程先释放资源,从而导致所有进程都无法继续执行。
竞态条件(Race Condition):当多个进程竞争同一资源时,其最终结果依赖于具体执行时序,可能导致结果的不确定性和错误。
举例说明:
假设有多个进程同时对一个共享的文件进行写操作。如果这些进程没有合理地同步和互斥地访问文件,可能会导致文件的内容混乱和丢失。例如,两个进程同时向文件中写入数据,由于写操作不是原子性的,可能会出现其中一个进程覆盖了另一个进程已写入的数据,导致数据的丢失或错误。 -
什么是管道通信?
管道通信是进程之间通信的一种方式,其中管道是内存中的一个文件,一般较小(例如在Linux中管道文件大小为4kb)。 -
低级通信与高级通信有什么区别?
进程间的通信要解决的问题的是进程之间信息的交流,信息的交流量可大可小。按交换信息的大小,可把进程间的通信分成低级通信和高级通信。
在低级通信中,进程之间只传递状态和整数值,信号量机制属于低级通信方式。其优点是传递信息的速度快,缺点是传递的信息量少,通信效率低。
在高级通信中,进程间可以传送任意数量的数据,传递的信息量大,操作系统隐藏了进程间通信的细节,简化了写代码的复杂性。
二、计算题
-
若信号量的初值为3,当前值为-2,则表示有多少个进程在等待?请分析说明。
表示由2个进程在等待,等待使用资源的个数与信号量初值无关,只与当前值有关。 -
有m个进程共享同一临界资源,若使用信号量机制实现对该临界资源的互斥访问,计算信号量的变化范围。
1~1-m -
若有5个进程共享同一程序段,而且每次最多允许4个进程进入该程序段,则信号量的变化范围是什么?
4~-1 -
一个阅览室有若干座位,一个读者的操作过程为:在进入前须在一均要求一次只允许一个人填写。若某一高峰时段,同时有多个读者涌入/准备离开阅览室,请用PV操作协调这些读者的操作。
为了协调多个读者在高峰时段涌入和准备离开阅览室的操作,可以引入两个信号量来控制登入表和登出表的填写。
-
定义一个信号量
mutex_in
来控制登入表的填写,初始值为1。 -
定义一个信号量
mutex_out
来控制登出表的填写,初始值为1。 -
初始时,
mutex_in
和mutex_out
的值都为1,表示登入表和登出表都可以填写。
当第一个读者涌入阅览室时,执行以下操作:
- 第一个读者执行P(mutex_in),该读者获得登入表的填写权,
mutex_in
的值变为0。 - 第一个读者填写登入表。
- 第一个读者执行V(mutex_in),释放登入表的填写权,
mutex_in
的值变为1。 - 第一个读者找座位进行阅读。
当其他读者涌入阅览室时,执行以下操作:
- 其他读者执行P(mutex_in)时发现
mutex_in
的值为0,表示登入表正在被其他读者填写,因此需要等待。 - 等到前面的读者执行V(mutex_in)后,其他读者中的一个可以执行P(mutex_in)获得登入表的填写权,其他读者继续等待。
- 获得登入表的填写权的读者填写登入表后,执行V(mutex_in),释放登入表的填写权,其他读者继续等待或者执行下一步的找座位操作。
- 所有读者找到座位进行阅读。
当一个读者准备离开阅览室时,执行以下操作:
- 读者执行P(mutex_out),该读者获得登出表的填写权,
mutex_out
的值变为0。 - 读者填写登出表。
- 读者执行V(mutex_out),释放登出表的填写权,
mutex_out
的值变为1。
在高峰时段的读者操作过程中,通过使用mutex_in
和mutex_out
进行PV操作,能够保证同一时间只有一个人在填写登入表或登出表,从而协调这些读者的操作。
int main()
{
semaphore mutex_in=1,mutex_out_1;
cobegin
pi();
qi();
coend
}
pi()
{
A: P(mutex_in); // 申请登入表的填写权
填写登入表; // 执行登记操作
V(mutex_in); // 释放登入表的填写权
找座位进行阅读;
goto A;
}
qi()
{
B: P(mutex_out); // 申请登出表的填写权
填写登出表; // 执行登记操作
V(mutex_out); // 释放登出表的填写权
goto B;
}
- 水果盘中只能放一个水果,爸爸向其中放苹果,妈妈向其中放橙子,儿子只吃橙子,女儿只吃苹果。请用PV操作协调这四人之间的操作。吃橙子,女儿只吃苹果。请用PV操作协调这四人之间的操作。
- 定义互斥信号量mutex,初值为1,表示初始情况下水果盘没有被任一进程占用;定义水果盘信号量fruitEmpty,初值为1,表示水果盘最开始为空;定义苹果信号量apple,用于表示苹果数量,控制女儿进程是否可以取苹果,初始值为0表示最开始没有苹果 ;定义橙子信号量,orange用于表示橙子数量,控制儿子进程是否可以取橙子,初始值为0表示最开始没有橙子。
int main()
{
semaphore mutex = 1,fruitEmpty = 1;
semaphore apple = 0,orange = 0;
cobegin
father();
mother();
son();
daughter();
coend
}
father()
{
A:P(fruitEmpty);
P(mutex);
父亲放苹果;
V(apple);
V(mutex);
goto A;
}
mother()
{
B:P(fruitEmpty);
P(mutex);
母亲放橙子;
V(orange);
V(mutex);
goto B;
}
son()
{
C:P(orange);
P(mutex);
儿子吃橙子;
V(fruitEmpty);
V(mutex);
goto C;
}
daughter()
{
D:P(apple);
P(mutex);
女儿吃苹果;
V(fruitEmpty);
V(mutex);
goto D;
}
- 桌上有一个能放下5个水果的空盘子。爸爸不停地向盘中放苹果和橘子,儿子不停地从盘中取橘子,女儿不停地从盘中取苹果。规定3人不能同时使用盘子(即不同时取或放水果)。试用信号量机制协调父、子、女三人之间的同步操作。
- 定义互斥信号量mutex,初值为1,表示初始情况下水果盘没有被任一进程占用;定义水果盘信号量fruitplate,初值为5,表示水果盘还可以放的水果数量;
int main()
{
semaphore mutex = 1,fruitplate = 5;
cobegin
father();
son();
daughter();
coend
}
father()
{
A:P(fruitplate);// 等待水果盘有空间
P(mutex);// 获取互斥锁
父亲放水果;
V(mutex);// 释放互斥锁
goto A;
}
son()
{
B:P(mutex);// 获取互斥锁
儿子吃橘子;
V(mutex);// 释放互斥锁
V(fruitplat);// 水果盘容量+1
goto B;
}
daughter()
{
C:P(mutex)// 获取互斥锁
女儿吃苹果;
V(mutex);// 释放互斥锁
V(fruitplate);// 水果盘容量+1
goto C;
}
- 有3个并发进程共享一个缓冲区,A负责从输入设备读入信息,B负责对A存入的信息进行加工,C负责将B加工后的信息打印输出。针对如下两种情况,分别用信号量和PV操作描述这3个进程的并发操作:该缓冲区只有一个单元,且缓冲区一次只允许一个进程使用。
-
定义互斥信号量mutex,初始值为1,表示没有进程占用缓冲区;
-
定义信号量buffer,初始值为1,表示缓冲区空闲。
int main()
{
semaphore mutex = 1,buffer = 1;
cobegin
PA();
PB();
PC();
coend
}
PA()
{
A:P(mutex);
读入信息;
V(mutex);
P(buffer);
写入缓冲区;
V(buffer);
goto A;
}
PB()
{
B:P(buffer);
P(mutex);
读取缓冲区信息并加工;
V(mutex);
V(buffer);
goto B;
}
PC()
{
C:P(buffer)
P(mutex)
读取加工后的信息并打印
V(mutex);
V(buffer)
goto C;
}
- 有两个优先级相同的进程p1和p2,各自执行的操作如下,信号量S1和S2的初值均为0。试问p1和p2并发执行后,x、y、z的值各为多少?
p1()
{ y=1;
y=y+3;
V(S1);
z=y+1;
P(S2);
y=z+y;
}
p2()
{ x=1;
x=x+5;
P(S1);
x=x+y;
V(S2);
z=z+x;
}
P1先执行完的情况下是:x=10,y=9,z=15
P2先执行完的情况下是:x=10,y=19,z=15
- 两个并发进程p1和p2并发执行,其中A、B、C、D、E是原语,试给出可能的并发执行路径。
p1()
{ A;
B;
C;
}
p2()
{
D;
E;
}
1.A B C D E
2.D E A B C
3.D A B C E
4.A D B C E
5.D A B E C
6.A D B E C
7.A B D E C
8.A D E B C
9.D A E B C
10.A B D C E
- 3个进程p1、p2、p3互斥地使用一个包含N(N>0)个单元的缓冲区。p1每次用produce()生成一个正整数,并用put()将其存入缓冲区某一空单元中;p2每次使用getodd()从该缓冲区中取出一个奇数,并用countodd()统计奇数的个数;p3每次使用geteven()从缓冲区中取出一个偶数,并用counteven()统计偶数的个数。请用信号量机制实现这3个进程的同步与互斥活动,并说明所定义信号量的含义及初值所代表的情况,并用伪代码描述。
empty
: 空缓冲区槽的数量,初值为 N。
full
: 已满缓冲区槽的数量,初值为 0。
mutex
: 临界区互斥信号量,用于控制缓冲区的互斥访问,初值为 1。
odd_count
: 统计奇数个数的信号量,初值为 0。
even_count
: 统计偶数个数的信号量,初值为 0。
int main()
{
semaphore empty = N,full = 0,mutex = 1,odd_count = 0,even_count = 0;
cobegin
P1();
P2();
P3();
coend
}
P1()
{
A:int item = produce();
P(empty);
P(mutex);
put(item);
V(mutex);
V(full);
goto A;
}
P2()
{
B:P(full);
P(mutex);
int item = getodd();
count_odd();
V(mutex);
V(empty);
goto B;
}
P3()
{
C:P(full);
P(mutex);
int item = geteven();
count_even();
V(mutex);
V(empty);
goto C;
}