A methodology for granularity-based control of parallelism in logic programs

Debray, S.K.; Hermenegildo, Manuel V. y López García, Pedro (1996). A methodology for granularity-based control of parallelism in logic programs. "Journal of symbolic computation", v. 21 (n. 4-6); pp. 715-734. ISSN 0747-7171. https://doi.org/10.1006/jsco.1996.0038.

Descripción

Título: A methodology for granularity-based control of parallelism in logic programs
Autor/es:
  • Debray, S.K.
  • Hermenegildo, Manuel V.
  • López García, Pedro
Tipo de Documento: Artículo
Título de Revista/Publicación: Journal of symbolic computation
Fecha: 1996
Volumen: 21
Materias:
Palabras Clave Informales: Logic programs, Parallel programming, Programación lógica, Programación en paralelo
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 (1MB) | Vista Previa

Resumen

Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a number of overheads which appear in practice, such as process creation and scheduling, which can induce a slow-down, or, at least, limit speedup, if they are not controlled in some way. This paper describes a methodology whereby the granularity of parallel tasks, i.e. the work available under them, is efficiently estimated and used to limit parallelism so that the effect of such overheads is controlled. The run-time overhead associated with the approach is usually quite small, since as much work is done at compile time as possible. Also,a number of run-time optimizations are proposed. Moreover, a static analysis of the overhead associated with the granularity control process is performed in order to decide its convenience. The performance improvements resulting from the incorporation of grain size control are shown to be quite good, specially for systems with medium to large parallel execution overheads.

Más información

ID de Registro: 13392
Identificador DC: http://oa.upm.es/13392/
Identificador OAI: oai:oa.upm.es:13392
Identificador DOI: 10.1006/jsco.1996.0038
URL Oficial: http://www.sciencedirect.com/science/article/pii/S0747717196900383
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 29 Sep 2012 07:34
Ultima Modificación: 21 Abr 2016 12:42
  • 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