Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Most efficient implementations of parallel logic programming rely on complex low-level machinery which is arguably difficult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts of the implementation to the source language level for the particular case of and-parallelism. We handle a signifficant portion of the parallel implementation at the Prolog level with the help of a comparatively small number of concurrency-related primitives which take care of lower-level tasks such as locking, thread management, stack set management, etc. The approach does not eliminate altogether modifications to the abstract machine, but it does greatly simplify them and it also facilitates experimenting with different alternatives. We show how this approach allows implementing both restricted and unrestricted (i.e., non fork-join) parallelism. Preliminary experiments show that the performance sacrificed is reasonable, although granularity control is required in some cases. Also, we observe that the availability of unrestricted parallelism contributes to better observed speedups.
Internacional
Si
Nombre congreso
10th International Symposium on Practical Aspects of Declarative Languages (PADL'08)
Tipo de participación
960
Lugar del congreso
San Francisco, USA
Revisores
Si
ISBN o ISSN
978-3-540-77441-9
DOI
Fecha inicio congreso
07/01/2008
Fecha fin congreso
08/01/2008
Desde la página
230
Hasta la página
247
Título de las actas
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Amadeo Casas Cuadrado (Universidad de Nuevo Mexico, USA)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Manuel Carro Liñares (UPM)
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
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)