linux-kernel - Re: [PATCH] iommu/arm-smmu-v3: poll cmdq until it has space

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <1632244345526.44611@amazon.com>
Date:   Tue, 21 Sep 2021 17:12:25 +0000
From:   "Sieber, Fernand" <sieberf@...zon.com>
To:     John Garry <john.garry@...wei.com>,
        "will@...nel.org" <will@...nel.org>,
        "robin.murphy@....com" <robin.murphy@....com>
CC:     "linux-arm-kernel@...ts.infradead.org" 
        <linux-arm-kernel@...ts.infradead.org>,
        "iommu@...ts.linux-foundation.org" <iommu@...ts.linux-foundation.org>,
        "linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] iommu/arm-smmu-v3: poll cmdq until it has space

Hi John,

> But is the polarity really correct? That is, if we don't have space,
> then exit with success (the function to check for space).

You are absolutely correct, this is a mistake that I made as I was resolving conflicts while porting this patch to iommu/next from 5.4 where I implemented and tested it.
It should be:

> -             if (!queue_full(llq))
> +             if (queue_has_space(llq, n))


> what is llq->state->val?

This is an other oversight for the same reason, llq->state->val has since then been renamed llq->val

Will fix both of these in the next revision.
Thanks and kind regards,

--Fernand

________________________________________
From: John Garry <john.garry@...wei.com>
Sent: Tuesday, September 21, 2021 18:22
To: Sieber, Fernand; will@...nel.org; robin.murphy@....com
Cc: linux-arm-kernel@...ts.infradead.org; iommu@...ts.linux-foundation.org; linux-kernel@...r.kernel.org
Subject: RE: [EXTERNAL] [PATCH] iommu/arm-smmu-v3: poll cmdq until it has space

CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you can confirm the sender and know the content is safe.



On 21/09/2021 12:43, Fernand Sieber wrote:
>       do {

I didn't follow the full logic of this change yet ...

>               llq->val = READ_ONCE(cmdq->q.llq.val);
> -             if (!queue_full(llq))
> +             if (!queue_has_space(llq, n))

But is the polarity really correct? That is, if we don't have space,
then exit with success (the function to check for space).

>                       break;
>
> +             /*
> +              * We must return here even if there's no space, because the producer
> +              * having moved forward could mean that the last thread observing the
> +              * SMMU progress has allocated space in the cmdq and moved on, leaving
> +              * us in this waiting loop with no other thread updating
> +              * llq->state->val.

what is llq->state->val?

> +              */
> +             if (llq->prod != prod)
> +                     return -EAGAIN;
> +
>               ret = queue_poll(&qp);

Thanks,
John