Novas Técnicas de Otimização de Código em T-CMC
Genésio Gomes da Cruz Neto
Ricardo Massa Ferreira Lima
Rafael Dueire Lins
André Luiz de Medeiros Santos
UFPE
GammaCMC is an abstract machine for
efficient implementation of lazy functional languages.
GammaCMC pioneered the transference the control
of the execution flow to C,
as much as possible, to take advantage of the extremely low cost of
procedure calls in modern RISC architectures.
The experience of implementing Pseudoknot in GammaCMC was most
valuable in providing insights for new ways in optimising it.
GammaCMC was amongst the machines that presented good
Pseudoknot figures, although it did not use some of the sophisticated
optimisations of most of the other implementations.
This paper describes several optimisations introduced to GammaCMC
which bring a better Pseudoknot performance.
.