Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
Year:2008
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Congress
10th International Symposium on Practical Aspects of Declarative Languages (PADL'08)
960
Place
San Francisco, USA
Reviewers
Si
ISBN/ISSN
978-3-540-77441-9
Start Date
07/01/2008
End Date
08/01/2008
From page
230
To page
247
Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
Participants
  • Autor: Amadeo Casas Cuadrado (Universidad de Nuevo Mexico, USA)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Manuel Carro Liñares (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)