Le modèle de l'acteur fonctionne sur la transmission de messages. Les processus individuels (acteurs) sont autorisés à s’envoyer des messages de manière asynchrone. Ce qui distingue cela de ce que nous considérons normalement comme le modèle de filetage, c'est qu'il n'y a (en théorie du moins) aucun état partagé. Et si l'on croit (à juste titre, je pense) que l'état partagé est la racine de tout mal, alors le modèle de l'acteur devient très attractif.
Nous ne devrions cependant pas nous exciter. Le modèle de l'acteur ne rend pas (contrairement à certaines allégations) impossible les blocages. Le modèle d'acteur ne vous empêche pas non plus d'avoir des conflits de ressources entre différents processus - des files d'attente de messages, par exemple. Le modèle est uniquement "sans verrouillage" au-dessus d'un certain niveau. À un niveau inférieur, pour coordonner les files d'attente de messages, le verrouillage est toujours nécessaire.
Un fil de discussion ne peut-il pas être considéré comme un acteur et envoyer des messages à d'autres fils?
Eh bien, oui et non. Non, si vous utilisez simplement l'approche consistant à placer des mutex autour des emplacements de mémoire partagés. Ensuite, les threads partagent cet état - ils ont tous les deux accès à cette mémoire, peuvent à la fois la lire, la réécrire, etc. sous. J'ai piraté quelque chose comme ça (très mal) en donnant à chaque thread une file d'attente gardée par un mutex - juste pour le plaisir. Pour avoir une idée de la gestion de l'impédance des fils d'acteur, consultez ma question d'il y a un an .
Puis-je utiliser le modèle d'acteur dans n'importe quelle langue en utilisant les threads différemment?
Oui, mais cela demandera un peu plus de travail. Votre langue préférée pourrait bien avoir une bibliothèque de transmission de messages, ce serait donc la première chose à étudier. En outre, vous devez étudier l'utilisation de structures de données immuables. Notez que si une structure de données est immuable, alors vous avez essentiellement traité le problème de "l'état partagé" - plusieurs threads peuvent contenir des références à des données immuables sans que rien de mal ne se produise. Il y a une raison pour laquelle les langages d'acteurs ont tendance à être aussi des langages fonctionnels (erlang, scala).
Vous voudrez peut-être également jeter un coup d'œil à la mémoire transactionnelle logicielle, qui est un modèle différent mais aussi convaincant. Clojure en est mon exemple préféré.