다중처리기 시스템에서 최적화된 병렬 루프 변환 기법 = A Conversion Technique for Optimized Parallel Loop in Multiprocessor Systems

국문 초록 (Abstract)

본 논문은 다중처리기 시스템에서 루프의 병렬 처리 기법을 제시한다. 연산 프로그램에 사용되는 루프는 많은 병렬성을 내재하고 있지만, 인스턴스(instance) 사이의 종속으로 완전한 병렬 수행을 쉽게 이룰 수 없다. 따라서, 순차 루프를 병렬 루프로 변환할 때 자료 종속에 대한 효율적인 변환 기법을 고려해야 한다.
일정 거리값을 갖는 자료 종속의 경우는 동기화 명령을 삽입하고 CPG(controlled Path Graph)로 불필요한 동기화 명령을 제거하는 동기화 기법을 제시한다. 또한 가변 거리값을 갖는 자료 종속의 경우는 종속 테이블로 불필요한 자료 종속을 제거하는 동기화 기법과 분할수를 최소화하는 분할 기법인 수정된 사이클 shrinking 기법을 제시한다.

다국어 초록 (Multilingual Abstract)

This paper presents the technique of parallelization of loops in multiprocessor systems. Although loops used in numeric programs include parallelism, they can be executed fully parallel because of data dependence. Thus, when we convert a sequential loop into a parallel loop, an efficient conversion technique must be considered.
We suggest the synchronization technique of inserting synchronization instructions and eliminating redundant synchronizations instructions by CPG(Controlled Path Graph) in case that a loop has data dependence with a constant value. And in case of data dependence with a variable distance value, we also suggest the synchronization technique of using the dependence tabel to eliminate redundant data dependence and the modified cycle shrinking is efficient partition technique.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 종속성
• 3. 일정 거리값을 갖는 루프의 병렬화
• 4. 가변 거리값을 갖는 루프의 병렬화
• 5. 결론 및 향후 과제
• 참고문헌
• 저자소개