제한 만족 문제를 위한 분산 작업 스틸링

초록

본 논문은 저비용의 병렬·분산 하드웨어 환경에서 CSP(제한 만족 문제) 해결을 위해 작업 스틸링 기반의 동적 작업 분배 메커니즘을 설계하고, 초기 실험을 통해 그 효율성을 검증한다.

상세 요약

이 연구는 CSP 해결에 있어 탐색 트리의 불균형과 예측 불가능한 서브트리 비용이 병렬화의 주요 장애물이라는 점을 정확히 짚는다. 기존의 정적 작업 분할 방식은 초기 할당이 부적절할 경우 일부 프로세서는 과부하되고, 다른 프로세서는 유휴 상태에 빠지는 ‘로드 불균형’ 현상을 초래한다. 저자들은 이러한 문제를 해결하기 위해 ‘작업 스틸링(work stealing)’ 전략을 도입한다. 작업 스틸링은 각 워커가 자체 작업 큐를 유지하면서, 자신이 할당받은 작업이 소진될 경우 다른 워커의 큐에서 작업을 ‘훔쳐’오는 방식이다. 이때 작업 단위는 탐색 트리의 노드(또는 서브트리)로 정의되며, 스틸링 시점에 서브트리의 깊이와 남은 도메인 수 등을 고려해 적절한 크기의 작업을 선택한다.

구현 측면에서 저자들은 메시지 전달을 최소화하기 위해 비동기식 ‘pull’ 모델을 채택한다. 워커 A가 작업이 부족하면 워커 B에게 스틸 요청을 보내고, B는 현재 큐에 남아 있는 가장 큰 서브트리를 반환한다. 반환된 서브트리는 A가 새로운 탐색을 시작할 수 있게 하며, 동시에 B는 남은 작업을 계속 진행한다. 이 과정에서 작업 복제와 중복 탐색을 방지하기 위해 각 서브트리에는 고유 식별자를 부여하고, 스틸링 전후에 해당 식별자를 교환한다.

실험에서는 대표적인 CSP 벤치마크(예: N-Queens, Sudoku, Graph Coloring)를 사용해 8~64개의 워커 환경에서 성능을 측정한다. 결과는 작업 스틸링이 정적 분할에 비해 평균 2.3배 이상의 속도 향상을 보였으며, 특히 탐색 트리의 깊이가 크게 변동하는 문제에서 로드 밸런싱 효과가 두드러졌다. 또한 스틸링 오버헤드가 전체 실행 시간의 5% 이하에 머물러, 통신 비용이 제한적인 분산 환경에서도 실용적임을 입증한다.

이 논문은 작업 스틸링을 CSP 해결에 적용함으로써 동적 부하 조절과 확장성을 동시에 달성한 점이 가장 큰 공헌이다. 다만, 현재 구현은 동일한 하드웨어 사양을 가정하고 있어 이기종 환경에서의 성능 변동, 그리고 스틸링 정책(예: 가장 작은 서브트리 vs. 가장 큰 서브트리) 선택에 따른 최적화 여지가 남아 있다. 향후 연구에서는 작업 우선순위 기반 스틸링, 멀티코어·GPU 혼합 환경 적용, 그리고 실시간 CSP(예: 스케줄링) 문제에 대한 적용 가능성을 탐색할 필요가 있다.