TMFree is a compiler mechanism implemented in LLVM that allows programmers to precisely identify and eliminate unnecessary barriers in their Transactional Memory code. TMFree provides a language extension to annotate programs to indicate which variables can be accessed without barriers and LLVM IR passes remove redundant barriers.
https://github.com/jaopaulolc/TMFree
![](https://cces.unicamp.br/wp-content/uploads/2022/10/Screenshot-from-2022-10-20-14-14-13-Joao-Paulo-Labegalini-de-Carvalho-1-1024x393.png)