1292.29 Tick과 노드 활성화의 관계

1. 노드 활성화의 정의

행동 트리(Behavior Tree)에서 노드의 활성화(activation)란, 해당 노드가 tick 신호를 수신하여 자신의 실행 논리를 개시하는 사건을 의미한다. 노드는 tick을 수신하기 전까지 비활성 상태인 Idle 상태에 머무르며, tick을 수신하는 순간 활성화되어 자신에게 할당된 작업을 수행한다. 따라서 tick은 노드를 활성화시키는 유일한 메커니즘이며, tick이 없으면 어떠한 노드도 자발적으로 활성화될 수 없다 (Colledanchise & Ögren, Behavior Trees in Robotics and AI: An Introduction, 2018).

이 원칙은 행동 트리의 실행 제어가 전적으로 tick의 하향 전파에 의해 이루어진다는 것을 의미한다. 노드는 자기 자신을 활성화하거나, 부모 노드의 허가 없이 형제 노드를 활성화할 수 없다. 이러한 엄격한 활성화 규칙은 행동 트리의 결정론적(deterministic) 실행 순서를 보장하는 핵심 제약 조건이다.

2. Tick 수신과 상태 전이

노드가 tick을 수신하면, 노드의 현재 상태에 따라 서로 다른 콜백 함수가 호출되며 상태 전이가 발생한다. 이 상태 전이 과정이 곧 노드의 활성화 과정이다.

2.1 Idle 상태에서의 활성화

노드가 Idle 상태에 있을 때 tick을 수신하면, 해당 노드의 onStart() 콜백이 호출된다. 이는 노드가 처음으로 활성화되는 시점에 해당하며, 노드의 내부 상태를 초기화하고 필요한 자원을 할당하는 작업이 수행된다. onStart() 콜백의 반환 값에 따라 노드는 다음 세 가지 상태 중 하나로 전이한다.

• Success 반환: 노드는 작업을 즉시 완료하고, 상태가 Idle로 복귀한다.
• Failure 반환: 노드는 작업 수행에 실패하고, 상태가 Idle로 복귀한다.
• Running 반환: 노드는 작업이 진행 중임을 나타내며, Running 상태로 전이한다.

2.2 Running 상태에서의 재활성화

노드가 이전 tick에서 Running 상태를 반환하여 현재 Running 상태에 있을 때 후속 tick을 수신하면, onRunning() 콜백이 호출된다. 이는 노드가 이미 활성화된 상태에서 지속적으로 실행되는 과정에 해당한다. onRunning() 콜백도 동일한 세 가지 상태를 반환할 수 있으며, Running을 반환하면 노드는 Running 상태를 유지하고, Success 또는 Failure를 반환하면 작업이 종결되어 Idle 상태로 복귀한다 (Faconti, BehaviorTree.CPP Documentation, 2024).

3. Tick과 활성화의 인과 관계

tick과 노드 활성화 사이에는 엄밀한 인과 관계(causal relationship)가 성립한다. 이 관계를 형식적으로 기술하면 다음과 같다.

\text{activated}(N_i, t_k) \iff \text{ticked}(N_i, t_k)

여기서 \text{activated}(N_i, t_k)는 노드 N_i가 tick t_k에서 활성화되었음을 나타내고, \text{ticked}(N_i, t_k)는 노드 N_i가 tick t_k 동안 tick 신호를 수신하였음을 나타낸다. 이 동치 관계는 tick의 수신이 활성화의 필요충분조건임을 의미한다.

특정 tick에서 tick을 수신하지 못한 노드는 활성화되지 않는다. 예를 들어, Sequence 노드의 첫 번째 자식이 Failure를 반환하면, 조기 종료(short-circuit) 규칙에 의해 후속 자식 노드에는 tick이 전달되지 않으며, 이들 노드는 활성화되지 않고 Idle 상태를 유지한다.

활성화 범위의 결정 요인

단일 tick에서 활성화되는 노드의 집합은 트리의 구조와 각 노드의 반환 상태에 의해 동적으로 결정된다. 활성화 범위를 결정하는 주요 요인은 다음과 같다.

제어 흐름 노드의 정책

각 제어 흐름 노드는 자신의 정책에 따라 자식 노드에 tick을 선택적으로 전달한다. Sequence 노드는 자식이 Success를 반환할 때만 다음 자식에 tick을 전달하고, Fallback 노드는 자식이 Failure를 반환할 때만 다음 자식에 tick을 전달한다. Parallel 노드는 모든 자식에 동시에 tick을 전달하며, ReactiveSequence 노드는 매 tick마다 첫 번째 자식부터 재평가한다.

이전 tick의 상태 기억

일반 Sequence 및 Fallback 노드는 이전 tick에서 Running을 반환한 자식의 인덱스를 기억한다. 후속 tick에서는 해당 인덱스의 자식부터 실행을 재개하므로, 이전에 Success를 반환한 자식에는 tick이 전달되지 않아 활성화되지 않는다. 이 메커니즘은 불필요한 재실행을 방지하여 실행 효율을 높인다.

데코레이터 노드의 조건부 전달

데코레이터 노드 중 일부는 특정 조건에서만 자식에 tick을 전달한다. 예를 들어, RunOnce 데코레이터는 자식이 한 번 실행된 후에는 더 이상 자식에 tick을 전달하지 않는다. Timeout 데코레이터는 제한 시간이 경과하면 자식에 tick을 전달하지 않고 Failure를 반환한다.

활성화와 비활성화의 대칭 관계

tick이 노드를 활성화시키는 메커니즘이라면, tick의 부재 또는 명시적 halt 요청은 노드를 비활성화시키는 메커니즘이다. 노드의 활성화와 비활성화는 대칭적 관계를 형성한다.

Running 상태의 노드가 tick을 수신하지 못하는 경우는, 부모 제어 흐름 노드가 해당 자식의 실행을 중단하기로 결정한 경우에 발생한다. 이때 부모 노드는 해당 자식에 halt 요청을 전달하여 명시적으로 비활성화시킨다. 이 과정에서 onHalted() 콜백이 호출되어 노드가 점유한 자원의 정리가 수행된다.

활성화 전파의 조건부 특성

행동 트리에서 tick에 의한 활성화 전파는 무조건적(unconditional)이 아닌 조건부(conditional) 전파이다. 루트 노드에서 시작된 tick은 모든 노드에 도달하는 것이 아니라, 각 제어 흐름 노드의 정책과 자식 노드의 반환 상태에 따라 선택적으로 전파된다.

이 조건부 전파 특성으로 인해, 단일 tick에서 활성화되는 노드의 집합은 루트에서 리프까지의 하나의 경로(path) 또는 소수의 경로에 국한되는 경우가 일반적이다. 전체 노드 수 n에 비해 실제 활성화되는 노드 수 m은 통상적으로 m \ll n을 만족한다. 이는 행동 트리의 실행 효율성을 보장하는 핵심 메커니즘이며, 대규모 트리에서도 각 tick의 계산 비용이 제한적으로 유지되는 근거이다 (Colledanchise & Ögren, 2018).

로봇 공학에서의 실무적 함의

tick과 노드 활성화의 관계를 정확히 이해하는 것은 로봇의 행동 트리를 설계하고 디버깅하는 데 필수적이다. 특정 액션 노드가 활성화되지 않는 문제가 발생하면, 해당 노드까지의 tick 전파 경로를 추적하여 어떤 제어 흐름 노드에서 tick 전파가 차단되었는지를 식별하여야 한다. 이 과정에서 각 제어 흐름 노드의 정책과 자식 노드의 반환 상태를 점검하면, 행동 트리의 설계 오류 또는 환경 조건의 변화를 체계적으로 진단할 수 있다.

또한, 실시간 시스템에서 tick 주기 내에 활성화되는 노드의 수와 각 노드의 실행 시간의 합이 tick 주기를 초과하지 않도록 관리하여야 한다. tick 주기를 초과하면 다음 tick의 시작이 지연되어 로봇의 반응성(responsiveness)이 저하될 수 있다.

참고 문헌

• Colledanchise, M. & Ögren, P. (2018). Behavior Trees in Robotics and AI: An Introduction. CRC Press.
• Faconti, D. (2024). BehaviorTree.CPP Documentation. https://www.behaviortree.dev/