Observatorio de I+D+i UPM

Descripción
In this paper we study, in the context of a WAM-based abstract machine for Prolog, how variations in the encoding of type information in tagged words and in their associated basic operations impact performance and memory usage.We use a high-level language to specify encodings and the associated operations. An automatic generator constructs both the abstract machine using this encoding and the associated Prolog-to-bytecode compiler. Annotations in this language make it possible to impose constraints on the final representation of tagged words, such as the effectively addressable space (fixing, for example, the word size of the target processor / architecture), the layout of the tag and value bits inside the tagged word, and how the basic operations are implemented. We evaluate a large number of combinations of the different parameters in two scenarios: a) trying to obtain an optimal general-purpose abstract machine and b) automatically generating a specially-tuned abstract machine for a particular program. We conclude that we are able to automatically generate code featuring all the optimizations present in a hand-written, highly-optimized abstract machine and we can also obtain emulators with larger addressable space and better performance.
Internacional	Si
Nombre congreso	International Conference on Principles and Practice of Declarative Programming
Tipo de participación	960
Lugar del congreso	Valencia, España
Revisores	No
ISBN o ISSN	ISBN:978-1-60558-117-0
DOI	http://doi.acm.org/10.1145/1389449.1389455
Fecha inicio congreso	15/07/2008
Fecha fin congreso	17/07/2008
Desde la página	32
Hasta la página	43
Título de las actas	Comparing Tag Scheme Variations Using an Abstract Machine Generator

Esta actividad pertenece a memorias de investigación

• Autor: Jose Francisco Morales Caballero (UPM)
• Autor: Manuel Carro Liñares (UPM)
• Autor: Manuel de Hermenegildo Salinas (UPM)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
• Departamento: Inteligencia Artificial