Thread-safety in C++

이 게시물은 C++에서 안정적인 멀티스레드 코드를 작성하기 위한 스레드 안전성 개념을 정리합니다.

핵심 내용

• 데이터 레이스와 기본 스레드 안전성 개념
• 연산 간 순서 관계: sequenced-before, synchronizes-with, happens-before
• 외부 및 내부 동기화 기법과 std::mutex, std::atomic의 활용
• 기본 스레드 안전성을 보장하지 않는 타입과 그 필요성

기술적 접근

• 내부적으로 동기화된 타입 설계 시도
• 동기화 원시 객체(Synchronization primitives) 사용법
• std::atomic으로 뮤텍스 구현하기