[Thead] 쓰레드 정리
쓰레드(Thread)
- 쓰레드란 프로그램 실행의 단위
- 하나의 프로세스는 여러개의 쓰레드로 구성 가능
- 하나의 프로세스를 구성하는 쓰레드들은 프로세스에 할당된 메모리 자원 등을 공유
- 프로세스와 같이 실행, 준비, 대기 등의 실행 상태를 가지며 실행 상태가 변할때마다 쓰레드 문맥교환(context switching)을 수행
- 각 쓰레드별로 자신만의 스택과 레지스터를 가짐
- 한 순간에 하나의 쓰레드만 실행 가능
- 쓰레드란 프로세스 내에서 실행되는 흐름의 단위를 의미
프로세스와 쓰레드의 차이
프로세스는 운영체제로부터 자원을 할당받는 작업의 단위
쓰레드는 프로세스가 할당받은 자원을 이용하는 실행의 단위
- 프로세스는 실행중인 프로그램 / 많은 시간과 자원을 소비
- 쓰레드는 프로세스의 실행 단위로 프로세스 내의 주소 공간이나 자원을 공유받음 이 경우 각각의 쓰레드는 독립적인 작업을 수행해야 하기 때문에 각자의 스택과 PC 레지스터 값을 갖고 있음
스택을 쓰레드마다 독립적으로 할당하는 이유
스택은 함수 호출 시 전달되는 인자, 되돌아갈 주소값 및 함수 내에서 선언하는 변수 등을
저장하기 위해 사용되는 메모리 공간이므로
스택 메모리 공간이 독립적이라는 것은
독립적인 함수 호출이 가능하다는 것이고
이는 독립적인 실행 흐름이 가능하게 한다.
따라서 독립적인 실행 흐름을 위한 최소 조건으로 독립된 스택을 할당한다.
PC Resister를 쓰레드마다 독립적으로 할당하는 이유
- PC 값은 쓰레드가 명령어의 어디까지 수행하였는지를 나타나게 된다.
- 쓰레드는 CPU를 할당받았다가 스케줄러에 의해 다시 선점당한다. 그렇기 때문에 명령어가 연속적으로 수행되지 못하고 어느 부분까지 수행했는지 기억할 필요가 있다.
- 따라서 PC 레지스터를 독립적으로 할당한다.
쓰레드의 장점 / 단점
장점
- 쓰레드는 하나의 프로세스 내의 자원을 공유하기 때문에 프로세스에 비해 자원 할당 비용이 적게 들고 문맥 교환 비용도 적음
- 다중 스레드의 경우 일부 스레드의 처리가 지연되더라도 다른 스레드에서 작업을 계속 처리할 수 있음
- 프로세스 간의 통신은 IPC가 필요한 반면, 쓰레드는 공유(데이터, 힙)주소 공간을 사용하여 데이터를 교환할 수 있음
- 프로세스를 생성하여 자원을 할당하는 시스템 콜이 줄어들어 자원을 효율적으로 관리
단점
- 하나의 쓰레드에서 발생한 문제가 프로세스 전반에 영향을 미칠 수 있음
- 자원을 공유하기 때문에 동기화 문제가 발생할 수 있음
쓰레드 동기화 방법의 종류
- Mutex / Semaphore / Monitor 공통점은 세가지 모두 운영체제의 동기화 기법이라는 것
- 뮤텍스(Mutex Exclusion)
- 쓰레드의 동시 접근을 허용하지 않는다는 의미
뮤텍스 쓰레드의 동기화 방법은 임계영역에 들어가기 위해 이 뮤텍스를 가지고 있어야 들어갈 수 있다. ex) 일종의 자물쇠 역할
임계영역에 들어간 쓰레드가 뮤텍스를 이용해 임계영역에서 본인이 나올때까지 다른 쓰레드가 못 들어오게 내부에서 자물쇠로 잠근다.
- 세마포어(Semaphore)
- 세마포어 역시 뮤텍스와 비슷한 역할을 하지만세마포어는 동시 접근 동기화가 아닌 접근 순서 동기화에 더 관련있다.
- 모니터(Monitor)
- Mutex(Lock)와 Condition Variables(Queue라고도 함)을 가지고 있는 Synchronization 메카니즘이다.
뮤텍스 / 모니터 는 상호배제를 함으로써 임계구역에 하나의 쓰레드만 들어감
세마포어는 하나의 쓰레드만 들어가거나 혹은 여러개의 쓰레드가 들어감
뮤텍스와 모니터의 차이
뮤텍스는 다른 프로세스(애플리케이션)간에 동기화를 위해 사용, 모니터는 하나의 프로세스(애플리케이션)내에 다른 쓰레드간 동기화에 사용
- 뮤텍스는 운영체제 커널에 의해 제공 / 모니터는 프레임워크나 라이브러리
- 뮤텍스는 무겁고 느림 / 모니터는 가볍고 빠름
세마포어와 모니터의 차이
- Java에서는 모니터를 모든 객체에게 기본적으로 제공하지만 C에서는 모니터 사용 X
- 세마포어는 카운터라는 변수값으로 프로그래머가 상호 배제나 정렬의 목적으로 사용시 매번 값을 따로 지정해줘야 하는 등 번거로움
- 모니터는 이러한 일들이 캡슐화되어 있어서 개발자가 카운터 값을 1, 0 중 뭘 줄지 고민할 필요 없이 synchronized, wait(), notify() 등의 키워드를 이용해 편하게 동기화 가능
뮤텍스와 세마포의 차이는?
세마포어는 뮤텍스가 될 수 있지만
뮤텍스는 세마포어가 될 수 없다.
예를 들어 Casting을 한다고 보면
(뮤텍스)세마포어 –> 가능
(세마포어)뮤텍스 –> 불가능
세마포어는 소유할 수 없는 반면
뮤텍스는 소유할 수 있고 소유자가 이에 책임을 진다.
뮤텍스는 1개만 동기화가 되지만
세마포어는 하나 이상을 동기화 할 수 있다.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
변기가 하나뿐인 화장실에서는 앞의 사람이 볼일을 마치고 나가야 다음 사람이 들어갈 수 있다. 이렇게 한번에 오직 하나만 처리할 수 있는 대상에 사용하는 것이 뮤텍스이다. 변기가 세개인 화장실에서는 동시에 세 사람이 볼일을 볼 수 있고 이 세 사람 중 아무나 한명이 나오면 다음 사람이 볼일을 볼 수 있다. 이렇게 동시에 제한된 수의 여러 처리가 가능하면 세마포어이다. 만약 변기 세개짜리 화장실의 각 변기에 대해 뮤텍스를 사용한다면 대기중인 사람은 각 변기 앞에 줄을 서는 것이고 이렇게 되면 옆 칸이 비어도 들어가지 못하게 된다. 만약 변기 세개를 묶어서 뮤텍스를 사용한다면 변기 수에 관계없이 무조건 한명만 사용할 수 있게 된다. 이 예에서 변기는 동기화 대상, 사람은 그 동기화 대상에 접근하는 쓰레드를 나타낸다. 뮤텍스와 세마포어의 목적은 특정 동기화 대상이 이미 특정 쓰레드에 의해 사용중일 경우 다른 쓰레드가 해당 동기화 대상에 접근하는 것을 제한하는 것으로 동일하지만 관리하는 동기화 대상이 몇개 인가에 따라 차이가 생기게 되는 것이다.Reference