Thread-safety in C++

간단 소개

C++ 멀티 스레드 환경에서 안정적인 코드 작성을 위한 스레드 안전성 개념 (Data race, Basic thread safety, 동기화)을 설명한다.

AI Summary

Data Race와 선후 관계
- Data race는 멀티 스레드 환경에서 발생할 수 있는 문제로, race condition을 유발한다.
- 연산 간의 선후 관계 (sequenced-before, synchronizes-with, happens-before)를 이해하는 것이 중요하다.
Basic Thread Safety와 동기화
- Basic thread safety는 특정 타입이 여러 스레드에서 안전하게 사용될 수 있음을 의미한다.
- Standard library의 thread safety와 std::shared_ptr의 thread safety를 이해해야 한다.
- External synchronization (mutex, atomic)을 통해 thread safety를 보장할 수 있다.
Internally Synchronized Types
- Internally synchronized types는 자체적으로 동기화를 제공하여 thread safety를 보장한다.
- std::atomic을 사용하여 mutex를 구현하는 방법이 있다.
- Synchronization primitives를 사용하여 internally synchronized type을 만들 수 있다.