通过消息队列接收单个消息时堆栈粉碎

Question

我有以下发件人：

#include <stdio.h>
#include <stdlib.h>
#include <sys/ipc.h>
#include <sys/msg.h>
#include <sys/types.h>
#include <errno.h>

typedef struct message {
    long int mtype;
    int mtext[200];
} message;

int main(int argc, char *argv[]) {
    // msg queue
    int msgid;
    message msg;
    key_t key;
    
    // create msg queue key
    if ((key = ftok("master.c", 'b')) == -1) {
        perror("ftok");
    }

    // create msg queue
    if ((msgid = msgget(key, 0666 | IPC_CREAT)) == -1) {
        perror("msgget");
    }

    msg.mtype=10;
    msg.mtext[0] = 1;
    if ((msgsnd(msgid, &msg, sizeof(message), 0)) == -1) {
        perror("msgsnd");
    }
    sleep(5);

    // TODO: uncomment section
    if (msgctl(msgid, IPC_RMID, NULL) == -1) {
        perror("msgctl");
    }
    
    return 0;
}

和接收者：

#include <stdio.h>
#include <stdlib.h>
#include <sys/ipc.h>
#include <sys/msg.h>
#include <sys/types.h>
#include <errno.h>

typedef struct message {
    long int mtype;
    int mtext[200];
} message;

int main(int argc, char *argv[]) {
    // msg queue
    message msg;
    int msgid;
    key_t key;
    
    // create msg queue key
    if ((key = ftok("master.c", 'b')) == -1) {
        perror("ftok");
    }

    // create msg queue
    if ((msgid = msgget(key, 0666)) == -1) {
        perror("msgget");
    }

    if ((msgrcv(msgid, &msg, sizeof(message), 10, 0)) == -1) {
        perror("msgrcv");
    }
    printf("%d\n", msg.mtext[0]);

    return 0;
}

问题是当我同时运行它们时，我得到了

*** stack smashing detected ***: terminated
Aborted (core dumped)

上面的短语是在整个代码按预期执行之后显示的，但这仍然意味着有些事情是不正确的。但是，如果我将msgrcv 置于无限循环中，一切都会按预期运行并且不会引发警告。由于我正在写入和读取相同大小的数据，错误可能来自哪里？

Answer 1

根据the documentation，msgrcv 的 msgsz 参数应该指示消息结构的 .mtext 成员 的大小（以字节为单位），而不是大于整个结构的大小。

该结构通常比可用缓冲区大 4 或 8 个字节（取决于 long int 的定义方式），因此您的写入可能超出了可用/分配的内存 - 导致未定义的行为。

UB 的一个可能影响是为main 函数分配的堆栈损坏；如果该函数永远不会返回（就像您添加无限循环时一样），则堆栈损坏可能不会表现出来。