alogic: (war)
[personal profile] alogic
Филип Дж. Купман придумал систему редукции на графах TIGRE (pdf) в 1989 году. Сначала он защитил диссертацию, потом издал книгу (всё есть на его странице), где утверждал, что вместо 7 процессорных инструкций, как в G-machine, его система использует 1 и поэтому по производительности ставит функциональные языки в один ряд с императивными. G-machine (pdf), в которую транслируется код Haskell, была придумана Самоном Пейтоном Джонсом раньше и что-то не видно, чтобы он обратил внимание на TIGRE. Вскоре Купман перестал интересоваться оптимизацией функциональных языков и перешёл на встроенные системы. Почему TIGRE не была принята и была ли она так уж хороша? Непонятно.

Date: 2016-01-05 10:59 pm (UTC)
From: [identity profile] thesz.livejournal.com
TIGRE использует особенности стековых машин. Подробностей я уж не помню, к сожалению.

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

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

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

Date: 2016-01-07 01:00 am (UTC)
From: [identity profile] alogic.livejournal.com
Купман пишет:
Since the VAX has a lightweight subroutine call instruction (jsb), TIGRE can map very efficiently onto the VAX architecture.

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

Profile

alogic: (Default)
alogic

December 2016

S M T W T F S
    123
45678910
11121314151617
181920212223 24
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 06:30 am
Powered by Dreamwidth Studios