-
Type: Task
-
Resolution: Duplicate
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
None
It is a desired feature to run tsan to verify the correctness of the memory model. However, it is hard to achieve that on WiredTiger as we cannot migrate the whole codebase to C memory mode in one go. We can first try and demonstrate the feasibility of that on the standalone skip list stress test.