중국인 나머지 정리를 위한 범용 설계

초록

이 논문은 비서수(modulus)들의 잉여값으로부터 정수를 복원하는 중국인 나머지 정리(CRT) 알고리즘을 위한 범용 설계를 제안한다. 핵심은 잉여값을 저장·연산하기 위한 라디칼 사다리(radix ladder) 구조와, 잉여값 계산, 제어·종료 판단, 정수 재구성을 담당하는 세 모듈로 시스템을 분리한 것이다. 이를 통해 결정적, 조기 종료, 분산 등 다양한 CRT 형태를 손쉽게 구현하고, 병렬화도 투명하게 적용할 수 있다.

상세 분석

논문은 먼저 기존 CRT 구현이 “잔여값 → 재구성 → 종료”의 일직선 흐름에 머물러 있어, 알고리즘 변형이나 병렬화 시 구조적 제약이 발생한다는 점을 지적한다. 이를 해소하기 위해 저자는 시스템을 세 개의 독립 모듈로 분리한다. 첫 번째인 블랙박스 잔여값 계산 모듈은 입력된 모듈러스 집합에 대해 각각의 잔여값을 반환한다. 이 모듈은 기존의 고정‑정밀 연산, 확률적 검증, 혹은 외부 라이브러리 호출 등 다양한 구현을 포괄하도록 인터페이스만 정의한다. 두 번째인 CRT 컨트롤러는 전체 흐름을 관리한다. 컨트롤러는 잔여값을 언제, 몇 개씩 요청할지 결정하고, 재구성 모듈에 전달한다. 특히 조기 종료(Early Termination) 전략을 적용할 경우, 현재까지 수집된 잔여값이 충분히 정확한지를 판단하는 로직을 포함한다. 이는 기존의 “모든 모듈러를 다 사용할 때까지 기다린다”는 방식보다 연산량을 크게 절감한다. 세 번째인 정수 빌더는 라디칼 사다리라는 선형 데이터 구조를 이용해 잔여값을 단계적으로 결합한다. 라디칼 사다리는 각 레벨에 2^k 크기의 모듈러와 그에 대응하는 잔여값을 저장하며, 새로운 잔여값이 들어오면 적절한 레벨에서 병합을 수행한다. 이 과정은 O(log n) 단계로 진행돼 메모리 사용량과 연산 복잡도를 최소화한다. 또한 라디칼 사다리는 병렬 환경에서 각 스레드가 독립적으로 레벨을 업데이트할 수 있게 해, 락 프리(lock‑free) 구현이 가능하도록 설계되었다. 논문은 이러한 모듈화와 라디칼 사다리 구조가 결정적 CRT, 조기 종료 CRT, 그리고 분산 환경에서의 CRT 등 다양한 시나리오에 동일한 코드 베이스로 적용될 수 있음을 실험을 통해 입증한다. 특히 분산 환경에서는 블랙박스 모듈이 원격 서버에서 잔여값을 받아오도록 구현하고, 컨트롤러가 네트워크 지연을 고려해 동적 스케줄링을 수행한다. 결과적으로 전체 시스템은 높은 확장성과 유지보수성을 제공한다.