public inbox for linux-s390@vger.kernel.org
 help / color / mirror / Atom feed
From: David Hildenbrand <david@redhat.com>
To: Christian Borntraeger <borntraeger@de.ibm.com>,
	Cornelia Huck <cohuck@redhat.com>
Cc: KVM <kvm@vger.kernel.org>,
	linux-s390 <linux-s390@vger.kernel.org>,
	Janosch Frank <frankja@linux.vnet.ibm.com>,
	Claudio Imbrenda <imbrenda@linux.vnet.ibm.com>
Subject: Re: [PATCH v2] KVM: s390: add proper locking for CMMA migration bitmap
Date: Wed, 24 Jan 2018 14:05:46 +0100	[thread overview]
Message-ID: <f7d799ed-4784-ff13-6be1-7c4eeb07f793@redhat.com> (raw)
In-Reply-To: <495294ee-97a3-b444-d1e8-4a0205ebe79d@de.ibm.com>

On 24.01.2018 14:02, Christian Borntraeger wrote:
> 
> 
> On 01/24/2018 01:54 PM, David Hildenbrand wrote:
>> On 24.01.2018 13:51, Christian Borntraeger wrote:
>>>
>>>
>>> On 01/24/2018 01:51 PM, David Hildenbrand wrote:
>>>> On 24.01.2018 13:41, Christian Borntraeger wrote:
>>>>> Some parts of the cmma migration bitmap is already protected
>>>>> with the kvm->lock (e.g. the migration start). On the other
>>>>> hand the read of the cmma bits is not protected against a
>>>>> concurrent free, neither is the emulation of the ESSA instruction.
>>>>> Let's extend the locking to all related ioctls by using
>>>>> the slots lock and wait for the freeing until all unlocked
>>>>> users have finished (those hold kvm->srcu for read).
>>>>>
>>>>> Reported-by: David Hildenbrand <david@redhat.com>
>>>>> Signed-off-by: Christian Borntraeger <borntraeger@de.ibm.com>
>>>>> Cc: stable@vger.kernel.org # 4.13+
>>>>> Fixes: 190df4a212a7 (KVM: s390: CMMA tracking, ESSA emulation, migration mode)
>>>>> Reviewed-by: Claudio Imbrenda <imbrenda@linux.vnet.ibm.com>
>>>>> ---
>>>>> v1->v2: fix comments in kvm_s390_vm_[start|stop]_migration
>>>>>  arch/s390/kvm/kvm-s390.c | 18 +++++++++++-------
>>>>>  1 file changed, 11 insertions(+), 7 deletions(-)
>>>>>
>>>>> diff --git a/arch/s390/kvm/kvm-s390.c b/arch/s390/kvm/kvm-s390.c
>>>>> index 2a5a9f0617f88..e81b748af4553 100644
>>>>> --- a/arch/s390/kvm/kvm-s390.c
>>>>> +++ b/arch/s390/kvm/kvm-s390.c
>>>>> @@ -769,7 +769,7 @@ static void kvm_s390_sync_request_broadcast(struct kvm *kvm, int req)
>>>>>  
>>>>>  /*
>>>>>   * Must be called with kvm->srcu held to avoid races on memslots, and with
>>>>> - * kvm->lock to avoid races with ourselves and kvm_s390_vm_stop_migration.
>>>>> + * kvm->slots_lock to avoid races with ourselves and kvm_s390_vm_stop_migration.
>>>>>   */
>>>>>  static int kvm_s390_vm_start_migration(struct kvm *kvm)
>>>>>  {
>>>>> @@ -824,7 +824,7 @@ static int kvm_s390_vm_start_migration(struct kvm *kvm)
>>>>>  }
>>>>>  
>>>>>  /*
>>>>> - * Must be called with kvm->lock to avoid races with ourselves and
>>>>> + * Must be called with kvm->slots_lock to avoid races with ourselves and
>>>>>   * kvm_s390_vm_start_migration.
>>>>>   */
>>>>>  static int kvm_s390_vm_stop_migration(struct kvm *kvm)
>>>>> @@ -839,6 +839,8 @@ static int kvm_s390_vm_stop_migration(struct kvm *kvm)
>>>>>  
>>>>>  	if (kvm->arch.use_cmma) {
>>>>>  		kvm_s390_sync_request_broadcast(kvm, KVM_REQ_STOP_MIGRATION);
>>>>> +		/* We have to wait for the essa emulation to finish */
>>>>> +		synchronize_srcu(&kvm->srcu);
>>>>>  		vfree(mgs->pgste_bitmap);
>>>>>  	}
>>>>>  	kfree(mgs);
>>>>> @@ -848,14 +850,12 @@ static int kvm_s390_vm_stop_migration(struct kvm *kvm)
>>>>>  static int kvm_s390_vm_set_migration(struct kvm *kvm,
>>>>>  				     struct kvm_device_attr *attr)
>>>>>  {
>>>>> -	int idx, res = -ENXIO;
>>>>> +	int res = -ENXIO;
>>>>>  
>>>>> -	mutex_lock(&kvm->lock);
>>>>> +	mutex_lock(&kvm->slots_lock);
>>>>
>>>> Why were we holding the kvm lock here? Is it okay to drop this lock now?
>>>>
>>>> (I assume it only existed to avoid having multiple concurrent users
>>>> trying to set the migration state - in that case this is fine)
>>>
>>> Yes, it was used to prevent multiple users. 
>>
>> So we are using srcu to protect a pointer not managed via rcu. Looks
>> strange, but guess this works because of the request bit handling.
> 
> No we are using kvm_slots_locks for all migration related functions:
> -kvm_s390_vm_start_migration
> -kvm_s390_vm_stop_migration
> -kvm_s390_set_cmma_bits
> -kvm_s390_get_cmma_bits
> 
> 
> In addition to that we use synchronize_srcu to ensure that the essa handler 
> has finished. 
> 
> 

Reviewed-by: David Hildenbrand <david@redhat.com>

-- 

Thanks,

David / dhildenb

  reply	other threads:[~2018-01-24 13:05 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-01-24 12:41 [PATCH v2] KVM: s390: add proper locking for CMMA migration bitmap Christian Borntraeger
2018-01-24 12:51 ` David Hildenbrand
2018-01-24 12:51   ` Christian Borntraeger
2018-01-24 12:54     ` David Hildenbrand
2018-01-24 13:02       ` Christian Borntraeger
2018-01-24 13:05         ` David Hildenbrand [this message]
2018-01-24 13:08           ` Christian Borntraeger
2018-01-24 14:17             ` Cornelia Huck
2018-01-24 14:21 ` Cornelia Huck

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=f7d799ed-4784-ff13-6be1-7c4eeb07f793@redhat.com \
    --to=david@redhat.com \
    --cc=borntraeger@de.ibm.com \
    --cc=cohuck@redhat.com \
    --cc=frankja@linux.vnet.ibm.com \
    --cc=imbrenda@linux.vnet.ibm.com \
    --cc=kvm@vger.kernel.org \
    --cc=linux-s390@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