CS 기초 면접 퀴즈

프로세스 (Process)

프로세스란?

실행 중인 프로그램의 인스턴스. OS가 관리하는 작업 단위.

메모리 구조

높은 주소 ─────────────
│     스택 (Stack)     │ 지역변수, 매개변수
│          ↓           │
│     (빈 공간)        │
│          ↑           │
│     힙 (Heap)        │ 동적 할당 (malloc, new)
│     데이터 (Data)    │ 전역변수, static
│     코드 (Code/Text) │ 실행 명령어
낮은 주소 ─────────────

프로세스 상태

[생성] → [준비] ⇄ [실행] → [종료]
              ↕
           [대기/블록]

실무 포인트

• fork(): 부모 프로세스 복사하여 자식 프로세스 생성
• exec(): 현재 프로세스를 새 프로그램으로 교체
• 좀비 프로세스: 종료됐지만 부모가 회수 안 한 상태
• 고아 프로세스: 부모가 먼저 종료된 자식 (init이 입양)

스레드 (Thread)

스레드란?

프로세스 내의 실행 흐름 단위. 같은 프로세스의 메모리를 공유.

공유 vs 독립

사용자 스레드 vs 커널 스레드

동기화 문제

Thread A: balance = balance + 100
Thread B: balance = balance - 50

1. A 읽기: balance = 1000
2. B 읽기: balance = 1000   ← 아직 A가 안 씀!
3. A 쓰기: balance = 1100
4. B 쓰기: balance = 950    ← A의 변경 무시!

→ Race Condition 발생. 뮤텍스/세마포어로 해결.

실무 포인트

• Java: Thread, ExecutorService (스레드풀)
• Python: GIL 때문에 멀티스레딩 CPU 바운드에 불리
• Go: goroutine (경량 스레드, M:N 모델)

프로세스 vs 스레드

핵심 비교

메모리 구조

[프로세스 A]          [프로세스 B]
┌────────────┐       ┌────────────┐
│ 코드       │       │ 코드       │
│ 데이터     │       │ 데이터     │
│ 힙         │       │ 힙         │
│ 스택(T1)   │       │ 스택(T1)   │
│ 스택(T2)   │       │ 스택(T2)   │
└────────────┘       └────────────┘
  독립 공간             독립 공간

[스레드 간 공유]
┌────────────────────┐
│ 코드 / 데이터 / 힙  │ ← 공유
├────────────────────┤
│ 스택(T1) │ 스택(T2) │ ← 독립
└────────────────────┘

실무 선택 기준

• 멀티 프로세스: 안정성 중요 (Chrome 탭, Nginx worker)
• 멀티 스레드: 성능 중요 (Java 서버, 게임 서버)
• 이벤트 루프: I/O 바운드 (Node.js, Redis)