타임 슬라이스

타임 슬라이스는 선점 스케줄링이 구현되는 핵심 메커니즘이다. 선점 스케줄링은 운영 체제가 특정 조건 하에서 현재 실행 중인 프로세스로부터 강제로 CPU를 회수하여 다른 프로세스에 할당하는 방식을 말한다. 이때 각 프로세스에 할당되는 최대 실행 시간 단위가 바로 타임 슬라이스, 즉 퀀텀이다. 따라서 타임 슬라이스는 선점이 발생하는 주된 기준이 된다.

선점 스케줄링에서 타임 슬라이스가 소진되면 운영 체제는 타이머 인터럽트를 통해 현재 프로세스의 실행을 중단시키고 문맥 교환을 수행한다. 이는 시분할 시스템이 여러 사용자나 작업에 공정하게 CPU 자원을 분배할 수 있게 하는 기반이 된다. 타임 슬라이스의 크기는 시스템의 반응성과 처리량에 직접적인 영향을 미치는 중요한 조정 변수이다.

이 방식은 협동 다중 작업과 대비된다. 협동 방식은 프로세스가 자발적으로 CPU를 양도할 때까지 기다려야 하지만, 타임 슬라이스를 기반으로 한 선점 스케줄링은 운영 체제가 강제로 제어권을 가져올 수 있어 하나의 프로세스가 시스템을 독점하는 것을 방지한다. 결과적으로 타임 슬라이스는 선점 다중 작업 시스템이 원활하게 동작하도록 하는 기본 단위이다.

타임 슬라이스는 선점 다중 작업 시스템에서 각 프로세스나 스레드에게 할당되는 최대 연속 실행 시간을 의미한다. 이 시간 단위는 퀀텀(quantum)이라고도 불리며, 운영 체제의 스케줄러가 시스템 내의 여러 작업들 사이에 CPU 시간을 공정하게 분배하는 기본 단위 역할을 한다. 타임 슬라이스의 도입은 시분할 시스템의 핵심 원리로, 단일 사용자가 시스템을 독점하는 것을 방지하고 다수의 사용자 또는 작업에게 동시에 컴퓨팅 자원을 제공하는 것을 가능하게 한다.

타임 슬라이스의 길이는 운영 체제의 스케줄링 정책과 시스템의 응답성 요구사항에 따라 결정된다. 일반적으로 짧은 타임 슬라이스는 대화형 프로세스에 빠른 응답 시간을 제공할 수 있으나, 빈번한 문맥 교환으로 인한 오버헤드가 증가한다는 단점이 있다. 반면, 긴 타임 슬라이스는 오버헤드를 줄이고 배치 처리 작업의 처리량을 높일 수 있지만, 시스템의 전반적인 반응 속도가 느려질 수 있다. 따라서 시스템 설계자는 이러한 트레이드오프를 고려하여 적절한 타임 슬라이스 크기를 설정한다.

할당된 타임 슬라이스를 모두 사용하면 타이머 인터럽트가 발생하고, 운영 체제는 현재 실행 중인 프로세스로부터 CPU를 강제로 회수하여 준비 상태로 전환시킨다. 그 후 스케줄러는 준비 큐에 대기 중인 다른 프로세스 중 다음에 실행할 프로세스를 선택하여 새로운 타임 슬라이스를 할당한다. 이 과정은 라운드 로빈과 같은 기본적인 스케줄링 알고리즘의 근간을 이룬다.

타임 슬라이스 방식은 운영 체제의 스케줄러가 각 프로세스에 CPU 사용 시간을 고정된 길이로 나누어 할당하는 것을 말한다. 이렇게 할당된 시간 단위가 타임 슬라이스 또는 퀀텀이다. 시분할 시스템의 핵심 메커니즘으로, 사용자에게는 여러 작업이 동시에 실행되는 것처럼 보이는 다중 작업 환경을 제공한다.

작동 과정은 다음과 같다. 스케줄러는 실행 대기 중인 프로세스 큐에서 다음에 실행할 프로세스를 선택하고, 미리 정해진 길이의 타임 슬라이스를 할당한다. 프로세스는 해당 시간 동안 CPU를 점유하여 실행된다. 할당된 시간이 완전히 소진되면, 타이머 인터럽트가 발생하여 운영 체제에 제어권이 돌아오고, 스케줄러는 현재 프로세스의 실행을 중단시킨다. 이어서 문맥 교환을 통해 현재 프로세스의 상태를 저장하고, 큐에서 다음 프로세스를 선택하여 새로운 타임 슬라이스를 할당하며 실행을 재개한다.

이 방식은 라운드 로빈과 같은 대표적인 선점 스케줄링 알고리즘의 기반이 된다. 타임 슬라이스의 길이는 시스템의 응답성과 처리량에 직접적인 영향을 미치는 중요한 요소이다. 슬라이스가 너무 길면 대화형 시스템에서 응답이 느려질 수 있으며, 너무 짧으면 빈번한 문맥 교환으로 인한 오버헤드가 증가한다. 따라서 시스템의 목적에 따라 이 값을 조정하는 것이 일반적이다.

타임 슬라이스는 문맥 교환이 발생하는 주요 조건 중 하나이다. 운영 체제의 스케줄러는 각 프로세스에 일정한 시간의 타임 슬라이스를 할당한다. 프로세스가 이 할당된 시간을 모두 사용하면, 즉 타임 슬라이스가 소진되면, 시스템은 인터럽트를 통해 현재 실행 중인 프로세스로부터 CPU 사용권을 강제로 회수한다. 이때, 현재 프로세스의 실행 상태(예: 레지스터 값, 프로그램 카운터 등)를 저장하고, 다음으로 실행할 프로세스의 상태를 복원하는 과정이 바로 문맥 교환이다.

따라서 타임 슬라이스의 길이는 시스템의 반응성과 전체 처리량에 직접적인 영향을 미친다. 타임 슬라이스가 너무 짧으면 문맥 교환이 빈번하게 발생하여 시스템 오버헤드가 커지고, 너무 길면 시분할 시스템에서 여러 사용자나 작업 간의 상호작용이 느려질 수 있다. 이는 라운드 로빈과 같은 스케줄링 알고리즘의 핵심 매개변수로 작용한다.

결국 타임 슬라이스는 선점형 다중 작업을 구현하는 메커니즘의 기초가 되며, 이를 통해 운영 체제는 여러 프로세스가 단일 CPU를 공유하면서 마치 동시에 실행되는 것처럼 보이게 한다. 문맥 교환은 이 메커니즘이 원활하게 작동하도록 하는 필수적인 뒷받침 절차이다.

운영 체제는 시스템의 안정성과 보안을 유지하기 위해 CPU의 실행 모드를 사용자 모드와 커널 모드로 구분한다. 사용자 모드는 일반 응용 프로그램이 실행되는 모드로, 이 모드에서 실행되는 프로세스는 하드웨어에 직접 접근하거나 중요한 시스템 자원을 제어할 수 있는 권한이 제한된다. 반면, 커널 모드는 운영 체제의 핵심인 커널이 실행되는 모드로, 모든 하드웨어 자원과 메모리에 대한 무제한 접근 권한을 가진다.

타임 슬라이스와 같은 선점 스케줄링이 발생하는 시점은 이러한 실행 모드와 밀접한 관련이 있다. 인터럽트나 시스템 호출이 종료되어 커널 모드에서 사용자 모드로 복귀할 때, 스케줄러는 더 높은 우선 순위의 프로세스가 대기 중인지 확인하고 필요 시 문맥 교환을 통해 현재 프로세스를 선점한다. 이는 시스템의 응답성을 높이는 중요한 메커니즘이다.

현대의 많은 운영 체제는 선점 커널을 채택하고 있다. 이는 커널 모드에서 실행 중인 커널 코드 자체도 선점될 수 있도록 설계된 것을 의미한다. 선점 커널은 시스템 전반의 실시간 성능과 다중 작업 처리 효율을 향상시킨다. 리눅스 커널 (2.6.x 이상), 윈도우 NT 계열, 그리고 일부 BSD 시스템들이 선점 커널을 구현한 대표적인 예시이다.

이러한 설계는 협동 다중 작업 방식과 대비된다. 협동 다중 작업에서는 실행 중인 프로세스가 자발적으로 CPU를 양보해야만 다른 작업으로 전환이 가능한 반면, 선점 다중 작업과 선점 커널은 시스템이 강제로 제어권을 회수할 수 있어 더욱 견고하고 반응적인 시스템 운영을 가능하게 한다.

선점 커널은 커널 모드에서 실행 중인 태스크도 선점될 수 있도록 설계된 커널을 의미한다. 이는 사용자 모드뿐만 아니라 운영 체제의 핵심인 커널 코드가 실행되는 동안에도 더 높은 우선순위의 작업이나 타임 슬라이스 소진으로 인한 문맥 교환이 발생할 수 있음을 뜻한다. 이러한 설계는 시스템의 응답성을 높이고, 중요한 작업이 지연되는 것을 방지하는 데 기여한다.

대표적인 선점 커널의 예로는 솔라리스 2.0, 윈도우 NT 계열, 리눅스 커널 (2.6.x 이상 버전), AIX, 그리고 NetBSD (버전 5 이상)와 같은 일부 BSD 계열 운영 체제가 있다. 이들은 모두 커널 공간에서의 선점을 지원하여 실시간 성능과 다중 작업 효율성을 개선했다.

반면, 초기의 일부 운영 체제나 특수 목적 시스템은 비선점 커널을 사용하기도 했다. 비선점 커널에서는 커널 모드의 코드 실행이 완료될 때까지 다른 프로세스로의 전환이 지연될 수 있어, 장시간 실행되는 시스템 호출이 전체 시스템의 반응성을 떨어뜨릴 위험이 있다. 따라서 현대의 범용 운영 체제는 대부분 선점 커널 방식을 채택하고 있다.

선점 다중 작업은 운영 체제가 실행 중인 프로세스로부터 CPU 사용권을 강제로 회수하여 다른 프로세스에 할당할 수 있는 멀티태스킹 방식이다. 이 방식은 협동 다중 작업과 대비되는데, 협동 방식은 프로세스가 자발적으로 CPU를 양보할 때까지 기다려야 하기 때문에 한 프로세스의 결함이 전체 시스템을 정지시킬 수 있다. 반면 선점 방식에서는 운영 체제의 스케줄러가 시분할 시스템의 핵심 메커니즘인 타임 슬라이스가 끝나거나 더 높은 우선 순위의 작업이 준비되었을 때 현재 작업을 중단시키고 문맥 교환을 수행한다.

이러한 제어는 인터럽트를 통해 이루어진다. 시스템 타이머에 의해 주기적으로 발생하는 인터럽트는 스케줄러에게 제어권을 넘겨주어, 현재 프로세스의 할당된 실행 시간(퀀텀)이 소진되었는지 평가하게 한다. 또한, 입출력 완료와 같은 다른 인터럽트나 시스템 호출 종료 시점에도 스케줄러는 대기 중인 더 시급한 작업이 있는지 확인하고 선점 결정을 내릴 수 있다.

선점 다중 작업은 현대 운영 체제의 반응성과 공정성을 보장하는 기반이 된다. 이를 통해 단일 프로세스의 무한 루프나 오류가 발생하더라도 운영 체제는 제어권을 유지하며 다른 모든 프로세스들을 계속 실행시킬 수 있다. 대부분의 유닉스 계열 시스템, 리눅스, 윈도우 NT 계열, 그리고 현대의 맥OS와 같은 데스크톱 및 서버 운영 체제는 모두 선점 다중 작업 방식을 채택하고 있다.

협동 다중 작업은 선점 다중 작업과 대비되는 초기 멀티태스킹 방식이다. 이 방식에서는 운영 체제가 CPU 사용권을 강제로 회수하지 않으며, 실행 중인 프로세스가 자발적으로 CPU 제어권을 시스템에 양도할 때까지 기다린다. 따라서 각 프로세스는 작업이 완료되거나 입출력 작업과 같이 대기 상태가 필요할 때 명시적으로 CPU를 양보하도록 설계되어야 한다.

이 방식의 주요 단점은 한 프로세스가 CPU를 독점하거나 결함으로 인해 양보하지 않을 경우, 시스템 전체가 멈추거나 다른 작업들의 실행이 지연될 수 있다는 점이다. 이는 시스템의 안정성과 반응성을 보장하기 어렵게 만든다. 반면, 선점 다중 작업 시스템에서는 운영 체제가 타임 슬라이스 소진이나 더 높은 우선순위 인터럽트 발생 시 프로세스로부터 CPU를 강제로 회수하여 이러한 문제를 해결한다.

협동 다중 작업은 초기 매킨토시 시스템의 클래식 맥 OS나 윈도우 3.x와 같은 운영 체제에서 사용되었다. 현대의 대부분의 데스크톱 및 서버 운영 체제는 시스템 자원의 공정한 분배와 신속한 대응을 위해 선점 방식을 채택하고 있으며, 협동 방식은 주로 특정 임베디드 시스템이나 간단한 런타임 라이브러리 수준의 작업 스케줄링에서 제한적으로 활용된다.

타임 슬라이스의 크기를 결정하고, 어떤 프로세스에게 CPU를 할당할 것인지를 관리하는 규칙을 스케줄링 알고리즘이라고 한다. 대표적인 알고리즘으로는 라운드 로빈, 최단 작업 우선, 고정 우선순위 스케줄링, 멀티레벨 피드백 큐 등이 있다.

라운드 로빈은 가장 기본적인 선점형 알고리즘으로, 모든 프로세스에 동일한 크기의 타임 슬라이스를 부여하고 순환 큐 방식으로 CPU를 할당한다. 타임 슬라이스를 소진한 프로세스는 큐의 맨 뒤로 이동하며, 문맥 교환이 빈번하게 발생할 수 있다는 특징이 있다. 최단 작업 우선 알고리즘은 실행 시간이 가장 짧은 프로세스를 우선적으로 실행시키며, 평균 대기 시간을 최소화하는 데 유리하다.

고정 우선순위 스케줄링은 각 프로세스에 미리 우선순위를 부여하고, 가장 높은 우선순위를 가진 프로세스가 항상 먼저 실행된다. 멀티레벨 피드백 큐는 여러 개의 준비 큐를 두고, 프로세스의 행동(예: CPU 사용 시간)에 따라 큐 간 이동을 허용하는 복합적인 알고리즘이다. 이 방식은 시분할 시스템의 응답 시간을 개선하고 다양한 유형의 작업을 효율적으로 처리하는 데 목적이 있다.

타임 슬라이스의 길이는 운영 체제의 스케줄러 설계에 따라 다르며, 각 운영 체제는 특정 목표에 맞춰 이 값을 설정하거나 동적으로 조절한다. 예를 들어, 리눅스 커널은 2.6.23 버전부터 완전히 공정 스케줄러(CFS)를 도입하여 고정된 타임 슬라이스 대신 프로세스의 가상 런타임을 추적하고 가장 적게 실행된 작업을 선택하는 방식으로 공정성과 응답성을 달성한다. 마이크로소프트 윈도우의 스케줄러도 다양한 우선순위 준위와 함께 타임 슬라이스를 사용하며, 대화형 프로세스에 더 짧은 퀀텀을 할당하여 사용자 응답성을 높이는 데 중점을 둔다.

유닉스 계열 시스템의 전통적인 스케줄러는 라운드 로빈 방식을 기반으로 하며, 일반적으로 10ms에서 100ms 사이의 고정된 타임 슬라이스를 사용했다. 현대의 실시간 운영 체제(RTOS)는 예측 가능한 응답 시간을 보장해야 하므로, 매우 엄격하고 짧은 타임 슬라이스를 사용하거나, 비선점 스케줄링을 특정 태스크에 적용하기도 한다. 임베디드 시스템이나 특수 목적의 운영 체제는 하드웨어 제약과 애플리케이션 요구사항에 맞춰 타임 슬라이스의 크기와 스케줄링 정책을 세밀하게 조정한다.

이처럼 타임 슬라이스의 구현은 단순한 시간 할당을 넘어, 각 운영 체제가 추구하는 성능 목표(처리량, 응답 시간, 공정성 등)를 반영하는 핵심 매개변수이다. 따라서 동일한 시분할 시스템 개념이라도, 스케줄링 알고리즘과 결합된 구체적인 구현 방식은 시스템의 전체적인 동작과 사용자 경험에 지대한 영향을 미친다.