진정한 분산 제약 해결사: JADE 기반 로컬 서치 구현

초록

본 논문은 JADE(Java Agent DEvelopment framework)를 활용해 서로 다른 물리적 머신에 배치된 에이전트들이 협업하도록 설계된 진정한 분산 제약 만족 문제(CSP) 해결기를 제시한다. 로컬 서치 기반 알고리즘을 구현하고, 통신, 동기화, 오류 복구 등 실제 분산 환경에서 발생하는 설계·구현 이슈를 분석한다. 실험 결과, 다양한 분산 CSP에 대해 제한된 환경에서도 안정적으로 해를 찾을 수 있음을 확인하였다.

상세 요약

이 연구는 기존 CSP 연구가 단일 머신 시뮬레이션에 머물러 있는 한계를 지적하고, 실제 네트워크 상에서 에이전트들이 독립적으로 동작하면서도 협력하도록 하는 ‘진정한 분산’ 접근을 시도한다. 핵심은 JADE를 이용해 각 변수와 제약을 담당하는 에이전트를 생성하고, 이들 간에 ACL(Agent Communication Language) 메시지를 교환함으로써 로컬 서치(local search) 알고리즘을 분산 실행한다는 점이다.

먼저, 문제를 변수‑에이전트와 제약‑에이전트로 분해한다. 변수‑에이전트는 현재 할당값과 인접 제약을 보유하고, 인접 제약‑에이전트는 해당 변수들의 조합이 만족되는지를 평가한다. 로컬 서치 단계에서는 변수‑에이전트가 자신의 값을 무작위 혹은 히스테리시스 기반으로 변경하고, 변경 후 발생한 위반 수(conflict count)를 제약‑에이전트에 보고한다. 제약‑에이전트는 위반 정도를 반환하고, 변수‑에이전트는 이를 기반으로 비용 감소 방향을 선택한다.

분산 환경에서 가장 큰 도전은 동기화와 일관성이다. JADE는 비동기 메시징을 기본으로 제공하지만, 로컬 서치에서는 일정 시점에 전체 시스템의 상태를 평가해야 한다. 이를 해결하기 위해 논문에서는 ‘라운드 기반’ 실행 모델을 도입한다. 각 라운드마다 모든 변수‑에이전트가 값을 제안하고, 제약‑에이전트가 응답을 반환한 뒤, 모든 에이전트가 다음 라운드로 넘어간다. 라운드 종료는 ‘라운드 마스터’ 에이전트가 타임아웃 혹은 모든 응답 수신을 확인함으로써 결정한다.

또한 네트워크 지연과 패킷 손실에 대비해 재전송 메커니즘과 타임아웃 재시도 로직을 구현하였다. 에이전트가 일시적으로 연결이 끊기면, 해당 변수는 이전 라운드 값으로 유지하고, 복구 시점에 최신 제약 정보를 요청한다. 이러한 설계는 시스템 전체가 일부 노드 장애에 의해 전체 진행이 멈추는 상황을 방지한다.

알고리즘 측면에서는 Min‑Conflicts와 같은 전형적인 로컬 서치 전략을 그대로 적용했으며, 필요에 따라 가중치 기반 히스테리시스와 다중 시작점을 지원한다. JADE의 플러그인 구조 덕분에 다른 CSP 해결 알고리즘(예: Simulated Annealing, Genetic Algorithm)도 에이전트 인터페이스만 교체하면 손쉽게 통합 가능하도록 설계되었다.

성능 평가는 네트워크 토폴로지(완전 연결, 링, 스타)와 문제 규모(변수 수 10200, 제약 밀도 0.20.8)를 다양하게 변형하여 수행했다. 결과는 스케일링이 선형에 가깝게 증가함을 보여주며, 특히 라운드 기반 동기화가 과도한 메시지 오버헤드를 억제한다는 점이 강조된다. 다만, 라운드 동기화가 강제되므로 실시간성이 요구되는 응용(예: 실시간 스케줄링)에서는 추가 최적화가 필요하다.

결론적으로, 이 논문은 JADE를 활용한 분산 CSP 해결기의 설계·구현 노하우를 상세히 제시하고, 실제 네트워크 환경에서 발생할 수 있는 여러 비기술적·기술적 이슈를 체계적으로 해결한다는 점에서 학술적·실용적 가치를 가진다. 향후 연구에서는 비동기 로컬 서치, 동적 에이전트 추가·제거, 그리고 클라우드 기반 확장성을 탐색할 여지가 있다.