이 문제는 mutex의 test-and-set! 프로시저가 알갱이(atomic) 연산이 아니라서

두 프로세스가 한꺼번에 mutex를 쥘 때 문제점을 얘기해야합니다.

하지만 생각해보니 두 프로세스가 한꺼번에 mutex를 쥐게 되면

둘은 자신만이 해당 프로시저를 쓸 수 있다고 생각하기에

결론적으로 그림 3.29와 같은 결과가 나온다고 생각합니다.

내부적으로는 좀 더 세밀하게 접근해야겠지만, 이정도면 충분하지 않나 싶습니다.^^;;;

참조

해럴드 애빌슨, 김재우 역, <컴퓨터 프로그램의 구조와 해석>, 인사이트, 2007, pp. 407

크리에이티브 커먼즈 라이선스

이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이선스에 따라 이용하실 수 있습니다.