On 01/12/2025 22.49, Ilya Leoshkevich wrote:
Hi,
Here is my attempt to fix [1] based on the discussion in [2].
I'm sending this as an RFC, because I have definitely misunderstood a
thing or two about record-replay, missed some timer bookkeeping
intricacies, and haven't split arch-dependent and independent parts
into different patches.
This survives "make check" and "make check-tcg" with the test from [2],
both with and without extra load in background.
Please let me know what you think about the approach.
Since there were no other suggestions, I guess your patch is the way to go
forward with this bug now. I'll add it to my next pull request.
Thanks,
Thomas
