Non-Graph Based Approach on the Analysis of Pointers and Structures (Special Issue on Parallel and Distributed Supercomputing)
スポンサーリンク
概要
- 論文の詳細を見る
In high performance compilers to process pointer-handling programs, precise pointer alias analysis is useful for the compilers to generate efficient object code. It is well known that most compiler techniques such as data flow analysis, dependence analysis, side effect analysis and optimizations are related to the alias problem. However, without data structure information, there is a limit on the precision of the alias analysis. Even though the automatic data structure detection problem is complex, when pointer manipulation satisfies some restrictions, some data structures can be detected automatically by compilers with some knowledge of aliases. In this paper, we propose an automatic data structure detection method for Pascal and Fortran 90. Linear list, tree and dag data structures are detected. Detected data structure information can be used not only for raising the precision of alias analysis but also for some optimizing techniques for pointer handling programs directly.
- 社団法人電子情報通信学会の論文
- 1997-04-25
著者
-
Tsuda Takao
Department Of Anesthesiology Nagoya City University Medical School
-
Tsuda Takao
Department Of Information Science Of Kyoto University:hiroshima City University.
-
HAN Dong-Soo
Department of Information Science of Kyoto University
関連論文
- Datapath-Layout-Driven Design for Low-Power FPGA Implementation (特集:電子システムの設計技術と設計自動化)
- Preparation of Red Blood Cell Column for Capillary Electrochromatography
- Infrared Observations of the Interface Electric Cuttent along the Methyl Alcohol-Silica Interface
- Change in the Electric Current Required to Sustain Steady Electroosmotic Flow in a Capillary
- Supercomputing External Multidimensional FFT : Use of Semiconductor Extended Storage as Extended Main Storage
- Minimizing Page Fetches for Permuting Information in Two-Level Storage Part 3. The Paging Model : a Further Improvement on the Floyd Model
- EFFECT OF HUMIDIFICATION ON TRACHEOSTOMIZED DOG AIRWAY : SURFACTANT AND SCANNING ELECTRON MICROSCOPIC STUDIES
- Rapid Electroconcentration in a Tube of 25-40 Microliters under a Relatively Low Applied Voltage
- Effect of Applied Parallel Electric Field on Electroosmotic Flow in Donut Channel
- Electric Resistance Variation of Packing Materials in Capillary Electrochromatography by Using Fluorinated-Bonded Silica and Octadecylsilane Phases
- An Algorithm to Locate the Greatest Maxima of Multi-variable Functions
- Exhalation Behavior of Four Organic Substrates and Water Absorbed by Human Skin
- Red Blood Cell Lysis at the Single Cell Level by Using a Mini Electrophoresis Apparatus
- Instrumentation of High Temperature and Pressure Reaction System with Continuous Flow and Its Hyphenation to a Liquid Chromatograph
- Minimizing Page Fetches for Permuting Information in Two-Level Storage : Part 1. Generalization of the Floyd Model
- A Theory of the Turbulent Electric Field Fluctuations in Electron Plasmas. II
- Non-Graph Based Approach on the Analysis of Pointers and Structures (Special Issue on Parallel and Distributed Supercomputing)
- Energy Transfer across the Magnetospheric Boundary : A Computer Simulation of the Cross-field Heat Transfer in a Collisionless Plasma
- Voltage-induced Variation of Capacity Factors for Neutral Solutes by Using Hexa-6-bromo-hexa-6-deoxy-β-cyclodextrin Modified Column in Electrochromatography
- Isoelectric Points Estimation of Proteins by Electroosmotic Flow : pH Relationship Using Physically Adsorbed Proteins on Silica Gel
- Separation of Red Blood Cells at the Single Cell Level by Capillary Zone Electrophoresis
- Determination of the Dissociation Constant for Functional Groups on Modified Silica Supports by Using Electrochromatographic Solid-Phase Extraction
- Voltage-Induced Sample Release from Anion Exchange Supports in Capillary Electrochromatography
- Evaluation of Induced Electromotive Force of a Carbon Micro Coil