Non-strict independent and-parallelism

Hermenegildo, Manuel V. y Rossi, Francesca (1990). Non-strict independent and-parallelism. En: "Seventh International Conference of Logic Programming", June 18-20, 1990, Jerusalem, Israel. ISBN 0262730901.

Descripción

Título: Non-strict independent and-parallelism
Autor/es:
  • Hermenegildo, Manuel V.
  • Rossi, Francesca
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Seventh International Conference of Logic Programming
Fechas del Evento: June 18-20, 1990
Lugar del Evento: Jerusalem, Israel
Título del Libro: Logic Programming, Proceedings of the Seventh International Conference
Fecha: Junio 1990
ISBN: 0262730901
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 (820kB) | Vista Previa

Resumen

This paper presents and develops a generalized concept of Non-Strict Independent And Parallelism (NSIAP). NSIAP extends the applicability of Independent And- Parallelism (IAP) by enlarging the class of goals which are eligible for parallel execution. At the same time it maintains IAP's ability to run non-deterministic goals in parallel and to preserve the computational complexity expected in the execution of the program by the programmer. First, a parallel execution framework is defined and some fundamental correctness results, in the sense of equivalence of solutions with the sequential model, are discussed for this framework. The issue of efficiency is then considered. Two new definitions of NSI are given for the cases of puré and impure goals respectively and efficiency results are provided for programs parallelized under these definitions which include treatment of the case of goal failure: not only is reduction of execution time guaranteed (modulo run-time overheads) in the absence of failure but it is also shown that in the worst case of failure no speed-down will occur. In addition to applying to NSI, these results carry over and complete previous results shown in the context of IAP which did not deal with the case of goal failure. Finally, some practical examples of the application of the NSIAP concept to the parallelization of a set of programs are presented and performance results, showing the advantage of using NSI, are given.

Más información

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