2026-06-09T09:23:42Zhttps://uvadoc.uva.es/oai/request

oai:uvadoc.uva.es:10324/704332025-02-20T10:21:21Zcom_10324_1165com_10324_931com_10324_894col_10324_1335

00925njm 22002777a 4500 dc Aldea López, Sergio author Llanos Ferraris, Diego Rafael author González Escribano, Arturo author 2014 The advent of multicore technologies has increased the interest in parallelization techniques for existing sequential applications. These techniques include the need of detecting loops that are good candidates for parallelization, and classifying all variables of these loops according to their use, a task surprisingly hard to be carried out manually. In this paper, we introduce the BonaFide C Analyzer, an XML-based framework that combines static analysis of source code with profiling information to generate complete reports regarding all loops in a C application, including loop coverage, loop suitability for parallelization, a classification of all variables inside loops based on their accesses, and other hurdles that restrict the parallelization. This information allows to analyze how particular language constructs are used in real-world applications, and helps the programmer to parallelize the code. To show the features of the framework, we present the results of an in-depth loop characterization of C applications that are part of the SPEC CPU2006 benchmark suite. Our study shows that 47.72 % of loops present in the applications analyzed are potentially parallelizable with existent parallel programming models such as OpenMP, while an additional 37.7 % of loops could be run in parallel with the help of runtime speculative parallelization techniques. The Journal of Supercomputing, Vol. 68, Issue 3, June 2014, pags. 1378-1401. ISSN 0920-8542 0920-8542 https://uvadoc.uva.es/handle/10324/70433 10.1007/s11227-014-1091-3 1378 3 1401 The Journal of Supercomputing 68 1573-0484 Informática The BonaFide C Analyzer: automatic loop-level characterization and coverage measurement