Tchecker反映程序中有冲突,但是执行时能返回正确结果,那么我应该怎么做呢?
bjt_ 2007-01-14 04:54:04 在使用openMP线程化程序时,在已经对程序中的所有循环中可能冲突的变量加过omp的private关键字,并且执行结果也正确的情况下,Tchecker还是提醒我有:Write -> Read data-race Memory read at [potential_serial.exe, 0x5250] conflicts with a prior memory write at [potential_serial.exe, 0xd598] (flow dependence)以及output dependence。我应该怎么办?