본문으로 건너뛰기
Practical RTOS Internals · 0/53

Practical RTOS Internals — 실시간 커널 내부 분석 시리즈 소개

· Hawk · 9분 읽기
rtos freertos zephyr scheduler context-switch embedded arm risc-v

#이 시리즈를 쓰는 이유

xTaskCreate(vTaskFunction, "Task", 128, NULL, 1, NULL);

FreeRTOS 튜토리얼은 대부분 여기서 시작합니다. Task를 만들고, Queue를 쓰고, Semaphore를 사용하는 법을 배웁니다. 그리고 대부분 여기서 끝납니다.

하지만 실무에서는 다른 질문들이 생깁니다:

  • “context switch가 정확히 어떻게 일어나지?”
  • “이 task가 왜 이렇게 늦게 깨어나지?”
  • “메모리가 fragmentation 되는 것 같은데…”
  • “tickless 모드에서 타이머가 왜 정확하지 않지?”

API 사용법을 아는 것과 내부 동작을 이해하는 것은 완전히 다른 차원의 문제입니다. 이 시리즈는 FreeRTOS, Zephyr, RT-Thread의 소스 코드를 직접 분석하며 이 질문들에 답합니다.

#대상 독자

  1. RTOS 사용 경험이 있는 엔지니어

    • API는 쓸 줄 알지만 내부 동작이 궁금한 분
    • “왜 이렇게 동작하지?”에 답을 찾고 싶은 분

  2. 자신만의 RTOS를 만들어보고 싶은 분

    • 학습 목적의 mini-RTOS 구현
    • 기존 RTOS 커스터마이징

  3. RTOS 선택/평가를 해야 하는 분

    • FreeRTOS vs Zephyr vs ThreadX
    • 프로젝트에 맞는 RTOS 선택 기준

#시리즈 구성

총 5개 Part, 52개 글로 구성됩니다.

RTOS의 핵심 개념부터 소스 코드 분석, 직접 구현, RTOS 비교까지 체계적으로 다룹니다.

#Part 1: RTOS Fundamentals (10개)

RTOS의 핵심 개념과 기초를 다룹니다.

#글 제목핵심 내용
1-01RTOS가 필요한 이유슈퍼루프의 한계, 실시간 요구사항
1-02Task와 Thread 개념TCB, 상태 머신, 생명 주기
1-03스케줄링 알고리즘RR, Priority-based, EDF, Rate Monotonic
1-04Preemption과 Cooperation선점형 vs 협력형, trade-off
1-05인터럽트와 RTOSISR context, deferred processing
1-06동기화 기초Critical section, mutual exclusion
1-07세마포어 개념Counting, binary, 사용 패턴
1-08뮤텍스 개념Ownership, recursive, priority inheritance
1-09큐와 메시지 패싱Producer-consumer, mailbox
1-10실시간성 분석Latency, jitter, deadline, WCET

#Part 2: Scheduler & Context Switch (11개)

RTOS의 심장인 스케줄러와 컨텍스트 스위치를 깊이 분석합니다.

#글 제목핵심 내용
2-01Ready List 자료구조연결 리스트, 비트맵, O(1) 스케줄러
2-02Blocked List 자료구조타임아웃 관리, 정렬 방식
2-03Scheduler 알고리즘 구현다음 task 선택 로직
2-04Context Switch 원리레지스터 저장/복원, 스택 프레임
2-05ARM Cortex-M Context SwitchPendSV, 어셈블리 분석
2-06ARM Cortex-A Context SwitchSVC, 모드 전환
2-07RISC-V Context SwitchECALL, mret, CSR
2-08Tick과 타이머SysTick, 하드웨어 타이머 연동
2-09Tickless 모드 구현저전력, 타이머 보상 알고리즘
2-10Scheduler Latency 측정측정 방법, 최적화 기법
2-11RTOS Tracing과 ObservabilityTracealyzer, SystemView, ITM/ETM

#Part 3: IPC & Synchronization Internals (11개)

동기화 프리미티브와 IPC의 내부 구현을 분석합니다.

#글 제목핵심 내용
3-01Critical Section 구현Interrupt disable, spin lock
3-02세마포어 내부 구현대기 큐, 카운터 관리
3-03뮤텍스 내부 구현Owner tracking, recursion
3-04Priority Inversion 문제원인, 사례, Mars Pathfinder
3-05Priority Inheritance 구현동적 우선순위 조정
3-06Priority Ceiling Protocol정적 vs 동적
3-07큐 내부 구현Ring buffer, 복사 vs 참조
3-08Event Group 구현비트 플래그, AND/OR 대기
3-09ISR-safe API 설계FromISR 패턴, 지연 처리
3-10데드락 탐지와 회피탐지 알고리즘, timeout 활용
3-11Stream Buffer와 Message BufferFreeRTOS 10+ lock-free SPSC IPC

#Part 4: Memory & Advanced Topics (13개)

메모리 관리와 고급 주제를 다룹니다.

#글 제목핵심 내용
4-01실시간 메모리 요구사항Determinism, fragmentation
4-02FreeRTOS heap_1~5 분석각 구현의 특성 비교
4-03TLSF 알고리즘Two-Level Segregated Fit
4-04정적 메모리 할당Static allocation 패턴
4-05메모리 풀 구현Fixed-size block allocator
4-06스택 오버플로우 탐지Canary, MPU 활용
4-07SMP RTOS 설계멀티코어, 로드 밸런싱
4-08Spinlock과 SMP 동기화멀티코어 동기화 기법
4-09Software Timer 구현Timer task, callback
4-10System Call 구현User/Kernel 모드 분리
4-11TrustZone과 TF-M 통합Cortex-M33+ 보안 격리, PSA
4-12AMP와 OpenAMPHeterogeneous SoC, RPMsg, remoteproc
4-13C++ in RTOSRAII, std::thread thunks, coroutine

#Part 5: RTOS Source Analysis & Comparison (7개)

실제 RTOS 소스 코드를 분석하고 비교합니다.

#글 제목핵심 내용
5-01FreeRTOS 소스 분석tasks.c, queue.c, port.c
5-02Zephyr 커널 분석k_thread, k_sem, 드라이버 모델
5-03RT-Thread 분석경량 RTOS 구조
5-04RTOS 포팅 가이드새 아키텍처 포팅 절차
5-05RTOS 선택 가이드프로젝트별 선택 기준
5-06Apache NuttX 분석POSIX RTOS, PX4·NASA Ingenuity
5-07PREEMPT_RT Linux 비교Mainline RT (6.12), Xenomai 4

#분석 대상 RTOS

RTOS버전특징
FreeRTOS11.2가장 널리 사용, 단순한 구조, AWS IoT 통합
Zephyr4.0 LTSLinux Foundation, 풍부한 드라이버, devicetree
RT-Thread5.x경량 RTOS, 중국 생태계, 다양한 컴포넌트
Eclipse ThreadX6.4구 Azure RTOS — 2024-01 Eclipse Foundation 기증 후 오픈소스화
Apache NuttX12.xPOSIX-compliant, PX4·NASA Ingenuity
Linux (PREEMPT_RT)6.12+2024-09 mainline merge — soft RTOS 대안

참고: Arm mbed OS는 2026년 7월 EOL로 신규 프로젝트에서 제외됩니다.

#학습 로드맵

  • RTOS 입문자 — Part 1 (기초) → Part 2 (스케줄러) → Part 5-01 (FreeRTOS 분석)
  • RTOS 내부 이해 — Part 2 (스케줄러) → Part 3 (IPC) → Part 4 (메모리)
  • RTOS 개발자/포팅 — Part 2 심화 → Part 4 심화 → Part 5 (소스 분석, 포팅)

#핵심 질문

이 시리즈가 답하는 질문들:

  • ready list는 어떤 자료구조로 유지되는가?
  • preemption point는 정확히 어디인가?
  • interrupt tail-chaining이 latency에 어떤 영향을 주는가?
  • timeout과 wake-up은 어떤 tick source를 기준으로 계산되는가?
  • heap 구현이 fragmentation, determinism, peak memory에 어떤 차이를 만드는가?

이 질문에 답할 수 있으면 특정 RTOS에 묶이지 않고, 새로운 커널을 보더라도 구조를 빠르게 읽어낼 수 있습니다.

#소스 코드 분석 방법

RTOS 소스는 처음 보면 함수 호출이 얽혀 있어 막막합니다. 이 시리즈에서는 다음 순서로 분석합니다:

  1. Public API entry point를 찾습니다
  2. 내부 자료구조를 먼저 봅니다
  3. Critical section 경계를 표시합니다
  4. Scheduler decision point를 찾습니다
  5. Architecture-dependent assembly로 내려갑니다

즉, xTaskCreate()나 k_sem_take() 같은 API에서 시작하되, 결국은 list, queue, bitmap, stack frame, interrupt mask까지 내려가서 이해하는 흐름으로 설명합니다.

#사전 지식

  • C 프로그래밍 (포인터, 구조체, 함수 포인터)
  • ARM Cortex-M 기초 (레지스터, 인터럽트, 예외)
  • 기본적인 RTOS 개념 (task, scheduler, preemption)
  • 어셈블리 기초 (ARM 또는 RISC-V)

#레퍼런스

서적

  • Operating System Concepts (10th ed) - Silberschatz
  • Real-Time Systems - Jane W. S. Liu
  • Hard Real-Time Computing Systems (3rd ed) - Buttazzo
  • MicroC/OS-III: The Real-Time Kernel - Jean Labrosse

소스 코드

문서

#이 시리즈의 목표

이 시리즈를 완주하면:

  • Scheduler 지연 원인을 자료구조 수준에서 설명할 수 있다
  • Context switch 비용을 architecture 관점에서 추적할 수 있다
  • 동기화 프리미티브를 직접 구현할 수 있다
  • Allocator/IPC 선택이 실시간성에 미치는 영향을 비교할 수 있다
  • FreeRTOS와 Zephyr를 “기능 표”가 아니라 내부 구조 관점에서 평가할 수 있다
  • 새로운 RTOS를 분석할 때 핵심 포인트를 빠르게 파악할 수 있다

다음 글: Part 1-01: RTOS가 필요한 이유

Practical RTOS Internals · 1 of 53

  1. 1Practical RTOS Internals — 실시간 커널 내부 분석 시리즈 소개
  2. 2RTOS가 필요한 이유 — 일반 OS와의 결정적 차이
  3. 3Task와 Thread 개념 — TCB·상태 머신·생명 주기 분석
  4. 4실시간 스케줄링 알고리즘 비교 — RR·Priority·EDF·RMS
  5. 5Preemption과 Cooperation — 강제 전환 vs 자발 양보
  6. 6인터럽트와 RTOS — ISR Context·Deferred Processing·FromISR API
  7. 7동기화 기초 분석 — Critical Section·Mutual Exclusion·Race Condition
  8. 8Semaphore 개념 분해 — Counting·Binary·P/V 연산
  9. 9Mutex 개념 분해 — Ownership·Recursive·Priority Inheritance
  10. 10큐와 메시지 패싱 — Producer-Consumer·Ring Buffer·전달 의미
  11. 11실시간성 분석 — Latency·Jitter·Deadline·WCET·RMA
  12. 12Ready List 자료구조 분석 — Linked List·Bitmap·O(1) Scheduler
  13. 13Blocked List 자료구조 — Timeout 정렬·Delta List·Two-List Scheme
  14. 14Scheduler 알고리즘 구현 추적 — Next-Task Selection 로직
  15. 15Context Switch 원리 분석 — 레지스터 저장·복원·Stack Frame
  16. 16ARM Cortex-M Context Switch — PendSV·MSP/PSP 어셈블리 추적
  17. 17ARM Cortex-A Context Switch — Mode 전환·SVC·Banked Registers
  18. 18RISC-V Context Switch 분석 — ECALL·mret·CSR
  19. 19RTOS Tick과 타이머 — SysTick·Generic Timer·configTICK_RATE_HZ
  20. 20Tickless 모드 구현 — Idle Tick Suppression·Sleep·Wake 보정
  21. 21Scheduler Latency 측정 기법 — GPIO Toggle·DWT·ftrace·cyclictest
  22. 22RTOS Tracing과 Observability — Tracealyzer·SystemView·ITM/ETM
  23. 23Critical Section 구현 비교 — IRQ Disable·BASEPRI·Spinlock
  24. 24Semaphore 내부 구현 추적 — Counter·Wait List·ISR-Safe Variant
  25. 25Mutex 내부 구현 추적 — Owner·Recursion Count·ISR 금지
  26. 26Priority Inversion 문제 — Mars Pathfinder 사례·Bounded vs Unbounded
  27. 27Priority Inheritance 구현 — Inherit·Disinherit·Chain
  28. 28Priority Ceiling Protocol — Immediate vs Original 비교
  29. 29Queue 내부 구현 추적 — Ring Buffer·2 Wait Lists·Atomic Send/Receive
  30. 30Event Group 분석 — Bit Flag·AND/OR Wait·Sync Barrier
  31. 31ISR-Safe API 설계 — FromISR 패턴·Higher Priority Wake·Deferred Work
  32. 32Deadlock 분석 — 4 조건·Wait-for Graph·Lock Ordering·Timeout
  33. 33Stream Buffer와 Message Buffer — FreeRTOS 10의 Lock-Free SPSC
  34. 34실시간 메모리 요구사항 — Determinism·Fragmentation·WCET
  35. 35FreeRTOS Heap_1~5 분석 — 5종 Allocator의 구조와 트레이드오프
  36. 36TLSF Allocator 분석 — Two-Level Segregated Fit O(1)
  37. 37Static Allocation — 컴파일 타임으로 동적 위험 제거하기
  38. 38Memory Pool — Fixed-Size Block Allocator의 단순함과 강력함
  39. 39Stack Overflow 탐지 — Canary·MPU·Watermark 3중 방어
  40. 40SMP RTOS 설계 — Ready List·Affinity·IPI·Load Balancing
  41. 41SMP Spinlock 구현 — LDREX/STREX·Ticket Lock·MCS·WFE/SEV
  42. 42Software Timer 분석 — Daemon Task·자료구조·ISR-Safe API
  43. 43RTOS System Call — SVC·ECALL·User/Kernel 분리·FreeRTOS-MPU
  44. 44TrustZone과 TF-M — Secure/Non-Secure·NSC Veneer·PSA
  45. 45AMP와 OpenAMP — Heterogeneous SoC·RPMsg·remoteproc
  46. 46C++ in RTOS — RAII·std::thread·ETL·Coroutine
  47. 47FreeRTOS 소스 분석 — tasks.c·queue.c·port.c 추적
  48. 48Zephyr 커널 분석 — k_thread·k_sem·Driver Model
  49. 49RT-Thread 분석 — Object 모델·Components·Smart·Studio
  50. 50RTOS 포팅 가이드 — 새 아키텍처에 옮기는 절차
  51. 51RTOS 선택 가이드 — Footprint·License·Certification·Ecosystem
  52. 52Apache NuttX 분석 — POSIX·PX4·NASA Ingenuity
  53. 53PREEMPT_RT Linux — Mainline 6.12·Xenomai 4·EVL

관련 글

RTOS 선택 가이드 — Footprint·License·Certification·Ecosystem

FreeRTOS·Zephyr·ThreadX·RT-Thread·NuttX·VxWorks·QNX·INTEGRITY·SafeRTOS·µC/OS·PX5를 한 표에 모아 비교합니다. IoT·자동차·항공·산업·의료·웨어러블·드론별 추천과 결정 기준을 정리합니다.

·selection

실시간 스케줄링 알고리즘 비교 — RR·Priority·EDF·RMS

Round Robin, Priority-based preemptive, Earliest Deadline First, Rate Monotonic을 다룹니다. 임베디드 RTOS는 대부분 fixed-priority preemptive를 씁니다.

·rtos

RTOS 포팅 가이드 — 새 아키텍처에 옮기는 절차

FreeRTOS와 Zephyr의 port 계층을 따라가며 새 아키텍처에 RTOS를 옮기는 절차를 정리합니다. initial stack frame, context switch assembly, tick source, critical section primitive까지 한 번에 잡습니다.

·porting

이 글을 참조하는 글 (21)