This is great, is there a "loom" like library for C++?
I have a set of lock-free data structures that I would like to test.
It's been around a while and is easy to work with. Written by Dmitry Vyukov, an expert in the concurrency world.
It told me a structure might not make forward progress on some thread interleaving. I.e. if only one thread ever runs, the others don't do anything. That's true but uninformative. I wasn't able to coax it into using a vaguely fair scheduler to get more useful information out than that.
https://github.com/facebook/folly/blob/main/folly/test/Deter...