세마포어, 뮤택스

세마포어는 공유 자원 또는 임계구역에 접근 가능한 스레드 수를 설정하고 제한할 수 있다.
뮤택스는 공유 자원 또는 임계구역에 접근하는 스레드가 있는 동안 다른 스레드는 접근 할 수 없다.

임계구역(critical section)

여러 스레드가 공유가 가능한 영역이라고 보면 된다

추가

compare and set 알고리즘의 일종으로 데이터의 원자성을 보장한다. 데이터를 수정할때 메인 메모리의 값과 일치하면 연산을 수행하고 그렇지 않으면 수행하지 않는다