2026-04-22T21:41:34Zhttps://uvadoc.uva.es/oai/request

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

Aldea López, Sergio Llanos Ferraris, Diego Rafael González Escribano, Arturo 2024-10-04T14:42:14Z 2024-10-04T14:42:14Z 2014 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 Producción Científica 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. This research is partly supported by the Castilla-Leon Regional Government (VA172A12-2); Ministerio de Industria, Spain (CENIT OCEANLIDER); MICINN (Spain) and the European Union FEDER (MOGECOPP project TIN2011-25639, CAPAP-H3 network TIN2010-12011-E, CAPAP-H4 network TIN2011-15734-E). Sergio Aldea is supported by a research grant (EDU/1204/2010) of Consejería de Educación, Junta de Castilla y León, Spain, and the European Social Fund. application/pdf eng Springer info:eu-repo/semantics/openAccess Informática Automatic parallelization Code analysis Compiler framework Profiling information Source code representation Source transformation XML 1203 Ciencia de Los Ordenadores 3304 Tecnología de Los Ordenadores The BonaFide C Analyzer: automatic loop-level characterization and coverage measurement info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://link.springer.com/article/10.1007/s11227-014-1091-3 SI