Update-insts! модифицирует командный список, который сначала содержит только текст команд, так, чтобы в нем имелись соответствующие исполнительные процедуры:

(define (update-insts! insts labels machine) (let ((pc (get-register machine pc))

(flag (get-register machine flag)) (stack (machine stack)) (ops (machine operations))) (for-each (lambda (inst)

(set-instruction-execution-proc! inst

(make-execution-procedure (instruction-text inst) labels machine pc flag stack ops))) insts)))

Структура данных для машинной команды просто сочетает текст команды с соответствующей исполнительной процедурой. Когда extract-labels создает команду, исполнительной процедуры еще нет, и она вставляется позже из процедуры update-insts! :

(define (make-instruction text) (cons text ()))

(define (instruction-text inst) (car inst))

(define (instruction-execution-proc inst) (cdr inst))

(define (set-instruction-execution-proc! inst proc) (set-cdr! inst proc))

Текст команды не используется в имитаторе, но сохраняется в целях отладки (см. упражнение 5.16).

Элементы таблицы меток - это пары:

(define (make-label-entry label-name insts) (cons label-name insts))

Записи в таблице можно искать через

(define (lookup-label labels label-name) (let ((val (assoc label-name labels)))

(if val

(cdr val)

(error "Неопределенная метка -- ASSEMBLE" label-name))))

Аргумент, который, как receive, является процедурой, вызываемой в конце, называется «продолжением». Напомним, что мы уже использовали продолжения для того, чтобы реализовать управляющую структуру перебора с возвратом в разделе 4.3.3.

Упражнение 5.8.

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

start

(goto (label here)) here

(assign a (const 3)) (goto (label there)) here

(assign a (const 4)) (goto (label there)) there

Каково будет содержимое регистра a в нашем имитаторе, когда управление достигнет there? Измените процедуру extract-labels так, чтобы ассемблер сообщал об ошибке в случае, когда одно и то же имя метки обозначает две различных точки в коде.

5.2.3 Порождение исполнительных процедур для команд

Чтобы породить для команды исполнительную процедуру, ассемблер зовет make-execution-procedure. Как и процедура analyze в интерпретаторе из раздела 4.1.7, она делает выбор на основе типа команды и порождает соответствующую исполнительную процедуру.

(define (make-execution-procedure inst labels machine

pc flag stack ops)

(cond ((eq? (car inst) assign)

(make-assign inst machine labels ops pc)) ((eq? (car inst) test)

(make-test inst machine labels ops flag pc)) ((eq? (car inst) branch)

(make-branch inst machine labels flag pc)) ((eq? (car inst) goto)

(make-goto inst machine labels pc)) ((eq? (car inst) save)

(make-save inst machine stack pc)) ((eq? (car inst) restore)

(make-restore inst machine stack pc)) ((eq? (car inst) perform)

(make-perform inst machine labels ops pc)) (else (error "Неизвестный тип команды -- ASSEMBLE"

inst))))

Для каждого типа команд языка регистровых машин имеется процедура-генератор, которая порождает исполнительные процедуры. Детали порождаемых процедур определяют как синтаксис, так и семантику отдельных команд машинного языка. Мы изолируем с помощью абстракции данных конкретный синтаксис выражений языка регистровых машин от общего механизма вычисления, подобно тому, как мы это делали для интерпретатора из раздела 4.1.2, и для считывания и классификации частей команды используем синтаксические процедуры.

Команды assign

Процедура make-assign обрабатывает команды assign:

(define (make-assign inst machine labels operations pc) (let ((target

(get-register machine (assign-reg-name inst))) (value-exp (assign-value-exp inst))) (let ((value-proc

(if (operation-exp? value-exp) (make-operation-exp

value-exp machine labels operations) (make-primitive-exp (car value-exp) machine labels)))) (lambda (); исполнительная процедура для assign

(set-contents! target (value-proc)) (advance-pc pc)))))

Make-assign извлекает имя целевого регистра (второй элемент команды) и выражение-значение (остаток списка, представляющего команду) из команды assign с помощью селекторов

(define (assign-reg-name assign-instruction) (cadr assign-instruction))

(define (assign-value-exp assign-instruction) (cddr assign-instruction))

По имени регистра с помощью get-register находится объект-целевой регистр. Выражение-значение передается в make-operation-exp, если значение является результатом операции, и в make-primitive-exp в противном случае. Эти процедуры (приведенные ниже) рассматривают выражение-значение и порождают исполнительную процедуру для вычисления этого выражения. Это процедура без аргументов, называемая value-proc, которая будет вызвана во время работы имитатора и породит значение, которое требуется присвоить регистру. Заметим, что поиск регистра по имени и разбор выражения-значения происходят только один раз во время ассемблирования, а не каждый раз при выполнении команды. Именно ради такой экономии работы мы используем исполнительные процедуры, и этот выигрыш прямо соответствует экономии, полученной путем отделения синтаксического анализа от выполнения в интерпретаторе из раздела 4.1.7.

Результат, возвращаемый make-assign - это исполнительная процедура для команды assign. Когда эта процедура вызывается (из процедуры execute модели), она записывает в целевой регистр результат, полученный при выполнении value-proc. Затем она передвигает pc на следующую команду с помощью процедуры

(define (advance-pc pc)

(set-contents! pc (cdr (get-contents pc))))

Advance-pc вызывается в конце исполнения всех команд, кроме branch и goto.