프로세스 관리

https://www.helenastahl.com/process

1. Process

 프로세스는 job, task라고 불리기도 하며 메인 메모리에 할당되어 실행중인 상태인 프로그램을 말합니다. 프로그램은 일반적으로 하드디스크에 저장되어 아무일도 하지 않는 상태입니다. 프로세스는 실행하면서 stack pointer, data, text, register 등 끊임없이 변합니다.

 

 위 사진은 프로세스 상태 전이도를 나타낸 것입니다. 

New는 프로그램이 메인 메모리에 할당되는 상태를 말합니다. Ready상태는 할당된 프로그램이 초기화와 같은 작업을 통해 실행되기 위한 모든 준비를 마친 뒤, CPU가 프로세스를 실행하면 Running 상태가 됩니다. Waiting 상태는 프로세스가 끝나지 않은 시점에서 I/O로 인해 CPU를 사용하지 않고 다른 작업을 합니다. 해당 작업이 끝나면 다시 CPU에 의해 실행되기 위해 ready 상태로 돌아가야 합니다. 프로세스가 완전히 종료되면 Terminated가 됩니다.

 

 CPU는 한 프로세스가 종료될 때까지 수행하는 것이 아니라 여러 프로세스를 중간에 바꿔가면서 수행합니다. 그러므로 CPU는 수행중인 프로세스를 나갈 때, 이 프로세스의 정보를 어딘가에 저장하고 있어야 다음에 이 프로세스를 수행할 때 이전에 수행한 그 다음부터 이어 작업할 수 있는데 이 정보를 저장하는 곳이 PCB(Process Contorl Block) 입니다.

 

 

 프로세스는 작업을 수행하면서 상태가 여러번 변하는데, 이에 따라 서비스를 받아야하는 곳이 다릅니다. 그리고 프로세스는 일반적으로 여러개가 한 번에 수행되므로 그에 따른 순서가 필요하는데 그 순서를 대기하는 곳을 큐(Queue)라고합니다.

 하드디스크에 있는 프로그램이 실행되기 위해 메인 메모리의 할당 순서를 기다리는 Job Queue, CPU 점유 순서를 기다리는 Ready Queue, I/O를 하기 위한 장치를 기다리는 Device Queue가 존재합니다. 각 큐 내부에 저장된 실제 데이터는 각 프로세스의 PCB가 저장되어 있습니다. 큐가 순서를 기다리는 공간이라면 이 순서를 정해주는 알고리즘이 있어야하는데 이러한 알고리즘을 스케줄링(Scheduling)이라고 합니다. 

 Job queue의 순서를 정해주는 job scheduler를 long-term scheduler라고도 하는데, 이는 이 스케줄링이 발생하는 시간이 비교적 오래걸리기 때문입니다.. (대략 초~분)

 반면에 ready queue의 스케줄러를 short-term scheduler라고도 하는데, 이는 스케줄링이 발생하는 시간이 매우 짧기 때문입니다.. CPU scheduling은 말 그대로 프로세스가 CPU를 점유하는 순서를 정해주는데 이는 매우 빠른 시간안에 이루어져야합니다. 현대 컴퓨터가 여러 프로그램을 동시에 사용하는 것과 같은 효과를 주는 이유가 이 스케줄링 속도가 매우 빠르게 이루어지기 때문입니다.

 

2. Multiprogramming

 멀티프로그래밍은 단일 프로세서 환경에서 여러 개의 프로세스가 동시에 실행되는 것을 말합니다. (실제로는 동시에 실행되지는 않습니다.) 여러 프로세스가 실행되려면 프로세스들은 모두 메인 메모리에 존재하고 있어야 합니다.

 멀티프로그래밍에 관한 몇가지 용어에 대해 살펴보겠습니다.

2.1. Degree of multiprogramming

Degree of multiprogramming 는 현재 메모리에 할당되어 있는 프로세스 개수를 말한다.

2.2. I/O bound process VS CPU bound process

프로세스는 I/O bound process 와 CPU bound process 로 나뉜다.

• I/O bound process: 해당 프로세스에서 I/O(입출력) 작업이 차지는 비중이 높은 프로세스를 말한다.
• CPU bound process: 해당 프로세스에서 CPU 작업(계산)이 차지는 비중이 높은 프로세스를 말한다.

운영체제, 정확히 말하면 job scheduler 는 I/O bound process와 CPU bound process를 적절히 분배해서 메모리에 할당해주어야 한다.

2.3. Medium-term scheduler

Medium-term scheduler는 말그대로 short-term보다는 덜 발생하지만, long-term보다는 자주 발생하는 scheduler이다. 하는 일은 운영체제가 실행하는 동안 주기적으로 메인 메모리에 있는 전체 프로세스를 검사하여 보조기억장치로 옮길 프로세스를 찾아 옮긴다. 옮기는 기준은 여러가지 있겠지만 대표적으로 장기간 사용하지 않는 프로세스가 있다.

이 기준으로 동작하는 것이 Swapping이다. 이는 메인 메모리에서 장시간 사용하지 않는 프로세스를 하드디스크(Swap device = Backing store, 일반적으로 하드디스크는 File system + Backing store 로 구성되어 있다.)로 옮겨주고(Swap out), 나중에 이 프로세스가 다시 사용되려고 하면 하드디스크에서 해당 프로세스를 다시 메인 메모리에 할당해준다.(Swap in)

Swap out을 통해 메인 메모리의 공간이 생기므로 이를 더욱 효율적으로 사용할 수 있다. 만약 swap out된 프로세스가 다시 swap in으로 메인 메모리에 할당하려고 할 때 이전의 공간으로 할당되는 것을 보장하지는 않는다. 왜냐하면 위에 말했듯이 swap out으로 생긴 메모리 공간은 다른 프로세스가 사용할 수 있기 때문이다.

2.4. Context Switching(문맥 전환)

Context switching은 CPU가 한 프로세스에서 다른 프로세스로 옮겨가는 것을 말한다. 즉, 한 프로세스가 실행중인 것을 멈추고 다른 프로세스가 실행되는 것이다.

• Scheduler: 여기서 스케줄러는 CPU Scheduler를 말하며, CPU가 어느 프로세스를 선택할지 정한다.
• Dispatcher: 실제 context switching이 발생하면 CPU의 내부 데이터를 이전 프로세스 데이터에서 새로 시작되는 데이터로 바꿔준다. 다시 말해서 현재 CPU 데이터는 이전 프로세스의 PCB에 갱신하고, 새로 시작되는 프로세스의 PCB 데이터를 CPU로 복원(restore) 해준다.
• Context switching overhead: Context switching이 발생할 때마다, dispatcher에서 수행하는 작업을 매번 수행해야하며 이 모든 것은 overhead이다. 그리고 문맥 전환은 매우 자주 발생하는 작업이므로 overhead를 줄이기 위해서는 dispatcher를 구현하는 코드에 대한 효율을 최대한 높여주어야한다.

 

 

 

 

출처

https://velog.io/@codemcd/%EC%9A%B4%EC%98%81%EC%B2%B4%EC%A0%9COS-5.-%ED%94%84%EB%A1%9C%EC%84%B8%EC%8A%A4-%EA%B4%80%EB%A6%AC

[운영체제(OS)] 5. 프로세스 관리