병렬 처리를 위한 EDIM 계산 모델 = EDIM - system, a hybrid computational model for parallel processing

국문 초록 (Abstract)

효율적인 병렬처리를 위한 다양한 연구 방법 중에서 새로운 계산 모델 제안 방법을 제안한다. 특별히 본 논문에서 제안한 계산 모델을 기존의 명령형 수행방식과 함수형 수행방식을 모두 지원하도록 혼합한 형태이다. 병렬처리의 기본 단위를 입자(grain)로 설정하여, 입자에 대한 정의(D), 입자들 간의 관계를 기술하는 입자 수식(E), 이들이 수행되면서 환경에 따라 동적으로 존재하게 되는 입자 실례(I), 그리고 입자실례들간에 이루어지는 메시지(M)로 나누어 모델을 규정하였다. 이러한 구성요소의 영문 약자를 모아서 EDIM-system이라고 명명하였다. EDIM-system은 일종의 통신 모델으로서, 통신주체와 통신방식에 의거하여 병렬처리 이론을 간략화해주는데, 특히 자료구동형, 요구구동형의 함수형 수행방식들을 다양하게 기술할 수 있도록 해주며 내부적으로 명령형 수행방식을 기술할 수 있도록 해준다. EDIM-system의 동작은 전이규칙에 의해 설명된다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 기존의 함수형 계산모델에 대한 고찰
• 3. EDIM - system
• 4. 결론
• 참고문헌