이 문제는 세마포(semaphore)라는 것을

뮤텍스(mutex)와 test-and-set! 프로시저를 이용하여 구현하는 문제입니다.

구현을 하기는 했지만 동작을 시키지 않아 어떤 문제점이 생길지 알 수 없습니다.

그 점이 아쉽습니다.

참조

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

; a
(define (make-semaphore n)
  (let ((i 0)
        (mutex (make-mutex)))           
    (define (the-semaphore m)
      (cond ((eq? m 'acquire)
             (set! i (+ i 1)) ; i 증가
             (if (= i 0)
                 (mutex 'acquire))
             (if (>= i n)
                 (mutex 'acquire))) ; retry
            ((eq? m 'release)
             (set! i (- i 1)) ; i 감소
             (if (>= i n)
                 (mutex 'release))
             (if (= i 0)
                 (mutex 'release)))))
    the-semaphore))

; b
(define (make-semaphore n)
  (let ((i 0)
        (cell (list false)))           
    (define (the-semaphore m)
      (cond ((eq? m 'acquire)
             (set! i (+ i 1)) ; i 증가
             (if (>= i n)
                 (if (test-and-set! cell)
                     (the-semaphore 'loop)))) ; retry
            ((eq? m 'release)
             (set! i (- i 1)) ; i 감소
             (if (>= i n)
                 (clear! cell))
             (if (= i 0)
                 (clear! cell)))
            ((eq? m 'loop)
             (if (test-and-set! cell)
                 (the-semaphore 'loop)))))
    the-semaphore))

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

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