进程间通信(管道,共享内存,消息队列,信号量)
背景知识
-
原子操作(atomic operation)
原子操作意为不可被中断的一个或一系列操作,也可以理解为就是一件事情要么做了,要么没做。而原子操作的实现,一般是依靠硬件来实现的。 -
同步与互斥
同步:在访问资源的时候,以某种特定顺序的方式去访问资源
互斥:一个资源每次只能被一个进程所访问。
同步与互斥是保证在高效率运行的同时,可以正确运行。大部分情况下同步是在互斥的基础上进行的。 -
临界资源
不同进程能够看到的一份公共的资源(如:打印机,磁带机等),且一次仅允许一个进程使用的资源称为临界资源。 -
临界区
临界区是一段代码,在这段代码中进程将访问临界资源(例如:公用的设备或是存储器),当有进程进入临界区时,其他进程必须等待,有一些同步的机制必须在临界区段的进入点和离开点实现,确保这些共用资源被互斥所获得。 -
相关命令
ipcs -s 显示已存在的信号量
ipcrm -s 删除指定信号量
注意:有时候因为权限问题需要在root下查看与删除。
进程间通信介绍
进程间通信目的
- 数据传输:一个进程需要将它的数据发送给另一个进程
- 资源共享:多个进程之间共享同样的资源。
- 通知事件:一个进程需要向另一个或一组进程发送消息,通知它(它们)发生了某种事件(如进程终止时要通知父进程)。
- 进程控制:有些进程希望完全控制另一个进程的执行(如Debug进程),此时控制进程希望能够拦截另一个进程的所有陷入和异常,并能够及时知道它的状态改变。
进程间通信发展
管道
System V进程间通信
POSIX进程间通信
进程间通信分类
- 管道
*匿名管道pipe
*命名管道 - System V IPC
*System V 消息队列
*System V 共享内存
*System V 信号量
-POSIX IPC
- 消息队列
- 共享内存
- 信号量
- 互斥量
- 条件变量
- 读写锁
无论哪种通信方式的本质就是让不同的进程或者文件and so on,看到同一块资源进行通信传输
管道
管道是Unix中最古老的进程间通信的形式。 我们把从一个进程连接到另一个进程的一个数据流称为一个“管道”
匿名管道
#include <unistd.h>
功能:创建一无名管道
原型
int pipe(int fd[2]);
参数
fd:文件描述符数组,其中fd[0]表示读端, fd[1]表示写端
返回值:成功返回0,失败返回错误代码
因为匿名管道半双工的通信方式,只能读写分开,或者建立两个管道进行模拟双工,并且匿名管道只是在有其亲缘关系
的进程间通信,用人话说就是父子,兄弟,爷孙,这样的进程间进行传输。
在亲缘关系中又是用fork来管理的,随着进程的生命周期结束而结束。
int pipefd[2]={0};
pipe(pipefd);
pid_t id=fork();
if(id==0)
{
close(pipefd[1]);
char buff[256];
ssize_t ret= read(pipefd[0],buff,sizeof(buff)-1);
if(ret>0)
{
buff[ret]=0;
printf("buf=%s\n",buff);
}
}
else
{
close(pipefd[0]);
const char *msg="I am father\n";
write(pipefd[1],msg,strlen(msg));
close(pipefd[1]);
}
其本质是在缓冲区里实现的。
在父子进程PCB中通过file_struct 找到inode来操作同一块资源。
读写规则和特点
读写规则:
- 当没有数据可读时
- O_NONBLOCK disable:read调用阻塞,即进程暂停执行,一直等到有数据来到为止。
- O_NONBLOCK enable:read调用返回-1,errno值为EAGAIN。
当管道满的时候 - O_NONBLOCK disable: write调用阻塞,直到有进程读走数据
- O_NONBLOCK enable:调用返回-1,errno值为EAGAIN
-
如果所有管道写端对应的文件描述符被关闭,则read返回0
-
如果所有管道读端对应的文件描述符被关闭,则write操作会产生信号SIGPIPE,进而可能导致write进程退出
-
当要写入的数据量不大于PIPE_BUF时,linux将保证写入的原子性。
-
当要写入的数据量大于PIPE_BUF时,linux将不再保证写入的原子性
特点:
- 只能用于具有共同祖先的进程(具有亲缘关系的进程)之间进行通信;通常,一个管道由一个进程创建,然后该进程调用fork,此后父、子进程之间就可应用该管道。
- 管道提供流式服务
- 一般而言,进程退出,管道释放,所以管道的生命周期随进程
- 一般而言,内核会对管道操作进行同步与互斥
- 管道是半双工的,数据只能向一个方向流动;需要双方通信时,需要建立起两个管道
命名管道
- 创建命名管道
- 命名管道可以从命令行上创建,命令行方法是使用下面这个命令
$ mkfifo filename
- 命名管道也可以从程序里创建,相关函数有
int mkfifo(const char *filename,mode_t mode);
- 命名管道也可以从程序里创建,相关函数有
- 命名管道可以从命令行上创建,命令行方法是使用下面这个命令
匿名管道与命名管道的区别
匿名管道由pipe函数创建并打开。命名管道由mkfifo函数创建,打开用openFIFO(命名管道)与pipe(匿名管道)之间唯一的区别在它们创建与打开的方式不同,一但这些工作完成之后,它们具有相同的语义。
命名管道的打开规则
- 如果当前打开操作是为读而打开FIFO时
- O_NONBLOCK disable:阻塞直到有相应进程为写而打开该FIFO
- O_NONBLOCK enable:立刻返回成功
- 如果当前打开操作是为写而打开FIFO时
- O_NONBLOCK disable:阻塞直到有相应进程为读而打开该FIFO
- O_NONBLOCK enable:立刻返回失败,错误码为ENXIO
Client&Servers实现命名管道
Servers:
int main()
{
umask(0);
mkfifo("./fifo",0664);
int fd =open("./fifo",O_RDONLY);
char buff[256];;
while(1)
{
ssize_t ret = read(fd,buff,sizeof(buff)-1);
if(ret>0)
{
buff[ret]=0;
printf("client %s",buff);
}
else if(ret==0)
{
printf("is empty");
break;
}
}
}
Client:
int main()
{
int fd =open("./fifo",O_WRONLY);
char buff[256];
while(1)
{
printf("please enter");
fflush(stdout);
ssize_t s=read(0,buff,sizeof(buff)-1);
if(s>0)
{
buff[s]=0;
write(fd,buff,s);
}
}
}
结果呈现:
命名管道也是通过缓冲区,只不过文件是缓冲区的标识
system V共享内存
共享内存区是最快的IPC形式。一旦这样的内存映射到共享它的进程的地址空间,这些进程间数据传递不再涉及到内核,换句话说是进程不再通过执行进入内核的系统调用来传递彼此的数据
创建步骤
①
key_t ftok(const char *pathname, int proj_id)来建立一个唯一的Key值来让后边的共享内存找到。
②
功能:用来创建共享内存
原型
int shmget(key_t key, size_t size, int shmflg);
参数
key:这个共享内存段名字
size:共享内存大小
shmflg:由九个权限标志构成,它们的用法和创建文件时使用的mode模式标志是一样的
返回值:成功返回一个非负整数,即该共享内存段的标识码;失败返回-
③
功能:将共享内存段连接到进程地址空间
原型
void *shmat(int shmid, const void *shmaddr, int shmflg);
参数
shmid: 共享内存标识
shmaddr:指定连接的地址
shmflg:它的两个可能取值是SHM_RND和SHM_RDONLY
返回值:成功返回一个指针,指向共享内存第一个节;失败返回-1
④
功能:将共享内存段与当前进程脱离
原型
int shmdt(const void *shmaddr);
参数
shmaddr: 由shmat所返回的指针
返回值:成功返回0;失败返回-1
注意:将共享内存段与当前进程脱离不等于删除共享内存段
⑤
功能:用于控制共享内存
原型
int shmctl(int shmid, int cmd, struct shmid_ds *buf);
参数
shmid:由shmget返回的共享内存标识码
cmd:将要采取的动作(有三个可取值)
buf:指向一个保存着共享内存的模式状态和访问权限的数据结构
返回值:成功返回0;失败返回-1
一般都会用IPC_RMID来对创建的共享内存进行删除。
以下是通过共享内存实现的通信结果:
system V消息队列
创建消息队列
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>
int msgget(key_t key, int msgflag)
- 消息队列提供了一个从一个进程向另外一个进程发送一块数据的方法
- 每个数据块都被认为是有一个类型,接收者进程接收的数据块可以有不同的类型值
- 特性方面
- IPC资源必须删除,否则不会自动清除,除非重启,所以system V IPC资源的生命周期随内核
system V信号量
信号量主要用于同步和互斥的,下面先来看看什么是同步和互斥
进程互斥
1.由于各进程要求共享资源,而且有些资源需要互斥使用,因此各进程间竞争使用这些资源,进程的这种关系为进程的互斥
2.系统中某些资源一次只允许一个进程使用,称这样的资源为临界资源或互斥资源。
3. 在进程中涉及到互斥资源的程序段叫临界区特性方面
4. IPC资源必须删除,否则不会自动清除,除非重启,所以system V IPC资源的生命周期随内核
申请和释放资源(P/V)操作
P(sv):如果sv的值大于零,就给它减1;如果它的值为零,就挂起该进程的执行
V(sv):如果有其他进程因等待sv而被挂起,就让它恢复运行,如果没有进程因等待sv而挂起,就给它加1.