Change search
ReferencesLink to record
Permanent link

Direct link
Speculative program parallelization with scalable and decentralized runtime verification
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Show others and affiliations
2014 (English)In: Runtime Verification, Springer Berlin/Heidelberg, 2014, 124-139 p.Conference paper (Refereed)
Abstract [en]

Thread Level Speculation (TLS) is a dynamic code parallelization technique proposed to keep the software in pace with the advances in hardware,in particular, to automatically parallelize programs to take advantage of the multi-core processors. Being speculative, frameworks of this type unavoidably rely on verification systems that are similar to software transactional memory, and that require voluminous inter-thread communications or centralized registering of the performed memory accesses. The high degree of communication is against the basic principles of high performance parallel computing, does not scale with an increasing number of processor cores, and yields weak performance. Moreover, TLS systems often apply one unique parallelization strategy consisting in slicing a loop into several parallel speculative threads. Such a strategy is also against the basic principles since loops in the original serial code are not necessarily parallel and also, it is well-known that the parallel schedule must promote data locality which is crucial in obtaining good performance. This situation appeals to scalable and decentralized verification systems and new strategies to dynamically generate efficient parallel code resulting from advanced optimizing parallelizing transformations. Such transformations require a more complex verification system that allows intra-thread iterations to be reordered. In this paper, we propose a verification system of this kind, based on a model built at runtime and predicting a linear memory behavior. This strategy is part of the Apollo speculative code parallelizer which is based on an adaptation for dynamic usage of the polyhedral model.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2014. 124-139 p.
, Lecture Notes in Computer Science, 8734
National Category
Computer Science
URN: urn:nbn:se:uu:diva-235801DOI: 10.1007/978-3-319-11164-3_11ISI: 000358524900011ISBN: 978-3-319-11163-6OAI: diva2:762161
RV 2014, September 22–25, Toronto, Canada
Available from: 2014-10-01 Created: 2014-11-10 Last updated: 2015-09-03Bibliographically approved

Open Access in DiVA

fulltext(397 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 397 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Jimborean, Alexandra
By organisation
Computer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 207 hits
ReferencesLink to record
Permanent link

Direct link