Validation of the compilation of Data-Parallel C ``while'' loops for shared memory architectures

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Laboratoire de l'informatique du parallélisme en_US
dc.contributor.author Utard, Gil en_US
dc.date.accessioned 2007-05-24T11:53:15Z
dc.date.available 2007-05-24T11:53:15Z
dc.date.issued 1994-04-01 en_US
dc.identifier.other LIP-RR - 1994-13 en_US
dc.identifier.uri http://hdl.handle.net/2332/1190
dc.description.abstract (eng) This report focuses on the compilation of the ``while'' loops in data-parallel languages for MIMD Shared Memory architectures. An efficient compilation must decrease the number of ``global synchronizations'' due to dependencies. We validate an optimization suggested by Hatcher and Quinn for the DPC language. It consists in splitting the original loop into two loops : one ``computation loop'' without any additional control dependencies, and one ``waiting loop'' to assure termination. Computation loop's body presents a minimal number of global synchronizations. We study informaly its correction proof, and give the methodology leading of its conception. The formal proof is based on the axiomatic semantics of Owiki and Gries. We give an axiomatization of the global synchronization statement, and specify which are the sufficient conditions for a non-deadlocking execution. In Hatcher and Quinn's solution, we observe that the waiting loop is independant of the computation one. The former loop absorbs residual synchronizations of any parallel program. We conclude by presenting a modular method to elaborate parallel programs. en_US
dc.format.extent 2+21p en_US
dc.format.extent 279309 bytes
dc.format.extent 23 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/octet-stream
dc.language.iso eng en_US
dc.rights http://lara.inist.fr/utilisation.jsp en_US
dc.source.uri ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1994/RR1994-13.ps.Z en_US
dc.subject Concurrent Programming en_US
dc.subject Data-Parallel Languages en
dc.subject Compilation en
dc.subject Validating Compilation Scheme en
dc.subject Axiomatic Semantics en
dc.title Validation of the compilation of Data-Parallel C ``while'' loops for shared memory architectures en_US
dc.type Research report en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account

Bookmark and Share