Skip navigation
Please use this identifier to cite or link to this item:
Title: Synchronization Validation for Cross-Thread Dependences in Parallel Programs
Authors: Dutta, Sudakshina
Sarkar D.
Rawat A.
Published in: International Journal of Parallel Programming
Abstract: Parallelizing transformations are applied in the process of high-level synthesis to enable the designer to optimize and improve the synthesis results. Parallelizing compilers often apply parallelizing transformations to convert a sequential program into a concurrentized or vectorized program so that the resulting parallel program can exploit the architectures of parallel machines. Concurrentization of loops in a sequential program is one of the most important transformations performed by these compilers. Loop concurrentization often requires insertion of wait–signal synchronization instructions within the body of the concurrentized loops to achieve synchronization among the threads for preserving the dependences of the original sequential program. In the current work, we have proposed a method of analyzing the synchronization instructions for constructing the dependence graph of a loop concurrentized program. The resulting dependence graph, devoid of the synchronization instructions, is then checked for equivalence with the dependence graph of the original sequential program using methods reported in the literature. The proposed algorithm signals errors if the parallel program deadlocks or becomes non-determinate due to faulty insertion of wait–signal instructions. © 2016, Springer Science+Business Media New York.
Citation: International Journal of Parallel Programming, 45(6): 1326-1365
Issue Date: 2017
Publisher: Springer New York LLC
Keywords: Access
Conflict access
Conflict access graph
Conflict access instance
Conflict edge
Dependence graph
ISSN: 8857458
Author Scopus IDs: 55098724900
Author Affiliations: Dutta, S., Indian Institute of Technology Kharagpur, Kharagpur, India
Sarkar, D., Indian Institute of Technology Kharagpur, Kharagpur, India
Rawat, A., Indian Institute of Technology Kharagpur, Kharagpur, India
Corresponding Author: Dutta, S.; Indian Institute of Technology KharagpurIndia; email:
Appears in Collections:Journal Publications [CE]

Files in This Item:
There are no files associated with this item.
Show full item record

Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.