Re: [PATCH-resent-to-correct-ml 0/8] drm/xe: Convert xe_force_wake calls to guard helpers.

[Maarten Lankhorst]

Hey,

Thanks for your feedback. I think in this case you are right, and it 
will become unreadable.

I'll try to make sparse annotations work, and then see if we can enable 
it in CI for all.

Cheers,
~Maarten

On 2025-02-04 18:40, David Lechner wrote:
> On 2/4/25 7:22 AM, Maarten Lankhorst wrote:
> > Ignore my previous series please, it should have been sent to intel-xe, was sent to intel-gfx.
> >
> > Instead of all this repetition of
> >
> > {
> > 	unsigned fw_ref;
> >
> > 	fw_ref = xe_force_wake_get(fw, domain);
> > 	if (!xe_force_wake_ref_has_domain(..))
> > 		return -ETIMEDOUT;
> >
> > 	...
> >
> > out:
> > 	xe_force_wake_put(fw_ref);
> > 	return ret;
> > }
> >
> > I thought I would look at how to replace it with the guard helpers.
> > It is easy, but it required some minor fixes to make DEFINE_LOCK_GUARD_1
> > work with extra init arguments.
> >
> > So I changed the function signature slightly to make the first optional argument
> > a struct member (current behavior), and any additional argument goes to the init
> > call.
> >
> > This replaces the previous code with
> > {
> > 	scoped_cond_guard(xe_force_wake_get, return -ETIMEDOUT, fw, domain) {
> > 		....
> >
> > 		return ret;
> > 	}
> > }
> >
> > I' ve thought also of playing with this:
> > {
> > 	CLASS(xe_force_wake_get, fw_ref)(fw, domain);
> > 	if (!fw_ref.lock))
> > 		return -ETIMEDOUT;
> >
> > 	...
> > 	return ret;
> > }
> >
> > I'm just fearing that the scoped_cond_guard makes it imposssible to get this
> > wrong, while in the second example it's not clear that it can fail, and that
> > you have to check.
> >
> > Let me know what you think!
> > Feedback welcome for the header change as well, should probably go into the locking tree..
> When I tried to make a similar improvement, Linus said to please stop trying
> with the conditional guard stuff [1]. So my advice is don't do it.
>
> Just replace the:
>
> > 	...
> >
> > out:
>
> with a helper function if you want to get rid of the gotos.
>
> That is what we are doing in the iio subsystem [2][3].
>
> [1]: https://lore.kernel.org/all/CAHk-=whn07tnDosPfn+UcAtWHBcLg=KqA16SHVv0GV4t8P1fHw@xxxxxxxxxxxxxx/
> [2]: https://lore.kernel.org/all/20250105172613.1204781-1-jic23@xxxxxxxxxx/
> [3]: https://lore.kernel.org/all/20250202210045.1a9e85d7@jic23-huawei/