순차 프로그램단위의 병렬 그래프 리덕션에 관한 연구 = A Study on the Sequentially - Programmed Parallel Graph Reduction

국문 초록 (Abstract)

함수언어로 작성한 프로그램을 그래프 리덕션 계산모델로 수행하는 병렬 리덕션 컴퓨터의 설계 및 구현이 연구기관이나 대학에서 진행되고 있으나, 이 모델의 문제점으로 다른 모델에 비해 수행속도가 떨어지고 처리요소간의 통신속도 한계로 인해 병렬처리할 단위결정이 어렵다는 점이 지적되고 있다. 본 연구는 이러한 문제점을 해결하고자 순차 프로그램단위의 병렬 그래프 리덕션 모델을 제시한다. 그리고 범용 병렬 컴퓨터에 최소커널을 탑재하여 제시한 그래프 리덕션 원리로 함수 프로그램을 수행하는 가상 병렬 리덕션 컴퓨터를 설계한다.

목차 (Table of Contents)

• 요약
• Ⅰ. 서론
• Ⅱ. 순차 프로그램단위의 병렬 그래프 리덕션
• Ⅲ. 그래프 구조
• Ⅳ. 가상 병렬 리덕션 컴퓨터의 구성
• Ⅴ. 최소커널의 설계
• Ⅳ. 결론
• <참고 문헌>