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

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

Description

Title: A generator of efficient abstract machine implementations and its application to emulator minimization
Author/s:
  • Morales Caballero, José Francisco
  • Carro Liñares, Manuel
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 21st International Conference, ICLP 2005
Event Dates: October 2-5, 2005
Event Location: Sitges, Spain
Title of Book: Logic Programming
Date: 2005
ISBN: 9783540292081
Volume: 3668
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (985kB) | Preview

Abstract

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.

More information

Item ID: 14357
DC Identifier: http://oa.upm.es/14357/
OAI Identifier: oai:oa.upm.es:14357
Official URL: http://link.springer.com/chapter/10.1007%2F11562931_5
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 25 Jan 2013 08:24
Last Modified: 21 Apr 2016 13:59
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM