2026-04-28T21:13:57Zhttps://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 2014 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. application/pdf https://uvadoc.uva.es/handle/10324/70433 eng Springer Informática 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 TEXT UVaDOC. Repositorio Documental de la Universidad de Valladolid Hispana