Axum目前仍然是一個試驗性的項目，微軟DevLabs表示此次發(fā)布的版本，其主要目的是希望收集來自社區(qū)的反饋：

無論Axum最終是否會成為一個產(chǎn)品，是否能使并行編程變得更安全、更易于擴展和更高效，（社區(qū)的）反饋都是它成功的最大因素。

Axum曾經(jīng)叫做Maestro，它的目標(biāo)是提供一個.NET環(huán)境下的并行編程模型，支持隔離、actor和消息傳遞。此語言借鑒了很多Erlang語言的元素，不過擁有類似C#的語法。

Axum是一個擁有類似C#語法的命令式語言，它面向actor和域（domain），而不是面向?qū)ο蟮模虼怂鼡碛袑ο蟮母拍?，但是不能自定義類。Axum主要用途是解決并發(fā)處理問題，它基于微軟機器人實驗室的CCR，其他.NET平臺的編程語言可以通過調(diào)用Axum來實現(xiàn)并發(fā)處理。

并行安全的最大障礙是共享數(shù)據(jù)。在Axum中使用共享數(shù)據(jù)之前需要進行聲明，這樣運行時就會控制數(shù)據(jù)訪問的過程。語言中已經(jīng)內(nèi)建了并發(fā)控制機制。

Axum的主要元素是域。域是一個資源倉庫，它是數(shù)據(jù)、代理和函數(shù)的集合。域與域之間是相互隔離的，以此保護它們各自獨立或共享的數(shù)據(jù)。域中的所有代理可以共享域中的數(shù)據(jù)，代理之間通過信道（Channel）來交換消息，而域中的函數(shù)都是無狀態(tài)的。不同域的代理之間在通信時需要某種元數(shù)據(jù)來進行協(xié)調(diào)，這些元數(shù)據(jù)便是“架構(gòu)（Schema）”。

基本上，一個代理就是可以和其他代理進行通信的線程，它們通過添加reader或writer的聲明來訪問共享數(shù)據(jù)：

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。

【編輯推薦】

1. Erlang面向分布與并發(fā)的編程語言
2. 程序員如何選擇合適的編程語言
3. 整合XAML 微軟新編程語言"M"