✅ 프로세스의 개념
- Process is a program in execution
- 프로세스의 문맥(context)
- CPU의 수행 상태를 나타내는 하드웨어 문맥
- Program Counter
- 각종 register
- 프로세스의 주소 공간
- 프로세스 관련 커널 자료 구조
- PCB(Process Control Block)
- Kernel stack
✅ 프로세스의 상태
프로세스는 상태가 변경되며 수행된다.
- Running: CPU를 잡고 instruction을 수행중인 상태
- Ready: CPU를 기다리는 상태(메모리 등 다른 조건을 모두 만족하고)
- Blocked(wait, sleep): CPU를 주어도 당장 instruction을 수행할 수 없는 상태, Process 자신이 요청한 event가 즉시 만족되지 않아 이를 기다리는 상태
- 예) 디스크에서 file을 읽어와야 하는 경우
- 자신이 요청한 일이 만족되면 ready
- Suspended: 외부적인 이유로 프로세스의 수행이 정지된 상태
- 프로세스는 통째로 디스크에 swap out 된다.
- 외부에서 resume해주어야 active 된다.
- 예) 사용자가 프로그램을 일시정지시킨 경우 (사람이 재개시켜야만 다시 active된다.)
- 시스템이 여러 이유로 프로세스를 잠시 중단시킴 (메모리에 너무 많은 프로세스가 올라와 있을 때)
- New : 프로세스가 생성중인 상태
- Terminated: 수행이 끝난 상태
✅ PCB (Process Control Block)
- 운영체제가 각 프로세스 관리하기 위해 프로세스당 유지하는 정보
- OS가 관리상 사용하는 정보: Process status, Process ID, Scheduling information, Priority
- CPU수행 관련 하드웨어 값: PC, registers
- 메모리 관련: Code, data, stack의 위치 정보
- 파일 관련 : Open file description
✅ 문맥 교환
CPU를 한프로세스에서 다른 프로세스로 넘겨주는 과정
CPU가 다른 프로세스에게 넘어갈 때 운영체제는 다음을 수행
-
CPU를 내어주는 프로세스의 상태를 그 프로세스의 PCB에 저장
-
CPU를 새롭게 얻는 프로세스의 상태를 PCB에서 읽어옴
-
System call이나 Interrupt 발생시 반드시 context switch 가 일어나는 것은 아님
✅ 프로세스를 스케줄링하기 위한 큐
- Job Queue: 현재 시스템 내에 있는 모든 프로세스의 집합
- Ready queue: 현재 메모리 내에서 CPU를 잡아서 실행되기를 기다리는 프로세스 집합
- Device queue: I/O 장치의 처리를 기다리는 프로세스의 집합
✅ 스케줄러
- 장기 스케줄러 (Long - term scheduler)
- 시작 프로세스 중 어떤 것들을 레디큐로 보낼지 결정
- 프로세스에 메모리를 주는 문제
- degree of Multiprogramming을 제어
- 메모리에 여러개의 프로그램이 올라간다.
- 몇개의 프로그램에 메모리를 줄지를 결정한다.
- time sharing system에는 보통 장기 스케줄러가 없음
- 단기 스케줄러 (Short - term scheduler)
- 어떤 프로세스를 다음번에 러닝 시킬지 결정
- 프로세스에 CPU를 주는 문제
- 충분히 빨라야함
- 중기 스케줄러 (medium - term scheduler or swapper)
- 여유 공간 마련을 위해 프로세스를 통째로 메모리에서 디스크로 쫓아냄
- 프로세스에게서 memory를 뺏는 문제
- degree of Multiprogramming을 제어
✅ 동기식 vs. 비동기식 차이점
- 동기식: 어떤 프로세스가 입출력 요청을 하는 경우 수행이 되는 동안에 해당 프로세스가 대기해야하는 경우
- cpu를 해당 프로세스가 가지고 있는 경우
- cpu를 다른 프로세스에게 넘기는 경우
- 비동기식: 입출력 요청 이후 입출력 진행 후 다른 인스트럭션 실행하는 경우
✅ Thread
- A thread is a basic unit of CPU utilization
- 같은 일을 하는 프로세스를 여러개 띄우려고 하는 경우 같은 메모리 공간을 띄어놓고 다른 코드를 실행하도록 하는 것이 쓰레드이다.
- PC만 여러개를 둔다.
- 프로세스 하나에 CPU 수행단위만 여러개 두는 것 ⇒ 쓰레드
- 쓰레드 구성 요소
- PC: 현재 실행 명령어 위치
- register
- stack space
- Thread가 동료 쓰레드와 공유하는 부분 (=task)
- code section
- data section
- OS resources
- 전통적인 개념의 heavyweight process는 하나의 쓰레드를 가지고 있는 task로 볼 수 있다.
- 프로세스 하나에서 공유할 수 있는 것을 최대한 공유
- 다중 스레드로 구성된 태스크 구조에서는 하나의 서버 스레드가 blocked 상태인 동안에도 동일한 태스크 내의 다른 스레드가 실행되어 빠른 처리를 할 수 있다.
- 동일한 일을 수행하는 다중 스레드가 협력하여 높은 처리율과 성능 향상을 얻을 수 있다.
- 스레드를 사용하면 병렬성을 높일 수 있다.
- 메모리 낭비를 줄일 수 있다.
- 프로세스는 하나이므로 PCB는 하나만 만들어지고 , CPU수행에 관련된 정보만 각 스레드가 별도로 가지게 된다. (PC, registers)
✅ Single and Multithreaded Processes
- single: code, data, 여러 자원 공유
- cpu 수행 관련 정보 ⇒ 스레드마다 별도로 가짐
✅ 쓰레드 장점
- Responsiveness: 응답성, 사용자 입장에서 빠르다. 웹브라우저가 쓰레드를 여러개 가지는 경우 하나의 스레드가 외부에서 응답을 기다리는 동안에 다른 스레드가 동작을 한다.
- Resource Sharing: 자원 공유, n threads can share binary code, data, resource of the process
- 각종 자원의 공유가 가능하다. 자원의 효율적 사용이 가능하다.
- Economy: creating & CPU switching thread (rather than a process) 경제성
- Solaris의 경우 위 두가지 오버헤드가 각 30배, 5배
- 프로세스 하나 생성의 오버헤드는 크지만, 쓰레드를 생성하는 것은 오버헤드가 크지 않다.
- 문맥교환의 경우 프로세스간에는 오버헤드가 크지만 쓰레드는 그렇지 않다.
- 같은 작업인 경우 쓰레드 여러개를 만드는 것이 효율적이다!
- Utilization of MP Architectures: each thread may be running in parallel on a different processor
- CPU가 여러 개인 경우 (Multi processor) 유리하다. ⇒ 프로세스가 하나이지만 쓰레드가 여러개인 경우 각 CPU에서 동시에 작업이 가능하다.
✅ Implementation of Threads
- kernel (Kernel Threads) : 쓰레드가 여러개인 상태를 운영체제 커널이 알고 있다.
- library (User Threads): 프로세스안에 쓰레드가 여러개인 것을 운영체제는 모른다. 커널이 보기엔 일반적인 프로세스로 보인다. 수행단위를 여러개 두고 유저 프로세스가 직접 관리를 한다. ⇒ 제약점이 많다.