mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
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;
>>   }
>>   
> 


  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®