Axum

Axum est un langage de programmation conçu pour supporter la programmation concurrente sur de nombreux cœurs, en mettant l'accent sur la correction. Il a été développé par Microsoft Research et publié sous la licence MIT en 2012. Le langage est basé sur le modèle d'acteur de calcul concurrent, dans lequel chaque processus concurrent est un acteur avec son propre état privé. Les acteurs communiquent entre eux en envoyant et en recevant des messages. Cette approche vise à faciliter l'écriture de programmes concurrents corrects, en isolant l'état de chaque acteur et en éliminant le besoin de verrouillage. Axum a été utilisé pour développer un certain nombre d'applications concurrentes, y compris une implémentation du modèle de programmation MapReduce et une base de données distribuée.