微软发布了 Axum

Axum 是微软开发的并行编程语言，目前还处在试验阶段，两周前 InfoQ 公布了这个项目的发布计划。现在，Axum 的一个初期版本（v0.1）已经发布并提供下载。

Axum 目前仍然是一个试验性的项目，微软 DevLabs 表示此次发布的版本，其主要目的是希望收集来自社区的反馈：

无论 Axum 最终是否会成为一个产品，是否能使并行编程变得更安全、更易于扩展和更高效，（社区的）反馈都是它成功的最大因素。

Axum 曾经叫做 Maestro，它的目标是提供一个.NET 环境下的并行编程模型，支持隔离、actor 和消息传递。此语言借鉴了很多 Erlang 语言的元素，不过拥有类似 C#的语法。

Axum 是一个拥有类似 C#语法的命令式语言，它面向 actor 和域（domain），而不是面向对象的，因此它拥有对象的概念，但是不能自定义类。Axum 主要用途是解决并发处理问题，它基于微软机器人实验室的 CCR ，其他.NET 平台的编程语言可以通过调用 Axum 来实现并发处理。

并行安全的最大障碍是共享数据。在 Axum 中使用共享数据之前需要进行声明，这样运行时就会控制数据访问的过程。语言中已经内建了并发控制机制。

Axum 的主要元素是域。域是一个资源仓库，它是数据、代理和函数的集合。域与域之间是相互隔离的，以此保护它们各自独立或共享的数据。域中的所有代理可以共享域中的数据，代理之间通过信道（Channel）来交换消息，而域中的函数都是无状态的。不同域的代理之间在通信时需要某种元数据来进行协调，这些元数据便是“架构（Schema）”。

基本上，一个代理就是可以和其他代理进行通信的线程，它们通过添加 reader 或 writer 的声明来访问共享数据：

 
domain A {
   int i;
   int func(int k){}
   writer agent X: Channel1 {}
   reader agent Y: Channel2{}
}
 
domain B {
   int j;
   agent Z: Channel1 {}
}

域与域之间通过代理进行通信可以用下图来表示：

您需要安装 Visual Studio 2008 才能使用 Axum。

相关链接：下载， Axum 语言规范(PDF)， Axum 用户手册(PDF)， Axum 项目组博客。

查看英文原文： Axum, Microsoft’s Approach to Parallelism 、 Microsoft Has Released Axum