[CE] Process versus Thread

Process versus Thread

Process (프로세스)

Process는
자신을 위한 독립된 메모리 공간 등의 리소스를 차지한 상태에서
실행 중인 프로그램의 instance
라고 볼 수 있음.

 

독립된 execution unit (실행 단위)이며, self-contained(자체포함) unit임.

• 하나의 프로세스는 자신을 위한 독립되고 격리된
  • address space(=memory space)와
    • 고유의 data, heap, stack 영역으로 구성된 address space를 가짐.
  • 시스템 리소스 (file 등),
  • execution path 데이터 등을 가짐.

위의 내용을 다르게 표현하면 프로세스는 독립된 protected location을 가지고 있다라고 할 수 있다. 

• 각 프로세스들은 서로에 대해 독립적이며 격리되어 있기 때문에 각 프로세스간의 통신을 위해서 Inter-Process Communication (IPC) 등이 요구됨.
  • 한 프로세스의 에러 등이 다른 프로세스에 영향을 주지 않음.

일반적으로 컴퓨터에서 특정 Application을 실행시킬 경우,

• 해당 Application은
• 하나의 Process로서
• 자체의 고유한 설정과 리소스를 가진 독립적인 실행단위로 수행된다.

각 Process는
서로 독립적이고 격리되어 있어서
다른 프로세스의 실행에 문제가 발생해도 영향을 받지 않음. 

---

참고 : Self-contained Unit

여기서 self-contained unit이란

해당 unit(단위)이 자체적으로 필요한 모든 것을 포함하고 있어서 외부의 지원 없이 독립적으로 기능할 수 있음을 의미한다.

 

Process를 self-contained unit이라고 하는 이유는

Process가 독립적인 execution unit으로 동작하기 위해서

필요한 resources (isolated memory or address space, 데이터, execution path 등등)를 포함하고 있기 때문이다.

---

Thread (스레드)

Smallest execution unit으로 Process내에 속함.

달리 말하면, Process 내의 execution unit이 바로 Thread 임. 

• 하나의 Process는 하나 이상의 Thread를 가짐
• 한 Process 내에 존재하는 Threads(같은 process에 속하는)는
  address space와 System resource들을 공유하기 때문에
  같은 Process에만 속한 경우 Thread 간의 통신은 공유된 자원을 통해 쉽게 이루어짐.
  • 리소스를 공유하기 때문에 "Light-weighted Process"라고도 불림.
  • Thread는 자체 execution path와 control stack을 가지지만 나머지 리소스를 공유함.
  • 생성 및 종료, Context changing 등에서 Process보다 보다 빠르게 동작가능함. (가볍기 때문이라고 생각하면 됨.)

예를 들어

웹브라우저를 수행할 경우 이는 하나의 Process로 동작하지만,

해당 웹브라우저가 여러 tab으로 구성되어 여러 웹페이지를 읽어들인 상태라면,

각각의 탭은 하나의 Thread로 동작하면서 병렬적으로 실행된다.

• 여러 Thread는 병렬로 실행가능 (CPU의 core 갯수 만큼)하며
• 동일 프로세스 내에서 자원을 공유하기 때문에 낮은 격리성을 가진다.
• 이 낮은 격리성은 리소스나 context changing 에서 light-weight라는 장점으로 이어지지만,
• race condition이나 data corruption과 같은 동기화 관련 문제에 보다 취약하다.

---

참고

Context Changing (Context Switch)

• multi-tasking등을 위해,
  현재 실행 중인 프로세스나 스레드의 상태 정보를 저장하고
  다른 프로세스나 스레드의 상태 정보로 교체하는 과정을 가르킴.
• Context switch는
  execution unit의 상태를 저장하고 다른 execution unit을 수행케 하고
  이후 아까의 execution unit의 상태를 다시 불러와서 계속해서 실행이 가능하도록 해줌.
  (실행되던 프로세스관련 cpu의 register의 정보가 해당 프로세스의 PCB로 저장되고, 수행될 프로세스의 PCB이 register로 복사)

Race Condition (경쟁조건)

• 두 개 이상의 스레드가 공유하고 있는 데이터에 읽거나 쓰는 동작을 동시에 하려고 하는 경우.
• 스레드간의 실행순서가 예측 불가능하기 때문에 동작이 불안정함(매번 다른 결과로 이어지거나 정상동작이 이루어지지 않음)

Data Corruption (데이터 손상)

• 데이터가 잘못되는 현상을 가르킴.
• 다양한 원인에 의해 발생되지만 앞서 살펴본 race condtion은 Mutli-threading programming에서 data corruption의 주요 원인임.
• 한 스레드의 변경사항을 다른 스레드가 덮어쓰는 등의 경우에 발생함.

 

일반적으로 race condition과 data corruption등은 Synchronization (lock 이나 세마포어 이용)을 통해 방지할 수 있음.

---

Conclusion

• Process : OS 에서의 별도의 execution unit을 구성. 
• Thread : Process 내에서 별도의 execution unit을 구성.

 

Multi-Processing	Multi-Threading
하나의 Application을 여러 개의 Process로 구성하고, 각 Process가 하나의 작업을 처리하도록 프로그래밍.	하나의 Application을 여러 개의 Thread로 구성하고, 각 Thread가 하나의 작업을 처리하도록 프로그래밍.
각 Process는 고유한 address space와 같은 실행에 필요한 resources를 가지며 높은 격리성을 가짐.	한 프로세스 내의 threads는 자신이 속한 process의 resource를 공유하며 자체적인 제어흐름을 위한 execution path와 stack을 가짐.
높은 격리성으로 인해 Process간 통신에 많은 리소스와 시간이 소요됨 IPC를 이용하여 통신	같은 메모리 (address space)를 공유하기 때문에 Thread간의 통신이 process간 통신에 비해 훨씬 쉽고 빠르게 수행가능함.

---

References

https://dsaint31.tistory.com/421

[CE] 프로그래머를 위한 (Logical) Memory 구조 : Stack, Heap, Code

https://vmilsh.tistory.com/377

운영체제 스레드(Thread)는 무엇인가요?