로봇 소프트웨어 운영체제

• 미들웨어 분석의 출발점 = 그 아래에서 모든 것을 떠받치는 운영체제(OS, Operating System)
• 로봇은 보통 상위 컴퓨터(계획·인지)와 하위 제어기(실시간 모터 구동)가 서로 다른 성격의 OS 사용 → 이 구분이 로봇 소프트웨어 구조의 출발점
• 시험 출제 포인트: 범용 OS vs 실시간 OS(RTOS) 비교, 선점형 스케줄링, 우선순위 역전과 해결책, "ROS는 OS가 아니라 미들웨어"라는 함정

운영체제는 무엇을 하는가

• 운영체제(OS) = 하드웨어 자원을 관리하고 응용 프로그램에 공통 서비스를 제공하는 기반 소프트웨어

• 핵심 관리 기능 4가지:

• 프로세스 관리: 어떤 프로그램에 CPU를 줄지 결정 (스케줄링)

• 메모리 관리: 프로세스마다 메모리 공간을 배분·보호

• 파일(저장장치) 관리: 데이터를 파일 형태로 저장·접근

• 장치(입출력) 관리: 센서·모터·네트워크 등 주변장치와의 입출력 중개 (디바이스 드라이버)

응용 프로그램은 시스템 콜(System Call)이라는 표준 창구로 이 서비스들을 요청한다.

프로세스, 스레드, 스케줄링 — 최소 상식

• 프로세스(Process): 실행 중인 프로그램. 각자 독립된 메모리 공간을 가진다
• 스레드(Thread): 프로세스 안의 실행 흐름. 같은 프로세스의 스레드들은 메모리를 공유한다 (상세는 미들웨어 프로세스 관리)
• 스케줄링(Scheduling): 준비된 여러 작업 중 누구에게 CPU를 줄지 정하는 규칙
  • 비선점형(Non-preemptive): 한 번 잡으면 스스로 내놓을 때까지 실행
  • 선점형(Preemptive): 더 급한(우선순위 높은) 작업이 준비되면 실행 중인 작업을 중단시키고 CPU를 빼앗는다
  • 대표 기법: 라운드 로빈(Round Robin, 시간 조각을 돌아가며 배분), 우선순위 스케줄링

범용 OS vs 실시간 OS (RTOS)

• 실시간의 의미 = "빠르다"가 아니라 "정해진 시간 안의 응답을 보장한다" — 임베디드 프로그래밍 특성에서 본 하드/소프트 실시간 구분이 그대로 적용
• 하드 실시간: 모터 전류 루프처럼 한 번의 지연이 사고로 이어짐 / 소프트 실시간: 화면 갱신처럼 품질 저하에 그침

RTOS의 핵심 메커니즘

• 우선순위 기반 선점형 스케줄링: 가장 급한 태스크가 항상 먼저 실행되도록 보장 — RTOS의 심장
• 짧고 예측 가능한 인터럽트 지연(Interrupt Latency): 사건 발생부터 처리 시작까지의 최악 시간이 작고 일정
• 태스크 간 통신·동기화 도구: 메시지 큐, 세마포어, 뮤텍스 (→ 미들웨어 프로세스 관리)

리눅스로 실시간을 — PREEMPT_RT와 이중 커널

• 로봇 상위 제어기의 사실상 표준은 리눅스지만, 기본 리눅스는 하드 실시간을 보장하지 않음 → 실시간성이 필요한 상위 제어에는:

• PREEMPT_RT 패치: 커널 내부까지 선점 가능하게 만들어 최악 지연을 크게 줄인 리눅스 실시간 확장

• 이중 커널 방식(Xenomai 등): 실시간 마이크로커널을 리눅스와 나란히 두고 실시간 태스크를 그쪽에서 실행

로봇 시스템의 전형적 OS 구성 — 2계층

• 상위 제어기 (임베디드 PC): Linux + 미들웨어(ROS 등) — 경로계획, 인지, 지도, UI. 소프트 실시간
• 하위 제어기 (MCU): RTOS 또는 베어메탈 펌웨어 — 모터 전류·속도 루프, 비상정지. 하드 실시간 (→ 로봇 액추에이터 펌웨어 구조)
• 두 계층은 CAN·EtherCAT 같은 필드버스로 연결된다 (→ 로봇 구성 요소 간 통신 프로토콜)

"빠른 보장이 필요한 일은 아래로, 무겁고 똑똑한 일은 위로"가 로봇 OS 구성의 기본 원칙이다.

"ROS는 운영체제인가?" — 이름에 속지 말 것

• ROS(Robot Operating System)는 이름과 달리 운영체제가 아니다
• CPU 스케줄링·메모리 관리 같은 OS 기능은 리눅스에 맡기고, 그 위에서 노드 간 통신·패키지 관리·개발 도구를 제공하는 미들웨어(프레임워크) (상세는 로봇 미들웨어 구조 설계)
• "ROS가 OS 기능을 수행한다"는 선지는 오답

로봇 소프트웨어 스택에서 OS의 위치

flowchart TD
    APP["응용 계층
경로계획 · 인지 · 작업 로직"]
    MW["미들웨어 (ROS 등)
노드 통신 · 도구"]
    OS["운영체제 (Linux / RTOS)
스케줄링 · 메모리 · 장치 관리"]
    HW["하드웨어
CPU · 메모리 · 센서 · 모터"]
    APP --> MW --> OS --> HW

우선순위 역전의 진행

flowchart LR
    A["L(낮음)이
자원 획득"] --> B["H(높음) 실행 시도
→ 자원 대기로 블록"]
    B --> C["M(중간)이 L을 선점
→ L이 자원을 못 놓음"]
    C --> D["H가 M보다
뒤로 밀림 = 역전"]
    D -. "해결: L을 H 우선순위로
잠시 승격 (우선순위 상속)" .-> E["L이 자원 반납
→ H 즉시 실행"]

리눅스에 실시간성을 부여하는 대표 방법은?::PREEMPT_RT 패치(커널 선점성 강화), Xenomai 같은 이중 커널 방식

로봇의 전형적 2계층 OS 구성은?::상위는 임베디드 PC의 리눅스+미들웨어(계획·인지), 하위는 MCU의 RTOS/베어메탈(실시간 모터 제어) ROS는 운영체제인가?::아니다 — 이름과 달리 리눅스 등 OS 위에서 동작하는 로봇 미들웨어(프레임워크)다

1. 실시간 운영체제(RTOS)의 특징으로 옳지 않은 것은?

① 우선순위 기반 선점형 스케줄링을 사용한다 ② 최악 응답 지연이 한정되어 있어 결정론적이다 ③ 모든 태스크에 공평하게 CPU를 배분하는 것이 최우선 목표다 ④ 인터럽트 지연이 짧고 예측 가능하다

2. 낮은 우선순위 태스크가 점유한 뮤텍스를 높은 우선순위 태스크가 기다리는 동안, 중간 우선순위 태스크가 실행되어 높은 태스크가 계속 밀리는 상황이 발생했다. 이 현상과 해결 기법의 연결로 옳은 것은?

① 교착상태 — 은행가 알고리즘 ② 우선순위 역전 — 우선순위 상속 ③ 기아 상태 — 라운드 로빈 ④ 경쟁 상태 — 폴링 전환

3. ROS(Robot Operating System)에 대한 설명으로 옳은 것은?

① CPU 스케줄링과 메모리 관리를 직접 수행하는 커널이다 ② MCU의 펌웨어를 대체하는 실시간 실행 환경이다 ③ 하드 실시간 응답을 기본적으로 보장한다 ④ 리눅스 등 운영체제 위에서 동작하는 로봇 미들웨어다

4. 같은 프로세스에 속한 스레드들이 공유하지 않는 것은?

① 스택 ② 코드(텍스트) 영역 ③ 전역 데이터 영역 ④ 힙

5. 로봇의 하위 모터 제어기에 범용 OS 대신 RTOS(또는 베어메탈 펌웨어)를 사용하는 주된 이유는?

① 그래픽 사용자 인터페이스를 제공하기 위해 ② 제어 주기의 데드라인을 결정론적으로 보장하기 위해 ③ 대용량 파일 시스템을 관리하기 위해 ④ 다양한 응용 프로그램을 동시에 설치하기 위해

• 로봇 구성 요소 간 통신 프로토콜 — 상·하위 제어기를 잇는 통신
• 로봇 미들웨어 구조 설계 — OS 위에 얹히는 미들웨어
• 미들웨어 프로세스 관리 — 프로세스·스레드·동기화 상세
• 임베디드 프로그래밍 특성 — 하드/소프트 실시간과 MCU 펌웨어
• _MOC 로봇소프트웨어구조설계