2017安康市教育局官网:Linux进程间通讯之消息队列

1. 基本概念
消息队列的最佳定义是：内核地址空间中的内部链表。消息可以顺序地发送到队列中，
并以几种不同的方式从队列中获取。当然，每个消息队列都是由 IPC标识符所唯一标识的。
2. 内部和用户数据结构
要完成理解象系统 V IPC这样复杂的问题，关键是要彻底熟悉内核的几个内部数据结构。
甚至对那些最基本的操作来说，直接访问这些结构中的某几个结构也是必要的，而其他的结
构则停留在一个更低的级别上。
3. 消息缓冲区
我们要介绍的第一个结构是 msgbuf结构。这个特殊的数据结构可以认为是消息数据的模
板。虽然定义这种类型的数据结构是程序员的职责，但是读者绝对必须知道实际上存在
msgbuf类型的结构。它是在在 linux/msg.h中定义的，有2个成员：
• mtype—它是消息类型，以正数来表示。这个数必须为一个正数！
• mtext—它就是消息数据。
4. 内核msg结构
内核把消息队列中的每个消息都存放在 msg结构的框架中。该结构是在 linux/msg.h中定义
的，如下是其成员的描述：
• msg_next—这是一个指针，指向消息队列中的下一个消息。在内核寻址空间中，它们
是当作一个链表存储的。
• msg_type—这是消息类型，它的值是在用户结构 msgbuf中赋予的。
• msg_spot—这是一个指针，指向消息体的开始处。
• msg_ts—这是消息文本(消息体)的长度。
• 内核 msgid_ds结构—IPC对象分为三类，每一类都有一个内部数据结构，该数据结构
是由内核维护的。对于消息队列而言，它的内部数据结构是               msqid_ds结构。对于系统上
创建的每个消息队列，内核均为其创建、存储和维护该结构的一个实例。该结构在
linux/msg.h中定义，如下所示：
struct msqid_ds{
struct ipc_perm     msg_perm;
msgqnum_t   msg_qnum;
msglen_t    msg_qbytes;
pid_t       msg_lspid;
pid_t       msg_lrpid;
time_t      msg_stime;
time_t      msg_rtime;
time_t      msg_ctime;
...
...
};
在不同的系统中，此结构会有不同的新成员，这里只列出最少拥有的关键成员。其中，msg_qbytes成员以及msg_qnum成员在不同的系统也会有不同的上限值，这里就不逐一介绍了，详细内容请参阅相关系统手册。
• msg_perm—它是 ipc_perm结构的一个实例， ipc_perm结构是在 linux/ipc.h中定义的。
该成员存放的是消息队列的许可权限信息，其中包括访问许可信息，以及队列的创建者
的有关信息 (如uid等等)。
• msg_first—链接到队列中的第一个消息 (列表头部 )。
• msg_last—链接到队列中的最后一个消息 (列表尾部)。
• msg_stime—发送到队列的最后一个消息的时间戳 (time_t)。
• msg_rtime—从队列中获取的最后一个消息的时间戳。
• msg_ctime—对队列进行最后一次变动的时间戳。
5. 内核ipc_perm结构
内核把IPC对象的许可权限信息存放在 ipc_perm类型的结构中。例如在前面描述的某个消
息队列的内部结构中， msg_perm成员就是 ipc_perm类型的，它的定义是在文件 linux/ipc.h中，
以上所有的成员都具有相当的自扩展性。对象的创建者以及所有者 (它们可能会有不同 )的
有关信息，以及对象的 IPC关键字都是存放在该结构中的。八进制形式的访问模式也是存放在
这里的，它是以一种无符号短整型的形式存储的。最后，时间片使用序列编号存放在最后面，
每次通过系统调用关闭 IPC对象(摧毁)时，这个值将被增加一，至多可以增加到能驻留在系统
中的IPC对象的最大数目。用户需要关心这个值吗？答案是“不”。
有关这个问题，在 Richard Stevens所著的《 Unix Network Programming 》一书的第125页
中作了精辟的讨论。该书还介绍了 ipc_perm结构的存在和行为在安全性方面的原因。
6. 创建消息队列：
（1） msgget简介：为了创建一个新的消息队列，或者访问一个现有的队列，可以使用系统调用 msgget ( )。
msgget ( )的第一个变元是关键字的值 (在我们的例子中该值是调用 ftok ( )的返回值)。这个
关键字的值将被拿来与内核中其他消息队列的现有关键字值相比较。比较之后，打开或者访
问操作依赖于msgflg变元的内容。
• IPC_CREAT—如果在内核中不存在该队列，则创建它。
• IPC_EXCL—当与IPC_CREAT一起使用时，如果队列早已存在则将出错。
如果只使用了 IPC_CREAT, msgget ( )或者返回新创建消息队列的消息队列标识符，或者
会返回现有的具有同一个关键字值的队列的标识符。如果同时使用了
I P C _ E X C L 和IPC_CREAT，那么将可能会有两个结果。或者创建一个新的队列，或者如果该队列存在，则
调用将出错，并返回－1。IPC_EXCL本身是没有什么用处的，但在与IPC_CREAT组合使用时，
它可以用于保证没有一个现存的队列为了访问而被打开。
有个可选的八进制许可模式，它是与掩码进行 OR操作以后得到的。这是因为从功能上讲，
每个IPC对象的访问许可权限与 Unix文件系统的文件许可权限是相似的！
（2）msgget举例：
下面实例演示了使用msgget函数创建一个队列，函数中参数falgs指定为IPC_CREAT|0666，说明新建一个权限为0666的消息队列，其中组用户、当前用户以及其他用户拥有读写的权限。并在程序的最后使用shell命令ipcs –q来查看系统IPC的状态。
（1）在vi编辑器中编辑该程序如下：
程序清单14-12  create_msg.c msgget函数
#include
#include
#include
#include
#include
int main ( void )
{
int     qid;
key_t       key;
key = 113;
qid=msgget( key, IPC_CREAT | 0666 )；       /*创建一个消息队列*/
if ( qid < 0 ) {                            /* 创建一个消息队列失败 */
perror ( "msgget" );
exit (1) ;
}
printf ("created queue id : %d \n", qid );  /* 输出消息队列的ID */
system( "ipcs -q" );                        /*查看系统IPC的状态*/
exit ( 0 );
}
（2）在shell中编译该程序如下：
$gcc create_msg.c–o create_msg
（3）在shell中运行该程序如下：
$./ create_msg
created queue id : 0
------ Message Queues --------
key        msqid      owner      perms      used-bytes   messages
0x0000af40 623430   root       666        0            0
0x0000007b 0          root       666        0            0
在程序中使用了系统命令ipcs，命令参数-q说明只查看消息队列的状态。注意在输出消息中，key段标明的是IPC的key值，msqid为该队列的ID值，perms为执行权限。同样，队列的执行权限像其他IPC对象一样没有执行权限。函数msgctl可以在队列上做多种操作，函数原型如下：
#include
int msgctl( int msqid, int cmd , struct msqid_ds *buf );
参数msqid为指定的要操作的队列，cmd参数指定所要进行的操作，其中有些操作需要buf参数。cmd参数的详细取值及操作如表14-9所示。
表14-9  cmd参数详解
cmd
操    作
IPC_STAT
取队列的msqid_ds结构，将它存放在buf所指向的结构中（需要buf参数）
IPC_SET
使用buf所指向结构中的值对当前队列的相关结构成员赋值，其中包括：msg_perm.uid、msg_perm.gid、msg_perm.mode以及msg_perm.cuid。该命令只能由具有以下条件的进程执行：进程有效用户ID等于msg_perm.cuid或msg_perm.uid超级用户进程。其中只有超级用户才可以增加队列的msg_qbytes的值
IPC_RMID
删除队列，并清除队列中的所有消息。此操作会影响后续进程对这个队列的相关操作。该命令只能由具有以下条件的进程执行。进程有效用户ID等于msg_perm.cuid或msg_perm.uid，超级用户进程
下面实例演示了调用msgctl函数操作队列，程序中先读取命令行参数，如没有，则打印命令提示信息，在调用msgctl函数执行删除操作的前后分别调用了一次shell命令ipcs –q来查看系统IPC的状态。
（1）在vi编辑器中编辑该程序如下：
程序清单14-13  del_msg.c 调用msgctl删除指定队列
#include
#include
#include
#include
#include
int main ( int argc ,char *argv[] )
{
int qid ;
if ( argc != 2 ){ /* 命令行参数出错 */
puts ( "USAGE: del_msgq.c " );
exit ( 1 );
}
qid = atoi ( argv[1] ); /* 通过命令行参数得到组ID */
system( "ipcs -q");
if ( ( msgctl( qid, IPC_RMID, NULL ) ) < 0 ){ /* 删除指定的消息队列 */
perror ("msgctl");
exit (1 );
}
system( "ipcs -q");
printf ( "successfully removed %d  queue\n", qid ); /* 删除队列成功 */
exit( 0 );
}
（2）在shell中编译该程序如下：
$gcc del_msg.c–o del_msg
（3）在shell中运行该程序如下：
$./ del_msg
------ Message Queues --------
key        msqid      owner      perms      used-bytes   messages
0x0000007b 0          root       666        0            0
------ Message Queues --------
key        msqid      owner      perms      used-bytes   messages
successfully removed 0  queue
7.  读写消息队列
一旦获得了队列标识符，用户就可以开始在该消息队列上执行相关操作了。为了向队列
传递消息，用户可以使用 msgsnd系统调用.
由于消息队列的特殊性，系统为这个数据类型提供了两个接口（msgsnd函数，msgrcv函数），分别对应写消息队列及读消息队列。将一个新的消息写入队列，使用函数msgsnd，函数原型如下：
#include
int msgsnd ( int msqid, const void *prt, size_t nbytes, int flags);
对于写入队列的每一个消息，都含有三个值，正长整型的类型字段、数据长度字段和实际数据字节。新的消息总是放在队列的尾部，函数中参数msqid指定要操作的队列，ptr指针指向一个msgbuf的结构，定义如下：
struct msgbuf{
long mtype;
char mbuf[];
};
这是一个模板的消息结构，其中成员 mbuf是一个字符数组，长度是根据具体的消息来决定的，切忌消息不能以NULL结尾。成员mtype是消息的类型字段。
函数参数nbytes指定了消息的长度，参数flags指明函数的行为。函数成功返回0，失败返回–1并设置错误变量errno。errno可能出现的值有：EAGAIN、EACCES、EFAULT、EIDRM、EINTR、EINVAL和ENOMEM。当函数成功返回后会更新相应队列的msqid_ds结构。
使用函数msgrcv可以从队列中读取消息，函数原型如下：
#include
ssize_t msgrcv ( int msqid, void *ptr, size_t nbytes, long type , int flag);
函数中参数msqid为指定要读的队列，参数ptr为要接收数据的缓冲区，nbytes为要接收数据的长度，当队列中满足条件的消息长度大于nbytes的值时，则会参照行为参数flag的值决定如何操作：当flag中设置了MSG_NOERROR位时，则将消息截短到nbytes指定的长度后返回。如没有MSG_NOERROR位，则函数出错返回，并设置错误变量errno。设置type参数指定msgrcv函数所要读取的消息，tyre的取值及相应操作如表14-10所示。
表14-10  type值详解
type
操    作
等于0
返回队列最上面的消息（根据先进先出规则）
大于0
返回消息类型与type相等的第1条消息
小于0
返回消息类型小于等于type绝对值的最小值的第1条消息
参数flag定义函数的行为，如设置了IPC_NOWAIT位，则当队列中无符合条件的消息时，函数出错返回，errno的值为ENOMSG。如没有设置IPC_NOWAIT位，则进程阻塞直到出现满足条件的消息出现为止，然后函数读取消息返回。
下面实例演示了消息队列在进程间的通信。程序中创建了一个消息的模板结构体，并对声明变量做初始化。使用msgget函数创建了一个消息队列，使用msgsnd函数向该队列中发送了一条消息。
（1）在vi编辑器中编辑该程序如下：
程序清单14-14  snd_msg.c 调用msgsnd函数向队列中发送消息
#include
#include
#include
#include
#include
struct msg{                     /*声明消息结构体*/
long msg_types;             /*消息类型成员*/
char msg_buf[511];          /*消息*/
};
int main( void ) {
int     qid;
int         pid;
int         len;
struct msg pmsg;            /*一个消息的结构体变量*/
pmsg.msg_types = getpid();  /*消息类型为当前进程的ID*/
sprintf (pmsg.msg_buf,"hello!this is :%d\n\0", getpid() ); /*初始化消息*/
len = strlen ( pmsg.msg_buf );   /*取得消息长度*/
if ( (qid=msgget(IPC_PRIVATE, IPC_CREAT | 0666)) < 0 ) {  /*创建一个消
息队列*/
perror ( "msgget" );
exit (1) ;
}
if ( (msgsnd(qid, &pmsg, len, 0 )) < 0 ){   /*向消息队列中发送消息*/
perror ( "msgsn" );
exit ( 1 );
}
printf ("successfully send a message to the queue: %d \n", qid);
exit ( 0 ) ;
}
（2）在shell中编译该程序如下：
$gcc snd_msg.c –o snd_msg
（3）在shell中运行该程序如下：
$./ snd_msg
successfully send a message to the queue 0
上述程序中，先定义了一个消息的结构体。该结构体中包含两个成员，long类型成员msg_types是消息的类型，注意，在消息队列中是以消息类型做索引值来进行检索的。char类型数组存放消息。在程序中先声明了一个消息的结构体变量，并做相应初始化，然后使用了msgget函数创建一个消息队列，并将该消息发送到此消息队列中。以下是一个使用消息队列发送消息的程序。
下面实例演示了如何使用队列读取消息。在程序的开始部分，判断用户是否输入了目标消息队列ID，如果没有，则打印命令的帮助信息；如果用户输入了队列的ID，则从队列中取出该消息，并输出到标准输出。
（1）在vi编辑器中编辑该程序。
程序清单14-15  rcv_msg.c 使用msgrcv函数从指定队列中读出消息
#include
#include
#include
#include
#include
#define BUFSZ 4096
struct msg{             /*声明消息结构体*/
long msg_types;     /*消息类型成员*/
char msg_buf[511];  /*消息*/
};
int main( int argc, char * argv[] ) {
int     qid;
int         len;
struct msg pmsg;
if ( argc != 2 ){  /**/
perror ( "USAGE: read_msg " );
exit ( 1 );
}
qid = atoi ( argv[1] );   /*从命令行中获得消息队列的ID*/
/*从指定队列读取消息 */
len = msgrcv ( qid, &pmsg, BUFSZ, 0, 0 );
if ( len > 0 ){
pmsg.msg_buf[len] = '\0';                       /*为消息添加结束符*/
printf ("reading queue id :%05ld\n", qid ); /*输出队列ID*/
/*该消息类型就是发送消息的进程ID*/
printf ("message type : %05ld\n", pmsg.msg_types );
printf ("message length : %d bytes\n", len );   /*消息长度*/
printf ("mesage text: %s\n", pmsg.msg_buf); /*消息内容*/
}
else if ( len == 0 )
printf ("have no message from queue %d\n", qid );
else {
perror ( "msgrcv");
exit (1);
}
system("ipcs -q")
exit ( 0 ) ;
}
（2）在shell中编译该程序如下：
$gcc rcv_msg.c–o rcv _msg
（3）在shell中运行该程序如下：
$./ rcv_msg 0
reading queue id :0
message type : 03662
message length : 20 bytes
mesage text: hello!this is :3662
------ Message Queues --------
key          msqid      owner      perms      used-bytes   messages
0x00000000  0          root        666         0            0
该程序中声明了一个消息的结构体类型变量，并从命令行中得到所要操作的消息队列，然后使用函数msgrcv从指定消息队列中读取队列中最上面的一条消息（函数的第4个参数等于0，说明根据先进先出规则，应从队列的最上面读取一条消息），并将该消息输出到标准输出。在发送消息的程序中，消息类型字段指定的是发送消息进程的ID，可以使用该内容来判断信息的来源。