CCES Unicamp

On the Efficiency of Transactional Code Generation: A GCC Case Study

Memory transactions are becoming more popular as chip manufacturers are building native support for their execution. Although current Intel and IBM microprocessors support transactions in their instruction set architectures, there is still room for improvement in the compiler and runtime front. The GNU Compiler Collection (GCC) has language support for transactions, although performance is still a hindrance for its wider use. In this paper we perform an up-to-date study of the GCC transactional code generation and highlight where the main performance losses are coming from. Our study indicates that one of the main source of inefficiency is the read and write barriers inserted by the compiler. Most of this instrumentation is required because the compiler cannot determine, at compile time, whether a region of memory will be accessed concurrently or not. To overcome those limitations, we propose new language constructs that allow programmers to specify which memory locations should be free from instrumentation. Initial experimental results show a good speedup when barriers are elided using our proposed language support compared to the original code generated by GCC.

Bruno Honorio, João P. L. de Carvalho and Alexandro Baldassin, “On the Efficiency of Transactional Code Generation: A GCC Case Study”, WSCAD 2018

https://www.researchgate.net/publication/327655911_On_the_Efficiency_of_Transactional_Code_Generation_A_GCC_Case_Study

Related posts

Molecular rulers assist protein structure prediction

cces cces

Elastic and ‘transparent bone’ as an electrochemical separator

cces cces

2D Analysis of Intergranular Dynamic Crack Propagation in Poly- crystalline Materials a Multiscale Cohesive Zone Model and Dual Reciprocity Boundary Elements

cces cces