Process

Concept

프로세스란 프로그램이 수행되는 작업단위를 의미하며, 운영체제에 의하여 관리됩니다. 운영체제의 가장 큰 임무 중 하나는 디스크의 프로그램이 수행될 수 있도록 메모리로 가져오고, CPU가 어떤 프로세스의 명령어들을 수행하게 할지 결정하는 것입니다. 또한 모든 명령어가 수행되면 프로세스를 종료시키고 프로세스가 사용중이던 메모리와 자원들을 반환하는 작업도 수행합니다.

프로세스가 무엇인지 정확하게 이해하기 위해서는 우리가 생성한 프로그램이 어떻게 실제로 동작하는지 그 원리를 알아야할 필요가 있습니다. 아래부터는 프로그램을 수행시키기 위해 운영체제가 수행하는 일들을 살펴보고 그 과정에서 프로세스가 무엇인지 이해도를 높인다음, 프로세스와 관련된 정보들을 알아보는 시간을 가질 예정입니다.

In Memory…

우리가 작성한 프로그램은 소스코드로 디스크에 저장됩니다. 이 소스코드를 컴파일을 통해 실행가능한 파일로 변환하면 XXX.out 혹은 XXX.exe와 같은 파일이 생성됩니다. 이것이 ‘프로그램’으로, 아직 수행중이지는 않지만 운영체제로부터 호출되어 수행될 수 있는 상태인 파일을 의미합니다.

이후 컴퓨터의 사용자에 의해 프로그램이 호출되면, 운영체제는 디스크에 있는 프로그램이 수행될 수 있도록 메모리로 가져오는 과정loading을 거칩니다. 메모리에 프로그램이 로딩된 이 instance를 ‘프로세스’라고 합니다. 이후 프로세스는 OS에 의해 프로세서를 점유하게 되고 프로그램은 수행됩니다.

https://www.includehelp.com/operating-systems/memory-layout-of-a-process.aspx

메모리 상의 프로세스는 위와 같이 여러 섹션을 갖게 됩니다.

TEXT 섹션은 수행되는 명령어들을 포함하고 있는 섹션입니다. CPU의 PC Register가 이 공간의 주소를 가리키고 있으며, 하나의 명령어가 수행될 때마다 그 다음 위치의 메모리 공간을 가리켜 프로그램이 순차적으로 수행됩니다.

DATA 섹션은 전역 변수를 포함하고 있는 섹션입니다. 프로그램 수행 중 전역변수에 접근할 일이 있을 때 이 곳에 접근하게 됩니다.

HEAP 섹션은 동적할당된 변수를 포함하고 있는 메모리 공간입니다. C에서의 malloc, Java의 new 를 통해 생성된 변수들은 이 곳에 저장됩니다. 이 변수들은 선형적인 논리적 메모리 공간의 낮은 주소부터 높은 주소로 채워집니다.

STACK 섹션은 메서드의 파라미터, 반환 값, 지역 변수들을 포함하고 있는 메모리 공간입니다. 이 변수들은 높은 주소부터 낮은 주소로 채워집니다. 흔히 얘기하는 StackOverflow란 함수의 루프 호출로 인하여 이 공간이 한계치를 넘겼을 때 발생하는 오류입니다. 함수의 호출을 통해 파라미터와 반환 값, 지역 변수들이 저장되어야 하는 공간이 무한히 늘어나기 때문입니다.

PCB : Process Control Block

위와 같은 방식으로 프로세스들은 메모리에 저장됩니다. 운영체제는 메모리에 저장되어 있는 프로세스가 몇개가 있는지, 어디에 있는지, 어떤 상태인지 관리해야할 필요가 있습니다. 따라서 운영체제는 별도의 구조체를 통해 프로세스들을 관리하는데, 이 자료구조를 PCB라고 부릅니다.

하나의 PCB에는 하나의 프로세스에 대한 정보가 들어있습니다. PCB에는 프로세스의 고유한 식별자, 상태를 비롯하여 CPU에게 전달해야할 Context, 할당되어있는 메모리 공간의 주소, 생성한 사용자 등의 정보가 저장되어 있습니다.

Context란 프로세서가 프로세스를 수행하는데 필요한 정보들로, PC(Program Counter), General Purpose Register들을 포함합니다. 아래에서 설명하겠지만 서로 다른 프로그램들은 동시에 돌아가는 것처럼 보여야 하기 때문에, 프로세서는 여러 프로세스를 빠르게 번갈아가면서 수행합니다. 이 과정에서 프로세스가 프로세서를 떠나고 다시 점유할 때, 프로세서에게 “기존에 이 부분에서 끊겼으니 이제는 이 부분부터 수행하면 돼” 라는 이야기를 해줄 주체가 필요합니다. OS는 PCB의 context에 프로세서를 떠나는 시점의 PC와 General Purpose Register를 저장해놓고, 이후 프로세스가 다시 CPU를 점유할 때 해당 값들을 CPU에 제공하여 끊겼던 상태에서부터 프로세스가 다시 수행될 수 있도록 합니다. 이 부분은 Context Switch에서 더 자세하게 알아볼 것입니다.

결국 운영체제가 프로세스를 생성한다는 것은 디스크에 있는 프로그램을 수행가능한 상태로 만들기 위해 메모리로 로딩하며, 그 과정에서 생성된 프로세스에 대한 메타데이터들을 저장한 PCB를 만들고 운영체제가 관리하고 있는 PCB Table에 저장한다는 것입니다. 이후 PCB는 여러 운영체제의 동작 중에 사용되며, 이후 운영체제는 프로세스의 종료 요청을 받으면 PCB의 정보를 통해 프로세스가 갖고있는 자원들을 모두 반환해준뒤 PCB는 삭제될 것입니다.

Context Switch

일반적으로 컴퓨터는 여러가지 프로세스들이 수행되고 있습니다. 제가 줌을 켜놓고, 노션을 동시에 작성하는 것도 여러 프로세스가 수행되고 있기 때문입니다. 반면, 하나의 프로세서는 한 순간에 하나의 동작밖에 하지 못합니다. 프로세서는 오직 PC에 있는 메모리 주소에 있는 명령어를 가져오고fetch 수행하는execution 행동밖에 하지 못합니다. 즉, 서로 다른 프로세스는 동시에 수행될 수 없다는 것인데, 이 경우 줌과 노션이 동시에 실행되는 것은 불가능할 지도 모릅니다. 운영체제는 이러한 문제를 Multiprogramming으로 해결합니다.

Multiprogramming이란 메모리에 여러 프로세스를 상주시키고 프로세서가 수시로 프로세스들을 전환하며 수행하여 마치 사용자가 여러 프로그램이 동시에 수행되는 것과 같은 환상을 주는 방법입니다. 프로세스들은 우리가 미처 알아차리지도 못할 정도로 빠르게 전환되며 프로세서로부터 수행되기 때문에 우리는 노션과 줌이 동시에 수행되는 것과 같은 느낌을 받을 수 있습니다. 이 때 프로세서가 수행하는 프로세스를 바꾸는 과정을 Context Switch라고 부릅니다.

https://www.crocus.co.kr/1364

Context Switch를 더 상세히 이해하기 위해 현재 메모리에 2개의 프로세스가 있는 상황을 가정합니다. 현재 CPU는 Process 0의 코드를 수행하고 있습니다. PC에 저장되어있는 명령어의 주소를 통해 명령어를 fetch 하고, 명령어를 수행할 것입니다. 이제 Process 0은 어느정도 수행했으니 동시성의 환상을 주기 위해 Process 1을 수행해야할 것입니다. CPU가 Process 1을 수행하게 만들어야 합니다.

이러한 전환은 여러 이유로 발생할 수 있습니다. 단순히 동시성을 위해 P0이 일정 시간 이상 수행되어서 전환을 하는 경우도 있고, P0이 I/O 요청을 하여서 그 응답을 기다리는 동안 CPU가 할 일이 없어져서 P1를 불러와야 하는 경우도 있을 수 있습니다.

여러 이유를 통해 P0이 전환되어야 하는 상황에서, 운영체제는 CPU의 제어를 뺏어온 뒤(interrupt or system call, Context Switch)를 수행합니다. Context Switch를 성공적으로 하기 위해서는 먼저 수행중이던 P0의 현재 상황을 P0의 PCB에 저장해야 합니다(save state into PCB0). 어떤 명령어를 수행하다가 멈췄는지, 현재 어떤 함수를 수행하다가 멈췄는지에 대한 정보가 저장되어있어야 이후 다시 context switch를 통해 P0의 차례가 됐을 때 프로그램이 마저 동작할 수 있기 때문입니다. P0의 정보를 저장한 다음, CPU의 레지스터에는 PCB1 의 context 정보를 불러옵니다(reload state from PCB1). 이를 통하여 CPU는 자연스럽게 P1을 수행할 수 있습니다.

P1이 모종에 이유로 전환되어야 한다면 같은 과정이 반복됩니다. 운영체제가 CPU를 점유한 뒤 CPU의 context 정보를 PCB1에 저장하고, PCB0의 정보를 다시 CPU에 옮김으로써 P0은 기존에 종료된 상태로 돌아가 수행을 이어갈 수 있습니다.

이러한 방식을 통해 여러개의 프로세스는 번갈아가며 CPU를 점유하고, 이것으로 우리는 여러 프로그램을 동시에 활용할 수 있게 됩니다. 운영체제는 Context Switch를 하는 과정에서 여러 의사결정을 하기도 합니다. 예를 들어, 다음에 수행될 Process를 누가 되게 할 것인가, 전환이 되는 시점을 언제로 할 것인가 등이 있습니다.

프로세스 생명주기와 State

프로세스의 생명주기에 대해서는 흔히 2-model, 5-model, 7-model 다이어그램으로 나타내곤 합니다. 여기서는 5-model을 통해 설명하도록 하겠습니다.

https://www.baeldung.com/cs/process-lifecycle

프로세스를 효과적으로 관리하기 위하여 운영체제는 프로세스에 상태를 부여하고, 이를 PCB에 저장하여 활용합니다.

Start 혹은 New 상태는 프로세스의 생성을 요청받아 필요한 초기화를 하는 상태를 의미합니다. 이후 수행되기 위한 모든 준비가 완료되면 프로세스는 Ready 상태로 바뀝니다.

Ready 상태의 프로세스들은 CPU를 획득하기 위해 기다리고 있는 프로세스 상태를 의미합니다. 레디 상태에 있는 프로세스들의 PCB는 큐로 관리되어, context switch에 의해서 프로세스를 점유하게 될 시점을 기다립니다. 이후 context switch에 의하여 프로세스를 점유하게 되면, 프로세스는 Running 상태가 됩니다. 이때 context switch를 하는 과정을 dispatch라고 부르기도 합니다.

Running 상태의 프로세스는 현재 CPU에 의해 수행되고 있는 프로세스를 의미합니다. 만약 프로세서가 하나밖에 없다면 모든 프로세스 중 Running 상태의 프로세스 역시 하나밖에 없을 것입니다. Running 상태의 프로세스는 3가지의 상태로 바뀔 수 있습니다.

첫번째는 Ready 상태로 돌아가는 경우입니다. 이 경우는 프로세스가 CPU에 의해 수행되던 도중 동시성을 위해 context switch가 일어나는 경우입니다. 프로세스는 Ready 상태로 돌아가 자기 차례를 기다리게 됩니다.

두번째는 Waiting 상태로 바뀌는 경우입니다. 이 경우는 I/O Operation이 발생하여 Disk에서 필요한 값을 읽어올 때까지 기다리는 경우를 포함합니다. 이 때 프로세스는 I/O Operation이 끝나기 전까지는 프로세스를 점유할 필요가 없으므로 Ready가 아닌 Waiting 상태로 바뀝니다. 이후 I/O Operation이 끝나고 프로세스가 다시 수행할 수 있는 환경이 된다면 Ready 상태로 변경되고, CPU를 점유할 수 있을 때까지 기다리게 됩니다.

세번째는 Termination 상태로 바뀌는 경우입니다. 이 경우는 프로그램의 모든 명령어를 수행하고 종료되는 상황입니다. Termination 상태가 된 프로세스는 운영체제에 의해 사용했던 모든 자원을 반납하고 종료됩니다. 또한 운영체제는 예기치 못한 상황이 발생하여 프로세스를 종료해야할 때 Termination 상태로 바꾸기도 합니다.