순환 토큰 간 거리 확보를 위한 자가 안정 프로토콜

초록

본 논문은 동기식 링 네트워크에서 m개의 순환 토큰이 최소 거리 d를 유지하도록 하는 자가 안정 알고리즘을 제시한다. 첫 번째 문제에서는 d가 주어지고 m와 링 크기 n은 알 수 없으며, 균일(Uniform) 및 비균일(Non‑Uniform) 두 형태의 프로토콜을 설계한다. 두 번째 문제에서는 주어진 m에 대해 가능한 최대 거리 d를 찾으며, 이를 위해 단일 보정 프로세스를 갖는 비균일 프로토콜을 제안한다.

상세 분석

이 논문은 토큰 기반 자가 안정 제어를 물리적 객체의 이동 제어와 연결시켜, 사이버‑물리 시스템에서의 안전 거리를 보장하는 새로운 문제를 정의한다. 모델은 동기식 라운드 기반의 단일 원형 토폴로지를 가정하고, 각 프로세스는 로컬 상태와 인접 프로세스로부터 받은 메시지만을 이용한다. 토큰은 “존재”와 “이동”이라는 두 가지 행동으로 표현되며, 토큰 간 최소 거리 d를 유지하는 것이 목표이다.

첫 번째 문제는 d가 사전에 주어지고, 토큰 수 m과 링 크기 n은 미지수인 상황이다. 여기서 저자들은 두 가지 설계 방식을 제시한다. 균일 프로토콜은 모든 노드가 동일한 전이 규칙을 실행한다. 핵심 아이디어는 토큰이 전달될 때마다 로컬 카운터를 증가시켜, 카운터 값이 d에 도달하면 다음 토큰을 허용한다는 것이다. 이 방식은 토큰이 과도하게 밀집되는 경우 자동으로 대기 상태로 전환되며, 결국 모든 토큰이 최소 d 간격을 확보하도록 수렴한다. 비균일 버전에서는 일부 노드를 “릴레이” 전용으로 지정해, 토큰이 해당 노드를 통과할 때만 카운터를 리셋한다. 이렇게 하면 토큰 흐름을 제어하는 중앙 집중식 구조 없이도 거리 보장을 달성할 수 있다.

두 번째 문제는 주어진 토큰 수 m에 대해 가능한 최대 거리 d를 찾는 것이다. 여기서는 링 크기 n이 알려지지 않으므로, 토큰 간 간격을 동적으로 조정해야 한다. 저자들은 “보정 프로세스”(corrective process)라 불리는 단일 특수 노드를 도입한다. 이 노드는 주변 토큰 간 거리를 관찰하고, 거리 불균형이 감지되면 토큰을 삽입하거나 삭제하는 가상의 연산을 수행한다(실제 토큰 수는 변하지 않으며, 논리적인 위치만 재배치한다). 보정 프로세스는 주기적으로 모든 토큰을 스캔하고, 가장 작은 간격을 기준으로 전체 간격을 균등화한다. 결과적으로 시스템은 최적의 d에 수렴하며, 수렴 시간은 O(n·m) 라운드 이내로 증명된다.

형식적 검증은 페트리넷(Petri net) 모델을 이용해 수행된다. 토큰 이동은 전이(transitions)로, 카운터와 상태 변수는 장소(places)로 매핑된다. 이 모델을 통해 안전성(토큰 간 최소 거리 유지)과 수렴성(임의 초기 상태에서 목표 상태로 도달) 두 가지 속성을 정리적으로 증명한다. 또한, 균일·비균일 프로토콜 모두 O(n) 라운드 내에 안정화된다는 상한을 제시한다.

실험적 평가에서는 다양한 n(10010,000)과 m(220) 조합에 대해 시뮬레이션을 수행했으며, 실제 수렴 시간은 이론적 상한보다 훨씬 짧았다. 특히 비균일 프로토콜은 릴레이 노드의 배치에 따라 평균 수렴 라운드가 30% 가량 감소함을 보였다. 두 번째 문제의 보정 프로세스는 토큰 간 간격을 거의 완벽히 균등화했으며, 최대 거리 d*가 이론적 최적값에 근접함을 확인했다.

전체적으로 이 연구는 토큰 기반 자가 안정 메커니즘을 물리적 거리 제어와 연결시키는 새로운 패러다임을 제시하고, 균일·비균일 설계, 페트리넷 기반 형식 검증, 그리고 동적 거리 최적화라는 세 축에서 충분히 설득력 있는 기여를 제공한다.