在linux下的多个进程间的通信机制叫做IPC(Inter-Process Communication),它是多个进程之间相互沟通的一种方法。在linux下有多种进程间通信的方法:半双工管道、命名管道、消息队列、信号、信号量、共享内存、内存映射文件,套接字等等。使用这些机制可以为linux下的网络服务器开发提供灵活而又坚固的框架。
1. 管道 (PIPE)
管道实际是用于进程间通信的一段共享内存,创建管道的进程称为管道服务器,连接到一个管道的进程为管道客户机。一个进程在向管道写入数据后,另一进程就可以从管道的另一端将其读取出来。
管道的特点:
1、管道是半双工的,数据只能向一个方向流动;需要双方通信时,需要建立起两个管道;
2、
只能用于父子进程或者兄弟进程之间(
具有亲缘关系的进程)。
比如fork或exec创建的新进程,
在使用exec创建新进程时,需要将管道的文件描述符作为参数传递给exec创建的新进程。
当父进程与使用fork创建的子进程直接通信时,发送数据的进程关闭读端,接受数据的进程关闭写端。
3、单独构成一种独立的文件系统:管道对于管道两端的进程而言,就是一个文件,但它不是普通的文件,它不属于某种文件系统,而是自立门户,单独构成一种文件系统,并且只存在与内存中。
4、数据的读出和写入:一个进程向管道中写的内容被管道另一端的进程读出。写入的内容每次都添加在管道缓冲区的末尾,并且每次都是从缓冲区的头部读出数据。
管道的实现机制:
管道是由内核管理的一个缓冲区,相当于我们放入内存中的一个纸条。管道的一端连接一个进程的输出。这个进程会向管道中放入信息。管道的另一端连接一个进程的输入,这个进程取出被放入管道的信息。一个缓冲区不需要很大,它被设计成为环形的数据结构,以便管道可以被循环利用。当管道中没有信息的话,从管道中读取的进程会等待,直到另一端的进程放入信息。当管道被放满信息的时候,尝试放入信息的进程会等待,直到另一端的进程取出信息。当两个进程都终结的时候,管道也自动消失。
管道只能在本地计算机中使用,而不可用于网络间的通信。
pipe函数原型:
- #include
- int pipe(int file_descriptor[2]);
- eg.int fd[2]
- int result = pipe(fd);
通过使用底层的read和write调用来访问数据。 向
file_descriptor[1]写
数据,从
file_descriptor[0]中
读数据。写入与读取的顺序原则是
先进先出。
管道读写规则
当没有数据可读时
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
当要写入的数据量不大于PIPE_BUF(Posix.1要求PIPE_BUF至少
512字节)时,linux将保证写入的原子性。
当要写入的数据量大于PIPE_BUF时,linux将不再保证写入的原子性。
2. 命名管道(FIFO)
命名管道是一种特殊类型的文件,它在系统中以文件形式存在。这样克服了管道的弊端,他可以
允许没有亲缘关系的进程间通信。
创建管道的两个系统调用原型:
- #include
- #include
- int mkfifo(const char *filename,mode_t mode);
- eg.mkfifo( "/tmp/cmd_pipe", S_IFIFO | 0666 );
具体操作方法只要创建了一个命名管道然后就可以使用open、read、write等系统调用来操作。创建可以手工创建或者程序中创建。
- int mknod(const char *path, mode_t mode, dev_t dev);
- eg.mknod(FIFO_FILE,S_IFIFO|0666,0);
管道和命名管道的区别:
对于命名管道FIFO来说,IO操作和普通管道IO操作基本一样,但是两者有一个主要的区别,在命名管道中,管道可以是事先已经创建好的,比如我们在命令行下执行
mkfifo myfifo
就是创建一个命名通道,我们必须用open函数来显示地建立连接到管道的通道,而在管道中,管道已经在主进程里创建好了,然后在fork时直接复制相关数据或者是用exec创建的新进程时把管道的文件描述符当参数传递进去。
一般来说FIFO和PIPE一样总是处于阻塞状态。也就是说如果命名管道FIFO打开时设置了读权限,则读进程将一直阻塞,一直到其他进程打开该FIFO并向管道写入数据。这个阻塞动作反过来也是成立的。如果不希望命名管道操作的时候发生阻塞,可以在open的时候使用O_NONBLOCK标志,以关闭默认的阻塞操作。
3. 信号 (signal)
信号机制是unix系统中最为古老的进程之间的通信机制,用于一个或几个进程之间传递异步信号。信号可以有各种异步事件产生,比如键盘中断等。shell也可以使用信号将作业控制命令传递给它的子进程。
在此列出几个简单使用方法定义:
- #include
- #include
- void (*signal(int sig,void (*func)(int)))(int);
- eg.int ret = signal(SIGSTOP, sig_handle);
由于signal不够健壮,推荐使用sigaction函数。
- int kill(pid_t pid,int sig);
- int raise(int sig);
- #include
- unsigned int alarm(unsigned int seconds);
- int pause(void);
4. 消息队列(Message queues)
消息队列是内核地址空间中的内部链表,通过linux内核在各个进程直接传递内容,消息顺序地发送到消息队列中,并以几种不同的方式从队列中获得,每个消息队列可以用
IPC标识符
唯一地进行识别。内核中的消息队列是通过IPC的标识符来区别,不同的消息队列直接是相互独立的。每个消息队列中的消息,又构成一个
独立的链表。
消息队列克服了信号承载信息量少,管道只能承载无格式字符流。
消息队列头文件:
- #include
- #include
- #include
1、
消息缓冲区结构:
- struct msgbuf{
- long mtype;
- char mtext[1];
- }
在结构中有两个成员,mtype为消息类型,用户可以给某个消息设定一个类型,可以在消息队列中正确地发送和接受自己的消息。mtext为消息数据,采用柔性数组,用户可以重新定义msgbuf结构。例如:
- struct msgbuf{
- long mtype;
- char mtext[1];
- }
当然用户不可随意定义msgbuf结构,因为在linux中消息的大小是有限制的,在linux/msg.h中定义如下:
#define MSGMAX 8192
消息总的大小不能超过8192个字节,包括mtype成员(4个字节)。
2、msqid_ds内核数据结构。
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;">struct msgid_ds{
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> struct ipc_perm msg_perm{
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> time_t msg_stime;
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> time_t msg_rtime;
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> time_t msg_ctime;
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> unsigned long _msg_cbuyes;
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> ..........
"font-family: 微软雅黑; font-size: 14px; line-height: 21px;"> };
Linux内核中,每个消息队列都维护一个结构体,此结构体保存着消息队列当前状态信息,该结构体在头文件linux/msg.h中定义。
3、ipc_perm内核数据结构
- struct ipc_perm{
- key_t key;
- uid_t uid;
- gid_t gid;
- .......
- };
结构体ipc_perm保存着消息队列的一些重要的信息,比如说消息队列关联的键值,消息队列的用户id组id等。它定义在头文件linux/ipc.h中。
常用函数:
系统建立IPC通讯 (消息队列、信号量和共享内存) 时必须指定一个ID值。通常情况下,该id值通过ftok函数得到。
- key_t ftok( const char * fname, int id );
- eg.key_t key = key =ftok(".", 1);
- int msgget(key_t key,int msgflag);
- eg.int msg_id = msgget(key, IPC_CREATE | IPC_EXCL | 0x0666);
- int msgsnd(int msgid,const void *msgptr,size_t msg_sz,int msgflg);
- eg.struct msgmbuf{
- int mtype;
- char mtext[10];
- };
- struct msgmbuf msg_mbuf;
- msg_mbuf.mtype = 10;
- memcpy(msg_mbuf.mtext, "测试消息", sizeof("测试消息"));
- int ret = msgsnd(msg_id, &msg_mbuf, sizeof("测试消息"), IPC_NOWAIT);
- int msgrcv(int msgid, void *msgptr, size_t msg_sz, long int msgtype, int msgflg);
- eg.int ret = msgrcv(msg_id, &msg_mbuf, 10, 10, IPC_NOWAIT | MSG_NOERROR);
- int msgctl(int msqid,int cmd,struct msqid_ds *buf);
- IPC_STAT:获取队列的msgid_ds结构,并把它存到buf指向的地址。
- IPC_SET:将队列的msgid_ds设置为buf指向的msgid_ds。
- IPC_RMID:内核删除消息队列,最后一项填NULL, 执行操作后,内核会把消息队列从系统中删除。
消息队列的本质
Linux的消息队列(queue)实质上是一个链表,它有消息队列标识符(queue ID)。 msgget创建一个新队列或打开一个存在的队列;msgsnd向队列末端添加一条新消息;msgrcv从队列中取消息, 取消息是不一定遵循先进先出的, 也可以按消息的类型字段取消息。
消息队列与命名管道的比较
消息队列跟命名管道有不少的相同之处,通过与命名管道一样,消息队列进行通信的进程可以是不相关的进程,同时它们都是通过发送和接收的方式来传递数据的。在命名管道中,发送数据用write,接收数据用read,则在消息队列中,发送数据用msgsnd,接收数据用msgrcv。而且它们对每个数据都有一个最大长度的限制。
与命名管道相比,消息队列的优势在于,1、消息队列也可以独立于发送和接收进程而存在,从而消除了在同步命名管道的打开和关闭时可能产生的困难。2、同时通过发送消息还可以避免命名管道的同步和阻塞问题,不需要由进程自己来提供同步方法。3、接收程序可以通过消息类型有选择地接收数据,而不是像命名管道中那样,只能默认地接收。
5. 信号量(Semaphore)
信号量是一种计数器,用于控制对多个进程共享的资源进行的访问。它们常常被用作一个锁机制,在某个进程正在对特定的资源进行操作时,信号量可以防止另一个进程去访问它。
信号量是特殊的变量,它只取正整数值并且只允许对这个值进行两种操作:等待(wait)和信号(signal)。(P、V操作,P用于等待,V用于信号)
p(sv):如果sv的值大于0,就给它减1;如果它的值等于0,就挂起该进程的执行
V(sv):如果有其他进程因等待sv而被挂起,就让它恢复运行;如果没有其他进程因等待sv而挂起,则给它加1
简单理解就是P相当于申请资源,V相当于释放资源
信号量头文件:
- #include
- #include
- #include
内核为每个信号量集合都维护一个semid_ds结构:
- struct semid_ds{
- struct ipc_perm sem_perm;
- unsigned short sem_nsems;
- time_t sem_otime;
- time_t sem_ctime;
- ...
- }
信号量数据结构:
- union semun{
- int val;
- struct semid_ds *buf;
- unsigned short *array;
- struct seminfo *__buf;
- }
信号量操作sembuf结构:
- struct sembuf{
- ushort sem_num;
- short sem_op;
- short sem_flg;
- }
常用函数:
- int semget(key_t key, int num_sems, int sem_flags);
- eg.int semid = semget(key, 0, IPC_CREATE | IPC_EXCL | 0666);
- int semop(int sem_id, struct sembuf *sem_ops, size_t num_sem_ops);
- eg.struct sembuf sops = {0, +1, IPC_NOWAIT};
- semop(semid, &sops, 1);
- int semctl(int sem_id, int sem_num, int command,...);
- IPC_STAT:获取某个集合的semid_ds结构,并把它存储到semun联合体的buf参数指向的地址。
- IPC_SET:将某个集合的semid_ds结构的ipc_perm成员的值。该命令所取的值是从semun联合体的buf参数中取到。
- IPC_RMID:内核删除该信号量集合。
- GETVAL:返回集合中某个信号量的值。
- SETVAL:把集合中单个信号量的值设置成为联合体val成员的值。
6. 共享内存(Share Memory)
共享内存是在多个进程之间共享内存区域的一种进程间的通信方式,由IPC为进程创建的一个特殊地址范围,它将出现在该进程的地址空间(这里的地址空间具体是哪个地方?)中。其他进程可以将
同一段共享内存连接到自己的地址空间中。所有进程都可以访问共享内存中的地址,就好像它们是malloc分配的一样。如果一个进程向共享内存中写入了数据,所做的改动将立刻被其他进程看到。
共享内存是
IPC最快捷的方式,因为共享内存方式的通信没有中间过程,而管道、消息队列等方式则是需要将数据通过中间机制进行转换。共享内存方式直接将某段内存段进行映射,多个进程间的共享内存是同一块的物理空间,仅仅映射到各进程的地址不同而已,因此不需要进行复制,可以直接使用此段空间。
注意:共享内存本身并没有同步机制,需要程序员自己控制。
共享内存头文件:
- #include
- #include
- #include
结构shmid_ds结构体(是不是很眼熟,看消息队列的
msgid_ds结构体):
- strcut shmid_ds{
- struct ipc_perm shm_perm;
- size_t shm_segsz;
- time_t shm_atime;
- time_t shm_dtime;
- ......
- }
共享内存函数定义:
- int shmget(key_t key,size_t size,int shmflg);
- eg.int shmid = shmget(key, 1024, IPC_CREATE | IPC_EXCL | 0666);
- void *shmat(int shm_id,const void *shm_addr,int shmflg);
- eg.char *shms = (char *)shmat(shmid, 0, 0);
- int shmdt(const void *shm_addr);
- eg.shmdt(shms);
- int shmctl(int shm_id,int cmd,struct shmid_ds *buf);
消息队列、信号量以及共享内存的相似之处:
它们被统称为XSI IPC,它们在内核中有相似的IPC结构(消息队列的msgid_ds,信号量的semid_ds,共享内存的shmid_ds),而且都用一个非负整数的标识符加以引用(消息队列的msg_id,信号量的sem_id,共享内存的shm_id,分别通过msgget、semget以及shmget获得),标志符是IPC对象的内部名,每个IPC对象都有一个键(key_t key)相关联,将这个键作为该对象的外部名。
XSI IPC和PIPE、FIFO的区别:
1、XSI IPC的IPC结构是在系统范围内起作用,没用使用引用计数。如果一个进程创建一个消息队列,并在消息队列中放入几个消息,进程终止后,即使现在已经没有程序使用该消息队列,消息队列及其内容依然保留。而PIPE在最后一个引用管道的进程终止时,管道就被完全删除了。对于FIFO最后一个引用FIFO的进程终止时,虽然FIFO还在系统,但是其中的内容会被删除。
2、和PIPE、FIFO不一样,XSI IPC不使用文件描述符,所以不能用ls查看IPC对象,不能用rm命令删除,不能用chmod命令删除它们的访问权限。只能使用ipcs和ipcrm来查看可以删除它们。
7. 内存映射(Memory Map)
内存映射文件,是由一个文件到一块内存的映射。内存映射文件与
虚拟内存有些类似,通过内存映射文件可以保留一个地址的区域,
同时将物理存储器提交给此区域,内存文件映射的物理存储器来自一个已经存在于磁盘上的文件,而且在对该文件进行操作之前必须首先对文件进行映射。使用内存映射文件处理存储于磁盘上的文件时,将不必再对文件执行I/O操作。
每一个使用该机制的进程通过把同一个共享的文件映射到自己的进程地址空间来实现多个进程间的通信(这里类似于共享内存,只要有一个进程对这块映射文件的内存进行操作,其他进程也能够马上看到)。
使用内存映射文件不仅可以实现多个进程间的通信,还可以用于
处理大文件提高效率。因为我们普通的做法是
把磁盘上的文件先拷贝到内核空间的一个缓冲区再拷贝到用户空间(内存),用户修改后再将这些数据拷贝到缓冲区再拷贝到磁盘文件,一共四次拷贝。如果文件数据量很大,拷贝的开销是非常大的。那么问题来了,系统在在进行内存映射文件就不需要数据拷贝?mmap()确实没有进行数据拷贝,真正的拷贝是在在缺页中断处理时进行的,由于mmap()将文件直接映射到用户空间,所以中断处理函数根据这个映射关系,直接将文件从硬盘拷贝到用户空间,所以只进行一次数据拷贝。效率高于read/write。
内存映射头文件:
- #include
- void *mmap(void*start,size_t length,int prot,int flags,int fd,off_t offset);
- int munmap(void* start,size_t length);
- int msync(void *addr,size_t len,int flags);
共享内存和内存映射文件的区别:
内存映射文件是利用虚拟内存把文件映射到进程的地址空间中去,在此之后进程操作文件,就像操作进程空间里的地址一样了,比如使用c语言的memcpy等内存操作的函数。这种方法能够很好的应用在需要频繁处理一个文件或者是一个大文件的场合,这种方式处理IO效率比普通IO效率要高
共享内存是内存映射文件的一种特殊情况,内存映射的是一块内存,而非磁盘上的文件。共享内存的主语是进程(Process),操作系统默认会给每一个进程分配一个内存空间,每一个进程只允许访问操作系统分配给它的哪一段内存,而不能访问其他进程的。而有时候需要在不同进程之间访问同一段内存,怎么办呢?操作系统给出了 创建访问共享内存的API,需要共享内存的进程可以通过这一组定义好的API来访问多个进程之间共有的内存,各个进程访问这一段内存就像访问一个硬盘上的文件一样。
内存映射文件与虚拟内存的区别和联系:
内存映射文件和虚拟内存都是操作系统内存管理的重要部分,两者有相似点也有不同点。
联系:虚拟内存和内存映射都是将一部分内容加载到内存,另一部放在磁盘上的一种机制。对于用户而言都是透明的。
区别:虚拟内存是硬盘的一部分,是内存和硬盘的数据交换区,许多程序运行过程中把暂时不用的程序数据放入这块虚拟内存,节约内存资源。内存映射是一个文件到一块内存的映射,这样程序通过内存指针就可以对文件进行访问。
虚拟内存的硬件基础是分页机制。另外一个基础就是局部性原理(时间局部性和空间局部性),这样就可以将程序的一部分装入内存,其余部分留在外存,当访问信息不存在,再将所需数据调入内存。而内存映射文件并不是局部性,而是使虚拟地址空间的某个区域银蛇磁盘的全部或部分内容,通过该区域对被映射的磁盘文件进行访问,不必进行文件I/O也不需要对文件内容进行缓冲处理。
8. 套接字
套接字机制不但可以单机的不同进程通信,而且使得跨网机器间进程可以通信。
套接字的创建和使用与管道是有区别的,套接字
明确地将客户端与服务器
区分开来,可以实现多个客户端连到同一服务器。
服务器套接字连接过程描述:
首先,服务器应用程序用socket创建一个套接字,它是系统分配服务器进程的类似文件描述符的资源。 接着,服务器调用bind给套接字命名。这个名字是一个标示符,它允许linux将进入的针对特定端口的连接转到正确的服务器进程。 然后,系统调用listen函数开始接听,等待客户端连接。listen创建一个队列并将其用于存放来自客户端的进入连接。 当客户端调用connect请求连接时,服务器调用accept接受客户端连接,accept此时会创建一个新套接字,用于与这个客户端进行通信。
客户端套接字连接过程描述:
客户端首先调用socket创建一个未命名套接字,让后将服务器的命名套接字作为地址来调用connect与服务器建立连接。
只要双方连接建立成功,我们就可以像操作底层文件一样来操作socket套接字实现通信。
几个基础函数定义:
- #include
- #include
- int socket(it domain,int type,int protocal);
- int bind(int socket,const struct sockaddr *address,size_t address_len);
- int listen(int socket,int backlog);
- int accept(int socket,struct sockaddr *address,size_t *address_len);
- int connect(int socket,const struct sockaddr *addrsss,size_t address_len);
详细请看: http://blog.csdn.net/a987073381/article/details/51869000
还记得消息队列中的msgbuf结构吗?在socket编程中也同样适用,在socket编程中,一个服务可以接受多个客户端的连接,可以为每个客户端设定一个消息类型,服务器和客户端直接的通信可以通过此消息类型来发送和接受消息,而且多个客户端之间也可以通过消息类型来区分。
参考:
http://www.cnblogs.com/mickole/p/3192210.html
http://blog.csdn.net/nodeathphoenix/article/details/23284157
http://blog.csdn.net/ljianhui/article/details/10287879
http://www.cnblogs.com/kunhu/p/3608589.html
http://blog.csdn.net/kobejayandy/article/details/18863543
http://www.cnblogs.com/lbsx/archive/2009/08/03/1537698.html
http://baike.baidu.com/link?url=ak6DtjdUQddNHUW0zOP1Qy1UrIX0zJoLG77RCoRsfhNu7O2H1JfcYPVjUKuLTzuAm7g0HAxE0OVqRODOWYwr7_
http://blog.csdn.net/hongchangfirst/article/details/11599369
http://blog.sina.com.cn/s/blog_4eee98350100abbr.html
《linux网络编程》
《unix环境高级编程》