レジスタの値をトレース出来るようにする ;;; registerがtraceを持ち，trace-onがメッセージパッシングされたらトレースする． (define (make-register name) (let ((contents '*unssaigned*) (trace (lambda (contents value) #f))) (define (dispatch mess…

トレースログにラベルネームをつける． extract-labelsでlabelを見つけた時に('label labe-name)の形でinsts, labels両方に登録する． make-new-machineでtracing-labelを作り，そこに現在のラベルを登録する． *1の実行形式はそのまま(advanced-pc pc)でpc…

命令トレースを出来るようにする． executeがtraceフラグを引数に取り，trace-onなら命令を印字し，trace-offなら#fを返す． (define (make-new-machine) (let ((pc (make-register 'pc)) (flag (make-register 'flag)) (stack (make-stack)) (the-instructi…

命令数カウンタを追加する． (define (make-new-machine) (let ((pc (make-register 'pc)) (flag (make-register 'flag)) (stack (make-stack)) (the-instruction-sequence '()) (the-instruction-counter 0)) ;counterの追加 (let ((the-ops (list (list 'i…

(define fact-machine (make-machine '(continue n val) (list (list '= =) (list '- -) (list '* *) (list 'print print)) '(controller (assign continue (label fact-done)) fact-loop (test (op =) (reg n) (const 1)) (branch (label base-case)) (save…

make-machineでレジスタのリストを登録するのではなく， 命令の中で初めてassignされるときにレジスタを登録するように変更する． make-machineとmake-new-machineの変更だけですむ． ;;; register-namesを削除 (define (make-machine ops controller-text) …

シミュレータのメッセージパッシングインターフェースを拡張し，以下の情報にアクセスできるようにする． ・命令の型で，格納されたすべての異なる命令のリスト ・エントリポイントの保持に使ったレジスタのリスト ・save, restoreされる異なるレジスタのリ…