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

Debray, S.K. and Hermenegildo, Manuel V. and 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.

Description

Title: A methodology for granularity-based control of parallelism in logic programs
Author/s:
  • Debray, S.K.
  • Hermenegildo, Manuel V.
  • López García, Pedro
Item Type: Article
Título de Revista/Publicación: Journal of symbolic computation
Date: 1996
ISSN: 0747-7171
Volume: 21
Subjects:
Freetext Keywords: Logic programs, Parallel programming, Programación lógica, Programación en paralelo
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 13392
DC Identifier: http://oa.upm.es/13392/
OAI Identifier: oai:oa.upm.es:13392
DOI: 10.1006/jsco.1996.0038
Official URL: http://www.sciencedirect.com/science/article/pii/S0747717196900383
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 29 Sep 2012 07:34
Last Modified: 21 Apr 2016 12:42
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM