News for hackers. Stuff that matters.

A comment on How to trigger races reliably in the Linux kernel. Parent comment

Re:How to trigger races reliably in the Linux kernel by throwaway2048 on Tuesday May 05, 2020 @11:29AM (#23081075)
rr isn't going to work on a kernel.
[ Parent | on HN ]
Re:How to trigger races reliably in the Linux kernel by Hello71 on Tuesday May 05, 2020 @12:04PM (#23081518)
I'm inclined to say that it will work on User Mode Linux, and it looks like QEMU does have record/replay functionality.
[ Parent | on HN ]
Re:How to trigger races reliably in the Linux kernel by loeg on Tuesday May 05, 2020 @12:34PM (#23081849)
Yes, it works as long as you don't have any real devices that cannot be captured in a reverse-debugger's state history.
[ Parent | on HN ]
Re:How to trigger races reliably in the Linux kernel by ndesaulniers on Tuesday May 05, 2020 @02:49PM (#23083375)
That won't help with data races in drivers. MMIO can even race and isn't well specified.
[ Parent | on HN ]