Является ли этот кусок кода правильным?

Вам не нужно дважды называть shmat(). Вы выделили достаточно места для двух указателей, поэтому вы не можете много общаться между двумя процессами. И вы не можете полагаться на возможность скопировать указатель на память в первом процессе в общую память, а затем прочитать второй процесс и использовать его. Адрес может быть действителен в первом процессе, а не во втором; он может указывать на совершенно разные данные во втором процессе (в частности, распределение динамической памяти могло бы испортить это). Вы можете полагаться только на то, что содержимое разделяемой памяти одинаково в обоих процессах. Вы должны выделить достаточно разделяемой памяти для хранения общих данных.

Однако, с учетом сказанного, два процесса должны делиться этой небольшой частью общей памяти, и в обоих процессах state[0] и state[1] будут указывать на общую память, и вы должны иметь возможность связываться между ними по запись в общей памяти. Обратите внимание, что после форкирования, если какой-либо из процессов изменит значение, сохраненное в его state[0] или state[1], другой процесс не увидит это изменение - другой процесс сможет видеть только, какие изменения в общей памяти указывают эти указатели.

Конечно, вы не настроили какой-либо механизм синхронизации, поэтому доступ, скорее всего, будет хаотичным.

Как я могу изменить свой код, чтобы он работал по назначению (без учета проблем синхронизации)?

Не совсем ясно, как оно должно работать, что затрудняет ответ на этот вопрос. Однако, если вы хотите (для примера) дочерний процесс записать слово в разделяемую память и родительский процесс для чтения слова из разделяемой памяти, тогда вы выделяете достаточно разделяемую память для самого большого слова, которое вы хотите обработать, затем организуйте для ребенка копировать слово из своей памяти в процессе в общую память (и уведомить родителя, что он это сделал), а затем родитель может скопировать или прочитать слово из разделяемой памяти и сравнить его с данными из его памяти для каждого процесса.

Поскольку у вас есть процесс родительский-дочерний процесс, который является вилкой одного и того же процесса, вы обнаружите, что два процесса разделяют много одинаковых адресов памяти, содержащих одну и ту же информацию. Это, однако, случайно. Вы можете подключать несвязанные процессы к общей памяти, и у них нет общих адресов. Таким образом, было бы тривиально получить ложные результаты от вашей текущей настройки.

Рабочий код

Для некоторых определений "рабочий" используется следующий код C++. Код тонко C++; код предполагает, что struct teststruct объявляет тип teststruct и использует ссылки в качестве параметров.

Обратите внимание, что (пересмотренный) код в вопросе имеет подозрительные вызовы wait().

shm2.cpp

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <sys/ipc.h>
#include <sys/shm.h>
#include <unistd.h>

static char *state = 0;

struct teststruct
{
    int stateid;
    teststruct *next;
};

void sm_write(teststruct &t, char* /*what*/)
{
    //strcpy(state[t.next->stateid], what);   
    printf("[%5d] I am (%d), I wrote on: %d\n", (int)getpid(), t.stateid, t.next->stateid); 
}

void sm_read(teststruct &t)
{
    printf("[%5d] I am (%d), I read: **%s**\n", (int)getpid(), t.stateid, state);        
}

int main(void)
{
    key_t key;
    if ((key = ftok(".", 'a')) == -1) {
        perror("ftok");
        exit(1);
    }

    int statesid;
    if ((statesid = shmget(key, sizeof(char)*512, 0600 | IPC_CREAT )) == -1) {
        perror("shmget error");
        exit(1);
    }

    if ((state = (char*)shmat(statesid, NULL, 0)) == 0)
    {
        perror("shmat");
        exit(1);
    }

    sprintf(state, "This is a string in shared memory %d", 919);

    teststruct tests[2];
    tests[0].stateid = 0;
    tests[0].next = &tests[1];
    tests[1].stateid = 0;
    tests[1].next = &tests[0];

    int t0, t1;
    if ((t0 = fork()) < 0)
    {
        perror("fork-1");
        exit(1);
    }
    else if (t0 == 0)
    {
            sm_read(tests[0]);
            printf("[%5d] sleeping\n", (int)getpid());
            sleep(2);
            printf("[%5d] waking\n", (int)getpid());
            sm_read(tests[0]);
            exit(0);
    }
    else if ((t1 = fork()) < 0)
    {
        perror("fork-2");
        exit(-1);
    }
    else if (t1 == 0)
    {
        printf("[%5d] sleeping\n", (int)getpid());
        sleep(1);
        printf("[%5d] waking\n", (int)getpid());
        strcpy(state, "1 write on 0 in theory.");
        sm_write(tests[1], state);
        exit(0);
    }

    int corpse;
    int status;
    while ((corpse = wait(&status)) > 0)
        printf("PID %5d died with status 0x%.4X\n", corpse, status);

    return 0;
}

Пример выполнения

[20440] sleeping
[20440] waking
[20440] I am (0), I wrote on: 0
[20439] I am (0), I read: **This is a string in shared memory 919**
[20439] sleeping
[20439] waking
[20439] I am (0), I read: **1 write on 0 in theory.**
PID 20440 died with status 0x0000
PID 20439 died with status 0x0000