进程间通信介绍
进程间通信目的
- 数据传输:一个进程需要将它的数据发送给另一个进程。
- 资源共享:多个进程之间共享同样的资源。
- 通知事件:一个进程需要向另一个或一组进程发送消息,通知它(它们)发生了某种事件(如进程终止时要通知父进程)。
- 进程控制:有些进程希望完全控制另一个进程的执行(如Debug进程),此时控制进程希望能够拦截另一个进程的所有陷入和异常,并能够及时知道它的状态改变。
进程间通信分类
管道(半双工通信,双向选择,单向通信。本质是内核中的一块缓冲区)
- 匿名管道pipe
- 命名管道
System V IPC
- System V 消息队列
- System V 共享内存
- System V 信号量
POSIX IPC
- 消息队列
- 共享内存
- 信号量
- 互斥量
- 条件变量
- 读写锁
什么是管道
- 管道是Unix中最古老的进程间通信的形式。
- 我们把从一个进程连接到另一个进程的一个数据流称为一个"管道"。
匿名管道
#include <unistd.h>
功能:创建一无名管道
原型
int pipe(int fd[2]);
参数
fd:文件描述符数组,其中fd[0]表示读端, fd[1]表示写端
返回值:
成功返回0,失败返回错误代码
用fork来共享管道原理
站在文件描述符角度-深度理解管道
站在内核角度-管道的本质
实现shell程序中的管道功能
#include<stdio.h>
#include<unistd.h>
#include<string.h>
#include<stdlib.h>
#include<fcntl.h>
#include<sys/types.h>
#include<sys/stat.h>
char str[100]={0};
char *maze[100]={0};
int len=0;
void do_str()
{
char *ptr=str;
while(*ptr!='\0')
{
if(*ptr!=' ')
{
maze[len++]=ptr;
while(*ptr!=' '&&*ptr!='\0')
ptr++;
*ptr='\0';
}
ptr++;
}
maze[len]=NULL;
}
void do_exec()
{
for(int i=0;i<len;i++)
{
if(strcmp(maze[i],"|")==0)
{
maze[i]=NULL;
int pd=fork();
if(pd<0)
{
perror("fork1 errno");
exit(-1);
}
if(pd==0)
{
int fd=open("tmp.txt",O_WRONLY|O_CREAT,0664);
dup2(fd,1);
execvp(maze[0],maze);
perror("write errno");
exit(-1);
}
wait(NULL);
pd=fork();
if(pd<0)
{
perror("fork2 errno");
exit(-1);
}
if(pd==0)
{
int fd=open("tmp.txt",O_RDONLY);
dup2(fd,0);
execvp(maze[i+1],maze+i+1);
perror("read errno");
exit(-1);
}
wait(NULL);
break;
}
}
}
int main()
{
gets(str);
do_str();
do_exec();
return 0;
}
管道读写规则
- 管道中若没有数据,则read会阻塞。
- 若管道中数据满了,则write会阻塞。
- 若管道所有写端被关闭,则read读完数据后返回0(而不是阻塞)
- read返回0,表示管道没人写了(即写端全部关闭)没必要再继续读,进程退出。
- 若管道所有读端被关闭,则write写数据会触发异常(导致进程退出)
- 因为管道的读写特性,用户在操作管理的时候最好是没有用到哪一段,则关闭掉。
- 当要写入的数据量不大于PIPE_BUF时,linux将保证写入的原子性。(原子性操作不可被打断)
- 当要写入的数据量大于PIPE_BUF时,linux将不再保证写入的原子性。
- 管道自带同步与互斥:
- 同步:对临界资源访问的时序可控性(时序控制–我操作完了别人才能操作)
- 互斥:对临界资源的同一时间唯一访问性(保护–我操作的时候别人不能操作)
- 管道提供字节流服务,传输方式灵活。但是造成了数据粘连(本质原因:数据之间没有边界)
管道特点
- 本质是内核的块缓冲区—>多个进程通过访问同一块缓冲区实现数据传输通信。
- 只能用于具有共同祖先的进程(具有亲缘关系的进程)之间进行通信;通常,一个管道由一个进程创建,然后该进程调用fork,此后父、子进程之间就可应用该管道。
- 管道提供流式服务
- 一般而言,进程退出,管道释放,所以管道的生命周期随进程
- 一般而言,内核会对管道操作进行同步与互斥
- 管道是半双工的,数据只能向一个方向流动;需要双方通信时,需要建立起两个管道
命名管道
- 管道应用的一个限制就是只能在具有共同祖先(具有亲缘关系)的进程间通信。
- 如果我们想在不相关的进程之间交换数据,可以使用FIFO文件来做这项工作,它经常被称为命名管道。
- 命名管道是一种特殊类型的文件
- 管道文件—>给任意进程提供通过打开同一个命名管道进而访问到内核中同一块管道缓冲区的功能。
创建一个命名管道
- 命名管道可以从命令行上创建,命令行方法是使用下面这个命令:
mkfifo filename
- 命名管道也可以从程序里创建,相关函数有:
int mkfifo(const char *filename,mode_t mode);
匿名管道与命名管道的区别
- 匿名管道由pipe函数创建并打开。
- 命名管道由mkfifo函数创建,打开用open
- FIFO(命名管道)与pipe(匿名管道)之间唯一的区别在它们创建与打开的方式不同,一但这些工作完成之后,它们具有相同的语义。
命名管道的打开规则
- 如果当前打开操作是为读而打开FIFO时
- O_NONBLOCK disable:阻塞直到有相应进程为写而打开该FIFO
- O_NONBLOCK enable:立刻返回成功
- 如果当前打开操作是为写而打开FIFO时
- O_NONBLOCK disable:阻塞直到有相应进程为读而打开该FIFO
- O_NONBLOCK enable:立刻返回失败,错误码为ENXIO
- 命名管道读写特性雷同于匿名管道
system V共享内存
- 开辟一块物理内存空间,将这块物理内存映射连接到进程的虚拟地址空间进行操作,若多个进程映射链接同一块物理内存,则通过这块物理内存实现进程间通信。
- 共享内存区是最快的IPC形式。一旦这样的内存映射到共享它的进程的地址空间,这些进程间数据传递不再涉及到内核,换句话说是进程不再通过执行进入内核的系统调用来传递彼此的数据。
- 进程间通信方式的命令操作:
查看:ipcs ipcs -m ipcs -s ipcs -q
删除:ipcrm -m shmid
注意:共享内存没有进行同步与互斥!
共享内存示意图
共享内存函数
shmget函数
功能:用来创建共享内存
原型
int shmget(key_t key, size_t size, int shmflg);
参数
key:这个共享内存段名字
size:共享内存大小
shmflg:由九个权限标志构成,它们的用法和创建文件时使用的mode模式标志是一样的
返回值:成功返回一个非负整数,即该共享内存段的标识码;失败返回-1
shmat函数
功能:将共享内存段连接到进程地址空间
原型
void *shmat(int shmid, const void *shmaddr, int shmflg);
参数
shmid: 共享内存标识
shmaddr:指定连接的地址
shmflg:它的两个可能取值是SHM_RND和SHM_RDONLY
返回值:成功返回一个指针,指向共享内存第一个节;失败返回-1
说明
- shmaddr为NULL,核心自动选择一个地址
- shmaddr不为NULL且shmflg无SHM_RND标记,则以shmaddr为连接地址。
- shmaddr不为NULL且shmflg设置了SHM_RND标记,则连接的地址会自动向下调整为SHMLBA的整数倍。公式:shmaddr -(shmaddr % SHMLBA)
- shmflg=SHM_RDONLY,表示连接操作用来只读共享内存
shmdt函数
功能:将共享内存段与当前进程脱离
原型
int shmdt(const void *shmaddr);
参数
shmaddr: 由shmat所返回的指针
返回值:成功返回0;失败返回-1
注意:将共享内存段与当前进程脱离不等于删除共享内存段
shmctl函数
功能:用于控制共享内存
原型
int shmctl(int shmid, int cmd, struct shmid_ds *buf);
参数
shmid:由shmget返回的共享内存标识码
cmd:将要采取的动作(有三个可取值)
buf:指向一个保存着共享内存的模式状态和访问权限的数据结构
返回值:成功返回0;失败返回-1
注意:
调用shmctl函数删除共享内存段时,并不会立即删除,它会阻止该共享内存连接新的进程,当已连接的所有进程退出时才会真正的删除该内存空间!!!
system V消息队列
- 消息队列提供了一个从一个进程向另外一个进程发送一块数据的方法
- 每个数据块都被认为是有一个类型,接收者进程接收的数据块可以有不同的类型值
- 特性方面
- IPC资源必须删除,否则不会自动清除,除非重启,所以system V IPC资源的生命周期随内核
system V信号量
信号量
内核中的一个计数器+等待队列—>用于资源计数+等待唤醒功能
功能:
实现进程间同步与互斥
- 没有资源(计数<=0)则等待(死等)
- 一旦有资源(计数>0)则唤醒(等待队列上的进程)
- 获取资源通过计数判断是否有资源,没有资源则等待。否则返回获取资源进行处理,资源计数-1。如果产生数据,则资源计数+1,唤醒等待队列中的进程
- 信号量主要用于同步和互斥的,下面先来看看什么是同步和互斥。
进程互斥
- 由于各进程要求共享资源,而且有些资源需要互斥使用,因此各进程间竞争使用这些资源,进程的这种关系为进程的互斥
- 系统中某些资源一次只允许一个进程使用,称这样的资源为临界资源或互斥资源。
- 在进程中涉及到互斥资源的程序段叫临界区
- 特性方面
- IPC资源必须删除,否则不会自动清除,除非重启,所以system V IPC资源的生命周期随内核。