Skip to content

Commit e193851

Browse files
authored
Merge pull request ERGO-Code#2920 from ERGO-Code/tsan-fix-parallel-mip
Upgrade relaxed to acquire
2 parents 3a9b23b + 0610ce1 commit e193851

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

highs/parallel/HighsTask.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -122,7 +122,7 @@ class HighsTask {
122122
uintptr_t xormask = reinterpret_cast<uintptr_t>(owner) ^
123123
reinterpret_cast<uintptr_t>(stealer);
124124
uintptr_t state =
125-
metadata.stealer.fetch_xor(xormask, std::memory_order_relaxed);
125+
metadata.stealer.fetch_xor(xormask, std::memory_order_acquire);
126126

127127
assert(stealer != nullptr);
128128

0 commit comments

Comments
 (0)