c-为什么共享内存中的链表总是导致segfault

Question

我有以下简单的应用程序。这已经去掉了错误处理，这是一个最小的完整例子。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/shm.h>
//#define SHM_SIZE 1024  /* make it a 1K shared memory segment */
struct node
{
    int x;
    struct node *next;
};
int main(int argc, char *argv[])
{
    struct node *root[argc+1];
    if (argc > 1)
    {
        int i;
        root[0]=  (struct node *) malloc( sizeof(struct node) );
        for (i=0; i<argc-1; i++)
        {
            root[i]->x = (int)(*argv[i+1]-'0');
            //root[i]->next=&root[i]+sizeof(struct node);
            root[i+1]=(struct node *) malloc( sizeof(struct node) ); //Okay, wastes a few ops
            root[i]->next=root[i+1];
        }
        free(root[i]->next);
        root[i]=NULL;
    }
    key_t key;
    int shmid;
    struct node *data;
    key = ftok("test1", 'O');
    shmid = shmget(key, (size_t)(sizeof(struct node)*1000), 0777 | IPC_CREAT);

    data = shmat(shmid, (void *)0, 0);
    printf("%p", &data);
    if (argc != 1)
    {
        int z=0;
        for (z=0;z<argc-1;z++){
            *(data+sizeof(struct node)*z)=*root[z];
            if (z) (data+sizeof (struct node)*(z-1))->next=(data+sizeof (struct node)*z);
        }
        (data+z)->next=0;
    }
if (argc)
    {
        printf("This is the routine that will retrieve the linked list from shared memory when we are done.");
        struct node *pointer;
        pointer=data;
        printf("%p", data);
        while (pointer->next != 0)
        {
            printf("n Data: %i",pointer->x);
            pointer=pointer->next;
        }
    }
    /* detach from the segment: */
    if (shmdt(data) == -1)
    {
        perror("shmdt");
        exit(1);
    }
    return 0;
}

基本上，每当我试图从创建共享内存的进程访问共享内存时，我的输出看起来都很好。每次我从一个没有创建共享内存的进程(argc=1(打开共享内存时，程序都会segfault。如果有人能告诉我原因，我将不胜感激！

Answer 1

每次在进程中附加共享内存段时，它都会附加在某个地址，该地址与附加共享内存的任何其他进程中的地址无关。因此，共享内存中的指针，当它们指向原始(创建(进程的共享内存中共享内存的其他对象时，不会指向任何其他进程中的共享内存。

最终结果是——如果你想在共享内存中存储数据结构，如果你想让它们合理地工作，那么这些数据结构就不能包含任何指针。如果你想要类似指针的行为，你需要使用索引到共享内存中，可能是作为一个数组。所以你可以做一些类似的事情：

struct node {
    int x;     /* value */
    int next;  /* index of the next node */
};

struct node *data = shmat(...);  /* shm was sized for 1000 nodes */
/* link all of the data objects into a linked list, starting from data[0] */
for (int i = 0; i < 1000; ++i) {
    data[i].next = i+1;
}
data[999].next = -1;  /* using -1 for "NULL" as 0 is a valid index; */
for (int i = 0; i >= 0; i = data[i].next) {
    /* iterating down the linked list */
    data[i].x = 0;
}