×

涉及大型对象的表达式树的内存优化计算。 (英语) Zbl 1218.68072号

摘要:在电子结构计算等科学计算应用中,需要评估涉及大型对象的表达式树。通常,树节点对象非常大,一次只能将其中的一个子集放入内存。本文解决了在使用最少内存的给定表达式树中查找节点的求值顺序的问题。我们提出了一个算法,该算法在(Theta(nlog^2n))时间内为(n)节点表达式树找到一个最佳求值顺序,并证明了其正确性。我们使用量子化学中的代表性方程证明了我们算法的实用性。

MSC公司:

68N20型 编译与解释理论
68磅05分 数据结构
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Lee,T.J。;Scuseria,G.E.,《利用耦合团簇理论实现化学精确性》(Langhoff,S.R.,《具有化学精确性的量子机电结构计算》(1997年),Kluwer学术出版社:荷兰Dordrecht Kluwer-学术出版社),47-109
[2] Martin,J.M.L.,《关于小分子的基准研究》(Schleyer,P.v.R.;Schreiner,P.R.;Allinger,N.L.;Clark,T.;Gasteiger,J.;Kollman,H.F.S.P.,《计算化学百科全书》,第1卷(1998年),威利父子公司:威利和索恩斯伯尔尼,瑞士),115-128
[3] Hybertsen,M.S。;Louie,S.G.,半导体和绝缘体中的电子关联:带隙和准粒子能量,物理学。B版,345390(1986年)
[4] 罗哈斯,H.N。;Godby,R.W。;Needs,R.J.,固体自能和介电响应函数从头计算的时空方法,Phys。修订稿。,74, 1827 (1995)
[5] Aulbur W.半导体和绝缘体准粒子计算的并行实现。俄亥俄州立大学博士论文;1996年10月。;Aulbur W.半导体和绝缘体准粒子计算的并行实现。俄亥俄州立大学博士论文;1996年10月。
[6] Hartono,A。;Sibiryakov,A。;Nooijen,M。;鲍姆加特纳,G。;Bernholdt,D.E。;Hirata,S.,电子结构计算中张量收缩表达式的自动操作最小化,(第五届国际计算科学会议论文集,计算机科学讲义,第3514卷(2005),Springer-Verlag:Springer-Verlag Atlanta,GA),155-164·Zbl 1129.68590号
[7] Lam,C。;Sadayappan,P。;Wenger,R.,《关于优化一类具有并行执行约简的多维循环》,Parall-Process-Lett,7,2,157-168(1997)
[8] Lam,C。;Sadayappan,P。;温格,R.,《在并行机上优化一类多维积分》,(第八届科学计算并行处理SIAM会议(1997年),工业与应用数学学会:明尼阿波利斯工业和应用数学学会)
[9] Bibireata,A.双孢菌。;Krishnan,S。;Cociorva,D。;鲍姆加特纳,G。;Lam,C。;Sadayappan,P.,张量压缩的内存约束数据局部优化,(第16届计算机科学课堂讲稿并行计算语言和编译器研讨会论文集,第2958卷(2003),Springer-Verlag:Springer-Verlag大学站,德克萨斯州),93-108·Zbl 1099.68553号
[10] Lam,C。;Cociorva博士。;鲍姆加特纳,G。;Sadayappan,P.,涉及大对象的表达式树的记忆优化评估,(1999年计算机科学课堂讲稿高性能计算国际会议论文集,第1746卷(1999),Springer-Verlag:Springer-Verlag,印度加尔各答),103-110
[11] Lam C.实现多维积分的一类循环的性能优化。俄亥俄州立大学博士论文;1999年8月。;Lam C.实现多维积分的一类循环的性能优化。俄亥俄州立大学博士论文;1999年8月。
[12] Krishnan,S。;Krishnamoorthy,S。;鲍姆加特纳,G。;Cociorva博士。;Lam,C。;Sadayappan,P.,《用于有效非核心算法合成的数据局部优化》,(计算机科学高性能计算讲稿国际会议论文集,第2913卷(2003),Springer-Verlag:Springer-Verlag,印度海得拉巴),406-417
[13] Cociorva,D。;威尔金斯,J。;鲍姆加特纳,G。;Sadayappan,P。;Ramanujam,J。;Nooijen,M.,《面向电子结构计算高性能代码的自动合成:数据局部优化》,(2001年计算机科学高性能计算国际会议论文集,第2228卷(2001年),Springer-Verlag:Springer-Verlag Hyderabad,印度),237-248·Zbl 1052.68545号
[14] Lam,C。;Cociorva,D。;鲍姆加特纳,G。;Sadayappan,P.,实现多维积分的一类循环的内存使用需求优化,(计算机科学中并行计算讲稿的语言和编译器第12次研讨会论文集,第1863卷(1999),Springer-Verlag:Springer-Verlag San Diego,CA),350-364
[15] Nakata,I.,《关于算术表达式的编译算法》,Commun ACM,10492-494(1967)·Zbl 0154.41901号
[16] Sethi,R。;Ullman,J.D.,算术表达式的最优代码生成,J ACM,17,1,715-728(1970)·Zbl 0212.18802号
[17] Sethi,R.,《完全寄存器分配问题》,SIAM J Compute,4,3,226-248(1975)·兹伯利0327.68042
[18] 阿佩尔·A·W。;Supowit,K.J.,寄存器分配的Sethi-Ullman算法的推广,软件实践实验,17,6,417-421(1987)·Zbl 0617.68031号
[19] Rauber T.Ein编译器für Vektorrechner mit优化程序Auswertung von vektoriellen Ausdrucksbäumen。萨尔布吕肯大学博士论文;1990.; Rauber T.Ein编译器für Vectorechner提供了最佳的Auswertung von vektoriellen Ausdrucksbäumen。萨尔布吕肯大学博士论文;1990
[20] Rauber,T.,向量表达树的优化评估,(第五届耶路撒冷信息技术会议论文集(1990),IEEE计算机学会出版社:IEEE计算机协会出版社,以色列耶路撒冷),467-473
[21] 鲍姆加特纳,G。;奥尔,A。;Bernholdt,D.E。;Bibireata,A。;乔佩拉,V。;Cociorva,D.,一类从头算量子化学模型的高性能并行程序合成,Proc IEEE,93,2,276-292(2005)
[22] Chaitin,G.J。;Auslander,医学硕士。;钱德拉,A.K。;科克,J。;霍普金斯,M.E。;Markstein,P.W.,通过着色进行寄存器分配,计算语言,6,47-57(1981)
[23] 阿佩尔·A·W。;Palsberg,J.,《Java中的现代编译器实现》(2002),剑桥大学出版社:剑桥大学出版社,英国剑桥·Zbl 1058.68035号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。