Integrating Loop and Data Transformations for Global Optimization
β Scribed by M.F.P. O'Boyle; P.M.W. Knijnenburg
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 261 KB
- Volume
- 62
- Category
- Article
- ISSN
- 0743-7315
No coin nor oath required. For personal study only.
β¦ Synopsis
This paper is concerned with integrating global data transformations and local loop transformations in order to minimize overhead on distributed shared memory machines such as the SGi Origin 2000. By first developing an extended algebraic transformation framework, a new technique to allow the static application of global data transformations, such as partitioning, to reshaped arrays is presented, eliminating the need for expensive temporary copies and hence eliminating any communication and synchronization. In addition, by integrating loop and data transformations, poor spatial locality and expensive array subscripts that may have been introduced can be eliminated. A specific optimization algorithm is derived and applied to wellknown benchmarks, where it is shown to give a significant improvement in execution time over existing approaches.
π SIMILAR VOLUMES
Optimizing programs by applying source-to-source transformations is a prevalent practice among programmers. Particularly so, in the framework of methodology based embedded systems design, where the initial program is subject to a series of transformations to optimize computation and communication. I
The ability to analyze large molecular structures by NMR techniques requires efficient methods for structure calculation. Currently, there are several widely available methods for tackling these problems, which, in general, rely on the optimization of penalty-type target functions to satisfy the con
## Abstract We propose a general superstructure and a model for the global optimization for integrated process water networks. The superstructure consists of multiple sources of water, waterβusing processes, wastewater treatment, and preβtreatment operations. Unique features are that all feasible i