Thank you all! This was very helpful :) On Sun, Jun 4, 2023 at 3:54 PM 'Axel Wagner' via golang-nuts < golang-nuts@googlegroups.com> wrote:
> I think the race detector is already relatively good at this. Like, AIUI, > it keeps track of the partial order of events and checks if that is > consistent and doesn't *purely* rely on writes actually happen concurrently. > I suspect (based on little) that in this case, the synchronization points > that logging introduces might be more relevant. But I don't know. > > On Sun, Jun 4, 2023 at 9:20 PM Stephen Illingworth < > stephen.illingwo...@gmail.com> wrote: > >> But it does not introduce false positives. It exposes true positives. The >> race are still there, even if the race detector can not detect them. Note >> that the race detector is a heuristic. It will never find all race >> conditions, only the ones encountered in the actual run. >> >> >> This is a great point. They are true positives. >> >> I wonder if it's possible for the -race detector (via an optional flag) >> to introduce random lag in order to change the execution profile. I'm >> thinking that this would help to flush out these true positives. Fuzz >> testing but specifically for race detection. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "golang-nuts" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to golang-nuts+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/golang-nuts/8ca3eef8-74b4-4ed3-b9fb-4cc63f5d0a86n%40googlegroups.com >> <https://groups.google.com/d/msgid/golang-nuts/8ca3eef8-74b4-4ed3-b9fb-4cc63f5d0a86n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > You received this message because you are subscribed to the Google Groups > "golang-nuts" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to golang-nuts+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/golang-nuts/CAEkBMfHP9HQsut_5Sp9atQw4jQHQ1P3cYs1LT%3DHrrT-O0k%3DEzQ%40mail.gmail.com > <https://groups.google.com/d/msgid/golang-nuts/CAEkBMfHP9HQsut_5Sp9atQw4jQHQ1P3cYs1LT%3DHrrT-O0k%3DEzQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CAJYcXdo_-7X%3D7%3DsE02JU%2BZOEytaWn8LWWUs_WG0biV2p3q17QA%40mail.gmail.com.
