세마포어에서 정수값(S) 원자적 연산 P,V 이게 핵심임 


1965년 다익스트라 논문에서도 나온 바가 있음


그럼 점마가 주장하는 이야기는 뭘까?


Mutual Exclusin은 세마포어가 아님


세마포어를 구현 하는 패턴중 하나인거


따라서, binary Semaphore는 상호배제고


COunting Semaphore는 자원 풀 조절임


따라서 세마포어의 핵심 개념을 이해할때 P(), V()의 원자성이라 봐야함


P와 V는 단순한 카운터 조작이 아닌, 동기화 그자체임


이게 세마포어의 본질이고


개 좆도 모르는 새끼가 씨발 형한테 깝치노 ㅋ