Et puis il y a d'autres paradigmes pour la résolution des problématiques liées à la concurrence [1]. Là on oppose les TM au locking, soit. Mais la première question est : veut on que notre réponse soit réellement déterministe ? Si une solution me permet de gagner 99% du temps de calcul et d'avoir un résultat acceptable à 99%, je vais favoriser cette solution.
Alors oui nos relans d'informaticiens qui arrivons tous un moment ou un autre de la programmation impérative nous fait dire que, oui, le déterminisme est nécessaire. Mais comparons ça à ce que l'on peut observer dans la nature : le choix d'un système globalement fiable et localement imprévisible peut être préférable.
tout ça commence juste à émerger au final.
Le souci, dans l'immédiat, et certaines réactions ici semblent le confirmer, c'est que les TM vont être vues comme une abstraction genre "nan mais c'est cool, avec les TM ça juste marche plus besoin de locking" et toutes les jolies blagues que l'on va croiser dans la vie réelle à cause de ça …
[^] # Re: A voir Re: Exemple de gain avec la mémoire transactionnelle ?
Posté par Badeu . En réponse à la dépêche Sortie de la version 4.7 du compilateur GCC. Évalué à 3.
Et puis il y a d'autres paradigmes pour la résolution des problématiques liées à la concurrence [1]. Là on oppose les TM au locking, soit. Mais la première question est : veut on que notre réponse soit réellement déterministe ? Si une solution me permet de gagner 99% du temps de calcul et d'avoir un résultat acceptable à 99%, je vais favoriser cette solution.
Alors oui nos relans d'informaticiens qui arrivons tous un moment ou un autre de la programmation impérative nous fait dire que, oui, le déterminisme est nécessaire. Mais comparons ça à ce que l'on peut observer dans la nature : le choix d'un système globalement fiable et localement imprévisible peut être préférable.
tout ça commence juste à émerger au final.
Le souci, dans l'immédiat, et certaines réactions ici semblent le confirmer, c'est que les TM vont être vues comme une abstraction genre "nan mais c'est cool, avec les TM ça juste marche plus besoin de locking" et toutes les jolies blagues que l'on va croiser dans la vie réelle à cause de ça …
[1] Voir les travaux de Ungar, dont ce slide de la SPLASH 2011 :
http://www.dynamic-languages-symposium.org/dls-11/program/media/Ungar_2011_EverythingYouKnowAboutParallelProgrammingIsWrongAWildScreedAboutTheFuture_Dls.pdf