쓰레드 관련 문제

다중 쓰레드 프로그램 설계 시 고려해야 할 몇 가지 점을 알아보자.

fork()와 exec() 시스템 콜

만약 한 프로그램의 쓰레드가 fork()를 호출한다면

몇몇 유닉스는 이 두 모드를 동시에 지원한다. 이를 선택하는 것은 결국 App 설계자의 몫.

exec()의 경우 모든 쓰레드를 포함한 전체 프로세스를 대체한다.

💡 신호 = 프로세스에 어떠한 이벤트가 일어났음을 알려주기 위해 사용됨.

모든 신호는 다음과 같은 형태로 전달된다.

신호는 특정 이벤트가 일어나야 생성된다.

생성된 신호가 프로세스에 전달된다.

신호가 전달되면 반드시 처리해야 한다.

동기식 신호 : 실행 중인 프로세스 내부에서 발생한 신호

비동기식 신호: 실행 중인 프로세스 외부에서 발생한 신호

모든 신호는 둘 중 하나에 의해 처리된다.

디폴트 신호 처리기

사용자 정의 신호 처리기

단일 쓰레드 : 신호는 항상 프로세스에 전달

다중 쓰레드 : 여러가지 경로가 존재.

비동기식 신호의 경우에는 특히 이러한 선택지가 원할하지 않다.

쓰레드 강제종료를 의미한다. 이때의 쓰레드를 목적 쓰레드라고 한다.

목적 쓰레드의 취소는 2가지 방식으로 발생시킬 수 있다.

쓰레드 취소를 어렵게 하는 것은 취소 쓰레드에 할당된 자원 문제.

또 쓰레드가 타 쓰레드와 자원을 공유하는 상황에서 취소 요청이 와도 문제.

각각의 쓰레드만 접근할 수 있는 데이터가 필요하기도 하다.

이를 저장하는 곳은 쓰레드-로컬 저장장치 (TLS)라고 한다.

중요한 점은 TLS와 지역변수가 다르다는 것!

정적 데이터(static)과 좀 더 유사.

쓰레드 라이브러리와 커널의 통신 문제도 고려해야 한다.

이 경우, 사용자 쓰레드와 커널 쓰레드 사이에 중간 자료구조를 둔다.

이를 경량 프로세스(LWP) 라고 한다.
프로그램의 효율적 실행을 위해 LWP의 갯수를 조정해야 할 수도 있다.
사용자 스레드 라이브러리에게 있어, LWP은 응용이 사용자 스레드를 스케줄할 수 있는 가상 처리기처럼 보인다.

커널은 관여하지 않는 것처럼 보인다.
LWP는 하나의 커널 스레드에 부속되어 있으며, 사용자 스레드와도 연결되어 있다.
물리 처리기에서 스케줄 하는 대상은 커널 스레드이다.
커널 스레드가 입출력같은 것을 동기식으로 기다리면 LWP가 기다리고, 이에 연결된 사용자 스레드도 기다린다.

사용자 스레드 라이브러리와 커널 스레드 간의 통신 방법 중 하나는 스케줄러 액티베이션이다.

커널은 upcall 이라 불리는 프로시저를 통하여 응용 프로그램에게 사건을 알린다.

upcall 처리는 다음과 같이 수행된다.