×

伊甸园中的骨架组成与稳定工艺系统。 (英语) 兹比尔1420.68037

总结:我们比较了在Eden中实现复杂流程系统的两种固有的不同方法:稳定的工艺系统和合成方法。稳定过程系统的特点是在每个参与过程中处理几个计算阶段。通常,进程使用数据流进行通信,在不同的计算阶段更改行为,并且通常每个处理器元素都会分配一个进程。相反,一个复杂的过程系统也可以通过一些基本骨架的骨架组合来实现,例如并行变换、约简或特殊的通信模式。在组合实现中,每个计算阶段都会导致一组新的交互过程。当实现复杂的并行算法时,框架组合通常更容易、更灵活,但由于额外的进程创建和通信,会带来更大的开销。我们提供了作为稳定系统实现的不同并行应用程序内核的案例研究,并在Eden中使用组合,包括对Eden特性的全面描述。我们的结果表明,通过共同定位直接通信的进程,以及使用Eden的远程数据概念来实现这种直接通信,可以减轻组合性能损失。此外,Eden的并行运行时系统以优化的方式处理共存进程之间的通信。EdenTV对执行轨迹的可视化对于分析程序特性和有针对性的优化以实现更好的流程布局和通信避免来说是非常宝贵的。

MSC公司:

68甲18 函数编程和lambda演算
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 再见。,奥古斯逊·阿尔文德。,梅森J-W.&NikhilR。S.(1995)《pH的语义:哈斯克尔的一种平行方言》。哈斯克尔研讨会论文集,HudakP。(d),耶鲁大学YALE研究报告DCS/RR-1075。可在https://www.haskell.org/haskell-workshop/1995/HW1995-Proceedings.pdf[2016年4月27日查阅]第35-49页。
[2] 阿姆斯特朗J。(2007)二郎的历史。第三届ACM SIGPLAN编程语言历史会议论文集。HOPL III.ACM,美国纽约州纽约市,第6-1-6-26页。
[3] 学士学位。,丹拉托托。,奥兰多。,佩拉加蒂范内西姆。(1995)P^3L:一种结构化的高级编程语言及其结构化支持。并发-实际。实验7(3),第225-255.10.1002/cpe.4330070305页
[4] 贝努瓦公司科尔姆。(2002)eSkel-爱丁堡骨架图书馆。网址:http://homepages.inf.ed.ac.uk/mic/eSkel/[2016年4月27日访问]。
[5] 伯特霍尔德法官。,迪特勒公司松动器R。(2009a)在Eden中实施并行谷歌地图还原。在2009年欧洲-保时捷并行处理中,第15届国际欧洲-保时捷会议,会议记录,SipsH。,EpemaD.和林·H。X.(eds),《计算机科学讲义》,第5704卷。施普林格,第990-1002页。
[6] 伯特霍尔德法官。,迪特勒。,洛巴切夫O.&松动器R。(2009b)使用Eden骨架的并行FFT。并行计算技术,第十届国际会议,PaCT 2009,MalyshkinV。(d),《计算机科学讲义》,第5698卷。施普林格,第73-83页。
[7] 伯特霍尔德J.&松动器R。(2007)在功能设置中明确了并行协调。在IFL 2006年,第18届函数式语言实现国际研讨会,霍瓦茨ZsókV。(编辑),《计算机科学讲义》,第4449卷,施普林格出版社。(获得2006年IFL最佳论文奖),第73-90页。
[8] 伯特霍尔德J.&松动器R。(2008)可视化并行功能程序执行:使用Eden跟踪查看器的案例研究。并行计算:体系结构,算法和应用。2007年Parco国际会议记录,BischofC。H.、BückerH.M.、GibbonP.、。,朱伯特G。R.、LippertTh.、。,莫尔B.&彼得斯。J.(eds),并行计算进展,第15卷。IOS出版社,第121-128页·Zbl 1168.68349号
[9] 布莱洛奇。E.(1996)编程并行算法。Commun公司。ACM39(3),85-97。
[10] BreitingerS.(1998)《并行功能语言伊甸园的设计与实现》。德国马尔堡菲利普斯大学博士论文。可在http://archiv.ub.uni-marburg.de/dis/z1999/0142/[2016年4月27日访问]。
[11] 查克拉瓦蒂M。M.T.、KellerG.、。,Peyton Jones,S.和MarlowS。(2005)与类关联的类型。2005年POPL,第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,PalsbergJ.&阿巴迪。(编辑),ACM,第1-13页·Zbl 1369.68089号
[12] 查克拉瓦蒂M。M.T.、KellerG.、。,利兹。,麦克唐纳。L.&GroverV公司。(2011)使用多核GPU加速Haskell阵列代码。2011年DAMP,第六届多核编程声明性方面研讨会论文集,CarroM.&ReppyJ公司。H.(编辑),ACM,第3-14页。
[13] 查克拉瓦蒂M。M.T.、LeshchinskiyR.、。,佩顿·琼斯。,凯勒集团马洛斯。(2007)数据并行Haskell:状态报告。2007年DAMP,《2007年POPL多核编程声明性方面研讨会论文集》,GlewN.&布莱洛奇。E.(编辑),ACM,第10-18页。
[14] 科尔姆。I.(1989)算法框架:并行计算的结构化管理。并行和分布式计算研究专著。麻省理工学院出版社·Zbl 0681.68041号
[15] 迪特勒。,骑师Th。,伯特霍尔德J.&松动器R。(2013)迭代骨架-按组合的结构化并行。在IFL 2012《函数语言的实现与应用》中,修订了精选论文,HinzeR。&吉拉。(编辑),《计算机科学讲义》,第8241卷。施普林格,第18-36页。
[16] 迪特勒。,骑师Th.&松动器R。(2010)使用远程数据进行骨架合成。在声明语言的实践方面,第十二届国际研讨会,2010年PADL,CarroM.&培尼亚河。(eds),《计算机科学讲义》,第5937卷。施普林格,第73-87页。
[17] 爱泼斯坦J。,布莱克A。P.和Peyton-Jones。(2011)《迈向云中的哈斯克尔》。2011年哈斯克尔:第四届ACM哈斯克尔研讨会论文集,克莱森克。(编辑),ACM,第118-129页。
[18] 费雷拉J。F.、SobralJ。L.和ProençaA。J.(2006)JaSkel:基于Java骨架的结构化集群和网格计算框架。CCGrid 2006,第六届IEEE集群计算和网格国际研讨会。IEEE计算机学会,第301-304页。
[19] GHC。(1991-2015)格拉斯哥哈斯克尔编译器。网址:http://www.haskell.org/ghc[2016年4月27日访问]。
[20] González-VélezH。&莱顿。(2010)算法框架调查:高级结构化并行编程使能技术。柔和。实际。实验40(12),1135-1160.1002/spe.1026·doi:10.1002/spe.1026
[21] 哈斯克尔。(2010)Haskell 2010年语言报告。由S.Marlow编辑。网址:http://www.haskell.org/[2016年4月27日访问]。
[22] 休伊特公司。,主教SteigerR.(1973)人工智能的通用模块ACTOR形式。第三届国际人工智能联合会议论文集。IJCAI’73年。摩根·考夫曼,第235-245页。
[23] 琼斯D。小马洛斯辛格S。(2009)Haskell的并行性能调优。2009年,第二届ACM SIGPLAN Haskell研讨会会议记录。ACM,第81-92页。
[24] 库琴。(2007)穆斯特骨架图书馆(The Münster Skeleton Library Muesli)。穆斯特大学,网址:http://www.wi1.uni-muenster.de/pi/forschung/骨架/[2016年4月27日访问]。
[25] LeshchinskiyR。(2008)矢量库。网址:http://hackage.haskell.org/package/vector[2016年4月27日访问]。
[26] 利克斯。,LuP.中。,谢弗·J·,希林顿·J·。,旺普。S.和ShiH。(1993)关于通过定期抽样进行并行排序的多功能性。并行计算19(10),1079-1103.1016/0167-8191(93)90019-H·Zbl 0788.68034号 ·doi:10.1016/0167-8191(93)90019-H
[27] 利普梅耶尔B。,查克拉瓦蒂。,凯勒集团佩顿·琼斯。(2012)使用索引类型指导并行阵列融合。2012年哈斯克尔研讨会论文集。ACM,第25-36页。
[28] 松动器。,奥尔特加购物中心。,佩尼亚共和国。,普里贝街&鲁比奥。(2003)《伊甸园中的平行抽象》。在拉比。A.&GorlatchS公司。(eds),并行和分布式计算的模式和框架。斯普林格,第95-128.10.1007/978-1-4471-0097-3_4页·Zbl 1111.68374号
[29] 松动器。,奥尔特加购物中心佩尼亚-马里奥。(2005)《Eden中的并行函数编程》。J.功能。程序.15(3),431-475.10.1017/S0956796805526·Zbl 1096.68018号 ·网址:10.1017/S0956796805526
[30] 梅耶尔普。,斯图尔特·R·&特林德。(2014)用于可扩展可靠计算的HdpH DSL。Haskell 2014:2014年ACM SIGPLAN哈斯克尔研讨会论文集。ACM,第65-76页。
[31] Mainland集团莫里塞特G。(2010)Nikola:在Haskell中嵌入编译的GPU函数。哈斯克尔2010年,第三届ACM SIGPLAN哈斯克尔研讨会论文集。ACM,第67-78页。
[32] 马洛斯。,梅耶尔普。,洛迪勒-W.,AswadM。K.和TrinderP。(2010)Seq no more:并行Haskell的更好策略。哈斯克尔2010年,第三届ACM SIGPLAN哈斯克尔研讨会论文集。ACM,第91-102页。
[33] 马洛斯。,牛顿R。&佩顿·琼斯。(2011)确定性并行的单子。在Haskell 2011年,第四届美国医学会哈斯克尔研讨会论文集。ACM,第71-82页。
[34] 佩顿·琼斯。L.、ClackC。D.、SalkildJ.和哈迪姆。(1987)GRIP—用于并行图简化的高性能架构。1987年FPCA,函数编程语言和计算机体系结构国际会议。计算机科学讲义,第274卷。施普林格,第98-112页。
[35] 萨阿迪。(1996)稀疏线性系统的迭代方法。PWS出版公司·Zbl 1002.65042号
[36] 特林德。W·哈蒙德·K。马特森·J·Jr。美国,PartridgeA。S.&Peyton Jones公司。L.(1996)GUM:Haskell的可移植并行实现。在PLDI 1996,ACM SIGPLAN编程语言设计与实现会议论文集,FischerCh。N.(编辑),ACM,第78-88页。
[37] 特林德。W·W·哈蒙德·K·。,洛迪勒-W.&Peyton Jones公司。L.(1998)算法+策略=并行性。J.功能。计划8(1),2017年10月23日/S0956796897002961617191·Zbl 0933.68033号 ·doi:10.1017/S0956796897002967
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。