Pourquoi vfork () est-il destiné à être utilisé lorsque le processus enfant appelle exec () ou exit () immédiatement après sa création?

Concepts du système d'exploitation et APUE disent

Avec vfork (), le processus parent est suspendu et le processus enfant utilise l'espace d'adressage du parent. Étant donné que vfork () n'utilise pas la copie sur écriture, si le processus enfant modifie des pages de l'espace d'adressage du parent, les pages modifiées seront visibles par le parent une fois qu'il reprendra. Par conséquent, vfork () doit être utilisé avec prudence pour garantir que le processus enfant ne modifie pas l'espace d'adressage du parent.

vfork () est destiné à être utilisé lorsque le processus enfant appelle exec () ou exit () immédiatement après sa création.

Comment dois-je comprendre la dernière phrase?

Lorsqu'un processus enfant créé par des vfork()appels exec(), ne exec()modifie pas l'espace d'adressage du processus parent, en chargeant le nouveau programme?

Lorsqu'un processus enfant créé par des vfork()appels exit(), ne exit()modifie pas l'espace d'adressage du processus parent lors de l'arrêt de l'enfant?

J'ai une préférence pour Linux.

Merci.

Lorsqu'un processus enfant créé par des vfork()appels exec(), ne exec()modifie pas l'espace d'adressage du processus parent, en chargeant le nouveau programme?

Non, exec()fournit un nouvel espace d'adressage pour le nouveau programme; il ne modifie pas l'espace d'adressage parent. Voir par exemple la discussion des execfonctions dans POSIX et la execve()page de manuel Linux .

Lorsqu'un processus enfant créé par vfork () appelle exit (), exit () ne modifie-t-il pas l'espace d'adressage du processus parent lors de l'arrêt de l'enfant?

Tout simplement exit()- il exécute les hooks de sortie installés par le programme en cours d'exécution (y compris ses bibliothèques). vfork()est plus restrictif; ainsi, sous Linux, il rend obligatoire l'utilisation de _exit()ce qui n'appelle pas les fonctions de nettoyage de la bibliothèque C.

vfork()s'est avéré assez difficile à obtenir correctement; il a été supprimé dans les versions actuelles de la norme POSIX et posix_spawn()devrait être utilisé à la place.

Cependant, à moins que vous ne sachiez vraiment ce que vous faites, vous ne devez pas utiliser ni vfork()ou posix_spawn(); s'en tenir au bon vieux fork()et exec().

La page de manuel Linux liée ci-dessus fournit plus de contexte:

Cependant, dans le mauvais vieux temps, fork(2) il faudrait faire une copie complète de l'espace de données de l'appelant, souvent inutilement, car généralement immédiatement après, une opération exec(3)est effectuée. Ainsi, pour plus d'efficacité, BSD a introduit l' vfork() appel système, qui ne copiait pas entièrement l'espace d'adressage du processus parent, mais empruntait la mémoire et le thread de contrôle du parent jusqu'à ce qu'un appel execve(2)ou une sortie se produise. Le processus parental a été suspendu pendant que l'enfant utilisait ses ressources. L'utilisation de vfork()était délicate: par exemple, la non-modification des données dans le processus parent dépendait de la connaissance des variables contenues dans un registre.

Lorsque vous appelez vfork(), un nouveau processus est créé et ce nouveau processus emprunte l'image de processus du processus parent à l'exception de la pile. Le processus enfant reçoit une nouvelle étoile de pile, mais ne permet pas returnde la fonction qui a appelé vfork().

Pendant que l'enfant s'exécute, le processus parent est bloqué, car l'enfant a emprunté l'espace d'adressage du parent.

Peu importe ce que vous faites, tout ce qui accède à la pile ne modifie que la pile privée de l'enfant. Cependant, si vous modifiez des données globales, cela modifie les données communes et affecte donc également le parent.

Les choses qui modifient les données globales sont par exemple:

• appeler malloc () ou gratuit ()

• en utilisant stdio

• modification des paramètres du signal

• modification des variables qui ne sont pas locales à la fonction qui a appelé vfork().

• ...

Une fois que vous appelez _exit()(important, ne jamais appeler exit()), l'enfant est terminé et le contrôle est rendu au parent.

Si vous appelez une fonction de la exec*()famille, un nouvel espace d'adressage est créé avec un nouveau code de programme, de nouvelles données et une partie de la pile du parent (voir ci-dessous). Une fois que cela est prêt, l'enfant n'emprunte plus l'espace d'adressage à l'enfant, mais utilise un propre espace d'adressage.

Le contrôle est rendu au parent, car son espace d'adressage n'est plus utilisé par un autre processus.

Important: sous Linux, il n'y a pas de véritable vfork()implémentation. Linux implémente plutôt vfork()basé sur le fork()concept Copy on Write introduit par SunOS-4.0 en 1988. Afin de faire croire aux utilisateurs qu'ils utilisent vfork(), Linux configure simplement les données partagées et suspend le parent pendant que l'enfant n'appelle pas _exit()ou l'une des exec*()fonctions.

Linux ne bénéficie donc pas du fait qu'un réel vfork()n'a pas besoin de mettre en place une description de l'espace d'adressage pour l'enfant dans le noyau. Il en résulte un vfork()qui n'est pas plus rapide que fork(). Sur les systèmes qui implémentent un réel vfork(), il est généralement 3 fois plus rapide fork()et affecte les performances des shells qui utilisent vfork()- ksh93, le récent Bourne Shellet le csh.

La raison pour laquelle vous ne devriez jamais appeler exit()de l' vfork()enfant ed est qu'il exit()vide stdio au cas où il y aurait des données non vidées de la période précédant l'appel vfork(). Cela pourrait provoquer des résultats étranges.

BTW: posix_spawn()est implémenté par-dessus vfork(), vfork()ne va donc pas être supprimé du système d'exploitation. Il a été mentionné que Linux n'utilise pas vfork()pour posix_spawn().

Pour la pile, il y a peu de documentation, voici ce que dit la page de manuel Solaris:

 The vfork() and vforkx() functions can normally be used  the
 same  way  as  fork() and forkx(), respectively. The calling
 procedure, however, should not return while running  in  the
 child's  context,  since the eventual return from vfork() or
 vforkx() in the parent would be to a  stack  frame  that  no
 longer  exists. 

L'implémentation peut donc faire ce qu'elle veut. L'implémentation Solaris utilise la mémoire partagée pour le cadre de pile de l'appel de fonction vfork(). Aucune implémentation n'accorde l'accès aux parties plus anciennes de la pile à partir du parent.