Por favor, use este identificador para citar o enlazar este ítem:
https://doi.org/10.1109/TPDS.2017.2771509
Twittear
Título: | Automatic detection of large extended data-race-free regions with conflict isolation |
Fecha de publicación: | mar-2018 |
Editorial: | Institute of Electrical and Electronics Engineers |
Cita bibliográfica: | IEEE Transactions on Parallel and Distributed Systems (TPDS) {29} 3, {527--541} |
ISSN: | Print: 1045-9219 Electronic: 1558-2183 |
Palabras clave: | Compile-time analysis Inter-procedural analysis Inter-thread analysis Data sharing Data races Cache coherence |
Resumen: | Data-race-free (DRF) parallel programming becomes a standard as newly adopted memory models of mainstream programming languages such as C++ or Java impose data-race-freedom as a requirement. We propose compiler techniques that automatically delineate extended data-race-free (xDRF) regions, namely regions of code that provide the same guarantees as the synchronization-free regions (in the context of DRF codes). xDRF regions stretch across synchronization boundaries, function calls and loop back-edges and preserve the data-race-free semantics, thus increasing the optimization opportunities exposed to the compiler and to the underlying architecture. We further enlarge xDRF regions with a conflict isolation (CI) technique, delineating what we call xDRF-CI regions while preserving the same properties as xDRF regions. Our compiler (1) precisely analyzes the threads’ memory accessing behavior and data sharing in shared-memory, general-purpose parallel applications, (2) isolates data-sharing and (3) marks the limits of xDRF-CI code regions. The contribution of this work consists in a simple but effective method to alleviate the drawbacks of the compiler’s conservative nature in order to be competitive with (and even surpass) an expert in delineating xDRF regions manually. We evaluate the potential of our technique by employing xDRF and xDRF-CI region classification in a state-of-the-art, dual-mode cache coherence protocol. We show that xDRF regions reduce the coherence bookkeeping and enable optimizations for performance (6.4%) and energy efficiency (12.2%) compared to a standard directory-based coherence protocol. Enhancing the xDRF analysis with the conflict isolation technique improves performance by 7.1% and energy efficiency by 15.9%. |
Autor/es principal/es: | Jimborean, Alexandra Ekemark, Per Waern, Jonatan Kaxiras, Stefanos Ros, Alberto |
Facultad/Departamentos/Servicios: | Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería y Tecnología de Computadores |
URI: | http://hdl.handle.net/10201/138837 |
DOI: | https://doi.org/10.1109/TPDS.2017.2771509 |
Tipo de documento: | info:eu-repo/semantics/article |
Número páginas / Extensión: | 14 |
Derechos: | info:eu-repo/semantics/embargoedAccess |
Descripción: | ©2018. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/. This document is the Accepted version of a Published Work that appeared in final form in IEEE Transactions on Parallel and Distributed Systems. To access the final edited and published work see https://doi.org/10.1109/TPDS.2017.2771509 |
Aparece en las colecciones: | Artículos: Ingeniería y Tecnología de Computadores |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
2018_TPDS_Alexandra_Jimborean_author.pdf | 13,62 MB | Adobe PDF | Visualizar/Abrir Solicitar una copia |
Los ítems de Digitum están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.