On: A formal kernel memory-ordering model

[chris_wot]

So it looks like you can run test code to check if memory ordering will cause issues in your code.

Is there something that will allow user space programs that do a variety of things to deal with concurrency to show up issues or potential issues?

[rrdharan → chris_wot]

Not sure if this is exactly what you are asking, but there's tsan (ThreadSanitizer):

https://github.com/google/sanitizers/wiki/ThreadSanitizerCpp...

[AstralStorm → chris_wot]

Also perhaps try Relacy concurrency checker.