跳到主要内容
10.1145/2364527.2364564acm会议文章/章节视图摘要出版物页面icfp公司会议记录会议集合
研究论文

高效的高阶矢量化

出版:2012年9月9日出版历史

摘要

现有方法高阶矢量化,也称为扁平化嵌套数据并行性,不保留源程序的渐进工作复杂性。简单的例子,如稀疏矩阵-向量乘法,在时间和空间上都会发生严重的放大,这限制了该方法的实用性。我们讨论了为什么会出现这个问题,将索引空间转换的错误处理确定为根本原因,并使用嵌套数组的精细表示提出了一个解决方案。我们已经在DataParallelHaskell(DPH)中实现了这个解决方案,目前的基准测试表明,过去遭受放大的实际程序现在具有正确的渐进工作复杂性。在某些情况下,矢量化程序的渐近复杂度甚至优于原始程序。

工具书类

  1. G.Blelloch和G.W.Sabot。在大规模并行计算机上编译面向集合的语言。《并行与分布式计算杂志》,8:119-1341990年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. G.E.Blelloch。用于数据并行计算的矢量模型。麻省理工学院出版社,1990年。谷歌学者谷歌学者数字图书馆数字图书馆
  3. G.E.Blelloch。NESL:一种嵌套的数据并行语言(3.1版)。技术报告,卡内基·梅隆大学,1995年。谷歌学者谷歌学者
  4. G.E.Blelloch和J.Greiner。NESL的可证明的时间和空间效率实现。1996年国际功能编程会议,第213-225页。谷歌学者谷歌学者数字图书馆数字图书馆
  5. M.M.T.Chakravarty、G.Keller、S.Peyton Jones和S.Marlow。与类关联的类型。在POPL 2005:编程语言原理,第1-13页。ACM出版社,2005年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. M.M.T.Chakravarty、R.Leshchinskiy、S.Peyton Jones、G.Keller和S.Marlow。Data Parallel Haskell:状态报告。在DAMP 2007:多核编程的声明性方面。ACM出版社,2007年。谷歌学者谷歌学者数字图书馆数字图书馆
  7. D.Coutts、R.Leshchinskiy和D.Stewart。流融合:从列表到流再到完全没有。在2007年ICFP:2007年功能编程国际会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  8. M.Fluet、M.Rainey和J.Reppy。通用并行语言的调度框架。ICFP 2008:函数编程国际会议,第241-252页。ACM,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  9. A.Ghuloum、T.Smith、G.Wu、X.Zhou、J.Fang、P.Guo、B.So、M.Rajagopalan、Y.Chen和B.Chen。基于Intel多核体系结构的未来数据并行算法和软件。英特尔技术期刊,2007年11月。谷歌学者谷歌学者交叉引用交叉引用
  10. J.Hill、K.M.Clarke和R.Bornat。非限定数据并行函数语言的矢量化,1994年。谷歌学者谷歌学者
  11. R.Leshchincskiy。高阶嵌套数据并行性。柏林理工大学博士论文,2006年。谷歌学者谷歌学者
  12. R.Leshchinskiy、M.M.T.Chakravarty和G.Keller。高阶展平。ICCS 2006:国际计算科学会议,第3992卷,第920-928页。斯普林格,2006年。谷歌学者谷歌学者数字图书馆数字图书馆
  13. B.Lippmeier、M.M.T.Chakravarty、G.Keller、R.Leshchinskiy和S.P.Jones。高效工作的高阶矢量化(未桥接)。技术报告UNSW-CSE-TR-201208,新南威尔士大学,2012年。谷歌学者谷歌学者
  14. D.W.Palmer、J.F.Prins、S.Chatterjee和R.E.Faith。嵌套数据并行程序的分段执行。《并行计算的语言和编译器》,《计算机科学讲义》第1033卷,第346-361页。Springer-Verlag,1995年。谷歌学者谷歌学者数字图书馆数字图书馆
  15. D.W.Palmer、J.F.Prins和S.Westfold。高效工作的嵌套数据并行。程序中。第五届大规模并行处理前沿研讨会,第186-193页。IEEE,1995年。谷歌学者谷歌学者数字图书馆数字图书馆
  16. S.Peyton Jones、W.Partain和A.Santos。Let-floating:移动绑定以提供更快的程序。1996年国际功能编程会议,第1-12页。谷歌学者谷歌学者数字图书馆数字图书馆
  17. S.Peyton Jones、R.Leshchinskiy、G.Keller和M.M.T.Chakravarty。利用多核:Haskell中的嵌套数据并行。FSTTCS 2008:软件技术和理论计算机科学基础,LIPIcs,第383-414页。达格斯图尔宫,2008年。谷歌学者谷歌学者
  18. J.Riely和J.Prins。扁平化是一种改进。程序中。第七届国际静态分析研讨会,第360页至第376页,2000年。谷歌学者谷歌学者数字图书馆数字图书馆
  19. D.Spoonhower、G.E.Blelloch、R.Harper和P.B.Gibbons。并行功能程序的空间分析。2008年ICFP:2008年功能编程国际会议。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 高效的高阶矢量化

        建议

        评论

        登录选项

        检查您是否可以通过登录凭据或您的机构访问本文。

        登录

        完全访问权限

        • 发布于

          封面图片ACM会议
          ICFP’12:第17届ACM SIGPLAN功能编程国际会议记录
          2012年9月
          392页
          国际标准图书编号:9781450310543
          内政部:10.1145/2364527
          • 封面图片ACM SIGPLAN注意事项
            ACM SIGPLAN通知 第47卷第9期
            2012年ICFP
            2012年9月
            368页
            国际标准编号:0362-1340
            EISSN公司:1558-1160
            内政部:10.1145/2398856
            期刊目录

          版权所有©2012 ACM

          如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

          发布者

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:2012年9月9日

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 研究论文

          接受率

          2012年ICFP纸张接受率32属于88提交文件,36%总体验收率333属于1,064提交文件,31%

          即将召开的会议

          24年ICFP
          ACM SIGPLAN函数编程国际会议
          2024年9月9日至13日
          米兰,意大利

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器