>> The rules of unsigned addition should make sure that all cases are >> covered. (I tried to find a counter example but wasn't able to find one) > > Agreed. I just wrote down a few edge cases myself... it seems to check > out nicely. > >> >> (Especially, this is the same code pattern as found in >> arch/s390/kvm/vsie.c:register_shadow_scb(), which also adds two signed >> numbers.) >> >>>> /* >>>> * This callback is executed during stop_machine(). All CPUs are therefore >>>> * temporarily stopped. In order not to change guest behavior, we have to >>>> @@ -194,13 +216,17 @@ static int kvm_clock_sync(struct notifier_block *notifier, unsigned long val, >>>> unsigned long long *delta = v; >>>> >>>> list_for_each_entry(kvm, &vm_list, vm_list) { >>>> - kvm->arch.epoch -= *delta; >>>> kvm_for_each_vcpu(i, vcpu, kvm) { >>>> - vcpu->arch.sie_block->epoch -= *delta; >>>> + kvm_clock_sync_scb(vcpu->arch.sie_block, *delta); >>>> + if (i == 0) { >>>> + kvm->arch.epoch = vcpu->arch.sie_block->epoch; >>>> + kvm->arch.epdx = vcpu->arch.sie_block->epdx; >>> Are we safe by setting the kvm epochs to the sie epochs wrt migration? >> Yes, in fact they should be the same for all VCPUs, otherwise we are in >> trouble. The TOD has to be the same over all VCPUs. >> >> So we should always have >> - kvm->arch.epoch == vcpu->arch.sie_block->epoch >> - kvm->arch.epdx == vcpu->arch.sie_block->epdx >> for all VCPUs, otherwise their TOD could differ. > > Perhaps then this could be shortened to calculate the epochs only once, > then set > each vcpu to those values instead ofcalculating on each iteration? > I had that before, but changed it to this. Especially because some weird user space could set the epochs differently on different CPUs (e.g. for testing purposes or IDK). So something like this is not shorter and possibly performs less calculations list_for_each_entry(kvm, &vm_list, vm_list) { kvm_for_each_vcpu(i, vcpu, kvm) { - kvm_clock_sync_scb(vcpu->arch.sie_block, *delta); if (i == 0) { + kvm_clock_sync_scb(vcpu->arch.sie_block, *delta); kvm->arch.epoch = vcpu->arch.sie_block->epoch; kvm->arch.epdx = vcpu->arch.sie_block->epdx; + } else { + vcpu->arch.sie_block->epoch = kvm->arch.epoch; + vcpu->arch.sie_block->epdx = kvm->arch.epdx; } if (vcpu->arch.cputm_enabled) vcpu->arch.cputm_start += *delta; I'll let the Maintainers decide :) > I imagine the number of iterations would never be large enough to cause any > considerable performance hits, though. Thanks! -- Thanks, David / dhildenb -- To unsubscribe from this list: send the line "unsubscribe linux-s390" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html