Re: [PATCH] block: Use try_cmpxchg some more

[Uros Bizjak]

On Tue, Jul 12, 2022 at 7:13 AM Christoph Hellwig <hch@xxxxxxxxxxxxx> wrote:
>
> On Mon, Jul 11, 2022 at 05:33:01PM +0200, Uros Bizjak wrote:
> > Use try_cmpxchg family of functions instead of cmpxchg (*ptr, old, new) == old.
> > x86 CMPXCHG instruction returns success in ZF flag, so this change saves a
> > compare after cmpxchg (and related move instruction in front of cmpxchg).
> >
> > Also, try_cmpxchg implicitly assigns old *ptr value to "old" when
> > cmpxchg fails, enabling further code simplifications.
> >
> > No functional change intended.
>
> You might want to split this into a patch per caller as it might
> attact different reviewers.

No problem for me. get_maintainer.pl returned Jens as the sole
maintainer for all these parts, so I put everything together in order
to ease the maintainer's job.

> > +     do {
> > +     } while (old && !atomic_try_cmpxchg(&blkg->use_delay, &old, old - 1));
>
> It might just be me, but for loops with an empty body this do { } while
> construct looks odd.  Why not:
>
>         while (old && !atomic_try_cmpxchg(&blkg->use_delay, &old, old - 1))
>                 ;

The form was taken from e6790e4b5d5e97dc287f3496dd2cf2dbabdfdb35 [1].
Using try_cmpxhchg, almost every use fits in

do {
    // the body of the loop
} while (try_cmpxchg ...)

and when the body of the loop is empty, it is clear that this was
indeed intended. Using

while (try_cmpxchg ...);

looks to me like a semicolon was left there in error, like "if (...);".

> The the use of the atomic on ->use_delay looks really whacky to start
> with.  To me it sounds like it really wants to use a proper lock
> instead of all this magic.

I took a lot of care not to change the functionality of the
surrounding code, and any functional change should be outside of the
scope of the patch.

[1] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e6790e4b5d5e97dc287f3496dd2cf2dbabdfdb35

Uros.