운영 체제 개발 개념

운영 체제(OS)는 컴퓨터 하드웨어와 소프트웨어 자원을 관리하는 기본 소프트웨어입니다. 컴퓨터를 사용할 수 있게 만드는 두뇌와 같은 역할을 합니다.

이번 레슨에서는 OS 개발의 핵심 개념을 살펴보고, 특히 Rust를 사용하여 현대적인 안전성을 보장하면서 저수준 제어가 가능한 커널을 만드는 방법을 알아보겠습니다.

커널은 OS의 중심 부분입니다. 컴퓨터가 시작될 때 가장 먼저 로드되는 프로그램이며 모든 것을 완전히 제어합니다.

주요 책임은 다음과 같습니다.

• 메모리 관리: 메모리를 할당하고 보호합니다.
• 프로세스/작업 관리: 실행 중인 프로그램을 예약하고 서로 전환합니다.
• 하드웨어 상호 작용: 입출력(I/O)과 인터럽트를 처리합니다.
• 시스템 호출: 사용자 애플리케이션에 서비스를 제공합니다.

가상 메모리는 각 프로그램이 메모리를 고립된 방식으로 보도록 하는 강력한 기법입니다. 물리 메모리가 조각나 있더라도 각 프로그램이 크고 연속된 메모리 블록을 가진 것처럼 보이게 합니다.

이를 통해 프로그램끼리 서로의 메모리에 간섭하지 못하게 보호하고, 프로그램에 필요한 부분만 메모리에 로드하여 물리적 RAM을 효율적으로 사용할 수 있습니다.

페이징은 가상 메모리를 구현하는 일반적인 방법입니다. 메모리는 고정된 크기의 블록으로 나뉘며, 가상 주소에 사용되는 블록을 페이지, 물리 주소에 사용되는 블록을 프레임이라고 합니다.

OS는 가상 페이지 번호를 물리 프레임 번호에 매핑하는 자료 구조인 페이지 테이블을 유지합니다. CPU가 가상 주소에 접근하면 메모리 관리 장치(MMU)는 이 테이블을 사용하여 해당 주소를 물리 주소로 변환합니다.

작업은 흔히 프로세스 또는 스레드라고도 하며, 독립적인 작업 단위입니다. 현대적인 OS는 하나의 CPU 코어에서 여러 작업을 동시에 실행합니다.

스케줄러는 주어진 순간에 어떤 작업을 CPU에서 실행할지 결정하는 커널 구성 요소입니다. 모든 활성 작업에 CPU 시간을 공정하고 효율적으로 분배하여 병렬로 실행되는 것처럼 보이게 하는 것이 목표입니다.

스케줄러가 한 작업에서 다른 작업으로 전환하기로 결정하면 문맥 전환을 수행합니다. 이는 다음 작업을 포함하는 중요한 작업입니다.

• 현재 작업의 전체 CPU 상태(예: 레지스터, 프로그램 카운터, 스택 포인터)를 연결된 자료 구조에 저장합니다.
• 다음에 실행할 작업의 저장된 CPU 상태를 불러옵니다.

이를 통해 작업은 중단했던 정확한 위치에서 다시 실행될 수 있으므로, 모든 작업이 동시에 실행되는 것처럼 보입니다.

인터럽트는 키보드, 마우스, 디스크 드라이브 또는 타이머와 같은 하드웨어가 CPU에 보내는 신호입니다. 이벤트가 발생했으며 즉시 처리가 필요하다는 뜻입니다.

인터럽트가 발생하면 CPU는 다음을 수행합니다.

• 현재 실행을 일시 중지합니다.
• 현재 상태를 저장합니다.
• 해당 이벤트를 처리하도록 커널에 설계된 특수 함수인 인터럽트 서비스 루틴(ISR)으로 이동합니다.

ISR이 완료되면 CPU는 저장해 둔 상태를 복원하고 이전 작업을 재개합니다.

하드웨어 인터럽트 외에도 소프트웨어 인터럽트가 있습니다. 이는 흔히 예외라고 하며, 다음과 같은 프로그램 오류로 인해 CPU 자체가 발생시킵니다.

• 0으로 나누기
• 잘못된 메모리 주소에 접근하기(세그먼테이션 오류)
• 허용되지 않은 명령어 실행하기

또 다른 소프트웨어 인터럽트 유형으로 시스템 호출이 있습니다. 시스템 호출을 사용하면 사용자 프로그램이 커널에 서비스(예: 파일 읽기, 새 프로세스 생성)를 명시적으로 요청할 수 있습니다.

Rust는 다음과 같은 독특한 조합을 제공하므로 OS 개발에 점점 더 많이 선택되고 있습니다.

• 메모리 안전성: 소유권 및 대여 시스템이 컴파일 시 널 포인터, 이중 해제, 데이터 경합과 같은 일반적인 메모리 오류를 방지합니다.
• 동시성 안전성: Rust의 타입 시스템은 많은 경우 명시적인 잠금 없이도 스레드 안전한 코드를 작성하는 데 도움을 줍니다.
• 베어 메탈 호환성: Rust는 복잡한 실행 환경이나 가비지 수집기 없이 실행될 수 있으므로 저수준 커널 환경에 적합합니다.

이러한 기능을 통해 개발자는 버그가 더 적은 견고하고 고성능인 커널 코드를 작성할 수 있습니다.

핵심 운영 체제 개념에 대한 이해도를 확인해 보겠습니다.

이번 레슨에서는 운영 체제 개발의 기본 개념을 살펴보았습니다.

• 메모리 관리: 메모리를 분리하고 RAM을 효율적으로 사용하기 위한 가상 메모리와 페이징을 포함합니다.
• 작업 스케줄링: CPU가 문맥 전환을 사용하여 서로 다른 작업 사이를 전환하는 방식입니다.
• 인터럽트: 하드웨어가 발생시키는 신호와 소프트웨어가 발생시키는 예외 및 시스템 호출을 모두 포함하며, 이를 통해 커널이 이벤트에 응답할 수 있습니다.

Rust의 강력한 안전성 기능과 저수준 제어 기능이 결합되어, 견고하고 신뢰할 수 있는 베어 메탈 커널 코드를 작성하는 데 매우 적합한 언어가 됩니다. 이러한 기초적인 이해는 시스템 수준 프로그래밍에 필수적입니다!