Re: Issue with markers in isolation tester? Or not?

On Mon, Jan 13, 2025 at 02:02:00AM +0100, Michail Nikolaev wrote:
> While stabilizing tests for [0] I have noticed unclear (and confusing in my
> opinion) behavior of markers in the isolation tester.
> 
> I have attached a test with reproducer.
> 
> There are two permutations in the test:
> 
> permutation
>       after(before)
>       before
>       detach1
>       wakeup1
>       detach2
>       wakeup2
> 
> In that case, I see expected results:
>       step before: <... completed>
>       step after: <... completed>
> 
> But changing the order of steps slightly:
> 
> permutation
>        after(before)
>        wakeup1  <------- wakeup moved here
>        before
>        detach1
>        detach2
>        wakeup2
> 
> makes "after" to be completed before "before". Does that make sense?

Yes.  I don't see a good reason for isolationtester to disregard that
"(before)" marker, so I think you've found a bug in isolationtester.  How
might we fix it?