Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <334af9a1281673c0ac43dedccb6c1aea16494827.camel@gmail.com>
Subject: Re: [PATCH v2 0/8] Remove adis_initial_startup usage
From:   Nuno =?ISO-8859-1?Q?S=E1?= <noname.nuno@gmail.com>
To:     Jonathan Cameron <jic23@kernel.org>,
        "Sa, Nuno" <Nuno.Sa@analog.com>
Cc:     "Bolboaca, Ramona" <Ramona.Bolboaca@analog.com>,
        "linux-iio@vger.kernel.org" <linux-iio@vger.kernel.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>
Date:   Tue, 15 Nov 2022 13:47:56 +0100
In-Reply-To: <20221105150647.2c9cbff7@jic23-huawei>
References: <20221103080847.162509-1-ramona.bolboaca@analog.com>
         <SJ0PR03MB677857576EF31B737F6D3DF599389@SJ0PR03MB6778.namprd03.prod.outlook.com>
         <20221105150647.2c9cbff7@jic23-huawei>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
User-Agent: Evolution 3.44.4 
MIME-Version: 1.0
Precedence: bulk

On Sat, 2022-11-05 at 15:06 +0000, Jonathan Cameron wrote:
> On Thu, 3 Nov 2022 12:35:31 +0000
> "Sa, Nuno" <Nuno.Sa@analog.com> wrote:
>=20
> > > From: Ramona Bolboaca <ramona.bolboaca@analog.com>
> > > Sent: Thursday, November 3, 2022 9:09 AM
> > > To: jic23@kernel.org; linux-iio@vger.kernel.org; linux-
> > > kernel@vger.kernel.org
> > > Cc: Bolboaca, Ramona <Ramona.Bolboaca@analog.com>
> > > Subject: [PATCH v2 0/8] Remove adis_initial_startup usage
> > >=20
> > >=20
> > > Remove 'adis_initial_startup()' usage due to the fact that it
> > > leads to a
> > > deadlock.
> > > The same mutex is acquired twice, without releasing it, once
> > > inside
> > > 'adis_initial_startup()' and once inside 'adis_enable_irq()'.
> > > Instead of 'adis_initial_startup()', use
> > > '__adis_initial_startup()'.
> > >=20
> > > Ramona Bolboaca (8):
> > > =C2=A0 iio: accel: adis16201: Fix deadlock in probe
> > > =C2=A0 iio: accel: adis16209: Fix deadlock in probe
> > > =C2=A0 iio: gyro: adis16136: Fix deadlock in probe
> > > =C2=A0 iio: gyro: adis16260: Fix deadlock in probe
> > > =C2=A0 iio: imu: adis16400: Fix deadlock in probe
> > > =C2=A0 staging: iio: accel: adis16203: Fix deadlock in probe
> > > =C2=A0 staging: iio: accel: adis16240: Fix deadlock in probe
> > > =C2=A0 iio: imu: adis: Remove adis_initial_startup function
> > >=20
> > > =C2=A0drivers/iio/accel/adis16201.c=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0 |=C2=A0 2 +-
> > > =C2=A0drivers/iio/accel/adis16209.c=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0 |=C2=A0 2 +-
> > > =C2=A0drivers/iio/gyro/adis16136.c=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0 |=C2=A0 2 +-
> > > =C2=A0drivers/iio/gyro/adis16260.c=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0 |=C2=A0 2 +-
> > > =C2=A0drivers/iio/imu/adis16400.c=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0 |=C2=A0 2 +-
> > > =C2=A0drivers/staging/iio/accel/adis16203.c |=C2=A0 2 +-
> > > =C2=A0drivers/staging/iio/accel/adis16240.c |=C2=A0 2 +-
> > > =C2=A0include/linux/iio/imu/adis.h=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0 | 12 ------------
> > > =C2=A08 files changed, 7 insertions(+), 19 deletions(-)
> > > =C2=A0=20
> >=20
> > You could have placed your v2 changelog in the cover letter.
> > Moreover it's the same for all patches... Anyways:=20
> >=20
> > Reviewed-by: Nuno S=C3=A1 <nuno.sa@analog.com>
>=20
> This feels a little backwards.=C2=A0 Normally we'd expect the
> outer function to take the lock and the inner call to not
> do so.=C2=A0 Now it's fine to not take the lock here at all because
> the outer function call is in probe anyway, before we reach
> the point where there should be an concurrency.
>=20
> I wonder if we should instead do this by having
> an unlocked __adis_enable_irq() that is always called
> by __adis_initial_startup().=C2=A0 That would be the fix that
> then needs backporting.
>=20

I did mentioned the same thing in the first version of the series but
did not really pushed for it. Now that you mention, I agree it feels
weird (and wrong from a design perspective) to have the lock,
"silently", taken inside a function starting with double underscore
(which should mean unlocked call).

> Switching the calls from adis_initial_startup() to
> __adis_initial_startup() would then just be a trivial
> optimization to not take locks before they should ever matter.
>=20
> This all hinges on my assumption that the lock isn't useful.
> Am I right on that?
>=20

I think so as all the calls happen during probe before registering the
userspace interface.

- Nuno S=C3=A1