进程通信

2021-10-14 17:04:31 浏览数 (1)

Hi~朋友,关注置顶防止错过消息

由于各个进程之间独享一块用户地址空间,一般而言这块独立的用户地址空间不能互相访问,所以进程之间想要通信必须通过内核空间(每个进程共享)。

进程间的通信方式主要有以下几种:

  • 管道
  • 消息队列
  • 共享内存
  • 信号量
  • 信号
  • Socket

消息队列

消息队列是保存在内核中的消息链表,用户可以自定义消息体的数据类型,发送方和接收方要约定好消息体的数据类型。当有进程从消息队列中读取了消息体时,内核就会删除消息。

消息队列如果没有主动释放或者关闭操作系统,都会一直存在。

消息队列不适合较大数据的传输,内核中每个消息体都有一个最大长度的限制,同时所有队列包含的消息体总长度也有上限。在Linux内核中,MSGMAX和MSGMNB分别定义了一条消息的最大长度和一个队列的最大长度,单位是字节。

消息队列通信过程中,存在用户态和内核态之间的数据拷贝,但消息队列解决了管道通信效率低下的问题

共享内存

共享内存就是拿出一块虚拟地址空间,来映射到相同的物理内存中。一个进程写入的东西,另一个进程能立马看到,解决了消息队列数据拷贝的问题。

多个进程写入同一片内存区域,就会引发多进程竞争的问题,造成数据的混乱。

信号量

信号量是一个整型计数器,主要用于实现进程间的互斥同步,而不是用于缓存进程间通信的数据。信号量可以很好的保护共享内存区域,在任意时刻只能被一个进程访问。

信号量的原子操作

  • P操作:信号量减1,如果信号量小于0,表示资源已被占用,进程需要阻塞等待,如果大于等于0,进程可以正常执行
  • V操作:信号量加1,如果信号量小于等于0,表明有进程在阻塞,需要对进程进行唤醒,如果大于0,表明没有阻塞的进程

P操作和V操作必须成对存在,P是在进入共享资源之前,V是在离开共享资源以后。

信号量的种类分为:

  • 互斥信号量
  • 同步信号量

互斥信号量

互斥信号量通常将信号量设置为1,可以保证共享内存在任何时刻只有一个进程可以访问。

  1. 进程A在访问共享内存前,先执行P操作,信号量从1减去1变为0,进程可以正常执行
  2. 进程B此时需要访问共享内存,也执行P操作,信号量从0减去1变为-1,不可以正常执行,需要阻塞等待
  3. 进程A在执行完成以后,执行V操作,信号量从-1加1变为0,说明有阻塞等待的进程,于是会会唤醒阻塞中的进程B,使得进程B可以访问共享内存
  4. 进程B执行完成以后,执行V操作,信号量重新恢复为1

同步信号量

同步信号量需要将信号量设置为0,可以保证进程之间的执行顺序。

  1. 假设进程B先进行了P操作,信号量从0减1变为-1,进程B需要阻塞等待
  2. 进程B在某一时刻执行完成以后,进行V操作,信号量从-1加1变为0,说明有进程在阻塞,此时就会唤醒进程B
  3. 进程B被唤醒以后,进程A已经提前生成好了数据,因此可以正确的读取数据

通过同步信号量,保证了进程A的执行一定在进程B之前。

0 人点赞