EricMitt blog : Parallel

Heisenbug et Chess

ericmitt — Wed, 29 Oct 2008 11:06:00 GMT

Vous connaissez le principe d’incertitude d’Heisenberg (http://fr.wikipedia.org/wiki/Heisenberg ), « Heisenbug » est une manière de qualifier des bugs incertains dans le sens ou ils sont très difficiles à prédire et à identifier, ils ne surviennent que de temps en temps dans des conditions quasiment impossible à reproduire, bref la bête noire des développeurs et des centres de support. (le terme est également défini dans Wikipedia http://fr.wikipedia.org/wiki/Heisenbug , mais la rubrique est incomplète sur le plan des codes parallèle… ce post tente de combler cette lacune J )

Pour info les termes Bohr bug , Heisenbug et Schrödinbug existent également et correspondent à d’autre cas rares et sont eux aussi les bêtes noires des dev et support (ils sortent du cadre que je me suis fixé pour ce post, mais j’y reviendrait peut être dessus un autre jour…)

A la PDC Microsoft Research anime quelques stands ; et oui c’est aussi cela la PDC, la possibilité de rencontrer quelques chercheurs de Microsoft Research, prêt a vous allouer du temps pour vous expliquer 5 – 6 de leur projets et de vous faire des démos : Respect !

Parmi ces projets un qui nous anime depuis quelques temps EricV et moi même : Chess. (research.microsoft.com/chess)

Chess est un outil d’analyse des codes parallèles, il permet de mettre a jour « toutes » les combinaison possibles d’acquisition de verrous dans vos code et vous permet d’identifier des cas de figures qui ne produiront peut être jamais, mais dont la probabilité d’apparition est différente de zéro. Et comme vous le savez via la loi de Murphy (appelée par certain loi de l’emer… maximum) c’est au moment le plus critique que ces bombes à retardement feront le plus de dégâts.

Prenons le cas simple d’un race condition, dans votre code 2 thread vont acquérir une ressource partagée, le code compile et tourne parfaitement car T1 arrivent dans 99.99% des cas en premier sur un verrou, Chess identifie que T1 et T2 vont se partager un verrou, alors Chess génère la matrice de tout les cas possible, et en instrumentant votre code va garantir que dans votre test tantôt T1 arrive le premier, mais bloquera T1 pour permettre la situation ou T2 arrive le premier sur la ressource. La combinatoire de cet exemple est simplissime, mais imaginez ce que ca peut devenir si vous avez une dizaine de thread et de verrous dans votre code, devenir exhaustif dans vos tests relève du casse tête et nécessitent une instrumentation manuelle du code (opération délicate et couteuse en temps) Grace à Chess pour êtes garanti de produire tous les cas possibles que ce soit dans du code natif ou managé ! (Champion MSR !!!)

Les démos qui nous été faite ce PM, (a ericV et moi-même)par S. Qadeer (le gars est impressionant de vivacité et signe des publications sur Chess... la aussi Respect !), s’appuyaient sur du code managé (PFX et PLinq), et étaient totalement intégrées à Visual Studio 2008, dans un Test unitaire (Whaouh, que de chemin parcours en quelques mois par cette équipe de chercheurs, alors que les versions du mois de mai dernier n’étaient dispo qu’en mode commande et que sur du code natif…. )

Et oui c’est aussi cela la PDC… du pur bonheur du matin au soir… à condition d’aimer le code J

Eric.PDC.Addict J

http://blogs.msdn.com/devpara/

ericmitt — Thu, 04 Sep 2008 23:41:00 GMT

Bon on se lance, les erics thomas et bientôt d'autres contributeurs, aussi voir plus passionés que nous (;-) viendront poster sur cette thématique majeure.

En ces jours ou fleurissent les multi-coeurs la programmation parallèle est en train de devenir le standard, voir le pré requis de nos projets....Bref un blog qui nous concerne tous des lors que l'on s'interresse au code !

A bientôt ici... et la bas !

Eric

Gestion des Thread UI et d'arrière plan en WPF

ericmitt — Fri, 29 Aug 2008 17:31:00 GMT

Suite a nos discussions de comment aborder la prommation multi-threaded (ca nous occupe beaucoup ces temps ci) et notament en WPF, il ressort que souvent nous sommes confrontés/solliciter sur la gestion des UI WPF via des thread en background.

Dans une vidéo de 9 minutes Eric Vernié, nous montre de manière nette et précise comment utiliser la propriété Dispatcher des contrôles graphiqueset appeler la méthodes Invoke pour en fait poster un message dans la boucle de la fenêtre en cours. Cette approche complétée par la création d'une thread, rend l'affichage complétement indépendant des intéractions de l'utilisateur sur la fenêtre... Eric fini sa vidéo en utilisant l'object SynchronizationContext qui sous jacent permet d'utiliser la threadUI depuis une librairies.

Bref 9 minutes indispensable pour vous lancer dans du code multi threadé en WPF....

Enjoy

Eric

Les Webcast de la conférence sur le développement parallèle sont disponibles sur Vision

ericmitt — Tue, 22 Jul 2008 11:26:00 GMT

Les Webcast de la conférence sur le développement parallèle animé par steve texeira et keith sont disponible.

Si vous n’avez pas pu assister à cette présentation je vous recommande chaudement de visionner les webcast. Steve et Keith Yedlin nous ont fait une présentation sans langue de bois et dévoiler les travaux en cours sur la runtime parallèle, le framework PFX, l’équivalent pour le code natif et les outils de dev, notamment le debuger et l’analyseur de performance.

C’est rare d’avoir des keys speakers de cette qualité en France, on essaiera de les ré inviter….

Eric.in.Parallel

La CTP de Juin 2008 des extensions parallèle pour le Framework .NET 3.5 est disponible en téléchargement

ericmitt — Thu, 05 Jun 2008 22:45:00 GMT

Bonne nouvelle !!!

La CTP de Juin 2008 des extensions parallèle pour le Framework .NET 3.5 est disponible en téléchargement ici

Qu’apporte-t-elle de nouveau ?

De nouvelles fonctionnalités pour les classes Task<> et Future<>

Comme par exemple la possibilité de planifier des tâches à l’aide de la méthode ContinueWith dans un ordre prédéfini qui peut résoudre des problèmes d'ordonnancement de Tâches.

Exemple :

static int A()

{

return 3;

}

static int B(int valueFromA)

{

return valueFromA * 2;

}

static string C(int valueFromB)

{

int z = 7 * valueFromB;

return "La réponse est : " + z.ToString();

}

var futureC = Future.Create(() => A()).ContinueWith (a=>B(a.Value)).ContinueWith (b=>C(b.Value));

Console.WriteLine(futureC.Value);

Pour ceux qui souhaiteraient étudier ce problème spécifiquement, je vous encourage à allez voir le post suivant

Ordering the output of parallel computations

Une autre fonctionnalité intéressante est l’ajout de WaitAny, qui permet de réagir lorsque n’importe quelle tâche a finie sont travail.

var algorithms = new [] {

Future.Create(() => Alg1()) ,

Future.Create(() => Alg2()) ,

Future.Create(() => Alg3()) ,

Future.Create(() => Alg4()) };

var result = algorithms[Task.WaitAny(algorithms)].Value;

Ici le code se poursuivra des que l’un des algos a fini.

Est-ce que cela signifie que les autres tâches seront arrêtées pour autant ?

A ma connaissance, non , il faudra prévoir un mécanisme manuel d’arrêt. Je publierais très prochainement sur MSDN France un article à ce sujet.

De nouvelles classes intéressantes ont été ajoutées comme par exemple des collections dites "Thread Safe".

En effet, une liste générique comme List<T>, ne prévoit de macanisme de synchronisation en écriture. Soient vous le prévoyez vous-même, soient désormais, vous utilisez les nouvelles collections telles que :

System.Threading.Collections.BlockingCollection<T>

System.Threading.Collections.ConcurrentQueue<T>

System.Threading.Collections.ConcurrentStack<T>

Par exemple la Liste BlockingCollection, utilise comme mécanisme de synchro en écriture,un objet de Sémaphore légé (nouveau dans cette CTP).

Vous retrouverez dans cette CTP les objets desynchro dits légérs (favorisant les performances) suivant :

System.Threading.CountdownEvent

System.Threading.LazyInit<T>

System.Threading.ManualResetEventSlim

System.Threading.SemaphoreSlim

System.Threading.SpinLock

System.Threading.SpinWait

System.Threading.WriteOnce<T>

Des nouveautés sur PLINQ également, mais que je vous laisse découvrir.

Enfin le Task Scheduler qui était jusqu’à cette CTP qu’un prototype (Une espèce de proof of concept) est désormais maintenant un projet à part entière. Basé sur un moteur plus robuste, plus efficace et plus performant, notre stratégie autour du développement parallèle s’affirme désormais comme une réalité qu’il faudra garder à l’esprit.

Eric Vernié

Merci à Eric pour cette note sur PFX... et à bientôt sur ce sujet passionant... N'oubliez pas le 23/06 c'est fait pour vous... qui comme nous êtes passionné pour le Dev parallèle....

Eric

Développement parallèle : THE conférence a Paris le 23 Juin

ericmitt — Tue, 03 Jun 2008 17:40:00 GMT

Comme je vous l’indiquais dans un post, j’ai confirmation de la conférence et des horaires. Un lien pour vous inscrire ICI

C'est Lundi 23 Juin à 14 Heure rue de l'université...

A lundi 23/06… ca va être de la bonne J

Eric.Parallèle

PCP : Parallel Computing Platform : ZE conference à Paris

ericmitt — Sat, 17 May 2008 01:43:00 GMT

Yoyoyoyo ! Super news, Steve Texeira et Keith Yedlin m’ont donné leur GO pour organiser une conférence à Paris (rue de l’université)

Steve (ancien GPM C++) a rejoins l’équipe PCP, avec Keith ils sont en charge du dev de la fameuse ConcRT PFX et outils associé à VStudio10.

Bref si vous voulez savoir ce qui se passe chez Microsoft en terme de code parallèle, ce que l’on prépare sur ce point pour Visual Studio 10 et peut être d’avantage ( J ) c’est la CONF qu’il ne faut pas rater (pas de panique tout de même, on va tout (ou presque !) Webcaster)

Reste 2 ou 3 détails à régler mais se sera vers le 23 Juin. Je confirme dates et horaires asap, on ouvre le site d’inscription au plus vite, mais n’hésitez pas à venir sans inscription, on vous fera un badge à la main….

A bientôt,

Eric.In.Parrallel