OperatingSystem/seogeurim

contents/operating-system/README.md

@@ -171,7 +171,53 @@ Context-Switching 이란, **CPU 코어를 다른 프로세스로 전환하기 
 
 ## CPU 스케줄링
 
-> 내용 추가 예정
+CPU 스케줄링은 Ready Queue에 있는 프로세스들을 대상으로 이루어진다.
+
+### 선점 / 비선점 스케줄링 (Preemptive and Non-preemptive Scheduling)
+
+CPU 스케줄링은 다음의 4가지 상황에 대하여 발생할 수 있다.
+
+1. 프로세스가 running → waiting 상태로 전환 (ex. I/O 요청 또는 하위 프로세스 종료를 위한 wait() 호출)
+2. 프로세스가 running → ready 상태로 전환 (ex. interrupt 발생)
+3. 프로세스가 waiting → ready 상태로 전환 (ex. I/O 완료)
+4. 프로세스 종료
+
+스케줄링 시 상황 1, 4에서는 선택권 없이 새 프로세스를 선택해야 한다. 하지만 상황 2, 3에서는 다음과 같은 선택권이 있다.
+
+- **비선점 스케줄링** : CPU가 할당된 어떤 프로세스는 종료 / waiting 상태로 전환하여 CPU를 해제할 때까지 CPU를 유지하고, 다른 프로세스는 그 때까지 CPU를 사용할 수 없다.
+- **선점 스케줄링** : 어떤 프로세스가 CPU를 점유하고 있을 때 다른 프로세스가 CPU를 선점할 수 있다. Windows, macOS, Linux 및 UNIX를 포함한 거의 모든 최신 운영체제는 선점 스케줄링 알고리즘을 사용한다.
+
+### 스케줄링 알고리즘
+
+#### FCFS (First-Come, First-Served) Scheduling
+
+- **비선점 스케줄링**
+- 먼저 CPU를 요청하는 프로세스에 먼저 CPU가 할당된다.
+- FIFO queue 를 사용해 쉽게 구현할 수 있다.
+- 문제점) **convoy effect** : 먼저 들어온 어떤 프로세스의 CPU 처리 시간이 길 경우 다른 모든 프로세스들이 기다림으로서 더 짧은 프로세스가 먼저 진행될 수 있는 경우보다 CPU 및 장치 사용률이 낮아지는 현상
+
+#### SJF (Shortest-Job-First) Scheduling
+
+- **비선점 스케줄링 방식** : CPU burst time이 가장 작은 프로세스에게 먼저 CPU를 할당한다. 만일 CPU burst time이 같다면, FCFS 방식을 적용한다.
+- **선점 스케줄링 방식 (SRTF (Shortest-Remaining-Time-First) Scheduling)** : 새로 들어온 프로세스의 CPU burst time이 현재 실행 중인 프로세스의 남은 burst time 보다 작다면 현재 실행 중인 프로세스를 새로 들어온 프로세스가 선점한다.
+- 주어진 프로세스 집합에 대해 **최소 평균 대기 시간**을 제공한다는 점에서 최적의 알고리즘이다. 하지만 CPU burst time을 알 수 있는 방법이 없기 때문에 CPU 스케줄링 수준에서 구현할 수 없다. 이에 대한 한 가지 접근 방식은 SJF 스케줄링을 근사화하는 것이며, 이전 CPU burst time 지수 평균으로 예측할 수 있다.
+- 문제점) **starvation** : CPU 처리 시간이 긴 프로세스는 계속 Ready Queue의 뒤로 밀려나기 때문에 무한정 기다리는 상황이 발생할 수 있다.
+
+#### RR (Round-Robin) Scheduling
+
+- **선점 스케줄링**
+- 각 프로세스는 **time quantum (or time slice)** 이라는 작은 시간 단위(10-100ms)를 갖게 된다. 프로세스는 1 time quantum 동안 스케줄러에 의해 CPU를 할당 받고, 시간이 끝나면 interrupt를 받아 Ready Queue의 tail에 배치된다.
+- Ready Queue는 Circular FIFO queue 형태이다.
+- RR의 평균 대기 시간은 긴 편이다. 하지만 공정하다. `n`개의 프로세스가 있고 time quantum이 `q`일 때, 어떤 프로세스도 `(n-1) x q` 시간 단위 이상 기다리지 않는다.
+
+Time quantum 설정 시 주의할 점
+
+- Time quantum이 너무 크다면 : FCFS와 같아진다.
+- Time quantum이 너무 작다면 : Context Switching이 너무 빈번하게 일어나 overhead가 발생한다.
+
+위와 같이 RR 알고리즘의 성능은 time quantum의 크기에 좌우될 수 있으므로 적절히 선정해야 하며, 이는 context-switch time보다 큰 것이 좋으며, 또 너무 커서는 안 된다. (경험적으로 CPU burst의 80프로는 time quantum보다 짧은게 좋다고 함)
+
+#### Priority Scheduling
 
 ---