Concurrence de type Erlang dans le langage de programmation D

stockage est thread-local par défaut en D, donc rien n'est partagé entre les threads à moins qu'il ne soit spécifiquement marqué comme shared . Si vous marquez une variable comme shared , vous pouvez alors utiliser les mutex et les conditions ainsi que des objets synchronisés pour faire face à la concurrence. Toutefois, le moyen préféré de communiquer entre les fils est d'utiliser les fonctions de transmission de messages dans la norme std.simultanéité et laisser toutes les données rester thread-local, en utilisant seulement shared quand vous devez. Tous les objets passés entre les threads à l'aide de la norme std.la concurrence doit soit être transmise par la valeur, soit Être immuable, de sorte qu'il n'y a pas de partage et que le fil est complètement sûr. Cependant, il peut être actuellement un peu difficile d'obtenir un type de référence immuable qui n'est pas un tableau ( idup rend généralement facile pour les tableaux), de sorte qu'il peut être un peu ennuyeux de passer n'importe quoi d'autre que les types de valeur ou tableaux (bien que j'espère que la situation s'améliore dès que le compilateur et les bogues de bibliothèque standard concernant const et immuable se fixe et plus code const-correct).

maintenant, alors que le passage de message en D se traduira certainement par du code plus propre et plus sûr que ce que vous obtiendriez dans des langages comme C++ ou Java, il est construit sur le dessus de la normale, c threads (par exemple Linux utilise pthreads), donc il n'a pas le genre de threads légers que fait Erlang, et donc traiter avec plusieurs threads ne va pas être aussi efficace que Erlang.

bien sûr, je ne vois pas pourquoi un système de thread plus efficace ne pourrait pas être écrit en utilisant D, à ce moment-là vous pourriez être en mesure d'obtenir une efficacité de thread similaire à celle D'Erlang, et il pourrait probablement utiliser une API similaire à celle de std.la concurrence, mais tous les threads standards de D sont construits sur les threads normaux, C, donc vous devez faire tout cela vous-même, et en fonction de la façon dont vous l'avez implémenté et en fonction de la façon dont exactement le thread-local / shared est traité par le compilateur et druntime, il pourrait être difficile d'obtenir le système de type pour imposer que tout soit thread-local avec vos threads "verts". Je crains de ne pas savoir exactement comment shared est mis en œuvre ou comment les fils" verts " fonctionnent pour en être sûr.

quoi Qu'il en soit, le système de transmission de messages de D aura certainement pour résultat de traiter avec des threads plus agréables que C++ ou même Java, mais il n'est pas conçu pour être simplifié de la même manière que Erlang est. D est un langage de systèmes à usage général, pas un langage spécifiquement conçu pour utiliser des threads pour tout et donc de les utiliser absolument aussi efficacement que possible. Une grande partie des installations standard de D sont construites au-dessus de C, de sorte qu'une grande partie de ses caractéristiques d'efficacité seront similaires à celles de C.