Cas curieux de branchement inattendu dans fork()

Considérez l'extrait de code suivant qui utilise la primitive fork() pour créer des processus enfants :

#include 
#include 
#include 

int main(void)
{
    int i;
    for(i = 0; i 
Étonnamment, l'exécution de ce programme génère huit points de sortie, soit six de plus que ce que vous pourriez initialement prévoir. Pourquoi cela se produit-il ?
Dévoilement des processus cachés
Pour percer ce mystère, examinons le fonctionnement de fork(). fork() crée une réplique du processus actuel, ce qui donne un processus parent et un processus enfant.
Au départ, il y a un seul processus, qui se divise en deux. Ces deux processus exécutent progressivement la boucle for, en imprimant un point à chaque fois. Lors de la deuxième itération, chaque processus se divise à nouveau, créant un total de quatre processus. Ces quatre processus impriment un point avant de se terminer.
Sortie tamponnée et apparence retardée
Cependant, printf() met sa sortie en mémoire tampon, ce qui signifie qu'il accumule plusieurs impressions avant de les envoyer. immédiatement. Lorsque les quatre processus impriment leurs deuxièmes points, ils sont mis en mémoire tampon. C'est là que l'effet sournois apparaît.
Lors de fork(), les points tamponnés sont hérités par les processus enfants. Ainsi, lorsque chaque processus enfant se termine, son point tampon apparaît sur le flux de sortie. L'ajout de ces quatre points retardés aux quatre points imprimés progressivement représente le total inattendu de huit.
Éviter les points tamponnés
Pour contourner ce comportement tamponné, il est conseillé d'appeler fflush(sortie standard); après chaque instruction printf(). Cela force l'envoi immédiat de la sortie, garantissant que le nombre attendu de points est affiché.