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

Related posts

Elastic constants of ice I_h as described by semi-empirical water models (Editor’s Pick)

cces cces

Claudia Bauzer Medeiros elected for the Brazilian Academy of Sciences

cces cces

Analysis of three-dimensional hexagonal and cubic polycrystals using the boundary element method

cces cces
WP Twitter Auto Publish Powered By :