Thread-safety in C++

NAVER ENGINEERING DAY 2025에서 발표된 C++ 스레드 안전성 관련 세션 내용을 정리한 글입니다. 동시성 프로그래밍을 하는 C++ 개발자를 대상으로 하며, 데이터 경쟁(Data race)과 기본적인 스레드 안전성 개념을 설명합니다.

특히 연산 간의 순서 관계를 정의하는 sequenced-before, synchronizes-with, happens-before 관계를 다루고, 표준 라이브러리의 스레드 안전성과 std::shared_ptr T의 안전성을 분석합니다. 또한, 외부 동기화(External synchronization) 기법으로 std::mutex와 std::atomic을 활용하는 방법과 내부적으로 동기화된 타입(Internally synchronized types)을 만드는 과정을 소개합니다.

이를 통해 C++에서 안정적인 멀티스레드 코드를 작성하기 위한 핵심 개념과 실질적인 구현 방법을 제시합니다.