3.3.6 · Отношения через разделяемое состояние

Двустороннее распространение ограничений

Соединители запоминают значения и источники, поэтому сумматор выводит любое недостающее слагаемое и отзывает только зависимые сведения.

Вопрос для размышления

Как одно отношение может правильно реагировать независимо от того, какие два значения поступят первыми?

Явное представление значения соединителя, источника информации и списка ограничений
Уведомление связанных ограничений при появлении или исчезновении сведений
Использование отношения сумматора для вывода любого из трех его значений
Отзыв зависимых сведений без удаления независимых пользовательских значений

Каждый соединитель хранит признак наличия значения, само значение, источник его установки и список ограничений для уведомления. Операция set-value! принимает первое значение и отправляет сообщение new-value каждому ограничению кроме установившего источника. Поэтому сумматор может вычислить total по двум слагаемым или любое слагаемое по total и другому слагаемому.

Операция forget-value! выполняется успешно только тогда, когда отзывающая сторона совпадает с сохраненным источником информации. Когда пользователь забывает значение total, сумматор отзывает значение right, поскольку сам предоставил это выведенное значение, но не может отозвать независимо переданное значение left. Передача нового значения right выводит новое значение total через то же самое отношение.

Код SICP2,377 из 1,048,576 байт UTF-8

(begin
  (define (make-connector) (vector #f 0 #f '()))
  (define (has-value? connector) (vector-ref connector 0))
  (define (get-value connector) (vector-ref connector 1))
  (define (inform-about-except exception message constraints)
    (if (null? constraints)
        'done
        (begin
          (if (eq? exception (car constraints))
              #f
              ((car constraints) message))
          (inform-about-except exception message (cdr constraints)))))
  (define (set-value! connector value setter)
    (if (has-value? connector)
        (if (= (get-value connector) value) 'ignored 'contradiction)
        (begin
          (vector-set! connector 0 #t)
          (vector-set! connector 1 value)
          (vector-set! connector 2 setter)
          (inform-about-except setter 'new-value (vector-ref connector 3))
          'set)))
  (define (forget-value! connector retractor)
    (if (eq? retractor (vector-ref connector 2))
        (begin
          (vector-set! connector 0 #f)
          (vector-set! connector 2 #f)
          (inform-about-except retractor 'lost-value (vector-ref connector 3))
          'forgotten)
        'ignored))
  (define (connect connector constraint)
    (vector-set! connector 3 (cons constraint (vector-ref connector 3)))
    (if (has-value? connector) (constraint 'new-value) #f)
    'connected)
  (define (adder left right total)
    (define (new-value)
      (cond ((and (has-value? left) (has-value? right))
             (set-value! total (+ (get-value left) (get-value right)) me))
            ((and (has-value? left) (has-value? total))
             (set-value! right (- (get-value total) (get-value left)) me))
            ((and (has-value? right) (has-value? total))
             (set-value! left (- (get-value total) (get-value right)) me))
            (else 'waiting)))
    (define (lost-value)
      (forget-value! left me)
      (forget-value! right me)
      (forget-value! total me)
      (new-value))
    (define (me message)
      (if (eq? message 'new-value) (new-value) (lost-value)))
    (connect left me)
    (connect right me)
    (connect total me)
    me)
  (define left (make-connector))
  (define right (make-connector))
  (define total (make-connector))
  (adder left right total)
  (set-value! left 10 'user)
  (set-value! right 32 'user)
  (list (get-value left) (get-value right) (get-value total)))

(begin
  (define (make-connector) (vector #f 0 #f '()))
  (define (has-value? connector) (vector-ref connector 0))
  (define (get-value connector) (vector-ref connector 1))
  (define (inform-about-except exception message constraints)
    (if (null? constraints)
        'done
        (begin
          (if (eq? exception (car constraints))
              #f
              ((car constraints) message))
          (inform-about-except exception message (cdr constraints)))))
  (define (set-value! connector value setter)
    (if (has-value? connector)
        (if (= (get-value connector) value) 'ignored 'contradiction)
        (begin
          (vector-set! connector 0 #t)
          (vector-set! connector 1 value)
          (vector-set! connector 2 setter)
          (inform-about-except setter 'new-value (vector-ref connector 3))
          'set)))
  (define (forget-value! connector retractor)
    (if (eq? retractor (vector-ref connector 2))
        (begin
          (vector-set! connector 0 #f)
          (vector-set! connector 2 #f)
          (inform-about-except retractor 'lost-value (vector-ref connector 3))
          'forgotten)
        'ignored))
  (define (connect connector constraint)
    (vector-set! connector 3 (cons constraint (vector-ref connector 3)))
    (if (has-value? connector) (constraint 'new-value) #f)
    'connected)
  (define (adder left right total)
    (define (new-value)
      (cond ((and (has-value? left) (has-value? right))
             (set-value! total (+ (get-value left) (get-value right)) me))
            ((and (has-value? left) (has-value? total))
             (set-value! right (- (get-value total) (get-value left)) me))
            ((and (has-value? right) (has-value? total))
             (set-value! left (- (get-value total) (get-value right)) me))
            (else 'waiting)))
    (define (lost-value)
      (forget-value! left me)
      (forget-value! right me)
      (forget-value! total me)
      (new-value))
    (define (me message)
      (if (eq? message 'new-value) (new-value) (lost-value)))
    (connect left me)
    (connect right me)
    (connect total me)
    me)
  (define left (make-connector))
  (define right (make-connector))
  (define total (make-connector))
  (adder left right total)
  (set-value! left 10 'user)
  (set-value! right 32 'user)
  (list (get-value left) (get-value right) (get-value total)))

Примеры

Результат—

Вывод: —
Значение: —
Диагностика: —

Трасса выполнения0 / 0 событий

Ожидаемый результат

Первая программа возвращает (10 32 42). Вторая программа возвращает ((10 32 42) (#t #f #f) 15).

На что обратить внимание в трассе

Проследите за каждым уведомлением соединителя, направленным сумматору. Во втором запуске отличите установленное пользователем значение left от вычисленного сумматором значения right, а затем наблюдайте, как сообщение lost-value отзывает только выведенный путь до того, как распространится новое значение total.

Попробуйте сами

Измените программу и сравните результат.

Во второй программе забудьте значение left вместо total. Предскажите, какие соединители потеряют значения и какое переданное пользователем значение останется.

Показать подсказку

Соединитель принимает отзыв только от своего текущего источника информации. Сумматор может отзывать только те значения, которые предоставил сам, но не значения, переданные пользователем.

Завершить этот урок

В этой главе пройдено 0 из 21 урока0%