General

Hola Silvia,

La solución lo que dice es lo siguiente: primero etiqueta cada una de las sentencias fork(), de esta manera (con el propósito de identificarlos):

int main() { 

fork(); // fork A

fork(); // fork B

fork(); // fork C

printf("P%d", getpid());

return 0;

}

Entonces el proceso inicial, llamémosle P0, cuando ejecuta el primer fork(), o sea, el etiquetado por A, crea otro proceso, que es una copia idéntica de sí mismo (con el mismo código), digamos P1, y ambos (P0 y P1) ejecutan concurrentemente a partir de la siguiente instrucción. De esta manera, el segundo fork(), o sea, el etiquetado por B, se ejecuta en el proceso padre P0, y en el hijo P1, por lo que cada uno de ellos crea a su vez otro proceso hijo. Digamos que P0 crea P2 y P1 crea P3. En consecuencia, a partir del segundo fork(), hay 4 procesos ejecutando concurrentemente: P0, P1, P2 y P3. Por lo tanto el tercer fork(), o sea, el fork identificado por C, es ejecutado en estos cuatro procesos.

El grafo representa cada fork() ejecutado, con un nodo. Entonces con A hay un único nodo, pues el fork A es ejecutado en un proceso solo (el original, o P0). Del fork A salen dos arcos, lo cual quiere decir que a partir de dicho fork, hay dos procesos ejecutando concurrentemente (P0 y P1). Forks B hay dos, uno se ejecuta en el proceso original (P0) y el otro en el hijo recién creado (P1). Para hacer el grafo más claro, voy añadir en cada nodo el nombre del proceso en que es ejecutado el fork, e identificar los arcos con los procesos que ejecutan concurrentemente a partir de dicho fork (sigo la convención de que en cada bifurcación, siempre la arista izquierda representa la ejecución del padre y la de la derecha, la ejecución del hijo).

Agregué también una última sentencia para ver qué se haría en esa situación. Doy a entender que el P0 tiene por pid 0, P1 por pid 1, etc. En realidad, en UNIX, estos pids tan bajos están reservados para procesos del sistema operativo (el 0 es el scheduler y el 1 init, si no me equivoco).

La salida del programa debiera ser algo como:

P0

P1

P2

P3

P4

P5

P6

P7

aunque nada garantiza que la salida sea en ese orden ( podría estar intercambiadas esas líneas, dependiendo del proceso que termine primero, e incluso podría no haber 8 líneas, en caso de que algunos de los padres terminen antes que sus hijos, dado que no hay sentencias wait() ni waitpid() ).

Saludos.