How to trigger races reliably in the Linux kernel

Re:How to trigger races reliably in the Linux kernel by steerablesafe on Tuesday May 05, 2020 @11:11AM (#23080855)

In C++ a data race is UB, so it is most definitely always a bug there.

[ Parent | on HN ]

Re:How to trigger races reliably in the Linux kernel by CodesInChaos on Tuesday May 05, 2020 @12:29PM (#23081791)

The C++ standard's definition of a datarace only applies to ordinary memory access and rules those cases UB. But if you port such code to use relaxed load/store operations it's just as racey, but no longer UB. I'd consider still consider those cases data races, even though they don't meet the C++ standard's definition of them.

[ Parent | on HN ]

Re:How to trigger races reliably in the Linux kernel by steerablesafe on Thursday May 07, 2020 @08:30AM (#23102200)

Then you probably don't consider Rust datarace free as well.

[ Parent | on HN ]