TIGRE vs G-machine

[alogic]

Филип Дж. Купман придумал систему редукции на графах TIGRE (pdf) в 1989 году. Сначала он защитил диссертацию, потом издал книгу (всё есть на его странице), где утверждал, что вместо 7 процессорных инструкций, как в G-machine, его система использует 1 и поэтому по производительности ставит функциональные языки в один ряд с императивными. G-machine (

Comments

[thesz]

TIGRE использует особенности стековых машин. Подробностей я уж не помню, к сожалению.

G-machine позволяла получать код для регистровых машин, достаточно приличный и, как показала практика, с хорошими перспективами оптимизации.

SPJ так же не стал обращать внимание и на GRIN, хотя последний прост в реализации, даёт возможность полнопрограммной оптимизации (на неё расчитан, вообще) и по тому, что я понял, может включать в себя заметную часть оптимизаций суперкомпиляции. А вот на последнюю SPJ внимание обратил.

Поэтому не стоит обращать внимание на обращение внимания SPJ. ;)

[alogic]

Купман пишет:
Since the VAX has a lightweight subroutine call instruction (jsb), TIGRE can map very efficiently onto the VAX architecture.

Прошли те времена, конечно, но результаты у него были неплохие.
Спасибо за разъяснение.