C++ Academy · 강의

std::atomic과 메모리 순서

정확성과 속도에 맞는 메모리 순서로 std::atomic을 사용합니다.

std::atomic과 메모리 순서은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

뮤텍스를 넘어서

잠금은 접근을 직렬화하므로 단순하고 올바르지만 처리량을 제한합니다. std::atomic은 처리량이 높은 동시성 코드에 사용할 무잠금 구성 요소를 제공합니다.

std::atomic 기초

std::atomic<T>는 값을 감싸고 원자적 읽기-수정-쓰기 연산을 지원합니다.

#include <atomic>
std::atomic<int> counter{0};
counter.fetch_add(1);    // atomic increment
int v = counter.load();
counter.store(0);

편의 연산자

산술 형식에서는 일반 연산자도 원자적으로 동작합니다.

std::atomic<int> n{0};
++n;          // atomic increment
n += 5;        // atomic add
int v = n;     // atomic load

원자 연산이 까다로운 이유

CPU는 코어 간 메모리 연산의 순서를 바꿀 수 있습니다. 메모리 순서는 어떤 순서 변경이 허용되는지 지정합니다.

메모리 순서

자주 사용하는 다섯 가지 순서는 다음과 같습니다:

memory_order_relaxed — 원자적이지만 순서를 보장하지 않음
memory_order_acquire — release와 짝을 이룸. 이후의 순서 변경을 허용하지 않음
memory_order_release — acquire와 짝을 이룸. 이전의 순서 변경을 허용하지 않음
memory_order_acq_rel — 두 가지를 모두 적용
memory_order_seq_cst — 순차적으로 일관됨(기본값)

순차적 일관성: 안전한 기본값

기본값인 seq_cst는 직관적으로 동작합니다. 모든 원자 연산이 하나의 전역 순서로 실행되는 것처럼 보입니다. 완화된 순서보다 느리지만 추론하기는 쉽습니다.

획득-해제 짝짓기

생산자에서는 release를, 소비자에서는 acquire를 사용하십시오. acquire 이후에는 일치하는 release보다 먼저 발생한 모든 쓰기가 표시됩니다.

std::atomic<bool> ready{false};
int data = 0;

// producer
data = 42;
ready.store(true, std::memory_order_release);

// consumer
while (!ready.load(std::memory_order_acquire));
std::cout << data;    // sees 42

완화된 순서

완화된 원자 연산은 원자성(찢어진 읽기 없음)을 보장하지만 어떤 순서 변경이든 허용합니다. 순서가 중요하지 않은 단순 카운터에 사용하십시오.

비교 후 교환

대부분의 무잠금 알고리즘의 기반입니다. compare_exchange_strong(expected, desired)는 현재 값이 expected와 같을 때만 원자적으로 값을 갱신합니다.

std::atomic<int> a{10};
int expected = 10;
bool ok = a.compare_exchange_strong(expected, 20);
// if true, a is now 20; otherwise expected holds the actual current value

약한 CAS와 강한 CAS

compare_exchange_weak는 값이 일치하더라도 가짜로 실패할 수 있습니다. 반복문 안에서는 이를 사용하십시오(일부 플랫폼에서 더 저렴함). 반복문 밖에서는 strong을 사용하십시오.

무잠금과 대기 없는 방식

두 가지 진행 보장이 있습니다:

무잠금 — 어느 시점이든 최소 하나의 스레드가 진행함
대기 없음 — 모든 스레드가 제한된 시간 안에 진행함

원자 연산을 사용할 때

원자 연산이 항상 뮤텍스보다 빠른 것은 아닙니다. 임계 경로를 단순하게 유지할 수 있을 때 사용하십시오. 카운터, 플래그, 단순한 상태가 이에 해당합니다. 복잡한 공유 상태에는 대개 뮤텍스가 더 안전하고 명확합니다.

빠른 확인

가장 강력한 보장을 제공하지만 가장 느리기도 한 메모리 순서는 무엇입니까?

복습

std::atomic은 명시적인 메모리 순서를 사용하는 무잠금 기본 연산을 제공합니다. 기본값으로 memory_order_seq_cst를 사용하십시오. 생산자-소비자 패턴에는 acquire/release 쌍을 사용하고, 카운터처럼 순서가 정해지지 않은 원자 연산에는 relaxed만 사용하십시오.

자주 묻는 질문

“std::atomic과 메모리 순서” 강의는 무료인가요?

네 — “std::atomic과 메모리 순서” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“std::atomic과 메모리 순서”에서 뭘 배우나요?

정확성과 속도에 맞는 메모리 순서로 std::atomic을 사용합니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

C++ Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 1번째 강의입니다.

“std::atomic과 메모리 순서” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← C++ Academy(으)로 돌아가기