Re: [PATCH v3 11/17] rv: Retry when da monitor detects race conditions

On Wed, Jul 16, 2025 at 10:59:44AM +0200, Gabriele Monaco wrote:

On Wed, 2025-07-16 at 10:45 +0200, Nam Cao wrote:

quoted

On Wed, Jul 16, 2025 at 10:38:11AM +0200, Gabriele Monaco wrote:

quoted

Yes you can, but I wouldn't do so silently.

Why not? The absolute worst that we get, is the rare case where a bug
appears at the exact same time. In that case, we would get a false
negative.

And I think that is really really rare.

Well, we wouldn't even know how rare it is because we don't track it!

It may be a harmless note but might also be a design flaw in the
monitor, so it should be possible to understand when it happens.

Oh, so you just want to track when this happens, as a RV developer. That
makes sense.

Just make sure it won't confuse other people who use the monitors to test
the kernel.

Best regards,
Nam