Discussion :

[guillaume07]

Besoin d'une confirmation concernant l'exemple de ce lien :

http://cpp.developpez.com/faq/cpp/?p...IVERS_volatile

Le problème plus précisement qu'il n'est expliquer dans le lien, est -il le suivant :

Un autre thread (autre que celui qui éxécute le while(!drapeau) vient modifier la variale drapeau mais modifié en faite uniquement la valeur de celle ci en RAM alors que le thread utilisé pour éxécuter le while utilise une "copie" de cette variable stocké dans les registres du processeur, ainsi le thread qui éxécute le while continuera à boucler car pour lui le drapeau n'a pas été modifié .

c'est ça ou pas du tout ?

[3DArchi]

Je n'ai pas vraiment compris ta question mais :
1/ Le compilateur peut très bien décider de ne pas réévaluer une variable s'il détermine qu'elle ne peut changer dans entre ses deux utilisations
2/ volatile est là pour lui dire justement qu'un changement peut avoir lieu là même s'il ne le voit pas. volatile répond à un problème bas niveau qui est qu'on utilise en général le même emplacement mémoire pour enchaîner des commandes ou lire des données. Par exemple, deux lecture successives sur une flash peuvent donner un résultat différent indiquant qu'elle est en train de faire quelque chose et donc sa lecture est impossible. Ce qui en code peut se traduire par :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
volatile TYPE_flash_word *ptr_flash = SOME_ADRESS;
TYPE_flash_word w1;
TYPE_flash_word w2;
w1 = *ptr_flash;
w2 = *ptr_flash;
if(w1!=w2)
{// flash au boulot
}
else
{// boulot terminé
}

Sans volatile, le compilateur aurait pu sauvagement optimiser et résumé ce code à

Code :

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

1
2
3
4
5
volatile TYPE_flash_word *ptr_flash = SOME_ADRESS;
TYPE_flash_word w1;
w1 = *ptr_flash;
{// boulot terminé
}

Ce que la F.A.Q. indique c'est que volatile n'est pas fait pour garantir une protection contre le multithreading car une lecture ou une écriture peut ne pas être atomique, notion différente de volatile

[guillaume07]

finalement j'ai du mal à en déduire une règle à appliquer pour savoir dans quel cas je mets volatile et dans quel cas c'est superflu

EDIT: par rapport à mon poste je pensais juste que dans certains cas, une variable qui se retrouve stocké dans un registre processeur, peut voir sa version stocké en ram modifié par un thread par exemple, la version de cette variable stocké dans le registre processeur restant inchangé ce qui conduirait ainsi à une incohérence, mais je suis peut être totalement dans le faux

[ram-0000]

finalement j'ai du mal à en déduire une règle à appliquer pour savoir dans quel cas je mets volatile et dans quel cas c'est superflu

On met volatile quand une variable peut être modifiée alors que le compilateur ne peut pas le deviner. Cette modification est faite en dehors du contexte du programme.

Un autre exemple, une variable mémoire modifiée par une interruption (clavier par exemple). Le compilateur ne paut pas savoir quand l'utilisateur va appuyer sur le clavier et donc les accès à cette variable ne doivent pas être optimisés par le compilateur.

Comme indiqué avant, volatile est surtout utilisé quand on fait de la programmation hardware de bas niveau.

[guillaume07]

On met volatile quand une variable peut être modifiée alors que le compilateur ne peut pas le deviner. Cette modification est faite en dehors du contexte du programme.

Un autre exemple, une variable mémoire modifiée par une interruption (clavier par exemple). Le compilateur ne paut pas savoir quand l'utilisateur va appuyer sur le clavier et donc les accès à cette variable ne doivent pas être optimisés par le compilateur.

Comme indiqué avant, volatile est surtout utilisé quand on fait de la programmation hardware de bas niveau.

ok ok mais techniquement quel est le problème qui va se poser? qu'est ce qui change quand les accès à cette variable sont optimisés par le compilateur ? quel sénario peut se passer, qui amenerer une incohérence ?

EDIT:il s'agit bien d'un problème d'une variable se trouvant à la fois dans un registre processeur et dans la RAM ?

[Astraya]

Bonjour,

Le mot clé volatile est surtout utilisé dans un contexte de multiprogrammation. Il servira à dire au compilateur de ne pas procéder à des optimisations trop violente sur tel ou tel variable.
Par exemple, une boucle while avec un bool qui n'est pas modifier autre par que dans un autre thread. Le compilateur pourra l'optimiser et par malheur détruite la logique du programme.

[ram-0000]

ok ok mais techniquement quel est le problème qui va se poser? qu'est ce qui change quand les accès à cette variable sont optimisés par le compilateur ? quel sénario peut se passer, qui amenerer une incohérence ?

imaginons le programme suivant

Code :

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

1
2
3
4
5
bool keyboard = false;
if(keyboard == true)
{
   traiter_touche();
}

Si le compilateur se rend compte que la variable keyboard n'est jamais modifiée et vaut toujours false, il peut être tenté d'optimiser le code en supprimant l'appel à la fonction "traiter_touche()" car il se rend compte que le test "if(keyboard == true)" ne sera jamais vrai. Si on met "volatile bool keyboard", on indique au compilateur qu'il n'a pas le droit d'optimiser en déduisant (mal) que la valeur ne changera jamais.

EDIT:il s'agit bien d'un problème d'une variable se trouvant à la fois dans un registre processeur et dans la RAM ?

Non