데이터 경쟁(data race)이란 무엇이며 어떻게 탐지하나요?

Question

Accepted Answer

**데이터 경쟁(data race)**은 둘 이상의 goroutine이 **같은 메모리**에 동시에 접근하고, 적어도 하나의 접근이 **쓰기**이며, 그 사이에 **동기화가 없을 때** 발생합니다. 결과는 정의되지 않은 동작입니다 — 손상된 데이터, 크래시, 또는 간헐적으로 나타나는 잘못된 결과. Go는 이를 찾는 내장 **경쟁 탐지기(race detector)**를 제공합니다.

## 데이터 경쟁의 모습

```go
// ❌ 데이터 경쟁 — 여러 goroutine이 동기화 없이 같은 변수에 씀
func main() {
    counter := 0
    var wg sync.WaitGroup
    for i := 0; i < 1000; i++ {
        wg.Add(1)
        go func() {
            defer wg.Done()
            counter++       // 경쟁: 읽기-수정-쓰기, 여러 goroutine이 동시에
        }()
    }
    wg.Wait()
    fmt.Println(counter)    // 종종 1000이 아님 — 경쟁으로 갱신이 손실됨
}
```

`counter++`는 읽기-수정-쓰기(세 단계)입니다. goroutine이 끼어들면 갱신이 서로를 덮어써, 최종 카운트가 예측 불가능합니다. 결과가 *실행마다 달라집니다* — 경쟁의 음흉한 본질입니다.

## 경쟁 탐지기 — 여기서 Go의 킬러 기능

```bash
go run -race main.go       # 경쟁 탐지를 켜고 실행
go test -race ./...        # 경쟁 탐지기로 테스트 실행(CI의 모범 사례)
go build -race             # 경쟁 탐지 바이너리 빌드
```

```text
경쟁 탐지기는 관찰한 각 경쟁을 보고:
  ==================
  WARNING: DATA RACE
  Write at 0x... by goroutine 7:  main.main.func1()  main.go:12
  Previous read at 0x... by goroutine 6: ...
  ==================
```

**경쟁 탐지기**는 런타임에 메모리 접근을 계측하여 경쟁이 일어나는 정확한 위치(충돌하는 접근과 그 goroutine/줄)를 보고합니다. Go의 가장 가치 있는 도구 중 하나입니다 — 프로덕션 전에 경쟁을 잡으려면 테스트를 `-race`로 정기적으로(특히 CI에서) 실행하세요.

## 데이터 경쟁 고치기

```go
// 고치기 1: mutex로 보호
var mu sync.Mutex
mu.Lock(); counter++; mu.Unlock()

// 고치기 2: 원자적 연산 사용(잠금 없음, 단순한 값에)
import "sync/atomic"
var counter int64
atomic.AddInt64(&counter, 1)     // 원자적 — 경쟁 없음

// 고치기 3: 공유하지 말 것 — channel로 소유권 전달
results := make(chan int)
// 각 goroutine이 결과를 보냄; 하나의 goroutine이 집계
```

고치는 방법은 동기화 도구입니다: 접근을 직렬화하는 **mutex**, 단순 카운터를 위한 **원자적** 연산, 또는 메모리 공유를 아예 피하는 **channel**.

## 경쟁이 위험한 이유

```text
✗ 비결정적 — 테스트에서는 동작, 프로덕션에서 실패(타이밍 의존)
✗ 재현하기 어려움 — goroutine 스케줄링, 부하, 하드웨어에 의존
✗ 정의되지 않은 동작 — 단지 잘못된 값이 아니라; 데이터 손상이나 크래시 가능
✗ 경쟁 탐지기 없이는 종종 보이지 않음 — 오류 없이, 그저 미묘하게 틀린 결과
```

## 왜 중요한가

데이터 경쟁은 동시 Go에서 가장 위험하고 디버깅하기 어려운 버그 중 하나입니다 — 그리고 Go의 동시성 중심 설계는 이를 실제 위험으로 만듭니다.

음흉한 이유는 **비결정적**이기 때문입니다: 경쟁이 있는 코드가 모든 테스트를 통과하고 가벼운 부하에서 잘 동작하다가, 동시 부하 아래 프로덕션에서 간헐적으로 실패하여, 재현이 거의 불가능한 손상된 데이터, 잘못된 결과, 또는 크래시를 일으킵니다.

정확한 정의(동기화 없이 적어도 하나의 쓰기를 포함하는 공유 메모리에 대한 동시 접근)를 이해하고, `counter++` 같은 순진해 보이는 코드도 경쟁한다는 것을 인식하며, 고치는 방법(mutex, atomic, channel)을 아는 것은 올바른 동시 Go 작성에 필수적입니다.

결정적으로, Go의 내장 **경쟁 탐지기**(`-race`)는 필수 도구입니다 — 테스트를 그것으로 실행하면(이상적으로 CI에서) 그렇지 않으면 보이지 않는 경쟁을 잡습니다.

경쟁 탐지와 방지를 숙달하는 것은 프로덕션급 동시 Go의 기본 기술이자 언어에서 가장 중요한 고급 주제 중 하나입니다. 동시성 정확성이 바로 Go 프로그램이 가장 자주 실패하는 지점이기 때문입니다.