种族检测和优化的一般方法

Question

我在C ++中有一个多线程程序，它由一些数据竞争区域组成。是否有任何方法可以自动（我的意思是，不是手动检查）找出可能导致执行中的访问冲突的数据竞争区域？我知道有很多工具可以帮助我，还有很多关于这个问题的研究论文。我只是想知道这些一般方法是什么，它们的主要思想基本上是什么？如果您能从编程语言的角度更多地告诉我，我将非常感激。