Because loops are usually executed many times , loops optimization is a major aspect in optimal compilation 摘要討論了循環(huán)優(yōu)化的目標和循環(huán)優(yōu)化的各種程序變換方法。
This paper discusses the target of loops optimization and various methods of program transformation which can significantly reduce the access time to subscripted variables , diminish some types of dependence , increase the " depth " of software pipelining , and merge some iterations of loops in order to make code compaction easier 程序變換可大大減少下標變數(shù)的訪問時間;消除某些類型的相關(guān),提高軟件流水的“深度” ;合并多個循環(huán),有利于進行代碼壓縮。
Partial evaluation is a kind of technology of program optimization , also called program specification . this is a system which transform a general program to a special program , to improve the efficiency of the program . especially in the situation that needs execute the special program repeatly , the effects will be very notable <中文摘要> =部分求值是一種程序優(yōu)化技術(shù),又稱為程序例化技術(shù),是通過程序變換把一個具有一般計算功能的程序系統(tǒng)變成為一個專用的程序系統(tǒng),來達到提高程序執(zhí)行效率的目的。
Since the concept of program slicing is proposed , it is widely concerned by software researchers and development staffs and is widely applied in the fields of software testing , debugging , measuring , maintenance , xml information extraction , reverse engineering and re - engineering , etc . 自從程序分片概念被提出以后,受到很多研究人員和軟件開發(fā)人員的關(guān)注,使得它在軟件測試、調(diào)試、度量、維護、程序變換、 xml信息抽取、軟件逆向工程與再工程等方面得到廣泛應用。
We analysed the traditional automatic parallelization technology , including dependency analysis theory , program transformation technology , parallel scheme and the optimization of related synchronization and communication etc , which are the theoretical basis of the whole article . cfd computing features , especially the features of explicit difference computing , have also been further ananlysed . we also summarized drawbacks of traditional automatic parallelization technology used in cfd : small parallel granularity , difficulty in attaining global identical data partition , and difficulty in attaining high parallel efficiency on distributed memory system 本文討論、分析、總結(jié)了通用的自動并行化技術(shù):相關(guān)性分析理論、程序變換技術(shù)、并行模式以及同步通信與優(yōu)化問題等等,它們是本文研究工作的理論基礎(chǔ);針對研究對象,深入分析了cfd計算的特點,特別是顯式差分計算的特點;并歸納出傳統(tǒng)的自動并行化技術(shù)在cfd應用中存在的問題:并行粒度小、難以獲得全局統(tǒng)一的數(shù)據(jù)劃分方式,對于分布存儲結(jié)構(gòu)的并行機難以獲得高效率。