A generator of efficient abstract machine implementations and its application to emulator minimization

Morales Caballero, José Francisco; Carro Liñares, Manuel; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2005). A generator of efficient abstract machine implementations and its application to emulator minimization. En: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.

Descripción

Título: A generator of efficient abstract machine implementations and its application to emulator minimization
Autor/es:
  • Morales Caballero, José Francisco
  • Carro Liñares, Manuel
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 21st International Conference, ICLP 2005
Fechas del Evento: October 2-5, 2005
Lugar del Evento: Sitges, Spain
Título del Libro: Logic Programming
Fecha: 2005
ISBN: 9783540292081
Volumen: 3668
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (985kB) | Vista Previa

Resumen

The implementation of abstract machines involves complex decisions regarding, e.g., data representation, opcodes, or instruction specialization levéis, all of which affect the final performance of the emulator and the size of the bytecode programs in ways that are often difficult to foresee. Besides, studying alternatives by implementing abstract machine variants is a time-consuming and error-prone task because of the level of complexity and optimization of competitive implementations, which makes them generally difficult to understand, maintain, and modify. This also makes it hard to genérate specific implementations for particular purposes. To ameliorate those problems, we propose a systematic approach to the automatic generation of implementations of abstract machines. Different parts of their definition (e.g., the instruction set or the infernal data and bytecode representation) are kept sepárate and automatically assembled in the generation process. Alternative versions of the abstract machine are therefore easier to produce, and variants of their implementation can be created mechanically, with specific characteristics for a particular application if necessary. We illustrate the practicality of the approach by reporting on an implementation of a generator of production-quality WAMs which are specialized for executing a particular fixed (set of) program(s). The experimental results show that the approach is effective in reducing emulator size.

Más información

ID de Registro: 14357
Identificador DC: http://oa.upm.es/14357/
Identificador OAI: oai:oa.upm.es:14357
URL Oficial: http://link.springer.com/chapter/10.1007%2F11562931_5
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 25 Ene 2013 08:24
Ultima Modificación: 21 Abr 2016 13:59
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM