From: Baochen Qiang <quic_bqiang@quicinc.com>
To: Johan Hovold <johan@kernel.org>,
Miaoqing Pan <quic_miaoqing@quicinc.com>
Cc: Johan Hovold <johan+linaro@kernel.org>,
Jeff Johnson <jjohnson@kernel.org>,
<linux-wireless@vger.kernel.org>, <ath11k@lists.infradead.org>,
<linux-kernel@vger.kernel.org>, <stable@vger.kernel.org>
Subject: Re: [PATCH 1/3] wifi: ath11k: fix dest ring-buffer corruption
Date: Tue, 3 Jun 2025 18:52:37 +0800 [thread overview]
Message-ID: <5268c9ba-16cf-4d3a-87df-bbe0ddd3d584@quicinc.com> (raw)
In-Reply-To: <aD1axxSAJsbUfnHH@hovoldconsulting.com>
On 6/2/2025 4:03 PM, Johan Hovold wrote:
> On Thu, May 29, 2025 at 03:03:38PM +0800, Miaoqing Pan wrote:
>> On 5/26/2025 7:48 PM, Johan Hovold wrote:
>>> Add the missing memory barriers to make sure that destination ring
>>> descriptors are read after the head pointers to avoid using stale data
>>> on weakly ordered architectures like aarch64.
>
>>> @@ -3851,6 +3851,9 @@ int ath11k_dp_process_rx_err(struct ath11k_base *ab, struct napi_struct *napi,
>>>
>>> ath11k_hal_srng_access_begin(ab, srng);
>>>
>>> + /* Make sure descriptor is read after the head pointer. */
>>> + dma_rmb();
>>> +
>>
>> Thanks Johan, for continuing to follow up on this issue. I have some
>> different opinions.
>>
>> This change somewhat deviates from the fix approach described in
>> https://lore.kernel.org/all/20250321095219.19369-1-johan+linaro@kernel.org/.
>> In this case, the descriptor might be accessed before it is updated or
>> while it is still being updated. Therefore, a dma_rmb() should be added
>> after the call to ath11k_hal_srng_dst_get_next_entry() and before
>> accessing ath11k_hal_ce_dst_status_get_length(), to ensure that the DMA
>> has completed before reading the descriptor.
>>
>> However, in this patch, the memory barrier is used to protect the head
>> pointer (HP). I don't think a memory barrier is necessary for HP,
>> because even if an outdated HP is fetched,
>> ath11k_hal_srng_dst_get_next_entry() will return NULL and exit safely.
>
> No, the barrier is needed between reading the head pointer and accessing
> descriptor fields, that's what matters.
>
> You can still end up with reading stale descriptor data even when
> ath11k_hal_srng_dst_get_next_entry() returns non-NULL due to speculation
> (that's what happens on the X13s).
The fact is that a dma_rmb() does not even prevent speculation, no matter where it is
placed, right? If so the whole point of dma_rmb() is to prevent from compiler reordering
or CPU reordering, but is it really possible?
The sequence is
1# reading HP
srng->u.dst_ring.cached_hp = READ_ONCE(*srng->u.dst_ring.hp_addr);
2# validate HP
if (srng->u.dst_ring.tp == srng->u.dst_ring.cached_hp)
return NULL;
3# get desc
desc = srng->ring_base_vaddr + srng->u.dst_ring.tp;
4# accessing desc
ath11k_hal_desc_reo_parse_err(... desc, ...)
Clearly each step depends on the results of previous steps. In this case the compiler/CPU
is expected to be smart enough to not do any reordering, isn't it?
>
> Whether to place it before or after (or inside)
> ath11k_hal_srng_dst_get_next_entry() is a trade off between readability,
> maintainability and whether we want to avoid unnecessary barriers in
> cases like the above where we strictly only need one barrier before the
> loop (or if we want to avoid the barrier in case the ring is ever
> empty).
>
>> So, placing the memory barrier inside
>> ath11k_hal_srng_dst_get_next_entry() would be more appropriate.
>>
>> @@ -678,6 +678,8 @@ u32 *ath11k_hal_srng_dst_get_next_entry(struct
>> ath11k_base *ab,
>> if (srng->flags & HAL_SRNG_FLAGS_CACHED)
>> ath11k_hal_srng_prefetch_desc(ab, srng);
>>
>> + dma_rmb();
>> +
>> return desc;
>> }
>
> So this will add a barrier in each iteration of the loop, but we only
> need a single one after reading the head pointer.
>
> [ Also note that ath11k_hal_srng_dst_peek() would similarly need a
> barrier if we were to move them into those helpers. ]
>
> Johan
>
next prev parent reply other threads:[~2025-06-03 10:52 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-05-26 11:48 [PATCH 0/3] " Johan Hovold
2025-05-26 11:48 ` [PATCH 1/3] " Johan Hovold
2025-05-29 7:03 ` Miaoqing Pan
2025-06-02 8:03 ` Johan Hovold
2025-06-03 10:52 ` Baochen Qiang [this message]
2025-06-03 11:51 ` Johan Hovold
2025-06-04 2:16 ` Baochen Qiang
2025-06-04 6:59 ` Johan Hovold
2025-06-05 8:16 ` Baochen Qiang
2025-06-04 2:34 ` Miaoqing Pan
2025-06-04 5:32 ` Miaoqing Pan
2025-06-04 7:06 ` Johan Hovold
2025-06-04 7:57 ` Miaoqing Pan
2025-06-04 8:07 ` Johan Hovold
2025-06-04 8:18 ` Miaoqing Pan
2025-06-04 16:24 ` Jeff Johnson
2025-06-05 4:01 ` Miaoqing Pan
2025-06-05 10:17 ` Johan Hovold
2025-06-05 10:54 ` Baochen Qiang
2025-06-06 0:52 ` Miaoqing Pan
2025-06-06 2:02 ` Baochen Qiang
2025-06-06 7:43 ` Miaoqing Pan
2025-06-25 2:06 ` Baochen Qiang
2025-06-25 9:34 ` Johan Hovold
2025-05-26 11:48 ` [PATCH 2/3] wifi: ath11k: use plain access for descriptor length Johan Hovold
2025-05-26 11:48 ` [PATCH 3/3] wifi: ath11k: use plain accesses for monitor descriptor Johan Hovold
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5268c9ba-16cf-4d3a-87df-bbe0ddd3d584@quicinc.com \
--to=quic_bqiang@quicinc.com \
--cc=ath11k@lists.infradead.org \
--cc=jjohnson@kernel.org \
--cc=johan+linaro@kernel.org \
--cc=johan@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-wireless@vger.kernel.org \
--cc=quic_miaoqing@quicinc.com \
--cc=stable@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®