GHC总部和Well-Typed很高兴地报告MSR资助的项目推动了并行Haskell的实际应用。

在接下来的两个项目中,我们将与四个行业合作伙伴合作年,目的是证明类似的Haskell可以在工业项目中成功就业。

参与组织包括:

  • 蜻蜓(新西兰)
  • IIJ创新研究所(日本)
  • 洛斯阿拉莫斯国家实验室(美国)
  • Willow Garage Inc.(美国)

每个小组都在进行自己的项目,应用并行Haskell以及他们特定领域的专业知识。除了提供建议在Haskell工具和技术方面,我们将与这些合作伙伴合作确定并解决阻碍进展的任何问题。我们是准备处理编译器和运行时系统,一直到平台、工具和库的问题。

所有参与者都在处理复杂的现实问题。项目涉及科学问题,第四个涉及网络服务器。其中三个项目的目标是单节点SMP系统,第四个是针对集群。在两种情况下,Haskell将直接与用C或C++编写的现有代码对抗。

项目进度报告将发布到类型良好的博客和至并行Haskell邮件列表

蜻蜓

网址:www.dragonfly.co.nz

参与者:芬莱·汤普森、爱德华·亚伯拉罕

云贝叶斯:Haskell中的层次贝叶斯建模

云贝叶斯项目旨在开发一个快速贝叶斯模型利用现代多处理器机器的装配工。将支持BUGS模型描述中的模型描述语言(WinBUGS、OpenBUGS和JAGS)。它将作为Haskell中的嵌入式领域特定语言(EDSL)。A宽模型层次贝叶斯模型结构的范围为可能的,包括医疗、生态、,和生物科学。

Cloudy Bayes将提供一个易于使用的界面来描述模型,运行蒙特卡罗-马尔可夫链(MCMC)拟合程序,诊断运行时的性能和收敛标准,以及收集用于后处理的输出。Haskell的强类型系统将是用于确保模型描述有意义,提供快速、安全的开发周期。

IIJ创新研究所。

网址:www.iij-ii.co.jp

与会者:山本和祖

Haskell适用于多种领域,GHC支持轻量级线程使其对并发具有吸引力应用程序。网络服务器编程是一个例外因为GHC 6.12及更早版本有一个IO管理器,仅限于1024个网络套接字。即将推出的GHC7有了一个新的IO管理器摆脱此限制的实现。

该项目将实现几个网络服务器来演示Haskell适合处理大量并发连接数。

洛斯阿拉莫斯国家实验室

网址:www.lanl.gov

参与者:Michael Buksas、Timothy M.Kelley

该项目将使用并行Haskell来实现高性能蒙特卡罗算法,一类算法利用随机性进行大样本或难以处理的样本解决方案空间。最初的目标是基于粒子的MC算法适用于辐射流建模,应用于天体物理学中的问题。由此,预计该项目将转移到识别合适的抽象来表示更广泛的蒙特卡罗算法,并使用模型不同的物理现象。

柳树车库

www.willowgarage.com网站

参与者:Ryan Grant

ROS中的分布式刚体动力学

Willow Garage寻求分布式刚体动力学仿真,具有良好的并行性在当前和可预见的硬件上加速,但仍链接到用于低级别消息传递和矩阵数学。

该项目将推动API、性能和分析工具Haskell与消息传递接口的要求接口(MPI)规范,High中的行业标准性能计算(HPC),用于多个节点的集群。

竞争性内部计划直接使用C++/MPI和CUDA。

Willow Garage旨在为个人机器人奠定基础在日常生活中的应用。ROS(机器人操作系统-(ROS.org)是一个开源的机器人元操作系统。