跳到主要内容
10.1145/2500365.2500605acm会议文章/章节视图摘要出版物页面国际货币基金组织会议记录会议集合
研究论文

Haskell的自动SIMD矢量化

出版:2013年9月25日出版历史

摘要

使用不可变数组表示算法大大简化了自动SIMD矢量化的挑战,因为不会发生几类重要的依赖性冲突。Haskell编程语言为使用不可变数组进行编程提供了库,并为优化它们提供了编译器支持,以消除中间临时数组的开销。我们描述了在Haskell编译器中实现的自动SIMD矢量化,该编译器为以自然编程风格编写的一系列程序提供了显著的矢量加速。我们将性能与Glasgow Haskell编译器编译的程序进行了比较。

工具书类

  1. T.Anderson、N.Glew、P.Guo、B.T.Lewis、W.Liu、Z.Liu和L.Petersen、M.Rajagopalan、J.M.Stichnoth、G.Wu和D.Zhang。支柱:并行实现语言。在V.Adve、M.J.Garzaran和P.Petersen的《并行计算语言和编译器》编辑中,第141-155页。施普林格·弗拉格,柏林,海德堡,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. A.Appel和T.Jim。在线性时间中收缩lambda表达式。函数编程杂志,7(5),1997年9月。谷歌学者谷歌学者数字图书馆数字图书馆
  3. A.J.C.自行车。软件矢量化手册。英特尔出版社,2004年。谷歌学者谷歌学者数字图书馆数字图书馆
  4. G.E.Blelloch。编程并行算法。ACM通讯,39(3):85-971996年3月。ISSN 0001-0782。谷歌学者谷歌学者数字图书馆数字图书馆
  5. M.Fluet和S.Weeks。使用支配者进行变形。在2001年意大利佛罗伦萨举行的函数式编程国际会议上,第2-13页。ACM。谷歌学者谷歌学者数字图书馆数字图书馆
  6. G.Keller、M.M.Chakravarty、R.Leshchinskiy、S.Peyton Jones和B.Lippmeier。Haskell中的规则形状多态并行数组。2010年,在美国马里兰州巴尔的摩举行的函数式编程国际会议上,第261-272页。ACM。谷歌学者谷歌学者数字图书馆数字图书馆
  7. K.Kennedy、C.Koelbel和H.Zima。高性能Fortran的兴衰:一个历史性的教训。《编程语言史》,第1-22页。ACM,2007年。谷歌学者谷歌学者数字图书馆数字图书馆
  8. R.莱斯钦斯基。回收阵列!《声明性语言的实践方面》,第209-223页。施普林格,2009年。谷歌学者谷歌学者数字图书馆数字图书馆
  9. B.利普梅耶和G.凯勒。haskell中的高效并行模板卷积。在哈斯克尔研讨会上,第59页至第70页。ACM,2011年。谷歌学者谷歌学者数字图书馆数字图书馆
  10. G.大陆、R.Leshchinskiy和S.Peyton Jones。利用广义流融合开发向量指令。在函数编程国际会议上。ACM,2013年。谷歌学者谷歌学者数字图书馆数字图书馆
  11. L.Petersen和N.Glew。GC安全的程序间拆箱。《编译器构造》,第165-184页,爱沙尼亚塔林,2012年。斯普林格·弗拉格。谷歌学者谷歌学者数字图书馆数字图书馆
  12. S.Peyton Jones。利用多核:Haskell中的嵌套数据并行。在2008年印度班加罗尔举行的亚洲编程语言和系统研讨会上,第138-138页。斯普林格·弗拉格。谷歌学者谷歌学者数字图书馆数字图书馆
  13. W.普格。精确阵列相关性分析的实用算法。ACM通讯,35(8):102-1141992。谷歌学者谷歌学者数字图书馆数字图书馆
  14. D.A.Terei和M.M.Chakravarty。GHC的LLVM后端。SIGPLAN通知,45(11):109-1202010。谷歌学者谷歌学者数字图书馆数字图书馆
  15. N.Vasilache、C.Bastoul、A.Cohen和S.Girbal。违规依赖性分析。在超级计算国际会议上,第335-344页。ACM,2006年。谷歌学者谷歌学者数字图书馆数字图书馆
  16. 美国周。MLton中的整个程序编译。2006年,美国俄勒冈州波特兰,ML研讨会,第1-1页。ACM。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. Haskell的自动SIMD矢量化

    建议

    评论

    登录选项

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

    登录

    完全访问权限

    • 发布于

      封面图片ACM会议
      ICFP’13:第18届ACM SIGPLAN功能编程国际会议记录
      2013年9月
      484页
      十亿英镑:9781450323260
      内政部:10.1145/2500365
      • 封面图片ACM SIGPLAN注意事项
        ACM SIGPLAN通知 第48卷第9期
        2013年ICFP
        2013年9月
        457页
        国际标准编号:0362-1340年
        EISSN公司:1558-1160
        内政部:10.1145/2544174
        期刊目录

      版权所有©2013 ACM

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

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2013年9月25日

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 研究论文

      验收费率

      2013年ICFP纸张接受率40属于133提交文件,30%总体验收率333属于1,064提交文件,31%

      即将召开的会议

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

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器