원자적 연산(atomic operation), 메모리 가시성(memory visibility), 메모리 배리어(memory barrier)를 설명하라.

Question

IT Interview Practice · Accepted Answer

**원자적 연산은 분할 불가능하게 완료됩니다 — 다른 어떤 스레드도 절반만 완료된 상태를 보지 못합니다. 메모리 가시성은 한 스레드의 쓰기가 다른 스레드에게 보이는지 여부이고, 메모리 배리어는 그 쓰기가 보이도록 순서를 강제합니다.** 락만이 관심사가 아니라 — 메모리 모델이 그러합니다.

## 원자성

원자적 연산(예: `fetch_add`, compare-and-swap)은 하나의 분할 불가능한 단계로 실행되므로 어떤 경쟁도 그것을 쪼갤 수 없습니다. 하드웨어와 언어는 완전한 락 없이도 카운터와 플래그를 위한 원자 연산을 제공합니다.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomic read-modify-write, no lock
```

## 가시성과 재정렬

현대의 CPU와 컴파일러는 속도를 위해 값을 레지스터에 캐싱하고 명령을 재정렬합니다. 그래서 한 스레드의 쓰기가 스토어 버퍼(store buffer)에 머물러 다른 스레드에게 보이지 않을 수 있고, 연산이 순서와 다르게 나타날 수 있습니다.

```java
// Without 'volatile', thread B may loop forever:
volatile boolean ready = false;  // volatile → writes are visible + ordered
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  then read data
```

## 메모리 배리어

**배리어**(펜스, fence)는 그것을 가로지르는 재정렬을 막고 메모리를 플러시/로드하여 순서를 보장하는 명령입니다. `volatile`, `synchronized`, 원자 연산은 적절한 배리어를 삽입하여 happens-before 관계가 성립하도록 합니다: A가 해제(release) 전에 쓴 것을, B가 획득(acquire) 후에 봅니다.

## 왜 중요한가

원자성만으로는 충분하지 않습니다 — 가시성 보장이 없으면 올바르게 잠긴 값도 여전히 오래된 채로 읽힐 수 있습니다. 이것이 `volatile`이 존재하는 이유, 이중 검사 잠금(double-checked locking)이 미묘한 이유, 그리고 락프리 코드가 메모리 순서 선택에 신중해야 하는 이유를 설명합니다. 이것이 "내 컴퓨터에서는 되는데"와 실제 멀티코어 하드웨어에서 올바른 것 사이의 차이입니다.

원자성

가시성과 재정렬

메모리 배리어

왜 중요한가

관련 질문