Discussion :

[Alp]

Bonsoir,

Selon vous, C++ fait-il partie des langages les plus adapt�s pour le multithreading et la programmation parall�le, sujet au coeur de la recherche et des �volutions aujourd'hui ? Quels sont les meilleurs outils pour en tirer au mieux parti ?

N'h�sitez pas � argumenter, bien au contraire

PS : voici quelques discussions qui se rapportent au d�veloppement parall�le en C++
http://www.developpez.net/forums/d74...rallel-studio/
http://www.developpez.net/forums/d74...-parallelisme/

[hiura]

J'ai jamais pouss� tr�s loin mes utilisations des fils, mais je suis tomb� sur ceci. Tout porte � croire que le C++ est effectivement adapt� � cette utilisation si le comit� d�cide d'ajouter ces outils � la STL.

Apr�s, il faudra voir le r�sultat.

[Matthieu Brucher]

Beaucoup de frameworks existent pour le C++ permettant la programmation parall�le. Ils sont tous plus ou moins efficaces :
- OpenMP
- MPI
- TBB
- wxWidgets
- Qt
- ...

Bref, tr�s efficace. Et avec les fonctions lambda, �a va encore aller en s'am�liorant.

[JolyLoic]

D�j�, j'aimerais distinguer 3 types de multithreading :
- Pour les performances (exploiter un mat�riel multi-c�urs)
- Pour la r�activit� (une IHM qui reste r�active quand le calcul s'�x�cute, un programme g�rant en temps r�el des �v�nements ext�rieurs)
- Pour l'isolation (un serveur web isolant les diff�rentes r�ponses � diff�rentes requ�tes)

Je pense que la question �tait particuli�rement orient�e vers le parall�lisme pour la performance, qui est en effet d'actualit� de nos jours.

Pour la question, aujourd'hui, je dirais non car :
- Le comportement multithread du C++ est platform dependant
- Il n'y a rien de standard pour g�rer les threads, les locks...
- Il n'y a rien qui permette de remonter une exception depuis un thread vers le thread l'ayant lanc�
- La notion de fonction pure qui permettrait d'aider une parall�lisation automatique n'existe pas
- La syntaxe pour d�signer une action est lourde (pas de lambda-expression)
- C'est un langage imp�ratif, qui plus est o� la possibilit� d'aliasing est omnipr�sente, rendant la parall�lisation difficile.

L'avantage, c'est qu'� part le dernier point, tous sont adress�s par C++0x

Et comme d'un autre c�t�, le C++ est un langage qui est orient� performances, il me semble naturel que que faire de la performance gr�ce au parall�lisme se base d�j� sur le fait de faire de la performance tout court.

Autre point positif, le C++ est un langage o� tout est fait pour permettre de b�tir des niveaux d'abstraction �lev�s � partir de couches bas niveau, sans que cette abstraction ait un co�t trop important. Threads et lock sont des primitives bas niveau. Des biblioth�ques comme TBB sont d'un niveau un peu plus �lev�. Tout un niveau o� le parall�lisme devient non plus explicite mais implicite reste � construire.

[Matthieu Brucher]

Et comme d'un autre c�t�, le C++ est un langage qui est orient� performances, il me semble naturel que que faire de la performance gr�ce au parall�lisme se base d�j� sur le fait de faire de la performance tout court.

Certains diront qu'il manque � ce niveau la possibilit� de supprimer l'aliasing de pointeurs

[Arzar]

- La notion de fonction pure qui permettrait d'aider une parall�lisation automatique n'existe pas.
[...]
- C'est un langage imp�ratif...

L'avantage, c'est qu'� part le dernier point, tous sont adress�s par C++0x

Des fonctions pures ?
Je ne me souviens pas avoir vu passer de proposition pour �a et la recherche du mot "pure" dans le draft de mars ne donne rien (sauf des r�f�rences aux fonctions virtuelles pures)
Est-ce une exclu pour developpez ?
Aurais-tu quelques d�tails ?

[JolyLoic]

Des fonctions pures ?
Je ne me souviens pas avoir vu passer de proposition pour �a et la recherche du mot "pure" dans le draft de mars ne donne rien (sauf des r�f�rences aux fonctions virtuelles pures)

En fait, j'ai �t� un peu trop enthousiaste...
L'id�e n'est pas forc�ment d'avoir une gestion par le standard de fonctions pures, mais de permettre � des compilateurs de g�rer la notion de fonction pure. Mais cette id�e fait d�bat.

En gros, il y a une proposition sur les attributs, et parmi les exemples d'attributs, l'un des plus cit�s est un attribut pure pour les fonctions. Mais les attributs seraient en grande partie non standards, juste des points d'expansion pour les compilateurs. http://www.open-std.org/jtc1/sc22/wg...2008/n2553.pdf

[Aurelien.Regat-Barrel]

- Il n'y a rien qui permette de remonter une exception depuis un thread vers le thread l'ayant lanc�

Je ne comprends pas le fonctionnement / usage. Chaque thread ayant sa propre pile, et les exceptions remontant cette pile, comment �a marche / s'utilise ?

[Jean-Marc.Bourguet]

Je ne comprends pas le fonctionnement / usage. Chaque thread ayant sa propre pile, et les exceptions remontant cette pile, comment �a marche / s'utilise ?

Un exemple d'utilisation bas� sur la notion de "future" o� on lance un calcul en parall�le en gardant un objet qui repr�sente le r�sultat, quand on essaie d'avoir la valeur du r�sultat, on bloque en attendant le r�sultat du calcul. Si le calcul �choue � cause d'une exception, il est sens� de jeter � nouveau cette exception quand on cherche � obtenir la valeur. Il est d'autres cas o� on peut vouloir copier une exception d'une thread � l'autre.