2008년 07월 18일
SICP Exercise 연습문제 3.46
이 문제는 mutex의 test-and-set! 프로시저가 알갱이(atomic) 연산이 아니라서
두 프로세스가 한꺼번에 mutex를 쥘 때 문제점을 얘기해야합니다.
하지만 생각해보니 두 프로세스가 한꺼번에 mutex를 쥐게 되면
둘은 자신만이 해당 프로시저를 쓸 수 있다고 생각하기에
결론적으로 그림 3.29와 같은 결과가 나온다고 생각합니다.
내부적으로는 좀 더 세밀하게 접근해야겠지만, 이정도면 충분하지 않나 싶습니다.^^;;;
참조
해럴드 애빌슨, 김재우 역, <컴퓨터 프로그램의 구조와 해석>, 인사이트, 2007, pp. 407
# by | 2008/07/18 17:25 | in OCW | 트랙백 | 덧글(0)
◀ 이전 페이지 다음 페이지 ▶
