비평가인자 함수프로그램을 다중스레드 코드로 변환하기 위한 번역기의 설계

잠재적인 병렬성을 가지는 비평가인자 함수언어는 비평가인자 의미로 인한 미세 수준의 동적 스케쥴링과 동기화가 요구된다. 다중스레드 모델은 데이터플로우 모델과 폰 노이만 모델을 결합하여 지연 시간, 동적 스케쥴링, 동기화 문제를 해결하기 위한 효과적인 병렬처리 모델이다. 이러한 병렬처리 모델은 고급 언어와 스레드의 형태에 따라 효율성이 결정된다. 본 논문에서는 잠재적인 병렬성을 가지는 비평가인자 함수언어(non-strict functional language: NFL)를 중간언어인 커널언어(kernel language: Kl)로 변환을 한다. 다음에 이 Kl를 데이터플로우 그래프로 거쳐 병렬처리를 할 수 있는 다중스레드 코드로 번역하는 효율적인 번역기를 설계, 구현한다.