A Survey of Reasoning in Parallelization
2007 (English)In: the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing SNPD 2007,2007, China: IEEE , 2007Conference paper (Refereed)
We elaborate on reasoning in contemporary (semi)
automatic parallelizing refactoring. As the main contribution
we summarize contemporary approaches and
show that all attempts to reason in parallelization thus
far, have amounted to local code analysis given data
and control dependencies. We conclude that, by retaining
this perspective only, parallelization continues to
exploit merely a subset of the reasoning methods available
today and is likely to remain limited. To address
this problem we suggest to expand the local analyses,
such that, they take seriously relations between individual
local parallelizing transformations. We argue that
such a coupling allows to process sparser parallelizable
constructs, such as, Producer-Consumer Coordination.
We identify questions to be addressed to put this principle
into action and report on-going work on (reasoning)
mechanisms able to support this.
Place, publisher, year, edition, pages
China: IEEE , 2007.
IdentifiersURN: urn:nbn:se:liu:diva-40718Local ID: 53984OAI: oai:DiVA.org:liu-40718DiVA: diva2:261567