eprintid: 14438
rev_number: 16
eprint_status: archive
userid: 2047
dir: disk0/00/01/44/38
datestamp: 2013-02-10 14:19:14
lastmod: 2016-04-21 14:06:19
status_changed: 2013-02-10 14:19:14
type: conference_item
metadata_visibility: show
item_issues_count: 0
creators_name: López García, Pedro
creators_name: Hermenegildo, Manuel V.
creators_name: Debray, S.K.
title: Towards granularity based control of parallelism in logic programs
publisher: World Scientific Publishing Company
rights: by-nc-nd
ispublished: pub
subjects: informatica
full_text_status: public
pres_type: paper
keywords: Granularity analysis and control, Parallelism, Cost estimation, Análisis y contro de granularidad, Paralelismo, Estimación del coste.
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 médium to large parallel execution overheads.
date_type: published
date: 1994
place_of_pub: Inc. River Edge, NJ, USA
pages: 448
event_title: First International Symposium On Parallel Symbolic Computation Pasco '94
event_location: Hagenberg/Linz, Austria
event_dates: September 26-28, 1994
event_type: conference
institution: Informatica
department: Inteligencia_Artificial
refereed: TRUE
isbn: 9810220405
book_title: Parallel Symbolic Computation PASCO, 1994: Proceedings of the First International Symposium
citation:   López García, Pedro and Hermenegildo, Manuel V. and Debray, S.K.  (1994).  Towards granularity based control of parallelism in logic programs.  In: "First International Symposium On Parallel Symbolic Computation Pasco '94", September 26-28, 1994, Hagenberg/Linz, Austria. ISBN 9810220405.    
document_url: https://oa.upm.es/14438/1/HERME_ARC_1994-4.pdf