참여집합을 이용한 Nonstrict 프로그램의 스레드 분할

초록

Nonstrict 언어는 nonstrict어의로 인하여 병렬기계에서 수행될 때 동적 스케쥴링과 동기화가 필요하다. 다증스레드 기계를 위하여 nonstrict 프로그램을 번역할 때 동적스케줄링이 스레드 사이에서만 발생하도록 nonstrict 프로그램에서 순차적으로 수행될 부분을 찾아 스레드로 분할 하는 방법이 중요하다. 본 논문에서는 반복분할등 기존의 분할 방법에서 병합할 수 없는 스레드를 병합하여 더 큰 스레드를 만드는 참여 집합 분할이라는 스레드 분할 방법을 제안한다. 참여집합 분할 알고리즘은 스레드가 결과를 얻기 위하여 사용하는 모든 입력을 원소로 갖는 참여집합을 이용하여 스레드로 nonstrict 프로그램을 분할한다. 이 방법은 기존의 방법과는 달리 간접종속관계가 존재하지 않는 스레드를 하나의 스레드로 벼합한다. 이 방법을 사용하면 기존의 분할 방법에서 실패하는 스레드의 병합이 가능하다.