摘要
补充材料
J.R.Armstrong、R.Virding、C.Wikstrom和M.Williams。 ERLANG中的并发编程(第二版)。 普伦蒂斯·霍尔国际(英国)有限公司,英国赫特福德郡,1996年。 谷歌学者 数字图书馆 尼玛·S·阿罗拉(Nimar S.Arora)、罗伯特·D·布鲁莫夫(Robert D.Blumofe)和C·格雷格·普拉克斯顿(C.Greg Plaxton)。 多道程序多处理机的线程调度。 第十届ACM并行算法和体系结构(SPAA)年会论文集,巴利亚尔塔港,第119-129页,1998年。 谷歌学者 数字图书馆 J.Berthold、S.Marlow、A.Al Zain和K.Hammond。 比较和优化多核上的并行Haskell实现。 2008年在英国哈特菲尔德举行的IFL’08:功能语言实现和应用国际研讨会(会议记录草案)。 谷歌学者 斯蒂芬·布莱克本和安东尼·霍斯金。 障碍:朋友还是敌人? ISMM’04:第四届记忆管理国际研讨会论文集,第143-151页,美国纽约州纽约市,2004年。 ACM公司。 国际标准图书编号1-58113-945-4。 数字对象标识: http://doi.acm.org/10.1145/1029873.1029891。 谷歌学者 数字图书馆 G.E.Blelloch、S.Chatterjee、J.C.Hardwick、J.Sipelstein和M Zagha。 可移植嵌套数据并行语言的实现。 JDPC,21(1):4-1994年。 谷歌学者 数字图书馆 R.D.Blumofe、C.F.Joerg、B.C.Kuszmaul和C.E.Lieserson。 Cilk:一个高效的多线程运行时系统。 标志平面图没有。, 30(8):207--216, 2001. 谷歌学者 数字图书馆 M.T.Chakravarty、G.Keller、R.Leshinskiy和W.Pfannenstiel。 尼泊尔-Haskell中的嵌套数据并行性。 LNCS,21502001年8月。 谷歌学者 交叉引用 大卫·蔡斯和约西·列夫。 动态圆形工作密封垫。 2005年SPAA'05:第十七届ACM算法和架构并行性年度研讨会论文集,第21-28页,美国纽约州纽约市,2005年。 ACM公司。 是1-58113-986-1。 数字对象标识: http://doi.acm.org/10.1145/1073970.1073974。 谷歌学者 数字图书馆 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。 谷歌学者 数字图书馆 Christine Flood、Dave Detlefs、Nir Shavit和Catherine Zhang。 共享内存多处理器的并行垃圾收集。 在Usenix Java虚拟机研究与技术研讨会(JVM'01)上,加利福尼亚州蒙特雷,2001年。 URL citeseer.ist.psu.edu/flood01parallel.html。 谷歌学者 数字图书馆 马修·弗莱特、迈克·雷尼和约翰·雷皮。 通用并行语言的调度框架。 SIGPLAN否。, 43(9):241--2522008a。 ISSN 0362-1340。 数字对象标识: http://doi.acm.org/10.1145/1411203.1411239。 谷歌学者 数字图书馆 马修·福莱特、迈克·雷尼、约翰·雷皮和亚当·肖。 Manticore中的隐式线程并行性。 函数编程国际会议,第119-130页,2008b。 谷歌学者 数字图书馆 J.L.Gaudiot、T.DeBoni、J.Feo、W.Bohm、W.Najjar和P.Miller。 函数编程的Sisal模型及其实现。 1997年3月,加利福尼亚州洛斯阿尔蒂莫斯,第112-123页。 IEEE计算机学会出版社。 谷歌学者 数字图书馆 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。 谷歌学者 数字图书馆 蒂姆·哈里斯、西蒙·马洛和西蒙·佩顿·琼斯。 共享内存多处理器上的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。 谷歌学者 数字图书馆 S.Jagannathan和J.Philbin。并发语言的可定制基底。 在ACM编程语言设计与实现会议(PLDI’92)上,第55-81页。 ACM出版社,1992年6月。 谷歌学者 数字图书馆 P.Li、Simon Marlow、Simon Peyton Jones和A.Tolmach。 GHC的轻量级并发原语。 Haskell'07:2007年ACM SIGPLAN Haskell研讨会会议记录,第107至118页。 ACM出版社,2007年9月a。 谷歌学者 数字图书馆 李鹏、西蒙·马洛、西蒙·佩顿·琼斯和安德鲁·托尔马赫。 GHC的轻量级并发原语。 Haskell’07:2007年6月b,ACM SIGPLAN研讨会会议记录。 统一资源定位地址 http://www.haskell.org/ ~simonmar/paperss/conc-substrate.pdf。 谷歌学者 数字图书馆 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。 谷歌学者 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。 谷歌学者 数字图书馆 Rita Loogen、Yolanda Ortega-Malen和Ricardo Pena。 Eden中的并行函数编程。 函数编程杂志,15(3):431-4752005。 谷歌学者 数字图书馆 西蒙·马洛、西蒙·佩顿·琼斯和沃尔夫冈·泰勒。 使用并发扩展haskell外部函数接口。 2004年9月,美国犹他州雪鸟市,哈斯克尔ACM SIGPLAN研讨会论文集,第57-68页。 统一资源定位地址 http://www.haskell.org/ ~simonmar/papers/conc-ffi.pdf。 谷歌学者 数字图书馆 西蒙·马洛、蒂姆·哈里斯、罗珊·詹姆斯和西蒙·佩顿·琼斯。 使用块结构堆进行并行生成复制垃圾收集。 ISMM’08:第七届记忆管理国际研讨会论文集。 ACM,2008年6月。 统一资源定位地址 http://www.haskell.org/ ~simonmar/papers/parallel-gc.pdf。 谷歌学者 数字图书馆 R.S.尼科尔。 ID语言参考手册。 麻省理工学院计算机科学实验室,1991年7月。 谷歌学者 R.S.Nikhl和Arvind。 《隐式并行编程》,摩根·考夫曼出版社,加利福尼亚州旧金山,2001年。 谷歌学者 数字图书馆 WD Partain公司。 Haskell程序的nofib基准测试套件。 函数编程,格拉斯哥,1992,计算机研讨会,第195-202页。 施普林格出版社,1992年。 谷歌学者 数字图书馆 S.Peyton Jones、A.Gordon和S.Finne。 并发哈斯克尔。 程序中。 第295-308页。 ACM出版社,1996年。 谷歌学者 数字图书馆 西蒙·佩顿·琼斯(Simon Peyton Jones)、罗曼·莱斯钦斯基(Roman Leshchinskiy)、加布里埃尔·凯勒(Gabriele Keller)和曼纽尔·查克拉瓦蒂(Manuel M.T.Chakravarty)。 利用多核:Haskell中的嵌套数据并行。 在FSTTCS 2009:IARCS软件技术和理论计算机科学基础年会上,2009年。 谷歌学者 Daniel Spoonhower、Guy E.Blelloch、Robert Harper和Phillip B.Gibbons。 并行功能程序的空间分析。 在ICFP'08:第12届ACM SIGPLAN函数式编程国际会议的会议记录中,第253-264页,美国纽约州纽约市,2008年。 ACM公司。 谷歌学者 数字图书馆 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。 谷歌学者 数字图书馆 PW Trinder、K Hammond、JS Mattson、AS Partridge和SL Peyton Jones。 GUM:haskell的可移植并行实现。 在ACM编程语言设计与实现会议(PLDI’96)上。 ACM出版社,费城,1996年5月。 谷歌学者 数字图书馆 PW Trinder、K Hammond、H-W Loidl和SL Peyton Jones。 算法+策略=并行。 《函数编程杂志》,8:23--601998年1月。 谷歌学者 数字图书馆
建议
多核Haskell的运行时支持 2009年ICFP 由于没有副作用,纯功能程序应该在并行硬件上运行良好,但事实证明,在实践中很难实现这种潜力。 大量的论文描述了有希望的想法,但描述真实想法的却少得多。。。 多核节点的混合PGAS运行时支持 PGAS’10:第四届分区全球地址空间规划模型会议记录 由于多核处理器是高性能系统的标准构建块,并行运行时系统需要在共享内存、分布式内存和混合内存上提供卓越的性能。 传统观点认为线程应该。。。 多核机器并行Haskell实现的比较与优化 ICPPW’09:2009年并行处理研讨会国际会议记录 本文研究了在多核机器上运行的两个并行Haskell方言所带来的差异和权衡。 GpH和Eden都是使用高度优化的顺序GHC编译器构建的,并且共享线程调度。。。