Discussion :

[LePtitBen]

Bonjour

Je suis actuellement un cours sur la programmation Système, plus particulièrement sur le chapitre des processus.
On a abordé le principe de la fonction fork() qui va créer un nouveau processus. Mais je ne comprends pas réellement ce qu'il se passe avec le code. Par exemple, dans ce genre de code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
void main(int argc, char** argv ){
  pid_t pid_fils;
  pid_fils = fork();
  if(pid_fils == 0){
    execlp("/bin/sh","sh", "-c",argv[1],NULL);
  }else{
    wait(NULL);
  }
}

De ce que j'ai compris, le fils va donc uniquement lire la partie du code où le pid_fils == 0. Mais je ne comprends pas réellement comme ça fonctionne.
Pourriez vous me donner une explication plus précise ?
Merci d'avance,

Ben

[Médinoc]

Pour expliquer ça, on peut partir de la signification du mot fork: Une fourche, comme sur la route. Une route qui se sépare en deux.
Voilà ce que fait fork(): Il sépare ton processus en deux processus identiques, à une différence près:
Il y a un lien de parenté entre les deux processus: L'un est le père et l'autre le fils, et l'OS n'aime pas que le processus père se termine avant le processus fils.

Ce qui est important à comprendre, c'est que lorsque fork() sépare le processus en deux, les deux processus résultats sont tous les deux au même point d'exécution: Ils sont tous les deux dans la fonction fork() qui n'a pas encore retournée. C'est un concept complètement différent de la création de processus telle qu'elle existe sous Windows, où un nouveau processus commence forcément du début.

La différence entre père et fils se manifeste de deux façons:

1. Chacun a son propre identificateur de processus (PID): Le père a le même PID qu'avant l'appel à fork(), alors que le processus fils a reçu un nouveau PID.
2. La valeur de retour de la fonction fork() diffère entre les deux: Dans le processus père, fork() va retourner le PID du processus fils; dans le processus fils, fork() va retourner zéro.

C'est comme ça que le processus fils exécutera uniquement le code dans le if(pid_fils==0), et le processus père exécutera uniquement le code du else.

[Sve@r]

Bonjour

De ce que j'ai compris, le fils va donc uniquement lire la partie du code où le pid_fils == 0. Mais je ne comprends pas réellement comme ça fonctionne.

Imagine le code suivant

Code c :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
int main() {
	printf("Hello\n");
}

Si tu l'exécutes, tu auras une ligne affichée à l'écran. C'est parce que l'exécution de ce code est dévolue à un processus qui se charge d'exécuter ses instructions.

Maintenant, une toute petite modification

Code c :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
int main() {
	fork();
	printf("Hello\n");
}

Au moment où le fork() s'exécute, il génère un second processus copie (et aussi appelé "fils") du premier. A partir de là donc, tout ce qui se situe en dessous sera traité (et exécuté) par deux processus tournant en parallèles. Et donc tu auras 2 affichage à l'écran car chaque processus affichera "Hello".

Jusque là c'est pas très intéressant d'avoir deux programmes faisant la même chose. Ce qui est intéressant, c'est de pouvoir distinguer qui est qui pour pouvoir leur faire faire des trucs distincts voire en collaboration.
Et le moyen de distinguer qui est qui se fait par le retour de la fonction fork(). Dans la branche fils elle retourne 0 et dans la branche père elle retourne le n° de pid du fils généré.

Tu peux, pour mieux distinguer les procesuss, modifier un peu le code

Code c :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
int main() {
	fork();
	printf("Hello %d, %d\n", getppid(), getpid());
}

Là, on affiche le n° du processus père et celui du courant. Dans un des deux affichages tu auras (par exemple) 8700, 8701 et dans l'autre tu auras 8701, 8702 (parce que le ppid de l'un est aussi le pid de l'autre).

et l'OS n'aime pas que le processus père se termine avant le processus fils.

Pas d'accord. L'OS sait parfaitement gérer et dans ce cas, le processus devenu orphelin est alors rattaché à init, premier processus et père de tous les autres.

[Christophe]

Je rajouterais qu'une fois le processus fils créée, la fonction suivante est appelée :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

execlp("/bin/sh","sh", "-c",argv[1],NULL);

Les fonctions de la famille exec chargent le programme en paramètre (/bin/sh dans ce cas) dans l'espace mémoire du processus appelant en écrasant donc le code courant. fork suivi de exec est la méthode utilisé pour lancer un programme sous Linux. Les fonctions exec ne retournent pas.

fork va utiliser le système du copy-on-write. Tant qu'il n'y a pas d'écriture, les 2 processus vont utiliser les mêmes zones mémoire, dès qu'il y a une écriture, la zone mémoire concernée est dupliquée et l'espace mémoire du processus concerné mis à jour en conséquence.

[LePtitBen]

D'accord, j'ai bien mieux compris ! Merci beaucoup !

[LePtitBen]

Après réflexions, j'ai quand même quelques questions.

Si je fais :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
void main(){
  if(fork()==0){
    Blabla}
  if(fork()==0){
    Blabla}
  wait(NULL;)
}

Ici, je fais deux processus fils. Mais si le premier processus fils commence au premier fork. Il va donc lui aussi faire un fils avec le deuxième fork dans la boucle non ? J'aurais donc au total 3 processus fils non ?