분산형 자가안정 TDMA 알고리즘을 통한 충돌 없는 WAC 모델 구현

본 논문은 센서 네트워크에서 널리 사용되는 Write‑All‑With‑Collision(WAC) 모델에 적합한, 자가안정적인 결정론적 TDMA 슬롯 할당 알고리즘을 설계·분석한다. 기존 연구들은 무작위 슬롯 선택, 사전 토폴로지 지식 필요, 혹은 순차적 복구와 같은 제약을 가지고 있었으며, 이러한 제약은 추상 모델을 WAC 모델로 변환할 때 프로그램의 확정성, 동적 노드 추가·제거 가능성, 수렴 속도 등에 부정적인 영향을 미쳤다. 저자는 이러한 한계를 극복하기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, TDMA 슬롯 할당 문제를 거리‑2 색칠 문제와 동일시하여 각 센서가 자신의 색(슬롯)을 주변 2‑hop 이웃과 겹치지 않도록 한다. 둘째, 충돌이 감지되면 해당 센서가 “리셋” 과정을 시작해 인접 2‑hop 영역 내 색을 동시에 재조정하도록 설계한다. 알고리즘은 다음과 같은 흐름으로 동작한다. 센서는 매 프레임마다 자신의 슬롯을 사용해 데이터를 전송한다. 만약 특정 슬롯에서 연속적으로 충돌이 감지되면, 해당 센서는 충돌 슬롯과 충돌 발생 프레임을 기록하고, 고유한 리셋 프레임을 계산한다. 이때 리셋 프레임은 f_reset = f_collision + ID + D₃ timeout 형태로 정의되어, 동일 2‑hop 영역 내에서 두 센서가 동시에 리셋을 시작하지 않도록 보장한다. 또한 리셋을 시작하기 전, 센서는 D₃ timeout 프레임 동안 전송을 중단해 자신의 3‑hop 이웃까지 전송을 멈추게 만든다. 이렇게 하면 리셋 메시지와 색 변경 메시지가 충돌 없이 전달될 수 있다. 리셋 과정은 다섯 단계로 구성된다. 1) 충돌 감지 및 리셋 예약, 2) 리셋 메시지 전송, 3) 색(슬롯) 업데이트, 4) 색 변경 알림, 5) 통신 재시작. 센서는 nbrClr와 dist2Clr라는 두 개의 로컬 테이블을 유지해 1‑hop 및 2‑hop 이웃의 색 정보를 저장한다. 리셋 메시지를 받은 센서는 이 정보를 최신화하고, 자신의 색이 충돌을 일으키는 경우 최소한의 색(슬롯)으로 교체한다. 색 교체 후에는 ChangeColor 메시지를 새 슬롯에 맞춰 전파하고, 주변 노드들은 이를 받아 자신의 테이블을 업데이트하고, 아직 진행 중인 리셋이 있다면 이를 취소한다. 최종적으로 리셋을 시작한 센서는 Restart 메시지를 전송해 3‑hop 이웃에게 통신 재개를 알린다. 이 알고리즘은 자가안정성을 보장한다. 초기 색 배치가 완전히 무작위이거나, 네트워크가 임의의 손상 상태에 놓여 있더라도, 위 과정을 반복함으로써 모든 충돌이 해소되고 거리‑2 색칠 조건이 만족되는 상태에 수렴한다. 수렴 시간은 충돌이 발생한 슬롯 수와 네트워크 직경에 비례하지만, 동시에 여러 리셋이 겹치지 않도록 설계되었기 때문에 폭발적인 메시지 트래픽을 방지한다. 색(슬롯) 수는 최대 차수 d에 대해 d² + 1 이하로 제한되며, 이는 거리‑2 색칠 이론의 상한과 일치한다. 동적 네트워크 변화에 대한 확장도 제시된다. 노드가 삭제될 경우, 해당 노드가 사용하던 슬롯은 자동으로 회수되어 주변 노드가 재사용할 수 있다. 새로운 노드가 추가될 때는 주변 노드가 현재 색 정보를 전파하고, 새로운 노드는 사용되지 않은 최소 색을 선택한다. 이를 통해 네트워크는 지속적으로 변화해도 충돌‑프리 상태를 유지한다. 또한 대역폭 효율을 높이기 위해 색 할당을 비균등하게 조정하는 옵션을 제안하고, 시계 동기화가 필요할 경우 기존의 시간 동기화 프로토콜과 결합해 구현 가능함을 논의한다. 마지막으로, 저자는 제안된 알고리즘을 기존의 TDMA 기반 변환 프레임워크와 직접 연동함으로써, 추상 모델에서 설계된 분산 알고리즘을 WAC 모델에 정확히 매핑할 수 있음을 강조한다. 이는 무작위성에 의존하지 않는 확정적 변환을 가능하게 하며, 센서 네트워크와 같은 제한된 자원 환경에서 프로그램의 신뢰성과 예측 가능성을 크게 향상시킨다. 전체적으로 이 논문은 결정론적, 완전 분산, 동시 복구, 동적 적응성을 모두 갖춘 TDMA 슬롯 할당 메커니즘을 제공함으로써, WAC 모델 기반 센서 네트워크 프로그래밍에 새로운 기준을 제시한다.