2.4.2 检查数据争用是否为良性

良性数据争用是指其存在不会影响程序正确性的有意数据争用。

有些多线程应用程序会有意使用可能导致数据争用的代码。由于那里的数据争用是设计使然，因此无需进行修复。但是，在某些情况下，使这样的代码正确运行是相当棘手的。应仔细检查这些数据争用。

有关良性争用的更多详细信息，请参见 2.5 误报。