Memorias de investigación
Ponencias en congresos:
Comparing Tag Scheme Variations Using an Abstract Machine Generator
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
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
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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