세마포어는 알고리즘을 제공하는 모델이고


세마포어 모델 위에서 생산자-소비자 문제에서 알고리즘 형식으로 구현되는거


상태와 원자적 연산을 이용한 모델링 기법이라 이야기해야하는데 알고리즘은 아님.