논문 요약: PREEMPT_RT 리눅스를 사용한 라즈베리 파이 5 기반 UAV 비행 제어 워크로드의 스케줄링 분석

이 논문은 현대적인 무인 항공기 (UAV) 아키텍처가 고수준 자율성 (SLAM, 컴퓨터 비전 등) 과 저수준 비행 제어 (Flight Control System, FCS) 를 단일 범용 운영체제 (GPOS) 인 리눅스 상에서 통합하려는 추세에 따라, Raspberry Pi 5와 같은 최신 멀티코어 시스템 온 칩 (SoC) 환경에서 PREEMPT_RT 커널이 비행 제어의 실시간성을 보장할 수 있는지에 대한 아키텍처적 분석을 수행합니다.

1. 문제 정의 (Problem)

• 통합 아키텍처의 필요성: UAV 는 크기, 무게, 전력 (SWaP) 제약으로 인해 고성능 SoC 하나에서 자율성 로직과 안전 필수적인 비행 제어를 모두 처리하는 통합 아키텍처로 이동하고 있습니다.
• 비결정성 (Indeterminism) 의 원인: 표준 리눅스 커널은 처리량 (Throughput) 에 최적화되어 있어, 250Hz 이상의 고주파수 제어 루프에 필요한 엄격한 결정성 (Determinism) 을 제공하지 못합니다.
• 현대 SoC 의 복잡성: ARM Cortex-A76 기반의 Raspberry Pi 5 와 같은 최신 SoC 는 깊은 캐시 계층, Out-of-Order 실행, 공유 메모리 컨트롤러 등을 갖추고 있어, 리소스 경쟁 (L3 캐시, DRAM 대역폭) 으로 인한 타이밍 불확실성이 심화됩니다.
• 기존 연구의 한계: 기존 PREEMPT_RT 연구는 주로 구형 단일 보드 컴퓨터 (예: RPi 3) 에 집중하여, 현대적인 이종 멀티코어 아키텍처에서의 공유 자원 경쟁이 실시간 보장에 미치는 영향을 충분히 다루지 못했습니다.

2. 방법론 (Methodology)

• 플랫폼: Raspberry Pi 5 (BCM2712 SoC, 4 코어 Cortex-A76, 2.4 GHz 고정).
• 커널 구성: 표준 메인라인 커널 (6.8.0-raspi) vs. 완전 선점형 실시간 커널 (PREEMPT_RT, 6.8.0-raspi-realtime).
• 작업 모델:
  • 제어 루프: 250Hz (주기 4ms) 의 비행 자세 제어 루프 (Attitude Control Loop) 를 시뮬레이션.
  • 고립 전략: CPU изо레이션 (isolcpus), 태스크 고정 (Core 2 에만 할당), 메모리 잠금 등을 통해 OS 간섭을 최소화.
  • 스트레스 테스트: stress-ng 도구를 사용하여 CPU 연산, 메모리 (L3 캐시 스래싱), 커널 컨텍스트 스위칭/인터럽트 부하를 동시에 인가하여 최악의 시나리오 시뮬레이션.
• 측정 지표: 스케줄링 지연 (Latency), 지터 (Jitter), 최대 지연 시간 (Worst-case Latency). 다양한 스케줄링 정책 (SCHED_OTHER, SCHED_FIFO, SCHED_RR, SCHED_DEADLINE) 비교.

3. 주요 기여 (Key Contributions)

1. 현대 SoC 에 대한 정량적 벤치마크: Raspberry Pi 5 와 같은 최신 멀티코어 SoC 에서 250Hz 제어 루프의 성능을 정량화하고, 스케줄러 동작과 버스 지연을 분리하여 분석했습니다.
2. 활성화 경로 (Activation Path) 의 영향 규명:
   • 표준 커널: 지연 실행 (Deferred Execution, SoftIRQ) 경로에 의존하여 9ms 이상의 심각한 지연 스파이크를 발생시킴.
   • PREEMPT_RT: 인터럽트 핸들러를 선점 가능한 스레드로 변환하여 직접 활성화 (Direct Activation) 경로를 구현, 최대 지연을 88% 감소시킴.
3. 잔여 지터의 원인 규명: PREEMPT_RT 가 OS 스케줄링 지연을 해결하더라도, 현대 SoC 의 하드웨어 메모리 경쟁 (L3 캐시/DRAM) 이 잔여 지터 (약 200~225µs) 의 주된 원인임을 실증했습니다.

4. 실험 결과 (Results)

• 지연 시간 비교:
  • 표준 커널: 심한 부하 하에서 SCHED_OTHER 는 최대 9,426µs, 실시간 정책 (SCHED_FIFO 등) 도 최대 1,848µs까지 지연 발생. 이는 4ms 주기보다 길어 제어 루프 붕괴 위험.
  • PREEMPT_RT: 모든 실시간 정책에서 최대 지연을 225µs 이하로 억제 (약 88% 감소).
• 활성화 메커니즘 분석:
  • 표준 커널은 타이머 인터럽트 발생 후 ktimers 스레드 (SoftIRQ) 를 경유하는 '지연 경로'로 인해 100µs 이상의 추가 지연과 3 번의 컨텍스트 스위치가 발생.
  • PREEMPT_RT 는 인터럽트 핸들러가 직접 태스크를 깨우는 '직접 경로'를 사용하여 7µs 수준의 빠른 응답을 보임.
• 캐시 오염 (Cache Pollution): 표준 커널 환경에서 제어 알고리즘의 실행 시간이 약 3.8µs 에서 51µs 로 13 배 증가한 것으로 나타났으며, 이는 커널 하우스키핑 스레드 실행으로 인한 L1/L2 캐시 오염이 주된 원인임을 시사.
• 비행 안정성: 250Hz 제어 루프 (4ms) 에서 PREEMPT_RT 의 최대 지터 (225µs) 는 전체 주기의 **5.6%**에 불과하여, 비행 안정성을 유지하기에 충분한 마진을 제공함.

5. 의의 및 결론 (Significance & Conclusion)

• 통합 아키텍처의 타당성 입증: Raspberry Pi 5 와 PREEMPT_RT 를 조합하면, 별도의 마이크로컨트롤러 (MCU) 가 필요 없는 단일 보드 통합 아키텍처가 UAV 의 비행 제어에 충분히 실현 가능함을 증명했습니다.
• 성능 트레이드오프: MCU 기반 RTOS(예: FreeRTOS) 에 비해 지터가 약 10 배 더 크지만 (약 224µs vs 10-20µs), 250Hz 제어 루프의 허용 오차 범위 내에 있어 안전성을 확보할 수 있습니다.
• 한계 및 향후 과제:
  • 현재 연구는 CPU 스케줄링에만 초점을 맞췄으며, 실제 센서/액추에이터 I/O 드라이버의 비결정성 (스핀락 등) 은 포함되지 않았습니다.
  • 현대 SoC 의 하드웨어적 메모리 경쟁으로 인한 잔여 지터를 줄이기 위해서는 캐시 컬러링 (Cache Coloring) 과 같은 하드웨어 수준의 공간 분할 기법이 필요할 수 있음.
  • 향후 연구에서는 실제 I/O 통합, 모델 예측 제어 (MPC) 와 같은 고부하 제어기 적용, 그리고 전력 소모와의 트레이드오프 분석이 필요함.

결론적으로, 이 논문은 PREEMPT_RT 가 현대적인 고성능 SoC 기반 UAV 에서 비행 제어의 실시간성을 보장하는 핵심 요소임을 입증하며, 복잡한 자율성 스택과 안전 필수 제어 시스템을 단일 플랫폼에서 통합하는 새로운 아키텍처 방향성을 제시합니다.