Axum

Axum é uma linguagem de programação concebida para suportar programação concorrente em muitos núcleos, com ênfase na correcção. Foi desenvolvida pela Microsoft Research e lançada sob a licença do MIT em 2012. A linguagem é baseada no modelo de cálculo simultâneo, em que cada processo simultâneo é um actor com o seu próprio estado privado. Os actores comunicam uns com os outros enviando e recebendo mensagens. Esta abordagem destina-se a facilitar a escrita correcta de programas simultâneos, isolando o estado de cada actor e eliminando a necessidade de bloqueio. Axum tem sido utilizado para desenvolver uma série de aplicações simultâneas, incluindo uma implementação do modelo de programação MapReduce e uma base de dados distribuída.