알고리즘적으로 병렬화가 불가능한 언어 구조와 해결 방안

초록

본 논문은 현대 프로그래밍 언어에서 배열 인덱스 식이 복잡해질 경우 병렬화 가능성을 판단하는 DILD 문제의 알고리즘적 불가능성을 증명하고, 인덱스 의미론을 수정해 이 문제를 해결 가능한 형태의 비절차적 언어 설계를 제안한다.

상세 분석

논문은 먼저 병렬 프로그램 설계의 전 과정을 10단계로 구분하고, 특히 단계 2‑4(문제 정의, 입력·출력 명세, 알고리즘 설계)에서 비절차적 언어가 제공하는 추상화가 병렬화 탐지를 용이하게 만든다고 주장한다. 핵심 기술적 논점은 DILD(Dependency In Loop Detection) 문제이다. 저자는 루프의 반복 간 데이터 의존성을 정수 방정식(연결 방정식)으로 모델링하고, 인덱스 식이 3차 이하의 다항식이면 방정식 풀이가 결정론적으로 가능하지만, 차수가 4 이상이면 일반적인 경우 해의 존재 여부를 판단하는 알고리즘이 존재하지 않음(튜링 완전성에 기반한 불가능성 증명)을 보인다. 이를 통해 “LI 클래스”(선형 인덱스 표현)와 “복합 클래스”(고차 다항식) 사이의 근본적인 차이를 명확히 한다.

다음으로 저자는 인덱스 의미론을 변형해 모든 연결 방정식을 단순한 동등성 검사로 환원하는 방법을 제시한다. 구체적으로, 배열 접근을 ‘데이터 집합 정의’ 형태로 표현하고, 각 루프 반복을 ‘컨트롤러’와 ‘커널’ 서브프로그램으로 분리한다. 이렇게 하면 인덱스 계산이 명시적이고 제한된 형태가 되므로, 의존성 판단이 다항식 시간 내에 가능해진다. 이 변형 언어는 데이터 완전성(모든 가능한 데이터 집합을 표현 가능)과 알고리즘 완전성(모든 알고리즘을 표현 가능) 두 축에서 모두 완전함을 증명한다.

또한 논문은 비절차적 언어의 실용적 적용 사례로 “Dictionary Driven Reports”라는 비즈니스 데이터 처리 시스템을 소개한다. 여기서는 정의된 데이터 집합을 기반으로 자동 병렬화가 이루어지며, 토러스 형태의 다중 프로세서 네트워크에서 로컬 제어 방식이 중앙 집중식 제어보다 내결함성이 뛰어남을 실험적으로 확인한다.

전체적으로 이 연구는 병렬화 가능성 판단의 이론적 한계를 명확히 규정하고, 언어 설계 차원에서 그 한계를 회피할 수 있는 구체적 메커니즘을 제공한다는 점에서 학술적·실무적 의의가 크다.