On 2013-03-04 15:28, Paolo Bonzini wrote:
> Il 03/03/2013 21:21, Jan Kiszka ha scritto:
>> From: Jan Kiszka <jan.kis...@siemens.com>
>>
>> A VCPU sending INIT or SIPI to some other VCPU races for setting the
>> remote VCPU's mp_state. When we were unlucky, KVM_MP_STATE_INIT_RECEIVED
>> was overwritten by kvm_emulate_halt and, thus, got lost.
>>
>> Fix this by raising requests on the sender side that will then be
>> handled synchronously over the target VCPU context.
>>
>> Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>
>> ---
>>
>> Turned out to be simpler than expected. I'm no longer able to reproduce
>> the race I saw before.
>>
>>  arch/x86/kvm/lapic.c     |    9 ++++-----
>>  arch/x86/kvm/x86.c       |   16 +++++++++++++++-
>>  include/linux/kvm_host.h |    2 ++
>>  3 files changed, 21 insertions(+), 6 deletions(-)
>>
>> diff --git a/arch/x86/kvm/lapic.c b/arch/x86/kvm/lapic.c
>> index 02b51dd..be1e37a 100644
>> --- a/arch/x86/kvm/lapic.c
>> +++ b/arch/x86/kvm/lapic.c
>> @@ -731,8 +731,7 @@ static int __apic_accept_irq(struct kvm_lapic *apic, int 
>> delivery_mode,
>>      case APIC_DM_INIT:
>>              if (!trig_mode || level) {
>>                      result = 1;
>> -                    vcpu->arch.mp_state = KVM_MP_STATE_INIT_RECEIVED;
>> -                    kvm_make_request(KVM_REQ_EVENT, vcpu);
>> +                    kvm_make_request(KVM_REQ_INIT, vcpu);
>>                      kvm_vcpu_kick(vcpu);
>>              } else {
>>                      apic_debug("Ignoring de-assert INIT to vcpu %d\n",
>> @@ -743,11 +742,11 @@ static int __apic_accept_irq(struct kvm_lapic *apic, 
>> int delivery_mode,
>>      case APIC_DM_STARTUP:
>>              apic_debug("SIPI to vcpu %d vector 0x%02x\n",
>>                         vcpu->vcpu_id, vector);
>> -            if (vcpu->arch.mp_state == KVM_MP_STATE_INIT_RECEIVED) {
>> +            if (vcpu->arch.mp_state == KVM_MP_STATE_INIT_RECEIVED ||
>> +                test_bit(KVM_REQ_INIT, &vcpu->requests)) {
>>                      result = 1;
>>                      vcpu->arch.sipi_vector = vector;
>> -                    vcpu->arch.mp_state = KVM_MP_STATE_SIPI_RECEIVED;
>> -                    kvm_make_request(KVM_REQ_EVENT, vcpu);
>> +                    kvm_make_request(KVM_REQ_SIPI, vcpu);
>>                      kvm_vcpu_kick(vcpu);
>>              }
>>              break;
>> diff --git a/arch/x86/kvm/x86.c b/arch/x86/kvm/x86.c
>> index d0cf737..8c8843c 100644
>> --- a/arch/x86/kvm/x86.c
>> +++ b/arch/x86/kvm/x86.c
>> @@ -5641,6 +5641,18 @@ static void update_eoi_exitmap(struct kvm_vcpu *vcpu)
>>      kvm_x86_ops->load_eoi_exitmap(vcpu, eoi_exit_bitmap);
>>  }
>>  
>> +static bool kvm_check_init_and_sipi(struct kvm_vcpu *vcpu)
>> +{
>> +    if (kvm_check_request(KVM_REQ_INIT, vcpu))
>> +            vcpu->arch.mp_state = KVM_MP_STATE_INIT_RECEIVED;
>> +    if (kvm_check_request(KVM_REQ_SIPI, vcpu) &&
>> +        vcpu->arch.mp_state == KVM_MP_STATE_INIT_RECEIVED) {
>> +            vcpu->arch.mp_state = KVM_MP_STATE_SIPI_RECEIVED;
> 
> Do you need KVM_MP_STATE_SIPI_RECEIVED at all anymore?

Unfortunately, we cannot kill it as it was user-visible:

When a VCPU receives KVM_MP_STATE_SIPI_RECEIVED, it leaves __vcpu_run
with -EINTR and, thus, KVM_RUN. We actually return to userspace,
allowing it to see this mp_state and also migrate the guest in this state.

I could avoid this userspace exit (not sure what it is good for) but we
will have to keep the logic to accept and convert the state into
KVM_MP_STATE_RUNNABLE. So there is not much to simplify here, I'm afraid.

Jan

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to