InfoQ

InfoQ

新闻

我的书签

登录注册 以永久保存书签。

该内容已经被标记书签!

标记书签错误,请重试!

微软发布了Axum

作者 Abel Avram 译者 王瑜珩 发布于 2009年5月12日

领域
语言 & 开发
主题
.NET ,
语言
标签
并行计算

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 {}
}

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

axum

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

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

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

译者 王瑜珩 InfoQ中文站编辑,ThoughtWorks咨询师,关注企业级Web开发、敏捷实践以及项目管理。

Axum和.net 4.0中的Parallel Extension的关系谁什么样的 发表人 Lee Jerin 发表于
Re: Axum和.net 4.0中的Parallel Extension的关系谁什么样的 发表人 易 卓霖 发表于
  1. 返回顶部

    Axum和.net 4.0中的Parallel Extension的关系谁什么样的

    发表人 Lee Jerin

    同题。

  2. 返回顶部

    Re: Axum和.net 4.0中的Parallel Extension的关系谁什么样的

    发表人 易 卓霖

    前者是一门语言,后者是一个函数库

深度内容

应用云平台的可用性——从新浪SAE看云平台设计

云计算平台的可用性,相比传统互联网服务而言,更加复杂和困难,也更具有挑战性。本文借助新浪SAE云平台为读者讲述了云平台可用性的定义、如何打造高可用的平台,以及对云计算的用户提出了建议。

JVM定制改进 @ 淘宝

淘宝高度重视Java平台的健康发展,组建了一个团队专注于Java平台的底层部分的性能、功能与稳定性改进;工作主要基于OpenJDK中的HotSpot VM开展,其中一些通用的功能随后也会逐渐反馈给OpenJDK社区。希望能与使用Java平台开发应用的大家交流经验。
本次演讲视频录制于QCon杭州2011

"伤得起"的云计算应用——对云端应用之架构的思考

2011年4月21日至22日是值得云计算从业者纪念的日子。Amazon的IaaS服务出现故障,导致许多商业网站的服务中断,影响非常严重。作为云计算用户,我们需要思考的是,如何保证即便在云服务不可用的情况,我们的应用架构仍然能够屹立不倒?本文正是站在云计算用户的角度试图探讨这一问题。

让交付的速度跟上思考的速度

12人的技术团队,4组刀片服务器,每月20亿的访问量,每日1次准时部署,99.9%的可用性。这可能吗?当然。想知道如何做的吗?百姓网将与您分享他们在DevOps实践过程中的经验和技巧。
本次演讲视频录制于QCon杭州2011

架构之路——穿行在产品和业务之间

篱笆作为一家起源于社区的电子商务公司,反映到技术层面就是同时要面对产品和业务,以及经营战略的变化调整。如何在产品和业务的夹缝之间完成技术架构的抽象与平衡,寻找更有效的价值定位,这当中有些经验教训和个人感悟愿与众人分享。
本次演讲视频录制于QCon杭州2011

特性注入:成功三部曲

本文将对特性注入以及相关方法做一个扫盲性的介绍。我们会解释这个框架的关键要素,并附上实例来证实它们。为了让文章保持相对较短,我们不会深入到某个工具或方法中,而是会给出一些参考资料,以便大家做进一步的研究。

解析JDK 7的动态类型语言支持

随着JDK 7的发布,字节码指令集终于迎来了第一位新成员——invokedynamic指令。这条新增加的指令是JDK 7实现“动态类型语言(Dynamically Typed Language)”支持而进行的改进之一,也是为JDK 8可以顺利实现Lambda表达式做技术准备。在这篇文章中,我们将去了解JDK 7这项新特性的出现前因后果和它的意义。

Java Remoting远程服务(下)

随着互联网应用的发展,Java分布式远程服务技术受到越来越多的关注,本文将对各种相关实现以示例的形式逐一介绍,并总结其中的优缺点,使读者能够在技术选型时有所准备。这是文章的下篇。