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

多核Haskell的运行时支持

出版:2009年8月31日出版历史

摘要

由于没有副作用,纯功能程序应该在并行硬件上运行良好,但事实证明,在实践中很难实现这种潜力。大量的论文描述了有前途的想法,但很少描述具有良好墙锁性能的实际实现。我们描述了这样一个实现,并定量地探讨了一些复杂的设计权衡,这些权衡使得实现难以构建。我们的测量结果必然是详细和具体的,但它们是可重复的,我们相信它们提供了一些一般性的见解。

跳过补充材料部分

补充材料

多核haskellonvimeo.mp4运行时支持

英里4

89.2 MB

工具书类

  1. J.R.Armstrong、R.Virding、C.Wikstrom和M.Williams。ERLANG中的并发编程(第二版)。普伦蒂斯·霍尔国际(英国)有限公司,英国赫特福德郡,1996年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. 尼玛·S·阿罗拉(Nimar S.Arora)、罗伯特·D·布鲁莫夫(Robert D.Blumofe)和C·格雷格·普拉克斯顿(C.Greg Plaxton)。多道程序多处理机的线程调度。第十届ACM并行算法和体系结构(SPAA)年会论文集,巴利亚尔塔港,第119-129页,1998年。谷歌学者谷歌学者数字图书馆数字图书馆
  3. J.Berthold、S.Marlow、A.Al Zain和K.Hammond。比较和优化多核上的并行Haskell实现。2008年在英国哈特菲尔德举行的IFL’08:功能语言实现和应用国际研讨会(会议记录草案)。谷歌学者谷歌学者
  4. 斯蒂芬·布莱克本和安东尼·霍斯金。障碍:朋友还是敌人?ISMM’04:第四届记忆管理国际研讨会论文集,第143-151页,美国纽约州纽约市,2004年。ACM公司。国际标准图书编号1-58113-945-4。数字对象标识:http://doi.acm.org/10.1145/1029873.1029891。谷歌学者谷歌学者数字图书馆数字图书馆
  5. G.E.Blelloch、S.Chatterjee、J.C.Hardwick、J.Sipelstein和M Zagha。可移植嵌套数据并行语言的实现。JDPC,21(1):4-1994年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. R.D.Blumofe、C.F.Joerg、B.C.Kuszmaul和C.E.Lieserson。Cilk:一个高效的多线程运行时系统。标志平面图没有。,30(8):207--216, 2001.谷歌学者谷歌学者数字图书馆数字图书馆
  7. M.T.Chakravarty、G.Keller、R.Leshinskiy和W.Pfannenstiel。尼泊尔-Haskell中的嵌套数据并行性。LNCS,21502001年8月。谷歌学者谷歌学者交叉引用交叉引用
  8. 大卫·蔡斯和约西·列夫。动态圆形工作密封垫。2005年SPAA'05:第十七届ACM算法和架构并行性年度研讨会论文集,第21-28页,美国纽约州纽约市,2005年。ACM公司。是1-58113-986-1。数字对象标识:http://doi.acm.org/10.1145/1073970.1073974。谷歌学者谷歌学者数字图书馆数字图书馆
  9. Damien Doligez和Xavier Leroy。用于多线程实现ml的并发分代垃圾收集器。POPL'93:第20届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,第113-123页,美国纽约州纽约市,1993年。ACM公司。国际标准图书编号0-89791-560-7。数字对象标识:http://doi.acm.org/10.1145/158511.158611。谷歌学者谷歌学者数字图书馆数字图书馆
  10. Christine Flood、Dave Detlefs、Nir Shavit和Catherine Zhang。共享内存多处理器的并行垃圾收集。在Usenix Java虚拟机研究与技术研讨会(JVM'01)上,加利福尼亚州蒙特雷,2001年。URL citeseer.ist.psu.edu/flood01parallel.html。谷歌学者谷歌学者数字图书馆数字图书馆
  11. 马修·弗莱特、迈克·雷尼和约翰·雷皮。通用并行语言的调度框架。SIGPLAN否。,43(9):241--2522008a。ISSN 0362-1340。数字对象标识:http://doi.acm.org/10.1145/1411203.1411239。谷歌学者谷歌学者数字图书馆数字图书馆
  12. 马修·福莱特、迈克·雷尼、约翰·雷皮和亚当·肖。Manticore中的隐式线程并行性。函数编程国际会议,第119-130页,2008b。谷歌学者谷歌学者数字图书馆数字图书馆
  13. J.L.Gaudiot、T.DeBoni、J.Feo、W.Bohm、W.Najjar和P.Miller。函数编程的Sisal模型及其实现。1997年3月,加利福尼亚州洛斯阿尔蒂莫斯,第112-123页。IEEE计算机学会出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  14. Tim Harris和Satnam Singh。反馈导向的隐式并行。在ICFP'07:第12届ACM SIGPLAN函数式编程国际会议的会议记录中,第251-264页,美国纽约州纽约市,2007年。ACM公司。国际标准图书编号978-1-59593-815-2。数字对象标识:http://doi.acm.org/10.1145/12911511291192。谷歌学者谷歌学者数字图书馆数字图书馆
  15. 蒂姆·哈里斯、西蒙·马洛和西蒙·佩顿·琼斯。共享内存多处理器上的Haskell。Haskell'05:2005年ACM SIGPLAN Haskell研讨会会议记录,第49-61页。ACM出版社,2005年9月。ISBN 1-59593-071-X.编号:http://doi.acm.org/10.1145/1088348.108354。统一资源定位地址http://www.haskell.org/~simonmar/papers/multiproc.pdf。谷歌学者谷歌学者数字图书馆数字图书馆
  16. S.Jagannathan和J.Philbin。并发语言的可定制基底。在ACM编程语言设计与实现会议(PLDI’92)上,第55-81页。ACM出版社,1992年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  17. P.Li、Simon Marlow、Simon Peyton Jones和A.Tolmach。GHC的轻量级并发原语。Haskell'07:2007年ACM SIGPLAN Haskell研讨会会议记录,第107至118页。ACM出版社,2007年9月a。谷歌学者谷歌学者数字图书馆数字图书馆
  18. 李鹏、西蒙·马洛、西蒙·佩顿·琼斯和安德鲁·托尔马赫。GHC的轻量级并发原语。Haskell’07:2007年6月b,ACM SIGPLAN研讨会会议记录。统一资源定位地址http://www.haskell.org/~simonmar/paperss/conc-substrate.pdf。谷歌学者谷歌学者数字图书馆数字图书馆
  19. H-W.Loidl、P.W.Trinder、K.Hammond、S.B.Junaidu、R.G.Morgan和S.L.Peyton Jones。在GPH中设计并行符号程序。《并行——实践与经验》,11:701--7521999年。统一资源定位地址网址:http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/ps/cpe.ps.gz。谷歌学者谷歌学者
  20. H.-W.Loidl、F.Rubio、N.Scaife、K.Hammond、S.Horiguchi、U.Klusik、R.Loogen、G.J.Michaelson、R.Pe na、S.Priebe、A J.Rebon和P.W.Trinder。比较并行函数语言:编程和性能。高阶符号。计算。,16(3):203--251, 2003. ISSN 1388-3690。数字对象标识:http://dx.doi.org/10.1023/A:1025641323400。谷歌学者谷歌学者数字图书馆数字图书馆
  21. Rita Loogen、Yolanda Ortega-Malen和Ricardo Pena。Eden中的并行函数编程。函数编程杂志,15(3):431-4752005。谷歌学者谷歌学者数字图书馆数字图书馆
  22. 西蒙·马洛、西蒙·佩顿·琼斯和沃尔夫冈·泰勒。使用并发扩展haskell外部函数接口。2004年9月,美国犹他州雪鸟市,哈斯克尔ACM SIGPLAN研讨会论文集,第57-68页。统一资源定位地址http://www.haskell.org/~simonmar/papers/conc-ffi.pdf。谷歌学者谷歌学者数字图书馆数字图书馆
  23. 西蒙·马洛、蒂姆·哈里斯、罗珊·詹姆斯和西蒙·佩顿·琼斯。使用块结构堆进行并行生成复制垃圾收集。ISMM’08:第七届记忆管理国际研讨会论文集。ACM,2008年6月。统一资源定位地址http://www.haskell.org/~simonmar/papers/parallel-gc.pdf。谷歌学者谷歌学者数字图书馆数字图书馆
  24. R.S.尼科尔。ID语言参考手册。麻省理工学院计算机科学实验室,1991年7月。谷歌学者谷歌学者
  25. R.S.Nikhl和Arvind。《隐式并行编程》,摩根·考夫曼出版社,加利福尼亚州旧金山,2001年。谷歌学者谷歌学者数字图书馆数字图书馆
  26. WD Partain公司。Haskell程序的nofib基准测试套件。函数编程,格拉斯哥,1992,计算机研讨会,第195-202页。施普林格出版社,1992年。谷歌学者谷歌学者数字图书馆数字图书馆
  27. S.Peyton Jones、A.Gordon和S.Finne。并发哈斯克尔。程序中。第295-308页。ACM出版社,1996年。谷歌学者谷歌学者数字图书馆数字图书馆
  28. 西蒙·佩顿·琼斯(Simon Peyton Jones)、罗曼·莱斯钦斯基(Roman Leshchinskiy)、加布里埃尔·凯勒(Gabriele Keller)和曼纽尔·查克拉瓦蒂(Manuel M.T.Chakravarty)。利用多核:Haskell中的嵌套数据并行。在FSTTCS 2009:IARCS软件技术和理论计算机科学基础年会上,2009年。谷歌学者谷歌学者
  29. Daniel Spoonhower、Guy E.Blelloch、Robert Harper和Phillip B.Gibbons。并行功能程序的空间分析。在ICFP'08:第12届ACM SIGPLAN函数式编程国际会议的会议记录中,第253-264页,美国纽约州纽约市,2008年。ACM公司。谷歌学者谷歌学者数字图书馆数字图书馆
  30. P.W.Trinder、H.W.Loidl和R.F.Pointon。并行和分布式Haskells。J.功能。程序。,12(5):469--510, 2002. 编号0956-7968。数字对象标识:http://dx.doi.org/10.1017/S0956796802004343。谷歌学者谷歌学者数字图书馆数字图书馆
  31. PW Trinder、K Hammond、JS Mattson、AS Partridge和SL Peyton Jones。GUM:haskell的可移植并行实现。在ACM编程语言设计与实现会议(PLDI’96)上。ACM出版社,费城,1996年5月。谷歌学者谷歌学者数字图书馆数字图书馆
  32. PW Trinder、K Hammond、H-W Loidl和SL Peyton Jones。算法+策略=并行。《函数编程杂志》,8:23--601998年1月。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 多核Haskell的运行时支持

      建议

      评论

      登录选项

      请检查您是否可以通过登录凭据或您的机构访问此文章以获得完全访问权限。

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        ICFP’09:第14届ACM SIGPLAN功能编程国际会议记录
        2009年8月
        364页
        国际标准图书编号:9781605583327
        内政部:10.1145/1596550
        • 封面图片ACM SIGPLAN注意事项
          ACM SIGPLAN通知 第44卷第9期
          2009年ICFP
          2009年9月
          343页
          国际标准编号:0362-1340年
          EISSN公司:1558-1160
          内政部:10.1145/1631687
          期刊目录

        版权所有©2009 ACM

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

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2009年8月31日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 研究论文

        接受率

        总体验收率333属于1,064提交文件,31%

        即将召开的会议

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

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器