进程间通信概念
1.进程同步
进程同步指的是多个进程需要相互配合共同完成一项任务。
2.进程互斥
由于各进程要求共享资源,而且有些资源需要互斥使用,因此各进程间竞争使用这些资源,进程的这种关系称为进程的互斥。
系统中某些资源只允许一个进程使用,称这样的资源为临界资源或互斥资源。
在进程中涉及到互斥资源的程序段叫临界区。
3.进程间通信的目的
- 数据传输:一个进程需要将它的数据发送给另一个进程
- 资源共享:多个进程之间共享同样的资源
- 通知事件:一个进程需要向另一个或一组进程发送消息,通知它或它们发生了某种事件(如进程终止时要通知父进程)
- 进程控制:有些进程希望完全控制另一个进程的执行,此时控制进程希望能够拦截另一个进程的所有陷入和异常,并能够及时知道它的状态改变。
4.进程间通信发展历程
- 管道
- System V进程间通信
- POSIX进程间通信
5.进程间通信分类
- 文件
- 文件锁
- 管道和有名管理
- 信号
- 消息队列
- 共享内存
- 信号量
- 互斥量
- 条件变量
- 读写锁
- 套接字
6.System V IPC
- System V消息队列
- System V共享内存
- System V信号量
7.POSIX IPC
- 消息队列
- 共享内存
- 信号量
- 互斥量
- 条件变量
- 读写锁
8.进程间共享信息的三种方式
- 内存中的共享内存区
- 内核中共享的信息
- 共享文件系统
9.IPC对象的持续性
- 随进程持续:一直存在直到打开的最后一个进程结束,如pipe和fifo。
- 随内核持续:一直存在直到内核自举或显示删除,如System V消息队列、共享内存、信号量。
- 随文件系统持续:一直存在直到显示删除,即使内核自举还存在,如POSIX消息队列、共享内存、信号量如果是使用映射文件来实现。
10.死锁
死锁是指多个进程之间相互等待对方的资源,而在得到对方资源之前又不释放自己的资源,这样造成循环等待的一种现象。如果所有进程都在等待一个不可能发生的事,则进程就死锁了。
10.1 死锁产生的必要条件
- 互斥条件
进程对资源进行排它性使用,即在一段时间内某资源仅为一个进程所占用。 - 请求和保持条件
当进程因请求资源而阻塞时,对已获得的资源保持不放。 - 不可剥夺条件
进程已获得的资源在未使用完之前,不能被剥夺,只能在使用完时由自己释放。 - 环路等待条件
各个进程组成封闭的环形链,每个进程都等待下一个进程所占用的资源。
10.2 防止死锁的办法
- 资源一次性分配,破坏请求和保持条件
- 可剥夺资源,破坏不可剥夺条件
- 资源有序分配,破坏循环等待条件
哲学家就餐问题
11.信号量
- 信号量和P、V原语有Dijkstra提出
- 互斥,P、V在同一个进程
- 同步,P、V在不同进程中
- 信号量值含义
S>0:S表示可用资源的个数
S=0:表示无可用资源,无等待进程
S<0:|S|表示等待队列中进程个数
struct semaphore
{
int value;
pointer_PCB queue;
}
11.1 P、V原语
P(s)
{
s.value = s.value--;
if (s.value < 0)
{
该进程状态置为等待状态
将该进程的PCB插入相应的等待队列s.queue末尾
}
}
V(s)
{
s.value = s.value++;
if (s.value < 0)
{
唤醒相应等待队列s.queue中等待的一个进程
改变其状态为就绪态,并将其插入就绪队列
}
}
11.2 用PV原语解决司机与售票员的问题
原理:进程同步
- 司机进程如下
S1(0);
while(1)
{
P(S1)
启动车辆
正常运行
到站停车
V(S2)
}
- 售票员进程如下
S2(0);
while(1)
{
关门
V(S1)
售票
P(S2)
开门
}
11.3 用PV原语解决民航售票问题
原理:进程互斥
票数=x
S(1)
P(S)
if (x>0)
x--;
V(S)