Complete and efficient methods for supporting side effects in independent/restricted and-parallelism

Muthukumar, Kalyan y Hermenegildo, Manuel V. (1989). Complete and efficient methods for supporting side effects in independent/restricted and-parallelism. En: "ICLP 1989 International Conference on Logic Programming", June 19-23, 1989, Lisbon, Portugal. ISBN 0262620650.

Descripción

Título: Complete and efficient methods for supporting side effects in independent/restricted and-parallelism
Autor/es:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: ICLP 1989 International Conference on Logic Programming
Fechas del Evento: June 19-23, 1989
Lugar del Evento: Lisbon, Portugal
Título del Libro: Logic Programming, Proceedings of the Sixth International Conference
Fecha: Junio 1989
ISBN: 0262620650
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 (789kB) | Vista Previa

Resumen

It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of such programs. In particular, it is possible to parallelize pure Prolog programs while maintaining the semantics of the language. However, when builtin side-effects (such as write or assert) appear in the program, if an identical observable behaviour to that of sequential Prolog implementations is to be preserved, such side-effects have to be properly sequenced. Previously proposed solutions to this problem are either incomplete (lacking, for example, backtracking semantics) or they force sequentialization of significant portions of the execution graph which could otherwise run in parallel. In this paper a series of side-effect synchronization methods are proposed which incur lower overhead and allow more parallelism than those previously proposed. Most importantly, and unlike previous proposals, they have well-defined backward execution behaviour and require only a small modification to a given (And-parallel) Prolog implementation.

Más información

ID de Registro: 14525
Identificador DC: http://oa.upm.es/14525/
Identificador OAI: oai:oa.upm.es:14525
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 21 Feb 2013 09:01
Ultima Modificación: 21 Abr 2016 14:14
  • 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