Un zombie peut-il avoir des orphelins? Les enfants orphelins seront-ils dérangés en récoltant le zombie?

Si je comprends bien, un processus zombie est mort mais existe toujours en tant qu'espace réservé dans la table de processus jusqu'à ce que son parent (ou initsi le zombie est lui-même orphelin) vérifie son statut de sortie.

Et ma compréhension des processus orphelins est que ce sont des processus qui sont toujours en vie et en cours mais dont le parent est décédé.

Puisqu'un zombie est déjà mort, ses enfants seraient considérés comme orphelins, non? Seraient-ils touchés par la récolte du zombie? Plus précisément, les initadopteraient-ils comme ses enfants seulement une fois le zombie récolté, ou seraient-ils adoptés dès que le parent deviendrait un zombie?

Si je comprends bien, un processus zombie est mort mais existe toujours en tant qu'espace réservé dans la table de processus jusqu'à ce que son parent (ou init si le zombie est lui-même orphelin) vérifie son statut de sortie.

Correct.

Et ma compréhension des processus orphelins est que ce sont des processus qui sont toujours en vie et en cours mais dont le parent est décédé.

Correct.

Puisqu'un zombie est déjà mort, ses enfants seraient considérés comme orphelins, non?

Oui. Lorsque le parent décède, il est mort. En ce qui concerne ses enfants, peu importe que le parent reste zombie: les enfants deviennent orphelins au moment de la mort du parent, puis ils perdent tout lien avec leur parent.

Seraient-ils touchés par la récolte du zombie? Plus précisément, init ne les adopterait-il comme ses enfants qu'une fois le zombie récolté, ou serait-il adopté dès que le parent deviendrait un zombie?

Non, et ce dernier, comme ci-dessus.

Si les résultats expérimentaux réussissent, il semble qu'au moins systemdinit récoltera les orphelins du zombie dès qu'il le pourra:

foo.c:

#include <unistd.h>

int main(void)
{
    pid_t child = fork();
    if (child < 0)
        return -1;
    if (child == 0)
    {
        pid_t grand_child = fork();
        if (grand_child < 0)
            return -1;
        if (grand_child == 0)
            sleep (1000);
        else
            return 0;
    }
    else
        sleep (1000);
    return 0;
}

Dans un terminal:

$ gcc -o foo foo.c
$ ./foo

Dans un autre terminal:

$ pgrep foo                         
25548
25549
25550
$ pstree -pa 25548
foo,25548
  └─(foo,25549)
$ pstree -psa 25550
systemd,1
  └─foo,25550
$ ps -o stat,pid -p $(pgrep -d, foo)
STAT   PID
S+   25548
Z+   25549
S+   25550