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

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

一些多线程应用程序会特意使用可能导致数据争用的代码。由于这些数据争用是专门设计的，所以不需要进行修复。但在某些情况下，要使这样的代码正确运行会相当棘手。应仔细检查这些数据争用。

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