个人主页:平凡的小苏
学习格言:命运给你一个低的起点,是想看你精彩的翻盘,而不是让你自甘堕落,脚下的路虽然难走,但我还能走,比起向阳而生,我更想尝试逆风翻盘。
C++专栏:Linux内功修炼
家人们更新不易,你们的点赞和⭐关注⭐真的对我真重要,各位路 过的友友麻烦多多点赞关注。欢迎你们的私信提问,感谢你们的转发! 关注我,关注我,关注我,你们将会看到更多的优质内容!!
进程间通信(IPC,Interprocess communication)是一组编程接口,让程序员能够协调不同的进程,使之能在一个操作系统里同时运行,并相互传递、交换信息。 这使得一个程序能够在同一时间里处理许多用户的要求。 因为即使只有一个用户发出要求,也可能导致一个操作系统中多个进程的运行,进程之间必须互相通话。
进程间通信的目的:
进程间通信的本质:让不同的进程看到同一份资源(内存,文件,内核缓冲等)
由于各个运行进程之间具有独立性,这个独立性主要体现在数据层面,而代码逻辑层面可以私有也可以公有(例如父子进程),因此各个进程之间要实现通信是非常困难的。
各个进程之间若想实现通信,一定要借助第三方资源,这些进程就可以通过向这个第三方资源写入或是读取数据,进而实现进程之间的通信,这个第三方资源实际上就是操作系统提供的一段内存区域。
因此,进程间通信的本质就是,让不同的进程看到同一份资源(内存,文件内核缓冲等)。
由于这份资源可以由操作系统中的不同模块提供,因此出现了不同的进程间通信方式。
管道
- 匿名管道pipe
- 命名管道
System V IPC
- System V 消息队列
- System V 共享内存
- System V 信号量
POSIX IPC
- 消息队列
- 共享内存
- 信号量
- 互斥量
- 条件变量
- 读写锁
通信之前,要让不同的进程看到同一份资源(文件,内存块)。我下面谈的进程间通信,不是告诉我们如何通信,而是如何让这两个进程先看到同一份资源。因为资源的不同,会决定不同种类的通信方式,而管道,是提供共享资源的一种手段。
管道是Unix中最古老的进程间通信的形式,我们把从一个进程连接到另一个进程的一个数据流称为一个“管道”。
其中,who命令和wc命令都是两个程序,当它们运行起来后就变成了两个进程,who进程通过标准输出将数据打到“管道”当中,wc进程再通过标准输入从“管道”当中读取数据,至此便完成了数据的传输,进而完成数据的进一步加工处理。
现实中的管道是单向的,并且是传输资源的。进程间通信中的管道也是单向的,并且是传输数据的。当要写入的数据量不大于PIPE_BUF(一般是4096字节)时,linux将保证写入的原子性。当要写入的数据量大于PIPE_BUF时,linux将不再保证写入的原子性。
进程间通信的本质就是,让不同的进程看到同一份资源,使用匿名管道实现父子进程间通信的原理就是,让两个父子进程先看到同一份被打开的文件资源,然后父子进程就可以对该文件进行写入或是读取操作,进而实现父子进程间通信。
解释上图:
pipe函数用于创建匿名管道,pipe的函数原型如下:
int pipe(int pipefd[2]);
pipe函数的参数是一个输出型参数,数组pipefd用于返回两个指向管道读端和写端的文件描述符:
pipe函数调用成功时返回0,调用失败返回-1.
在创建匿名管道实现父子进程间通信的过程中,需要pipe函数和fork函数搭配使用,具体步骤如下:
1、父进程调用pipe函数创建管道
2、父进程fork创建子进程
3、父进程关闭写端,子进程关闭读端
注意:
问1:为什么父进程要用两个文件描述符分别打开读端和写端
问2:为什么父子要关闭对应的读写端
问3:谁来决定父子进程关闭什么读写?
现在我们来实现一个管道:
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
#define NUM 1024
void Writer(int wfd)
{
string s = "hello, I am child";
pid_t self = getpid();
int number = 0;
char buffer[NUM];
while(true)
{
buffer[0] = 0;//字符串清空
snprintf(buffer,sizeof buffer, "%s-%d-%d",s.c_str(),self,number++);
// cout << buffer << endl;
write(wfd,buffer,strlen(buffer));
sleep(1);
}
}
void Reader(int rfd)
{
char buffer[NUM];
while(true)
{
buffer[0] = 0;
ssize_t s = read(rfd,buffer,sizeof(buffer) - 1);
if(s > 0)
{
buffer[s] = 0;
cout << "父进程收到消息,内容是:" << buffer << endl;
}
else if(s == 0)
{
cout << "子进程写完了,父进程我也退出啦" << endl;
break;
}
else
{
//
}
}
}
int main()
{
int pipefd[2] = {0};
if(pipe(pipefd) != 0)
{
perror("fail:");
return 1;
}
pid_t id = fork();
if(id < 0)
{
cerr << "fork error" << endl;
return 2;
}
else if(id == 0)
{
//子进程关闭读端
close(pipefd[0]);
Writer(pipefd[1]);
close(pipefd[1]);
exit(1);
}
//父进程关闭写端
close(pipefd[1]);
Reader(pipefd[0]);
pid_t rid = waitpid(id,nullptr,0);
close(pipefd[0]);
return 0;
}
问1:当父进程关闭管道的写端,子进程是怎么知道父进程关了的?并且后面还把数据读完就关了呢?
问2:父进程是每隔2秒sleep一次,那为什么子进程没有进行sleep,但读取节奏却和父进程一样呢?
因此,父进程和子进程在读写的时候,是有一定的顺序性的。
再来实现一个进程控制,让父进程通过管道控制子进程,让子进程去做事情:
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include "Task.hpp"
using namespace std;
const int processnum = 5;
vector<task_t>tasks;
struct channel
{
public:
channel(int cmdfd, int slaverid, const std:: string& processname)
:_cmdfd(cmdfd),_slaverid(),_processname(processname)
{}
public:
int _cmdfd; //发送任务的文件描述符
pid_t _slaverid; //子进程的PID
std::string _processname; //子进程的名字
};
void slaver()
{
while(true)
{
int cmdcode = 0;
int n = read(0,&cmdcode,sizeof cmdcode);
if(n == sizeof(cmdcode))
{
cout << "slaver a command: " << getpid() << " : cmdcode: " << cmdcode << endl;
if(cmdcode < 0 || cmdcode > tasks.size()) continue;
tasks[cmdcode]();
}
if(n == 0) break;
}
}
void InitProcess(vector<channel>* channels)
{
vector<int>oldfd;
//初始化
for(int i = 0; i < processnum; i++)
{
int pipefd[2];
int n = pipe(pipefd);
assert(!n);
(void)n;
pid_t id = fork();
if(id == 0)
{
for(auto fd : oldfd) close(fd);
close(pipefd[1]);
// slaver(pipefd[0]);
dup2(pipefd[0],0);
close(pipefd[0]);
slaver();
cout << "process : " << getpid() << "quit!" << endl;
exit(0);
}
close(pipefd[0]);
//添加channel字段
std::string name = "process-" + std::to_string(i);
channels->push_back(channel(pipefd[1],id,name));
oldfd.push_back(pipefd[1]);
}
}
void debug(const vector<channel>& channels)
{
for(auto &t : channels)
{
cout << t._cmdfd << " " << t._slaverid << " " << t._processname << endl;
}
}
void CtrlProcess(vector<channel>& channels)
{
int which = 0;
int cnt = 0;
//控制子进程
while(cnt < 5)
{
//选择任务
int cmdcode = rand() % tasks.size();
//选择进程
// int processpos = rand() % channels.size();
//发送任务
write(channels[which]._cmdfd,&cmdcode,sizeof(cmdcode));
which++;
which %= channels.size();
cnt++;
sleep(1);
}
}
void QuitProcess(vector<channel>& channels)
{
for(const auto &c : channels){
close(c._cmdfd);
waitpid(c._slaverid, nullptr, 0);
}
}
int main()
{
LoadTask(&tasks);
srand(time(nullptr)^ getpid() * 1023);//种随机数种子
vector<channel> channels;
InitProcess(&channels);
// debug(channels);
CtrlProcess(channels);
QuitProcess(channels);
return 0;
}
#pragma once
#include
#include
#include
using namespace std;
typedef void (*task_t)();
void task1()
{
cout << "lol 刷新日志" << endl;
}
void task2()
{
cout << "lol 更新野区,刷新出来野怪" << endl;
}
void task3()
{
cout << "lol 检查日志" << endl;
}
void task4()
{
cout << "lol 释放技能" << endl;
}
void LoadTask(vector* tasks)
{
tasks->push_back(task1);
tasks->push_back(task2);
tasks->push_back(task3);
tasks->push_back(task4);
}
上述操作实现了让父进程去控制一个进程,那么如何让父进程控制一批进程呢?
问:我曾经在命令行中写的 | 管道是什么意思呢?
1、当没有数据可读时
O_NONBLOCK disable
:read调用阻塞,即进程暂停执行,一直等到有数据来到为止。O_NONBLOCK enable
:read调用返回-1,errno值为EAGAIN。2、当管道满的时候
O_NONBLOCK disable
: write调用阻塞,直到有进程读走数据O_NONBLOCK enable
:调用返回-1,errno
值为EAGAIN
3、如果所有管道写端对应的文件描述符被关闭,则read
返回0
4、如果所有管道读端对应的文件描述符被关闭,则write
操作会产生信号SIGPIPE
,进而可能导致write
进程退出
5、当要写入的数据量不大于PIPE_BUF
时,linux
将保证写入的原子性。
6、当要写入的数据量大于PIPE_BUF
时,linux
将不再保证写入的原子性。
1、管道只能用于具有共同祖先的进程(具有亲缘关系的进程)之间进行通信;常用于父子间通信,一个管道由一个进程创建,然后 该进程调用fork,此后父、子进程之间就可应用该管道。
2、管道只能单向通信(内核的实现所决定),是半双工的一种特殊情况
在数据通信中,数据在线路上的传送方式可以分为以下三种:
管道是半双工的,数据只能向一个方向流动,需要双方通信时,要建立起两个管道:
3、管道自带同步互斥机制(pipe满,writer等;pipe空,reader等) —— 自带访问控制
我们将一次只允许一个进程使用的资源,称为临界资源。管道在同一时刻只允许一个进程对其进行写入或是读取操作,因此管道也就是一种临界资源。临界资源是需要被保护的,若是我们不对管道这种临界资源进行任何保护机制,那么就可能出现同一时刻有多个进程对同一管道进行操作的情况,进而导致同时读写、交叉读写以及读取到的数据不一致等问题。为了避免这些问题,内核会对管道操作进行同步与互斥:
实际上,同步是一种更为复杂的互斥,而互斥是一种特殊的同步。对于管道的场景来说,互斥就是两个进程不可以同时对管道进行操作,它们会相互排斥,必须等一个进程操作完毕,另一个才能操作,而同步也是指这两个不能同时对管道进行操作,但这两个进程必须要按照某种次序来对管道进行操作。也就是说,互斥具有唯一性和排它性,但互斥并不限制任务的运行顺序,而同步的任务之间则有明确的顺序关系。
4、管道的生命周期随进程
5、管道是面向字节流的 —— 先写的字符,一定是先被读取的,没有格式边界,需要用户来定义区分内容的边界
匿名管道只能用于具有共同祖先的进程(具有亲缘关系的进程)之间的通信,通常,一个管道由一个进程创建,然后该进程调用fork,此后父子进程之间就可应用该管道。如果要实现两个毫不相关进程之间的通信,可以使用命名管道来做到。命名管道就是一种特殊类型的文件,两个进程通过命名管道的文件名打开同一个管道文件,此时这两个进程也就看到了同一份资源,进而就可以进行通信了。
注意:
- 普通文件是很难做到通信的,即便做到通信也无法解决一些安全问题。
- 命名管道和匿名管道一样,都是内存文件,只不过命名管道在磁盘有一个简单的映像,但这个映像的大小永远为0,因为命名管道和匿名管道都不会将通信数据刷新到磁盘当中。
我们可以使用mkfifo命令创建一个命名管道
使用如下:
如上可以看到,创建出来的文件类型是p,代表该文件是命名管道文件。
之前我们说过,当管道的读端进程退出后,写端进程再向管道写入数据就没有意义了,此时写端进程会被操作系统杀掉,在这里就可以很好的得到验证:当我们终止掉读端进程后,因为写端执行的循环脚本是由命令行解释器bash执行的,所以此时bash就会被操作系统杀掉,我们的云服务器也就退出了。
在程序中创建命名管道使用mkfifo函数,mkfifo函数的函数原型如下:
int mkfifo(const char *pathname, mode_t mode);
mkfifo的第一个参数pathname,表示要创建的命名管道文件。
若pathname以路径的方式给出,则将命名管道文件创建在pathname路径下。
若pathname以文件名的方式给出,则将命名管道文件默认创建在当前路径下。(注意当前路径的含义)
mkfifo的第二个参数mode,表示创建命名管道文件的默认权限。
mkfifo函数的返回值:
实现服务端(server)和客户端(client)之间的通信之前,我们需要先让服务端运行起来,让服务端运行后创建一个命名管道文件,然后再以读的方式打开该命名管道文件,之后服务端就可以从该命名管道当中读取客户端发来的通信信息了。
注意:如果一个进程已经把文件创建好了,那么另一个进程不需要创建这个文件了,直接用就可以了
server服务端代码如下:
#include
#include "comm.hpp"
#include
using namespace std;
int main()
{
//创建管道
int n = mkfifo(FIFO_FILE, MODE);
if(n == -1)
{
perror("mkfifo:");
exit(1);
}
//打开管道
int fd = open(FIFO_FILE,O_RDONLY);
if(fd < 0)
{
perror("open:");
exit(3);
}
//开始通信
while(true)
{
char buffer[1024] = {0};
int x = read(fd,buffer,sizeof(buffer));
if(x > 0)
{
buffer[x] = 0;
cout << "client say# " << buffer << endl;
}
else if(x == 0) break;
else break;
}
int m = unlink(FIFO_FILE);
if(m == -1)
{
perror("unlink:");
exit(2);
}
return 0;
}
#include
#include "comm.hpp"
#include
using namespace std;
int main()
{
int fd = open(FIFO_FILE,O_WRONLY);
if(fd < 0)
{
perror("open:");
exit(1);
}
string line;
while(true)
{
cout << "Please enter@ ";
cin >> line;;
write(fd,line.c_str(),line.size());
}
close(fd);
return 0;
}
comm.h头文件代码如下:
#pragma once
#include
#include
#include
#include
#include
#include
#include
#define FIFO_FILE "./myfifo"
#define MODE 0664
- 匿名管道:子进程继承父进程。由pipe函数创建并打开。
- 命名管道:通过一个fifo文件(有路径,具有唯一性),通过路径找到同一个资源。由mkfifo函数创建,由open函数打开。
- FIFO(命名管道)与pipe(匿名管道)之间唯一的区别在于它们创建与打开的方式不同,一旦这些工作完成之后,它们具有相同的语义。
共享内存让不同进程看到同一份资源的方式就是,通过一种接口在物理内存当中申请一块内存空间,然后通过此接口将这块内存空间分别与各个进程各自的页表之间建立映射,再在虚拟地址空间当中开辟空间并将虚拟地址填充到各自页表的对应位置,使得虚拟地址和物理地址之间建立起对应关系,至此这些进程便看到了同一份物理内存,这块物理内存就叫做共享内存。
注意:
这里所说的开辟物理空间、建立映射等操作都是调用系统接口完成的,也就是说这些动作都由操作系统来完成。所以操作系统需要提供具有如下功能的接口:
- 创建共享内存 —— 删除共享内存(OS内部帮我们做)
- 关联共享内存 —— 去关联共享内存(进程做,实际也是OS做)
在系统当中可能会有大量的进程在进行通信,因此系统当中就可能存在大量的共享内存,那么操作系统必然要对其进行管理,所以共享内存除了在内存当中真正开辟空间之外,系统一定还要为共享内存维护相关的内核数据结构。共享内存的数据结构如下:
struct shmid_ds {
struct ipc_perm shm_perm; /* operation perms */
int shm_segsz; /* size of segment (bytes) */
__kernel_time_t shm_atime; /* last attach time */
__kernel_time_t shm_dtime; /* last detach time */
__kernel_time_t shm_ctime; /* last change time */
__kernel_ipc_pid_t shm_cpid; /* pid of creator */
__kernel_ipc_pid_t shm_lpid; /* pid of last operator */
unsigned short shm_nattch; /* no. of current attaches */
unsigned short shm_unused; /* compatibility */
void* shm_unused2; /* ditto - used by DIPC */
void* shm_unused3; /* unused */
};
创建共享内存我们需要使用shmget函数,shmget函数的原型如下:
#include
#include
int shmget(key_t key, size_t size, int shmflg);
shmget函数的参数说明:
shmget函数的返回值说明:
着重强调size:
着重强调shmflg:
shmflg有两个常见的选项(IPC_CREAT和IPC_EXCL)
组合方式 | 作用 |
---|---|
IPC_CREAT | 如果内核中不存在键值与key相等的共享内存,则新建一个共享内存并返回该共享内存的句柄;如果存在这样的共享内存,则直接返回该共享内存的句柄。 |
IPC_CREAT|IPC_EXCL | IPC_EXCL不能单独使用,必须和IPC_CREAT配合,如果不存在键值与key相等的共享内存,则新建一个共享内存并返回该共享内存的句柄;如果存在这样的共享内存,则出错返回。 |
换句话说:
- 使用组合IPC_CREAT,一定会获得一个共享内存的句柄,但无法确认该共享内存是否是新建的共享内存。
- 使用组合IPC_CREAT | IPC_EXCL,只有shmget函数调用成功时才会获得共享内存的句柄,并且该共享内存一定是新建的共享内存。
着重强调key:
struct shmid_ds {
struct ipc_perm shm_perm; /* operation perms */
int shm_segsz; /* size of segment (bytes) */
__kernel_time_t shm_atime; /* last attach time */
__kernel_time_t shm_dtime; /* last detach time */
__kernel_time_t shm_ctime; /* last change time */
__kernel_ipc_pid_t shm_cpid; /* pid of creator */
__kernel_ipc_pid_t shm_lpid; /* pid of last operator */
unsigned short shm_nattch; /* no. of current attaches */
unsigned short shm_unused; /* compatibility */
void* shm_unused2; /* ditto - used by DIPC */
void* shm_unused3; /* unused */
};
struct ipc_perm {
key_t __key; /* Key supplied to shmget(2) */
uid_t uid; /* Effective UID of owner */
gid_t gid; /* Effective GID of owner */
uid_t cuid; /* Effective UID of creator */
gid_t cgid; /* Effective GID of creator */
unsigned short mode; /* Permissions + SHM_DEST and SHM_LOCKED flags */
unsigned short __seq; /* Sequence number */
};
问:为什么此key值得由用户提供呢?
假设通信的进程为client和server进程,如果key值由用户提供,那么server就可以提供一个key值让操作系统帮他创建一个进程,并约定好让client也使用同样的key值,访问此共享内存。进程间通信的前提是让不同的进程看到同一份资源。综上:共享内存在内核中,想让不同的进程看到同一份共享内存,做法就是让他们拥有同一个key即可。
那么我们如何能拥有与之前不同的key值呢,这就需要用到 ftok 函数来获取key值。ftok函数的原型如下:
#include
#include
key_t ftok(const char* pathname, int proj_id);
ftok函数的作用就是,将一个已存在的路径名pathname和一个整数标识符proj_id转换成一个key值,称为IPC键值,在使用shmget函数获取共享内存时,这个key值会被填充进维护共享内存的数据结构当中。需要注意的是,pathname所指定的文件必须存在且可存取。
注意:
- 使用ftok函数生成key值可能会产生冲突,此时可以对传入ftok函数的参数进行修改。
- 需要进行通信的各个进程,在使用ftok函数获取key值时,都需要采用同样的路径名和和整数标识符,进而生成同一种key值,然后才能找到同一个共享资源。
至此我们就可以使用ftok和shmget函数创建一块共享内存了,创建后我们可以将共享内存的key值和句柄进行打印,以便观察,代码如下:
此时我们若是要将创建的共享内存释放,有两个方法,一就是使用命令释放共享内存,二就是在进程通信完毕后调用释放共享内存的函数进行释放。
法一:使用命令释放共享内存
在Linux中,我们可以使用 ipcs 命令查看有关进程间通信设施的信息。
单独使用 ipcs 命令时,会默认列出消息队列,共享内存以及信号量相关的信息,若指向查看他们之间某一个的相关信息,可以选择携带以下选项:
此时,根据ipcs
命令的查看结果和我们的输出结果可以确认,共享内存已经创建成功了。ipcs命令输出的每列信息的含义如下:
在共享内存列表中的perms代表的是该共享内存的权限,这个是可以修改的:
int shmid = shmget(key, MEM_SIZE, flags | 0666);
再创建时,| 0666就更改权限为666了:
如果我们想要显示的删除,就使用ipcrm -m shmid
ipcrm -m 6
法二:使用系统接口shmctl删除共享内存
控制共享内存我们需要使用shmctl函数,shmctl函数的函数原型如下:
#include
#include
int shmctl(int shmid, int cmd, struct shmid_ds *buf);
shmctl函数的参数说明:
shmctl函数的返回值说明:
其中,作为shmctl函数的第二个参数cmd传入的常用的选项有以下三个:
将共享内存连接到进程地址空间我们需要用shmat函数,shmat函数的原型如下:
#include
#include
void *shmat(int shmid, const void *shmaddr, int shmflg);
shmat函数的参数说明:
shmat函数的返回值说明:
其中,作为shmat函数的第三个参数shmflg传入的常用的选项有以下三个:
取消共享内存与进程地址空间之间的关联我们需要用shmdt函数,shmdt函数的函数原型如下:
#include
#include
int shmdt(const void *shmaddr);
shmdt函数的参数说明:
shmdt函数的返回值说明:
当共享内存创建好后就不再需要调用系统接口进行通信了,而管道创建好后仍需要read、
write等系统接口进行通信。实际上,共享内存是所有进程间通信方式中最快的一种通信方式。
我们先来看看管道通信:
从这张图可以看出,使用管道通信的方式,将一个文件从一个进程传输到另一个进程需要进行四次拷贝操作:
再来看看共享内存通信:
从这张图可以看出,使用共享内存进行通信,将一个文件从一个进程传输到另一个进程只需要进行两次拷贝操作:
所以共享内存是所有进程间通信方式中最快的一种通信方式,因为该通信方式需要进行的拷贝次数最少。但是共享内存也是有缺点的,我们知道管道是自带同步与互斥机制的,但是共享内存并没有提供任何的保护机制,包括同步与互斥。