스레드 (Thread)

핵심은 스택만 따로 갖는다는 점입니다. 함수 호출 흐름이 스레드마다 독립적이어야 하므로 스택은 나눠야 하고, 나머지는 공유해서 생성과 전환이 가볍습니다.

이 구조가 장점이자 위험입니다. 힙과 전역변수를 함께 쓰므로 통신이 쉽지만, 동시에 접근하면 경쟁 조건이 생깁니다. 한 스레드가 잘못된 메모리를 건드리면 프로세스 전체가 죽습니다.

흔한 실수: 힙을 독립 자원으로 답하는 것. 힙은 프로세스 단위로 하나이고, 그래서 한 스레드가 할당한 객체를 다른 스레드가 그대로 씁니다.

커널이 스레드의 존재를 아는지가 다릅니다.

두 번째와 네 번째가 결정적입니다. 사용자 레벨만 쓰면 스레드 하나가 파일을 읽는 동안 나머지도 멈춥니다.

현대 운영체제는 대부분 커널 레벨을 쓰고, 그 위에 경량 실행 단위(코루틴, 고루틴, 가상 스레드)를 올리는 방식이 늘고 있습니다. 커널 스레드 몇 개에 수만 개의 논리 흐름을 얹어 두 장점을 합치려는 시도입니다.

흔한 실수: 사용자 레벨을 옛 기술로만 설명하는 것. 지금의 코루틴이 같은 아이디어를 다시 쓰고 있습니다.

스레드를 매번 만들고 없애는 비용을 없애고, 동시 실행 수에 상한을 두기 위해서입니다.

두 번째가 더 중요합니다. 요청마다 스레드를 만들면 동시 접속 2,000에서 실행 흐름이 2,000개가 되고, 커널이 이들을 번갈아 실행하는 비용만으로 CPU 가 소진됩니다.

풀 크기는 작업 성격으로 정합니다.

흔한 실수: 크면 좋다고 보는 것. CPU 중심 작업에서 스레드를 코어보다 많이 두면 교환 비용만 늘어납니다.