Data Flow Analysis for Deriving Uniform Recurrence Equation from Loop Algorithms

루프 알고리즘으로부터 정규순환방정식 유도를 위한 자료흐름 분석

본 논문에서는 주어진 문제의 루프 알고리즘으로부터 시스톨릭 어레이 구현이 용이한 정규 순환 방정식으로의 자동적 유도를 위한 대수적인 방법과 조건을 제시하였다. 이를 위하여 계산점 집합과 순차 정렬 벡터를 구하고, 행렬의 커널을 이용하여 자료 흐름 벡터를 찾았으며, 정규 파이프라이닝 가능성 조건을 제시하였다 그리고 각 계산점에 대한 배열 원소의 초기 입력 위치를 구하였다. 본 논문에서 제시된 방법을 사용하면 주어진 루프 알고리즘을 정규 순환방정식으로 자동적으로 유도 할 수 있으며, 주어진 알고리즘이 정규 순환 방정식으로 유도될 수 있는지를 검사할 수 있다.