At the intersection of these two topics, does Antithesis have any capabilities around simulating memory ordering to validate lock free algorithms?
replyWe support thread-pausing via instrumentation. This can cause threads to observe different interleavings, which can help uncover bugs in concurrent algorithms. At this time, we don't perform specific memory model fault injection or fuzzing.
reply