[CS330] 8. 동시성 버그와 교착 상태
Atomicity violation, Order violation 등 동시성 버그의 유형과 교착 상태(Deadlock)의 4가지 조건, 예방·회피·탐지 전략을 정리합니다.
Synchronization
[CS330] 7. 동기화 - Lock과 Condition Variable
Race condition과 Critical section 문제부터 Lock 구현(Test-And-Set, Compare-And-Swap), Condition Variable, Semaphore까지 동기화 메커니즘을 정리합니다.