×

超级计算的代数程序语义。 (英语) Zbl 1390.68171号

刘志明(主编)等,《程序设计理论与形式化方法》。在何纪峰70岁生日之际献给他的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051118-135(2013)。
摘要:对更高性价比的竞争将处理器芯片设计推向了多核时代。现有的多核技术,如缓存,不再扩展到几十个处理器核。即使是中等水平的性能优化也需要直接处理数据的位置和分布。这种架构复杂性不可避免地给编程带来了挑战。与完全依赖编译器优化相比,一种更好的抽象方法是公开系统的一些性能关键特性,并期望程序员显式地处理它们。本文研究了基于数组的数据布局、分布、传输及其与线程的亲和力的并行编程的性能透明级的代数语义编程理论。编程模型有助于简化系统级的复杂性,并通过严格的推理回答关键的工程问题。
关于整个系列,请参见[Zbl 1269.68023号].

MSC公司:

第68页第19页 其他编程范式(面向对象、顺序、并发、自动等)
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] CUDA袖珍库,2.3版。NVIDIA公司(2009)
[2] Abadi,M.,Lamport,L.:连接规范。ACM事务处理。程序。语言系统。 17(3), 507–534 (1995) ·Zbl 01936471号 ·doi:10.1145/203095.201069
[3] Chafi,H.等人:一种针对不同领域的异构并行方法。In:2011年PPoPP(2011)·数字对象标识代码:10.1145/1941553.1941561
[4] Chakravarty:使用多核gpu加速Haskell数组代码。摘自:《多核编程声明性方面第六次研讨会论文集》,DAMP 2011,第3-14页(2011)
[5] Chamberlain,B.,Callahan,D.,Zima,H.P.:并行编程和Chapel语言。IJHPCA 21(3),291–312(2007)
[6] Chamberlain,B.等人:高级并行语言ZPL提高了生产力和性能。在:IJHPCA 2004(2004)
[7] Charles,P.等人:X10:非均匀集群计算的面向对象方法。纳入:OOPSLA 2005(2005)·doi:10.1145/1094811.1094852
[8] Chen,Y.,Cui,X.,Mei,H.:GPU集群上的大尺度FFT。In:ACM国际。超级计算大会,ICS 2010,第50–59页(2010)·doi:10.1145/1810085.1810128
[9] Chen,Y.,Cui,X.,Mei,H.:Parray:异构并行的统一数组表示。收录于:PPoPP 2012,第171-180页(2012)·doi:10.1145/2145816.2145838
[10] Chen,Y.,Sanders,J.:全球同步的逻辑。《美国计算机学会编程语言与系统汇刊》26(2),221–262(2004)·Zbl 05459241号 ·数字对象标识代码:10.1145/973097.973098
[11] Cleaveland,R.,Luettgen,G.,Natarajan,V.:过程代数中的优先级和抽象。信息与计算205(9),1426–1428(2007)·Zbl 1127.68067号 ·doi:10.1016/j.ic.2007.05.001
[12] Deitz:用于任意数据重映射的并行数组运算符的设计和实现。收录于:PPoPP 2003,第155-166页(2003)
[13] Dongarra,J.,Snir,M.,Otto,S.,Walker,D.:MPP和工作站的消息传递标准。ACM通讯39(7),84-90(1996)·Zbl 01936153号 ·doi:10.1145/233977.234000
[14] Park,J.-Y.等人:用于多级内存层次结构的可移植运行时接口。收录于:PPoPP 2008,第143-152页(2008)
[15] Francois,B.:使用HMPP将C和Fortran应用程序增量迁移到GPGPU。技术报告,HIPEAC(2010)
[16] Ganesh,B.等人:使用分层平铺数组进行并行性和局部性编程。收录于:PPoPP 2006,第48–57页(2006)
[17] Grothoff,C.,Palsberg,J.,Saraswat,V.:分布式阵列的类型系统(2012)(预印本)
[18] Hains,G.,Mullin,L.M.R.:带数组的并行函数编程。计算。J.36(3),238–245(1993)·doi:10.1093/comjnl/36.3.238
[19] Hoare,C.A.R.等人:编程法则。ACM通讯30(8),672–686(1987)·Zbl 0629.68006号 ·数字对象标识代码:10.1145/27651.27653
[20] 霍尔,C.A.R.,何,J.:统一编程理论。普伦蒂斯·霍尔(1998)·Zbl 1005.68036号
[21] 艾弗森,K.E.:运营商。ACM事务处理。程序。语言系统。 1(2), 161–176 (1979) ·Zbl 0452.68008号 ·数字对象标识代码:10.1145/357073.357074
[22] Nieplocha,J.J.、Harrison,R.J.、Littlefield,R.J.:全局阵列:高性能计算机的非均匀内存访问编程模型。超级计算杂志10(2)(1996)·Zbl 05474325号 ·doi:10.1007/BF00130708
[23] Karger,B.V.:时间代数。计算机科学中的数学结构,32–80(1996)
[24] Keller,G.,Chakravarty,M.M.,Leshchinskiy,R.,Peyton Jones,S.,Lippmeier,B.:Haskell中的规则形状多晶平行阵列。In:ICFP 2010,第261–272页(2010)·Zbl 1323.68127号 ·doi:10.1145/1863543.1863582
[25] 马其顿,H.D.,奥利维拉,J.N.:矩阵是箭头!收录:Bolduc,C.,Desharnais,J.,Ktari,B.(编辑)MPC 2010。LNCS,第6120卷,第271-287页。斯普林格,海德堡(2010)·兹比尔1286.68085 ·doi:10.1007/978-3-642-13321-3-16
[26] Milner,R.:沟通与并发。Prentice Hall(1989年)·Zbl 0683.68008号
[27] Numerich,R.,Reid,J.:并行编程的Co-Array Fortran。SIGPLAN Fortran论坛17(2),1–31(1998)·数字对象标识代码:10.1145/289918.289920
[28] 北大万科软件研究集团。Parray用户手册(2013),http://code.google.com/p/parray-programming/
[29] Richardson,H.:高性能Fortran:历史、概述和当前发展。技术报告TMC-261,Thinking Machines Corporation(1996)
[30] Sangiorgi,D.,Walker,D.:像素:移动过程理论。剑桥大学出版社(2001)·Zbl 0981.68116号
[31] Yelick,K.等人:Titanium:一种高性能的Java方言。收录于:ACM,第10-11页(1998年)
[32] Zheng,Y.等:为GPU计算扩展统一并行C。In:SIAM科学计算并行处理大会(2010年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。