Linux C语言 40-进程间通信IPC之消息队列
本节关键字：C语言 System V IPC 进程间通信 消息队列
相关库函数：ftok、msgget、msgsnd、msgrcv、msgctl
什么是消息队列？
消息队列是System V中的一种进程间通信机制（如管道、信号量、共享内存等），在Linux系统中，消息队列本质上是内核维护的一块内存。
消息队列的特点
- 消息队列优化了管道的FIFO（First In，First Out）、亲属进程、半双工以及单对单通信的缺点；
- 消息队列中的消息是有类型的，可以更快的取出想要的数据；
- 消息队列中的消息是有格式的，发送消息时需要按照一定的格式组数据报；
- 消息队列可以实现消息的随机查询，没有先进先出的限制，可以按照消息的类型读取；
- 消息队列允许一个或多个进程写入或读取消息；
- 消息队列中消息被读出后会被删除；
- 消息队列拥有唯一的标识符；
- 消息队列在创建后，只有人工删除或内核重启时才会被删除，否则被创建的消息队列会一直存在与操作系统中；
- 消息队列中每条消息的长度最多为8K字节；
- 消息队列的容量最多为16K字节；
- 消息队列在操作系统中共存的数量最多为1609个；
- 操作系统中消息的共存数量最多为16384个；
Trip：单个进程中消息队列的限制可以使用命令 ulimit -a 进行查看。
消息队列相关库函数
创建消息队列
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>
key_t ftok(const char *pathname, int proj_id);
/**
@brief ftok()函数使用给定文件的路径名命名标识（必须引用现有的可访问文件）和proj_id的最低有效位8（必须为非零）来生成key_t类型的System V IPC密钥，该密钥适用于msgget(2)、semget(2)或shmget(2)。
当使用相同的proj_id值时，命名相同文件的所有路径名的结果值都是相同的。当（同时存在的）文件或项目ID不同时，返回的值应该不同。
@param pathname 指定文件的路径名（必须引用现有的可访问文件）
@param proj_id 用来生成System V IPC密钥，低八位必须不为零。当使用相同的proj_id值时，命名相同文件的所有路径名的结果值都相同。当文件或proj_id不同时，返回的值应该不同。
@return 成功返回生成的key_t值。失败返回-1，并设置错误码errno
*/
int msgget(key_t key, int msgflg);
/**
@brief 获取消息队列标识符。msgget()系统调用返回与参数key值相关联的消息队列标识符。
@param key 消息队列的System V IPC密钥。以下两种情况会创建新的消息队列：
当key值为IPC_PRIVATE时，创建消息队列；
当key不是IPC_PRIVATE时，不存在密钥与给定key值相同的消息队列，并且在msgflg中指定了IPC_CREAT，则会创建新的消息队列。
@param msgflg 消息队列的权限值，与mode_t一样（没有可执行权限），相关宏如下：
IPC_CREAT 创建消息队列
IPC_EXCL 检测消息队列是否存在
@return 成功返回消息队列的标识符，失败返回-1，并设置错误码errno
错误码errno类型：
EACCES 存在密钥为key的消息队列，但调用进程没有访问该队列的权限，并且不具有CAP_IPC_OWNER功能。
EEXIST 存在同时指定IPC_CREAT和IPC_EXCL的密钥和消息flg的消息队列。
ENOENT 不存在密钥为key的消息队列，并且msgflg未指定IPC_CREAT。
ENOMEM 必须创建一个消息队列，但系统没有足够的内存用于新的数据结构。
ENOSPC 必须创建消息队列，但将超过消息队列最大数量（MSGMNI）的系统限制。
Trip：IPC_PRIVATE不是标志字段，而是key_t类型。如果这个特殊值用于key，则系统调用将忽略除msgflg的最低有效9位之外的所有内容，并创建一个新的消息队列。
*/
查看消息队列
消息队列的查看可以在命令行完成，在消息队列创建成功后，可以使用命令 ipcs 进行查看，ipcs命令的使用参数如下：
-m 查看系统共享内存信息
-q 查看系统消息队列信息
-s 查看系统信号量信息
-a 显示系统内所有的IPC信息
如果要手动删除指定的IPC可以使用 ipcrm [-msq] id 命令完成，ipcrm 命令的使用参数如下：
-m 移除指定的共享内存，例：ipcrm -m shmid
-s 移除指定的信号量，例：ipcrm -m semid
-q 移除指定的消息队列，例：ipcrm -m msgid
消息队列的消息格式
// Trip：消息类型必须是长整型，且必须是结构体中的第一个成员，消息正文可以有多个任意类型的成员。
typedef struct _msg
{
long mtype; // 消息类型，必须大于0
char mtext[100]; // 消息正文
int mage; // 消息正文
... // 消息正文可以有多个任意类型的成员
} MSG;
向消息队列发送消息
Trip: msgsnd()被终端后永远不会自动重新启动。
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>
int msgsnd(int msgid, const void *msgp, size_t msgsz, int msgflg);
/**
@brief msgsnd()系统调用向消息队列发送消息，调用进程必须对消息队列具有写权限才能发送消息。msgsnd()系统调用将msgp指向的消息的副本附加到由msgid指定标识符的消息队列中。如果队列中有足够的可用空间，则msgsnd()会立即成功。（队列容量由消息队列的相关数据结构中的msg_bytes字段定义。在创建队列期间，此字段初始化为MSGMNB字节，但可以使用msgctl(2)修改此限制。）如果队列中的可用空间不足，则msgsnd()的默认行为是阻塞，直到空间变为可用。如果在msgflg中指定了IPC_NOWAIT，则调用会失败并返回错误EAGAIN。
@param msgid 消息队列的标识符，表示要向哪个消息队列发送消息
@param msgp 指向调用方定义的结构，结构格式如上述消息队列的消息格式一样
@param msgsz 是一个非负整数，指定msgp结构中mtext字段的大小，结构中mtext字段是一个数组（或其它结构），允许长度为0的消息。
@param msgfg 控制属性，0阻塞发送，直到消息队列由足够的空间去发送msgp指向的消息；IPC_NOWAIT若消息没有立即发送则调用该函数的进程会立即返回
@return 成功返回0，失败返回-1，并设置错误码errno
Trip：阻塞的msgsnd()调用也可能失败，原因如下：
消息队列被删除，这种情况下msgsnd()系统调用失败，errno被设置为EIDRM；
捕获一个信号，这种情况下msgsnd()系统调用失败，errno被设置为EINTR，且不管是否设置了SA_RESTART标志，msgsnd()被中断后都不会自动重新启动；
错误码errno类型：
EACCES 调用进程没有对消息队列的写入权限，也没有CAP_IPC_OWNER功能。
EAGAIN 由于队列的msg_qbytes限制，无法发送消息，并且在msgflg中指定了IPC_NOWAIT。
EFAULT 无法访问msgp指向的地址。
EIDRM 消息队列已删除。
EINTR 在消息队列已满的情况下休眠，进程捕获到一个信号。
EINVAL 无效的msqid值、非正的mtype值或无效的msgsz值（小于0或大于系统值MSGMAX）。
ENOMEM 系统内存不足，无法复制msgp指向的消息。
*/
从消息队列读取消息
以下消息队列资源限制会影响msgsnd（）调用：
MSGMAX 消息文本的最大大小：8192字节（在Linux上，可以通过/proc/sys/kernel/MSGMAX读取和修改此限制）
MSGMNB 消息队列的默认最大字节大小：16384字节（在Linux上，可以通过/proc/sys/kernel/MSGMNB读取和修改此限制）。超级用户可以通过msgctl(2)系统调用将消息队列的大小增加到MSGMNB之外。
该实现对消息头的系统范围最大数量（MSGTQL）和消息池的系统范围以字节为单位的最大大小（MSGPOOL）没有内在限制。
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>
ssize_t msgrcv(int msgid, void *msgp, size_t msgsz, long msgtyp, int msgflg);
/**
@brief msgrcv()系统调用从消息队列读取消息，调用进程具有读权限才能接收消息
@param msgid 消息队列的标识符，表示要从哪个消息队列中获取消息
@param msgp 指向存放消息结构体的地址
@param msgsz 消息正文的字节数
@param msgtyp 必须是一个正整数，由接收进程用于消息选择。=0读取消息队列中的第一个消息；>0读取消息队列中消息类型为msgtyp的消息；<0读取消息队列中消息类型值小于或等于msgtyp绝对值的消息，如果有多个，则读取类型值最小的消息。若消息队列中有多种类型的消息，msgrcv获取消息的时候按消息类型获取，不是先进先出的。
在获取某类型消息的时候，若队列中有多条此类型的消息，则获取最先添加的消息，即先进先出原则。
@param msgfg 控制属性。0 阻塞读取，直到成功读取到消息；MSG_NOERROR 若返回的消息字节数比msgsz多，则会被截断且不通知消息发送进程；IPC_NOWAIT 若没有读取到消息立即返回；MSG_EXCEPT 与大于0的msgtyp一起使用，读取队列中消息类型与msgtyp不同的第一条消息。
@return 成功返回0，失败返回-1，并设置错误码errno
Trip：执行成功后，msg_lrpid设置为调用进程的进程ID；msg_qnum递减1；msg_rtime设置为当前时间。
错误码errno类型：
E2BIG 消息文本长度大于msgsz，并且未在msgflg中指定MSG_NOERROR。
EACCES 调用进程没有对消息队列的读取权限，也没有CAP_IPC_OWNER功能。
EAGAIN 队列中没有可用的消息，并且在msgflg中指定了IPC_NOWAIT。
EFAULT 无法访问msgp指向的地址。
EIDRM 当进程正在休眠以接收消息时，消息队列已被删除。
EINTR 当进程正在休眠以接收消息时，进程捕获到一个信号；参见signal(7)。
EINVAL msgqid无效，或者msgsz小于0。
ENOMSG 在msgflg中指定了IPC_NOWAIT，并且消息队列中不存在请求类型的消息。
*/
控制消息队列
ipcs(8)程序使用IPC_INFO、MSG_STAT和MSG_INFO操作来提供有关所分配资源的信息。将来，这些文件可能会被修改或移动到/proc文件系统接口。
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>
struct msginfo
{
int msgpool; // 用于保存消息数据的缓冲池的大小（以千字节为单位）；内核中未使用
int msgmap; // 消息映射中的最大条目数；内核中未使用
int msgmax; // 单个消息中可写入的最大字节数
int msgmnb; // 可以写入队列的最大字节数；用于在创建队列期间初始化msg_qbytes（msgget(2)）
int msgmni; // 最大消息队列数
int msgssz; // 消息段大小；内核中未使用
int msgtql; // 系统中所有队列上的最大消息数；内核中未使用
unsigned short int msgseg; // 最大分段数；内核中未使用
};
struct ipc_perm
{
key_t __key; // 提供给msgget(2)的密钥
uid_t uid; // 所有者的有效UID
gid_t gid; // 所有者的有效GID
uid_t cuid; // 创建者的有效UID
gid_t cgid; // 创建者的有效GID
unsigned short mode; // 访问权限
unsigned short __seq; // 序列号码
};
struct msqid_ds
{
struct ipc_perm msg_perm; // 所有权和权限
time_t msg_stime; // 最后成功调用msgsnd()的时间
time_t msg_rtime; // 最后成功调用msgrcv()的时间
time_t msg_ctime; // 最后更改的时间
unsigned long __msg_cbytes; // 队列中的当前字节数（非标准）
msgqnum_t msg_qnum; // 队列中的当前消息数
msglen_t msg_qbytes; // 队列中允许的最大字节数
pid_t msg_lspid; // 最后调用msgsnd()的进程PID
pid_t msg_lrpid; // 最后调用msgrcv()的进程PID
};
int msgctl(int msgid, int cmd, struct msqid_ds *buf);
/**
@brief msgctl()对标识符为msqid的消息队列执行cmd指定的控制操作，如修改消息队列的属性、删除消息队列等
@param msgid 消息队列的标识符，表示要控制哪个消息队列
@param cmd 需要执行的命令，可选值如下：
IPC_STAT 将信息从与msqid相关联的内核数据结构复制到buf指向的msqid_ds结构中。调用方必须具有对消息队列的读取权限。
IPC_SET 将buf指向的msqid_ds结构的一些成员的值写入与此消息队列相关联的内核数据结构，同时更新其msg_ctime成员。结构的以下成员将更新：msg_qbytes、msg_perm.uid、msg_pterm.gid和（的最低有效9位）msg_perm.mode。调用进程的有效UID必须与消息队列的所有者（msg_perm.UID）或创建者（msg_pterm.cuid）匹配，或者调用方必须具有特权。将msg_qbytes值提升到系统参数MSGMNB之外需要适当的权限（Linux：CAP_IPC_RESOURCE功能）。
IPC_RMID 立即删除消息队列，唤醒所有等待的读写器进程（返回错误并将errno设置为EIDRM）。调用进程必须具有适当的权限，或者其有效的用户ID必须是消息队列的创建者或所有者的ID。
IPC_INFO 返回有关系统范围的消息队列限制和buf指向的结构中的参数的信息。如果定义了_GNU_SOURCE功能测试宏，则此结构的类型为msginfo（因此，需要强制转换），在<sys/msg.h>中定义：实际内容如上方展示的struct msginfo;
MSG_INFO （特定于Linux）返回一个msginfo结构，该结构包含与IPC_INFO相同的信息，只是返回以下字段，其中包含有关消息队列消耗的系统资源的信息：msgpool字段返回系统上当前存在的消息队列数；msgmap字段返回系统上所有队列中的消息总数；msgtql字段返回系统上所有队列中所有消息的总字节数。
MSG_STAT （特定于Linux）返回与IPC_STAT相同的msqid_ds结构。但是，msqid参数不是队列标识符，而是内核内部数组的索引，用于维护系统上所有消息队列的信息。
@param buf msqid_ds数据类型的地址，用来存放或更改消息队列的属性
@return 成功后，IPC_STAT、IPC_SET和IPC_RMID返回0。成功的IPC_INFO或MSG_INFO操作返回内核内部数组中使用次数最多的条目的索引，该数组记录了有关所有消息队列的信息。（此信息可与重复的MSG_STAT操作一起使用，以获得有关系统上所有队列的信息。）成功的MSG_TAT操作将返回索引在msqid中给出的队列的标识符。失败返回-1，并设置错误码errno
错误码errno类型：
EACCES 参数cmd等于IPC_STAT或MSG_STAT，但调用进程对消息队列msqid没有读取权限，也不具有CAP_IPC_OWNER功能。
EFAULT 参数cmd的值为IPC_SET或IPC_STAT，但buf指向的地址不可访问。
EIDRM 消息队列已删除。
EINVAL cmd或msqid的值无效。或者：对于MSG_STAT操作，msqid中指定的索引值引用了当前未使用的数组槽。
EPERM 参数cmd的值为IPC_SET或IPC_RMID，但调用进程的有效用户ID不是消息队列的创建者（在msg_perm.cuid中找到）或所有者（在msg_prerm.uid中找到），并且该进程没有特权（Linux：它不具有CAP_SYS_ADMIN功能）。
*/
消息队列的使用例程
#include <stdio.h>
#include <string.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>
#include <sys/stat.h>
struct message
{
long mtype; // 消息类型
char mtext[50]; // 消息内容
};
int main()
{
struct message msg;
key_t key;
int msgid;
// 生成key值（IPC标识符） "/home/Tianwx/TEST/Linux_C/queue文件必须存在"
if ((key = ftok("/home/Tianwx/TEST/Linux_C/queue", 10)) == -1)
{
perror("ftok");
return 1;
}
// 连接到指定的消息队列, key值也可以使用自定义的固定值 如：0xffffff
// S_IRUSR | S_IWUSR 增加权限
if ((msgid = msgget(key, S_IRUSR | S_IWUSR | IPC_CREAT | IPC_EXCL)) == -1)
{
perror("msgget");
return 1;
}
printf("message queue created with ID %d\n", msgid);
// 设置要发送的消息类型和内容,向消息队列发送消息
bzero(&msg, sizeof(msg));
msg.mtype = 1;
strcpy(msg.mtext, "hello from sender, type[1]!");
if (msgsnd(msgid, &msg, sizeof(msg), 0) == -1)
{
perror("msgsnd");
return 1;
}
printf("snd msg: %s\n", msg.mtext);
bzero(&msg, sizeof(msg));
msg.mtype = 2;
strcpy(msg.mtext, "hello from sender, type[2]!");
if (msgsnd(msgid, &msg, sizeof(msg), 0) == -1)
{
perror("msgsnd");
return 1;
}
printf("snd msg: %s\n", msg.mtext);
bzero(&msg, sizeof(msg));
msg.mtype = 3;
strcpy(msg.mtext, "hello from sender, type[3]!");
if (msgsnd(msgid, &msg, sizeof(msg), 0) == -1)
{
perror("msgsnd");
return 1;
}
printf("snd msg: %s\n", msg.mtext);
bzero(&msg, sizeof(msg));
msg.mtype = 99;
strcpy(msg.mtext, "hello from sender, type[99]!");
if (msgsnd(msgid, &msg, sizeof(msg), 0) == -1)
{
perror("msgsnd");
return 1;
}
printf("snd msg: %s\n", msg.mtext);
printf("\n\n");
// 从消息队列接收类型未99的消息
bzero(&msg, sizeof(msg));
if (msgrcv(msgid, &msg, sizeof(msg), 99, 0) == -1)
{
perror("msgsnd");
return 1;
}
printf("mtype: %d, mtext: %s\n", msg.mtype, msg.mtext);
// 从消息队列接收第一条消息
bzero(&msg, sizeof(msg));
if (msgrcv(msgid, &msg, sizeof(msg), 0, 0) == -1)
{
perror("msgsnd");
return 1;
}
printf("mtype: %d, mtext: %s\n", msg.mtype, msg.mtext);
printf("message queue will be remove in 5 seconds\n");
sleep(5);
if (msgctl(msgid, IPC_RMID, NULL) == -1)
{
perror("msgctl");
return 1;
}
printf("message queue deleted: msgid[%d]\n", msgid);
return 0;
}
提示：先做内容框架梳理，后期进行完善补充！
1328
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
