总结

该项目正在构建一个特定于域的语言工具包,名为Wakarusa使特定于域的语言更容易在高性能场景中部署。该技术将首先应用于两种类型的高性能平台、GPGPU和FPGA。然而,该工具包将是通用的,我们预计其结果也将在需要充分了解资源使用情况的情况下,更容易部署DSL,例如云资源和嵌入式系统。该项目由NSF资助。

标题 职业:填补领域特定功能解决方案的空白,实现高性能执行
资金来源: 国家科学基金会
链接 http://www.nsf.gov/awardsearch/showAward?AWD_ID=1350901
履行期限 2014年6月至2019年5月
数量 $521,201

摘要

物理学家、气象学家和其他高性能用户计算想要编写大型复杂的模型和系统正确快速地执行。这些模型和系统允许我们要更好地了解我们的世界,探索解决困难的方法问题。不幸的是,为了有效利用计算资源,无论出于何种目的,非计算专家都需要,成为一名熟练的计算机科学家。根本问题是非计算专家不一定知道优化模型的选项。领域特定语言(DSL)是解决这一知识鸿沟的一个可行方案,因为DSL可以编码将程序映射到所需的必要知识高性能目标,同时提供定制领域专家所说的环境。通过使用DSL,非专业人士无需担心起点;DSL编译器负责映射为高性能目标建模。这项研究将产生新的DSL技术和将大大降低成本的技术开发此类高性能DSL,以及改进为用户提供的性能机会。

在项目的五年期间,两个特定的高性能并行平台(GPGPU和FPGA)将变得更容易访问。A类资源软件DSL将允许广泛的并行编程直接表达的习语。此资源软件DSL还将与现有DSL结合使用。使用重写技术,资源软件DSL将作为一个表达通用探索设计权衡之前、期间和之后的媒介对特定实现技术的承诺。一套习惯编译器插件将允许转换为现有开发GPGPU和FPGA的环境和工具。随着编程的继续从普通程序员的任务迁移到在领域专家的手上,这项研究的更广泛影响是降低领域中与绩效相关的知识负担专家,更广泛地说,支持专家的使用推动DSL设计和实施的最新发展。这个这项研究的主要学术价值在于创建支持临时和资源软件的通用DSL基于用户模型的实时重构。这一新的DSL将为未来提供信息高性能DSL编译器,为定制DSL和领域专家共同寻找正确快速执行的实现。

学生

  • 马克·格雷布-嵌入式系统插件
  • 詹姆斯·斯坦顿-堪萨斯熔岩:下一代
  • David Young-GHC重写规则和翻译人员

相关出版物

  • A.Gill、N.Sculthorpe、J.Dawson、A.Eskilson、A.Farmer、M.Grebe、,J.Rosenbluth、R.Scott和J.Stanton,”远程monad设计图案,“in第八届ACM SIGPLAN研讨会会议记录哈斯克尔,(美国纽约州纽约市),第59-70页,ACM,2015年。

背景出版物

这些出版物要么支持原始提案,要么大约在同一时间编写作为原始提案。

项目名称

瓦卡鲁萨是堪萨斯州劳伦斯市南部的一条河流,堪萨斯大学主校区所在地。Wakarusa大约翻译为“deep river”,我们在我们的DSL工具包。

宣传