Erlang을 이용한 병렬 이산 이벤트 시뮬레이션

초록

본 논문은 Erlang 기반의 Time Warp 동기화 프로토콜을 활용한 병렬 시뮬레이션 미들웨어인 ErlangTW를 소개한다. Erlang의 고유한 경량 프로세스와 메시지 전달 모델을 이용해 단일 코어, 멀티코어, 클러스터 환경에서 동일한 시뮬레이션 코드를 실행할 수 있다. PHOLD 벤치마크를 통해 초기 성능 평가를 수행하고, 기존 PADS 구현 대비 개발 편의성과 이식성을 강조한다.

상세 분석

ErlangTW는 전통적인 병렬 이산 이벤트 시뮬레이션(PADS) 구현에서 가장 큰 난관 중 하나인 동기화 메커니즘을 Time Warp(optimistic synchronization) 방식으로 해결한다. Time Warp은 각 논리 프로세스(LP)가 독립적으로 이벤트를 처리하고, 미래에 발생할 수 있는 인과 관계 위반을 롤백(rollback)과 반송(anti‑message)으로 복구한다. 이때 롤백 비용을 최소화하기 위해 Global Virtual Time(GVT) 계산이 필수적인데, ErlangTW는 주기적인 GVT 수집을 위해 별도의 관리 프로세스를 두어 전체 시스템의 진행 상황을 추적한다.

Erlang의 핵심 특성인 경량 프로세스와 비동기 메시지 전달은 LP 구현을 매우 간결하게 만든다. 각 LP는 Erlang 프로세스로 표현되며, 이벤트는 튜플 형태의 메시지로 전달된다. Erlang 런타임은 프로세스 스케줄링과 메시지 큐 관리를 자동으로 수행하므로, 개발자는 복잡한 락이나 공유 메모리 관리 없이도 높은 수준의 병렬성을 확보한다. 또한, Erlang의 분산 노드 연결 메커니즘을 활용해 LP를 물리적으로 다른 머신에 배치할 수 있어, 동일한 코드베이스가 싱글 코어, 멀티코어, 클러스터 환경에서 그대로 동작한다.

성능 평가에서는 표준 PHOLD 벤치마크를 사용해 4코어, 8코어, 그리고 16노드 클러스터에서 스케일링 특성을 측정했다. 결과는 코어 수가 증가함에 따라 처리량이 거의 선형에 가깝게 상승했으며, 특히 GVT 계산 주기를 최적화했을 때 롤백 비율이 크게 감소해 전체 효율이 향상되었다. 다만, 네트워크 지연이 큰 분산 환경에서는 롤백 발생 빈도가 증가해 스피드업이 포화되는 경향을 보였으며, 이는 Time Warp 특유의 낙관적 실행이 네트워크 대역폭에 민감함을 시사한다.

ErlangTW의 설계는 모듈화된 아키텍처를 채택한다. 핵심 모듈은 (1) LP 관리 모듈, (2) 이벤트 큐와 롤백 로그 관리, (3) GVT 계산 모듈, (4) 통계 및 모니터링 모듈이다. 각 모듈은 Erlang OTP( Open Telecom Platform)의 슈퍼바이저 트리 구조로 감싸져 있어, 런타임 오류 발생 시 자동 복구가 가능하다. 또한, 사용자 정의 모델은 단순히 LP 프로세스 콜백 함수를 구현하고, 이벤트 생성 규칙을 정의하면 되므로, 기존 C++ 기반 PADS 프레임워크에 비해 학습 곡선이 크게 낮아진다.

이 논문은 Erlang이 제공하는 고수준 추상화와 내장된 분산 지원이 PADS 개발에 적합함을 실증한다. 특히, 개발 생산성, 코드 이식성, 그리고 유지보수성을 강조하면서도, 성능 면에서 현대 멀티코어와 클러스터 환경에 충분히 경쟁력 있는 결과를 보여준다. 향후 연구 과제로는 GVT 계산 알고리즘의 적응형 튜닝, 하이브리드 동기화(optimistic + conservative) 전략 도입, 그리고 대규모 시뮬레이션을 위한 메모리 효율화 기법이 제시된다.