# 동기화 (Synchronization)

## 개요

**동기화(Synchronization)**는 멀티스레드 환경이나 분산 시스템에서 여러 실행 흐름(스레드, 프로세스 등)이 공유 자원(메모리, 파일, 데이터베이스 등)에 접근할 때, 데이터의 일관성을 유지하고 경쟁 조건(Race Condition)을 방지하기 위한 제어 기법을 의미합니다.

현대 컴퓨팅 환경에서 병렬 처리는 성능 향상을 위한 핵심 요소이지만, 동시에 여러 스레드가 동시에 동일한 자원을 수정하려고 할 때 예상치 못한 결과(데이터 손실, 시스템 충돌 등)가 발생할 수 있습니다. 동기화는 이러한 문제를 해결하여 시스템의 안정성과 신뢰성을 보장하는 필수적인 프로그래밍 개념입니다.

## 동기화의 필요성

병렬 프로그래밍에서 동기화가 필요한 주요 이유는 다음과 같습니다.

1. **데이터 일관성 유지**: 여러 스레드가 동시에 공유 변수를 읽고 쓸 때, 중간 단계의 상태가 다른 스레드에 노출되면 잘못된 계산 결과가 발생할 수 있습니다. 동기화는 이러한 '임계 영역(Critical Section)'에 한 번에 하나의 스레드만 진입하도록 제한합니다.
2. **경쟁 조건(Race Condition) 방지**: 두 개 이상의 스레드가 공유 자원에 접근하는 순서에 따라 실행 결과가 달라지는 현상을 방지합니다.
3. **가시성(Visibility) 보장**: 한 스레드가 공유 자원을 수정한 내용을 다른 스레드가 즉시 인지하도록 보장합니다. 캐시 라인(Cache Line)이나 메모리 모델의 특성상, 수정된 내용이 다른 스레드의 캐시에 즉시 반영되지 않을 수 있기 때문입니다.

## 주요 동기화 기법

프로그래밍 언어와 플랫폼에 따라 다양한 동기화 메커니즘이 제공되며, 각각의 특징과 사용 사례가 다릅니다.

### 1. 뮤텍스 (Mutex)
**뮤텍스(Mutual Exclusion)**는 임계 영역에 단 하나의 스레드만 진입할 수 있도록 보장하는 가장 기본적인 동기화 도구입니다.
*   **작동 원리**: 스레드가 임계 영역에 진입하기 전에 뮤텍스를 '잠금(Lock)'합니다. 잠금이 걸린 상태에서는 다른 스레드가 잠금을 시도하면 대기하게 됩니다. 임계 영역 작업을 완료한 후 '잠금 해제(Unlock)'하면 대기 중인 다른 스레드가 잠금을 획득할 수 있습니다.
*   **특징**: 재진입 불가능한 경우가 많으며(Reentrant Mutex 제외), 교착 상태(Deadlock) 발생 위험이 있어 주의가 필요합니다.

### 2. 세마포어 (Semaphore)
세마포어는 카운터 값을 사용하여 동시에 접근할 수 있는 스레드의 수를 제한합니다.
*   **이진 세마포어(Binary Semaphore)**: 값이 0 또는 1인 경우로, 뮤텍스와 유사하게 동작합니다.
*   **계수 세마포어(Counting Semaphore)**: 특정 자원(예: 데이터베이스 연결 풀)의 가용 개수를 관리할 때 유용합니다.

### 3. 모니터 (Monitor)
모니터는 고수준의 동기화 추상화입니다. 프로그래머가 직접 잠금/잠금 해제를 관리할 필요 없이, 모니터 내부의 메서드 호출을 통해 동기화를 처리합니다.
*   **조건 변수(Condition Variable)**: 모니터와 함께 사용되며, 특정 조건이 충족될 때까지 스레드를 대기시켰다가 조건이 충족되면 깨우는 역할을 합니다.

### 4. 읽기-쓰기 락 (Read-Write Lock)
자원에 대한 접근 유형에 따라 락의 엄격함을 조절합니다.
*   **읽기 전용 접근**: 여러 스레드가 동시에 데이터를 읽는 것은 허용합니다.
*   **쓰기 접근**: 데이터를 수정할 때는 배타적 락을 걸며, 이 동안 다른 모든 읽기/쓰기 접근이 차단됩니다.
*   **장점**: 읽기 작업이 훨씬 더 빈번한 경우, 뮤텍스보다 높은 병렬 성능을 제공합니다.

## 교착 상태 (Deadlock)와 해결 방안

동기화를 잘못 사용하면 **교착 상태(Deadlock)**라는 치명적인 오류가 발생할 수 있습니다. 이는 두 개 이상의 스레드가 서로가 가진 자원을 기다리며 무한정 대기하는 상태를 말합니다.

### 교착 상태 발생 4가지 조건
1. **상호 배제**: 자원은 한 번에 하나의 스레드만 사용할 수 있다.
2. **점유 및 대기**: 한 스레드가 자원을 보유하면서 다른 자원을 기다린다.
3. **비선점**: 자원은 강제로 빼앗길 수 없다.
4. **순환 대기**: 스레드들이 자원을 기다리는 순서가 고리 모양으로 연결되어 있다.

### 예방 및 해결 전략
*   **락 순서 고정**: 모든 스레드가 자원을 획득하는 순서를 일관되게 유지합니다.
*   **타임아웃 적용**: 잠금을 시도할 때 일정 시간 내에 획득하지 못하면 실패 처리하여 교착 상태를 피합니다.
*   **락 최소화**: 필요한 최소한의 범위에서만 잠금을 사용하고, 가능한 한 비동기적 접근이나 불변 데이터(Immutable Data)를 활용합니다.

## 현대 프로그래밍에서의 동기화 트렌드

최근에는 전통적인 뮤텍스 기반 동기화보다 더 효율적인 접근 방식이 주목받고 있습니다.

1. **비동기 프로그래밍 (Async/Await)**: I/O 바운드 작업에서 스레드 블로킹을 피하고 이벤트 루프를 통해 효율적으로 작업을 관리합니다.
2. **락리스 프로그래밍 (Lock-free Programming)**: 원자적 연산(Atomic Operations)과 Compare-and-Swap(CAS) 같은 저수준 하드웨어 명령어를 사용하여 잠금 없이도 안전한 동시성을 구현합니다.
3. **데이터 병렬성 (Data Parallelism)**: 스레드 간 공유 상태를 최소화하고, 각 스레드가 독립적인 데이터를 처리하도록 설계하여 동기화 오버헤드를 줄입니다.

## 결론

동기화는 병렬 프로그래밍의 양날의 검과 같습니다. 올바르게 사용될 때 시스템의 성능과 안정성을 극대화하지만, 잘못 사용될 경우 성능 저하나 치명적인 버그를 초래합니다. 개발자는 문제의 성격에 맞는 적절한 동기화 기법을 선택하고, 교착 상태를 예방하기 위한 설계 원칙을 준수해야 합니다. 또한, 가능한 한 공유 상태의 접근을 최소화하고 불변성을 활용하는 것이 가장 효과적인 동기화 전략임을 명심해야 합니다.

## 관련 문서
* [병렬 처리 (Parallel Processing)]
* [경쟁 조건 (Race Condition)]
* [교착 상태 (Deadlock)]
* [원자적 연산 (Atomic Operation)]
* [스레드 안전성 (Thread Safety)]