From: Douglas Freimuth <freimuth@linux.ibm.com>
To: Matthew Rosato <mjrosato@linux.ibm.com>,
Claudio Imbrenda <imbrenda@linux.ibm.com>,
linux-kernel@vger.kernel.org
Cc: kvm@vger.kernel.org, linux-s390@vger.kernel.org,
borntraeger@de.ibm.com, frankja@linux.ibm.com, david@kernel.org,
seiden@linux.ibm.com, nrb@linux.ibm.com,
schlameuss@linux.ibm.com, gra@linux.ibm.com
Subject: Re: [PATCH v2 1/6] KVM: s390: Fix dirty marking in adapter_indicators_set*()
Date: Mon, 24 Aug 2026 10:25:59 -0400 [thread overview]
Message-ID: <eb54104e-e295-4b73-a27b-fb42deaebb56@linux.ibm.com> (raw)
In-Reply-To: <f3fce9e7-f59e-4cdf-861a-83ca44d3bc68@linux.ibm.com>
On 8/18/26 4:43 PM, Matthew Rosato wrote:
> On 8/14/26 12:33 PM, Claudio Imbrenda wrote:
>> When the indicator and/or summary bits are set in the guest, the
>> accessed page was only marked dirty in KVM if the access was performed
>> using the slow path; accesses through the new kvm_arch_set_irq_inatomic
>> fast inject path would not mark the page as dirty.
>>
>> Fix by adding/moving the missing calls to mark_page_dirty(). Note that
>> for the inatomic path set_page_dirty{,_lock}() is not needed as the
>> page stays pinned; the unpin path correctly marks it as dirty.
>>
>> Opportunistically reorder the local variables to be in reverse
>> Christmas tree order and refactor to use guard().
>>
>> Fixes: 1e95e3bc6b05 ("KVM: s390: Enable adapter_indicators_set to use mapped pages")
>> Signed-off-by: Claudio Imbrenda <imbrenda@linux.ibm.com>
>
> The code itself looks good to me:
>
> Reviewed-by: Matthew Rosato <mjrosato@linux.ibm.com>
>
> Doug, can you please test (w/ lockdep enabled)?
>
> Thanks,
> Matt
>
I did some testing (not exhaustive) with blkpvt and stressed with
stress-ng to force paging and I didn't observe any lockdep messages.
>> ---
>> arch/s390/kvm/interrupt.c | 40 ++++++++++++++++++++-------------------
>> 1 file changed, 21 insertions(+), 19 deletions(-)
>>
>> diff --git a/arch/s390/kvm/interrupt.c b/arch/s390/kvm/interrupt.c
>> index da740a378a8c..fc4d1f8193d9 100644
>> --- a/arch/s390/kvm/interrupt.c
>> +++ b/arch/s390/kvm/interrupt.c
>> @@ -2984,12 +2984,14 @@ static int adapter_indicators_set(struct kvm *kvm,
>> struct s390_io_adapter *adapter,
>> struct kvm_s390_adapter_int *adapter_int)
>> {
>> - unsigned long bit;
>> - int summary_set, idx;
>> struct s390_map_info *ind_info, *summary_info;
>> - void *map;
>> struct page *ind_page, *summary_page;
>> unsigned long flags;
>> + unsigned long bit;
>> + int summary_set;
>> + void *map;
>> +
>> + guard(srcu)(&kvm->srcu);
>>
>> ind_page = NULL;
>>
>> @@ -3000,14 +3002,11 @@ static int adapter_indicators_set(struct kvm *kvm,
>> ind_page = pin_map_page(kvm, adapter_int->ind_addr, 0);
>> if (!ind_page)
>> return -1;
>> - idx = srcu_read_lock(&kvm->srcu);
>> map = page_address(ind_page);
>> bit = get_ind_bit(adapter_int->ind_addr,
>> adapter_int->ind_offset, adapter->swap);
>> set_bit(bit, map);
>> - mark_page_dirty(kvm, adapter_int->ind_gaddr >> PAGE_SHIFT);
>> set_page_dirty_lock(ind_page);
>> - srcu_read_unlock(&kvm->srcu, idx);
>> unpin_user_page(ind_page);
>> } else {
>> map = page_address(ind_info->page);
>> @@ -3015,6 +3014,7 @@ static int adapter_indicators_set(struct kvm *kvm,
>> set_bit(bit, map);
>> spin_unlock_irqrestore(&adapter->maps_lock, flags);
>> }
>> + mark_page_dirty(kvm, gpa_to_gfn(adapter_int->ind_gaddr));
>>
>> spin_lock_irqsave(&adapter->maps_lock, flags);
>> summary_info = get_map_info(adapter, adapter_int->summary_addr);
>> @@ -3023,14 +3023,11 @@ static int adapter_indicators_set(struct kvm *kvm,
>> summary_page = pin_map_page(kvm, adapter_int->summary_addr, 0);
>> if (!summary_page)
>> return -1;
>> - idx = srcu_read_lock(&kvm->srcu);
>> map = page_address(summary_page);
>> bit = get_ind_bit(adapter_int->summary_addr,
>> adapter_int->summary_offset, adapter->swap);
>> summary_set = test_and_set_bit(bit, map);
>> - mark_page_dirty(kvm, adapter_int->summary_gaddr >> PAGE_SHIFT);
>> set_page_dirty_lock(summary_page);
>> - srcu_read_unlock(&kvm->srcu, idx);
>> unpin_user_page(summary_page);
>> } else {
>> map = page_address(summary_info->page);
>> @@ -3039,6 +3036,7 @@ static int adapter_indicators_set(struct kvm *kvm,
>> summary_set = test_and_set_bit(bit, map);
>> spin_unlock_irqrestore(&adapter->maps_lock, flags);
>> }
>> + mark_page_dirty(kvm, gpa_to_gfn(adapter_int->summary_gaddr));
>>
>> return summary_set ? 0 : 1;
>> }
>> @@ -3048,26 +3046,29 @@ static int adapter_indicators_set_fast(struct kvm *kvm,
>> struct kvm_s390_adapter_int *adapter_int,
>> int setbit)
>> {
>> + struct s390_map_info *ind_info, *summary_info;
>> unsigned long bit;
>> int summary_set;
>> - struct s390_map_info *ind_info, *summary_info;
>> void *map;
>>
>> - spin_lock(&adapter->maps_lock);
>> + guard(srcu)(&kvm->srcu);
>> + guard(spinlock)(&adapter->maps_lock);
>> +
>> ind_info = get_map_info(adapter, adapter_int->ind_addr);
>> - if (!ind_info) {
>> - spin_unlock(&adapter->maps_lock);
>> + if (!ind_info)
>> return -EWOULDBLOCK;
>> - }
>> +
>> map = page_address(ind_info->page);
>> bit = get_ind_bit(ind_info->addr, adapter_int->ind_offset, adapter->swap);
>> - if (setbit)
>> + if (setbit) {
>> set_bit(bit, map);
>> + mark_page_dirty(kvm, gpa_to_gfn(adapter_int->ind_gaddr));
>> + }
>> +
>> summary_info = get_map_info(adapter, adapter_int->summary_addr);
>> - if (!summary_info) {
>> - spin_unlock(&adapter->maps_lock);
>> + if (!summary_info)
>> return -EWOULDBLOCK;
>> - }
>> +
>> map = page_address(summary_info->page);
>> bit = get_ind_bit(summary_info->addr, adapter_int->summary_offset,
>> adapter->swap);
>> @@ -3077,7 +3078,8 @@ static int adapter_indicators_set_fast(struct kvm *kvm,
>> summary_set = test_and_set_bit(bit, map);
>> else
>> summary_set = test_and_clear_bit(bit, map);
>> - spin_unlock(&adapter->maps_lock);
>> + mark_page_dirty(kvm, gpa_to_gfn(adapter_int->summary_gaddr));
>> +
>> return summary_set ? 0 : 1;
>> }
>>
>
next prev parent reply other threads:[~2026-08-24 14:26 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-14 16:33 [PATCH v2 0/6] KVM: s390: Even more misc fixes Claudio Imbrenda
2026-08-14 16:33 ` [PATCH v2 1/6] KVM: s390: Fix dirty marking in adapter_indicators_set*() Claudio Imbrenda
2026-08-17 6:45 ` Christian Borntraeger
2026-08-18 13:26 ` Matthew Rosato
2026-08-18 15:16 ` Christian Borntraeger
2026-08-18 20:43 ` Matthew Rosato
2026-08-24 14:25 ` Douglas Freimuth [this message]
2026-08-14 16:33 ` [PATCH v2 2/6] KVM: s390: Fix _gaccess_shadow_fault() Claudio Imbrenda
2026-08-14 16:33 ` [PATCH v2 3/6] KVM: s390: Refactor dat_set_slot() Claudio Imbrenda
2026-08-14 16:33 ` [PATCH v2 4/6] KVM: s390: Move all code into kvm_arch_prepare_memory_region() Claudio Imbrenda
2026-08-14 16:33 ` [PATCH v2 5/6] KVM: s390: Add missing srcu in kvm_s390_set_irq_state() Claudio Imbrenda
2026-08-19 11:46 ` Christoph Schlameuss
2026-08-14 16:33 ` [PATCH v2 6/6] KVM: s390: Fix potential races in dat skey functions Claudio Imbrenda
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=eb54104e-e295-4b73-a27b-fb42deaebb56@linux.ibm.com \
--to=freimuth@linux.ibm.com \
--cc=borntraeger@de.ibm.com \
--cc=david@kernel.org \
--cc=frankja@linux.ibm.com \
--cc=gra@linux.ibm.com \
--cc=imbrenda@linux.ibm.com \
--cc=kvm@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-s390@vger.kernel.org \
--cc=mjrosato@linux.ibm.com \
--cc=nrb@linux.ibm.com \
--cc=schlameuss@linux.ibm.com \
--cc=seiden@linux.ibm.com \
/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®