Axum

Axum es un lenguaje de programación diseñado para soportar la programación concurrente en muchos núcleos, con énfasis en la corrección. Fue desarrollado por Microsoft Research y publicado bajo licencia MIT en 2012. El lenguaje se basa en el modelo de actor de computación concurrente, en el que cada proceso concurrente es un actor con su propio estado privado. Los actores se comunican entre sí enviando y recibiendo mensajes. Este enfoque pretende facilitar la escritura de programas concurrentes correctos, aislando el estado de cada actor y eliminando la necesidad de bloqueo. Axum se ha utilizado para desarrollar una serie de aplicaciones concurrentes, incluyendo una implementación del modelo de programación MapReduce y una base de datos distribuida.