×

SPEFY编程环境中的并行性分析和优化。 (英语) Zbl 0882.68069号

概要:SPEFY(Scotia programming environment and facility)是一种新的软件开发环境,旨在简化和加速大规模程序的开发,以最有效地利用运行这些程序的超级计算机。SPEFY的核心是并行性分析和优化工具,它是一种用于分析代码、检测数据相关性和通过并行增强转换优化程序的交互式工具。该分析的一个重要特征是,它可以跨过程执行,也可以在过程内执行,大大提高了数据流和相关性信息的精度。本文的目的是描述SPEFY的并行分析和优化工具。它讨论了数据相关性、通过确定过程调用的相关效果进行的过程间分析、包含过程间信息的数据相关性分析以及程序重组优化技术。

MSC公司:

68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 艾伦·J·R。;卡拉汉,D。;Kennedy,K.,《科学程序的自动分解以实现并行执行》,(第14届美国计算机学会程序设计语言原理研讨会(1987)),63-76
[2] 艾伦·J·R。;Kennedy,K.,Fortran程序到向量形式的自动转换,ACM TOPLAS,9,4,491-542(1987年10月)·兹伯利0631.68019
[3] 库克·D·J。;库恩,R.H。;租赁,B。;帕多瓦,D.A。;Wolfe,M.,依赖图的编译转换,(第八届编程语言原理年会(1981)),207-218
[4] M.Burke、R.Cytron、J.Ferrante、W.Hsieh、V.Sarkar和D.Shields,《并行的自动发现:工具和实验》,摘自:Proc。1988年ACM SIGPLAN,第77-84页。;M.Burke、R.Cytron、J.Ferrante、W.Hsieh、V.Sarkar和D.Shields,《并行的自动发现:工具和实验》,摘自:Proc。1988年ACM SIGPLAN,第77-84页。
[5] Kuck,D.J.,《计算机和计算的结构》(1978),威利出版社:威利纽约
[6] Wolfe,M.J.,《为超级计算机优化超级编译器》,(并行和分布式计算研究专著(1989),麻省理工学院出版社:麻省理学院出版社剑桥,MA)·Zbl 0699.68007号
[7] 库克·D·J。;库恩,R.H。;租赁,B.R。;Wolfe,M.J.,《高级可重定目标矢量器的结构》,(超级计算机:设计与应用(1984),IEEE计算机学会出版社:IEEE计算机协会出版社,马里兰州银泉出版社),163-178
[8] 艾伦,F。;伯克,M。;查尔斯·P。;Cytron,R。;Ferrante,J.,《用于多处理的PTRAN分析系统概述》(Proc.First Int.Conf.Supercomputing(1987),Springer:Springer Berlin)
[9] 辛格,J。;Hennessy,J.,《自动并行化的有效性和局限性的实证研究》,(Proc.Int.Symp.Shared Memory Multiprocessors,Proc.Int Symp.共享内存多处理器,日本(1991年4月))
[10] 肯尼迪,K。;麦金利,K。;Tseng,C.-W.,《使用ParaScope编辑器的交互式并行编程》,IEEE Trans。帕拉尔。分销系统,2,3,329-341(1991年7月)
[11] 肯尼迪,K。;麦金利,K。;Tseng,C.-W.,《ParaScope编辑器中的分析和转换》(Proc.Int.Conf.Supercomputing.Proc.Int Conf.Subcomputing,德国(1991))
[12] A.卡尔。;库珀,K。;机罩,R。;托克森,L。;肯尼迪,K。;Warren,S.,科学编程的实用环境,IEEE计算机,75-87(1987年11月)
[13] 艾伦,J.R。;鲍姆加特纳,D。;肯尼迪,K。;Porterfield,A.,PTOOL:半自动并行编程助理(Proc.1986 Int.Conf.parallel Processing(1986)),164-170
[14] Shie,B。;Gannon,D.,SIGMACS:一个可编程编程环境,(第三届并行计算语言和编译器研讨会,第三届加州并行计算语言与编译器研讨会,1990年8月)
[15] 史密斯,K。;Appelbe,W.,PAT-一种交互式Fortran并行化辅助工具(Proc.1988 Int.Conf.Parallel Processing(1988年8月))
[16] Zima,H.P。;Bast,H.J。;Gerndt,H.M.,SUPERB:半自动MIMD/SIMD并行化工具,Parall。计算。,6, 1-18 (1988)
[17] Sawdayi,R。;Wagenbreth,G。;Williamson,J.,MIMDizer:功能和数据分解;从头开始创建并行程序,将现有的Fortran程序转换为并行程序,(Saltz,J.;Mehrotra,P.,《可扩展多处理器的编译器和运行时软件》(1991),Elsevier:Elsevier Amsterdam)
[18] 瓜纳,V.A。;甘农,D。;高尔,Y。;Jablonowski,D.,《浮士德:并行科学应用程序编程环境》(Proc.Supercomputing.Proc.Super Computing,1988(1988年11月))
[19] Wolfe,M.J.,《Tiny:循环重构工具》(1992年1月),俄勒冈州大学,技术报告
[20] 莫里亚蒂,K.J.M。;Murdeshwar,G.,《SPEFY发展概述》,(93年超级计算研讨会论文集)。程序。93年超级计算研讨会,阿尔伯塔省卡尔加里(1993年6月6日至9日),153-160
[21] ONTOS参考手册-2.2版(1992),ONTOS Inc
[22] 库珀,K.D。;肯尼迪,K。;Torczon,L.,过程间分析和优化对软件开发环境设计的影响,(Proc.ACM SIGPLAN'85(1985)),491-523
[23] 李,Z。;Yew,P.C.,《程序并行化和重组的有效过程间分析》(Proc.ACM SIGPLAN(1988))
[24] M.伯克。;Cytron,R.,《硬膜外相关性分析和并行化》,Proc。ACM SIGPLAN’86交响乐团。编译器构造。程序。ACM SIGPLAN’86交响乐团。编译器构造,SIGPLAN通知,21,6,162-175(1986年6月)
[25] 卡拉汉,D。;Kennedy,K.,《并行编程环境中的程序间副作用分析》,J.Parall。分布计算。,5 (1988)
[26] 特里奥利特,R。;Irigoin,F。;Feautrier,P.,调用语句的直接并行化,Proc。ACM SIGPLAN’86研讨会。编译器构造。程序。ACM SIGPLAN’86交响乐团。编译器构造,SIGPLAN通知,21,6176-185(1986年6月)
[27] 卡拉汉,D。;库珀,K.D。;肯尼迪,K。;Torczon,L.,跨过程恒定传播,Proc。ACM SIGPLAN’86交响乐团。编译器构造。程序。ACM SIGPLAN’86交响乐团。编译器构造,SIGPLAN通知,21,6,152-161(1986年6月)
[28] 库珀,K.D。;肯尼迪,K。;Torezon,L.,《跨过程优化:消除不必要的重新编译》,Proc。ACM SIGPLAN’86交响乐团。编译器构造。程序。ACM SIGPLAN’86交响乐团。关于编译器构造,SIGPLAN通知,21、6、58-67(1986年6月)
[29] Lewis,T.G。;Rewini,H.E.,《并行计算导论》(1992),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德·克利夫斯,新泽西州·Zbl 0745.68054号
[30] Zima,H。;查普曼,B.,《并行和向量计算机的超级编译器》(1991),艾迪森·韦斯利:艾迪森·韦斯利阅读,马萨诸塞州
[31] Mendez,R.,《日本高性能计算研究与实践》(1992年),威利出版社:威利纽约
[32] 梅特卡夫,M.,FORTRAN优化(1985),纽约学术出版社·Zbl 0581.68003号
[33] Bauer,B.E.,实用并行编程(1992),学术:纽约学术
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。