# 스레드 안전성 (Thread Safety)

스레드 안전성이란 다중 스레드 환경에서 여러 스레드가 동시에 공유 자원에 접근하더라도 프로그램의 실행 결과가 항상 올바르게 유지되는 특성을 의미합니다. 즉, 공유 데이터에 접근하는 순서나 타이밍에 상관없이 항상 예측 가능한 결과가 보장되는 상태를 말합니다.

## 스레드 안전성이 필요한 이유

다중 스레드 환경에서 여러 스레드가 동일한 메모리 공간(공유 자원)을 동시에 수정하려고 할 때 **경쟁 상태(Race Condition)**가 발생합니다. 경쟁 상태가 발생하면 데이터의 일관성이 깨지며, 이는 예측 불가능한 버그나 시스템 충돌로 이어지는 **데이터 불일치 문제**를 야기합니다. 따라서 프로그램의 안정성과 신뢰성을 확보하기 위해서는 스레드 안전성을 보장하는 설계가 필수적입니다.

## 스레드 안전성을 확보하는 방법

### 상호 배제 (Mutual Exclusion)
공유 자원에 접근하는 스레드를 한 번에 하나로 제한하는 방법입니다.
- **뮤텍스(Mutex):** 하나의 스레드만이 자원을 점유할 수 있도록 잠금(Lock)을 거는 방식입니다.
- **세마포어(Semaphore):** 지정된 개수의 스레드만 동시에 자원에 접근할 수 있도록 제어하는 신호기 방식입니다.

### 불변 객체 (Immutable Object)
객체가 생성된 후 그 상태를 변경할 수 없도록 만드는 방법입니다. 상태 변경이 일어나지 않으므로 여러 스레드가 동시에 읽어도 데이터 불일치가 발생하지 않습니다.

### 스레드 로컬 저장소 (Thread Local Storage)
공유 자원을 사용하는 대신, 각 스레드마다 독립적인 자원 복사본을 할당하는 방법입니다. 스레드 간에 자원을 공유하지 않으므로 동기화 오버헤드가 없습니다.

### 원자적 연산 (Atomic Operation)
더 이상 쪼갤 수 없는 최소 단위의 연산을 수행하는 방법입니다. 하드웨어 수준에서 지원하는 **CAS(Compare-And-Swap)** 알고리즘 등을 사용하여 락(Lock) 없이도 안전하게 값을 업데이트할 수 있습니다.

## 방법론 비교

| 방법 | 주요 특징 | 장점 | 단점 |
| :--- | :--- | :--- | :--- |
| **상호 배제** | Lock을 통한 접근 제어 | 확실한 동기화 보장 | 데드락(Deadlock) 위험, 성능 저하 |
| **불변 객체** | 상태 변경 불가 | 설계가 단순하고 안전함 | 객체 생성 비용 증가 |
| **스레드 로컬** | 스레드별 독립 자원 | 동기화 비용 없음 | 메모리 사용량 증가 |
| **원자적 연산** | 하드웨어 기반 원자성 | 높은 성능 (Non-blocking) | 복잡한 로직 구현의 어려움 |

## 구현 예시 (Java)

다음은 Java에서 `synchronized` 키워드(상호 배제)와 `AtomicInteger`(원자적 연산)를 사용하여 스레드 안전성을 구현한 예시입니다.

```java
import java.util.concurrent.atomic.AtomicInteger;

public class ThreadSafetyExample {
    // 1. 상호 배제를 이용한 방법
    private int count = 0;
    public synchronized void increment() {
        count++;
    }

    // 2. 원자적 연산을 이용한 방법
    private AtomicInteger atomicCount = new AtomicInteger(0);
    public void atomicIncrement() {
        atomicCount.incrementAndGet();
    }

    public int getCount() { return count; }
    public int getAtomicCount() { return atomicCount.get(); }
}
```