摘要
本文从研究数据相关性出发,引进了适用于工程实现的语句间时序相关图。给出了定义,阐述了建立和化简该图的方法。本图准确地描述了语句间的时序相关性,因而可以方便地确定可向量化的语句和执行顺序,对两维和多维相关进行了分析,提出了相关判定公式,本文为自动向量化Fortran程序提供了一种理论依据和方法。
Starting from the data dependence study, the sequence dependence graph on statements is introduced which is easy to be manipulated. The definition, building-up and simplifying of the graph are given. This graph discribes the sequence data dependence accurately. Therefore the statements which can be vectorized and their execution order are easy to be determined. This paper also analyses the data dependence of two or more subscripted variables and brings up the formula to determine them. It's a theory of converting Fortran programs to vector form.
出处
《系统工程与电子技术》
EI
CSCD
1990年第10期48-52,60,共6页
Systems Engineering and Electronics
关键词
程序设计
FORTRAN语言
向量化
Automatic programming, Compiler, Data dependence, Fortran.
