From: Peter Zijlstra <peterz@infradead.org> To: Waiman Long <longman@redhat.com> Cc: "Jeremy Fitzhardinge" <jeremy@goop.org>, "Chris Wright" <chrisw@sous-sol.org>, "Alok Kataria" <akataria@vmware.com>, "Rusty Russell" <rusty@rustcorp.com.au>, "Ingo Molnar" <mingo@redhat.com>, "Thomas Gleixner" <tglx@linutronix.de>, "H. Peter Anvin" <hpa@zytor.com>, linux-arch@vger.kernel.org, x86@kernel.org, linux-kernel@vger.kernel.org, virtualization@lists.linux-foundation.org, xen-devel@lists.xenproject.org, kvm@vger.kernel.org, "Pan Xinhui" <xinhui.pan@linux.vnet.ibm.com>, "Paolo Bonzini" <pbonzini@redhat.com>, "Radim Krčmář" <rkrcmar@redhat.com>, "Boris Ostrovsky" <boris.ostrovsky@oracle.com>, "Juergen Gross" <jgross@suse.com> Subject: Re: [PATCH v2] x86/paravirt: Don't make vcpu_is_preempted() a callee-save function Date: Mon, 13 Feb 2017 11:47:16 +0100 [thread overview] Message-ID: <20170213104716.GM6515@twins.programming.kicks-ass.net> (raw) In-Reply-To: <14854496-0baa-1bf6-c819-f3d7fae13c2c@redhat.com> On Fri, Feb 10, 2017 at 12:00:43PM -0500, Waiman Long wrote: > >> +asm( > >> +".pushsection .text;" > >> +".global __raw_callee_save___kvm_vcpu_is_preempted;" > >> +".type __raw_callee_save___kvm_vcpu_is_preempted, @function;" > >> +"__raw_callee_save___kvm_vcpu_is_preempted:" > >> +FRAME_BEGIN > >> +"push %rdi;" > >> +"push %rdx;" > >> +"movslq %edi, %rdi;" > >> +"movq $steal_time+16, %rax;" > >> +"movq __per_cpu_offset(,%rdi,8), %rdx;" > >> +"cmpb $0, (%rdx,%rax);" Could we not put the $steal_time+16 displacement as an immediate in the cmpb and save a whole register here? That way we'd end up with something like: asm(" push %rdi; movslq %edi, %rdi; movq __per_cpu_offset(,%rdi,8), %rax; cmpb $0, %[offset](%rax); setne %al; pop %rdi; " : : [offset] "i" (((unsigned long)&steal_time) + offsetof(struct steal_time, preempted))); And if we could get rid of the sign extend on edi we could avoid all the push-pop nonsense, but I'm not sure I see how to do that (then again, this asm foo isn't my strongest point). > >> +"setne %al;" > >> +"pop %rdx;" > >> +"pop %rdi;" > >> +FRAME_END > >> +"ret;" > >> +".popsection"); > >> + > >> +#endif > >> + > >> /* > >> * Setup pv_lock_ops to exploit KVM_FEATURE_PV_UNHALT if present. > >> */ > > That should work for now. I have done something similar for > > __pv_queued_spin_unlock. However, this has the problem of creating a > > dependency on the exact layout of the steal_time structure. Maybe the > > constant 16 can be passed in as a parameter offsetof(struct > > kvm_steal_time, preempted) to the asm call. Yeah it should be well possible to pass that in. But ideally we'd have GCC grow something like __attribute__((callee_saved)) or somesuch and it would do all this for us. > One more thing, that will improve KVM performance, but it won't help Xen. People still use Xen? ;-) In any case, their implementation looks very similar and could easily crib this. > I looked into the assembly code for rwsem_spin_on_owner, It need to save > and restore 2 additional registers with my patch. Doing it your way, > will transfer the save and restore overhead to the assembly code. > However, __kvm_vcpu_is_preempted() is called multiple times per > invocation of rwsem_spin_on_owner. That function is simple enough that > making __kvm_vcpu_is_preempted() callee-save won't produce much compiler > optimization opportunity. This is because of that noinline, right? Otherwise it would've been folded and register pressure would be much higher. > The outer function rwsem_down_write_failed() > does appear to be a bit bigger (from 866 bytes to 884 bytes) though. I suspect GCC is being clever and since all this is static it plays games with the calling convention and pushes these clobbers out.
WARNING: multiple messages have this Message-ID (diff)
From: Peter Zijlstra <peterz@infradead.org> To: Waiman Long <longman@redhat.com> Cc: linux-arch@vger.kernel.org, "Juergen Gross" <jgross@suse.com>, "Jeremy Fitzhardinge" <jeremy@goop.org>, x86@kernel.org, kvm@vger.kernel.org, "Radim Krčmář" <rkrcmar@redhat.com>, "Boris Ostrovsky" <boris.ostrovsky@oracle.com>, "Pan Xinhui" <xinhui.pan@linux.vnet.ibm.com>, "Paolo Bonzini" <pbonzini@redhat.com>, linux-kernel@vger.kernel.org, virtualization@lists.linux-foundation.org, "Chris Wright" <chrisw@sous-sol.org>, "Ingo Molnar" <mingo@redhat.com>, "H. Peter Anvin" <hpa@zytor.com>, xen-devel@lists.xenproject.org, "Alok Kataria" <akataria@vmware.com>, "Thomas Gleixner" <tglx@linutronix.de> Subject: Re: [PATCH v2] x86/paravirt: Don't make vcpu_is_preempted() a callee-save function Date: Mon, 13 Feb 2017 11:47:16 +0100 [thread overview] Message-ID: <20170213104716.GM6515@twins.programming.kicks-ass.net> (raw) In-Reply-To: <14854496-0baa-1bf6-c819-f3d7fae13c2c@redhat.com> On Fri, Feb 10, 2017 at 12:00:43PM -0500, Waiman Long wrote: > >> +asm( > >> +".pushsection .text;" > >> +".global __raw_callee_save___kvm_vcpu_is_preempted;" > >> +".type __raw_callee_save___kvm_vcpu_is_preempted, @function;" > >> +"__raw_callee_save___kvm_vcpu_is_preempted:" > >> +FRAME_BEGIN > >> +"push %rdi;" > >> +"push %rdx;" > >> +"movslq %edi, %rdi;" > >> +"movq $steal_time+16, %rax;" > >> +"movq __per_cpu_offset(,%rdi,8), %rdx;" > >> +"cmpb $0, (%rdx,%rax);" Could we not put the $steal_time+16 displacement as an immediate in the cmpb and save a whole register here? That way we'd end up with something like: asm(" push %rdi; movslq %edi, %rdi; movq __per_cpu_offset(,%rdi,8), %rax; cmpb $0, %[offset](%rax); setne %al; pop %rdi; " : : [offset] "i" (((unsigned long)&steal_time) + offsetof(struct steal_time, preempted))); And if we could get rid of the sign extend on edi we could avoid all the push-pop nonsense, but I'm not sure I see how to do that (then again, this asm foo isn't my strongest point). > >> +"setne %al;" > >> +"pop %rdx;" > >> +"pop %rdi;" > >> +FRAME_END > >> +"ret;" > >> +".popsection"); > >> + > >> +#endif > >> + > >> /* > >> * Setup pv_lock_ops to exploit KVM_FEATURE_PV_UNHALT if present. > >> */ > > That should work for now. I have done something similar for > > __pv_queued_spin_unlock. However, this has the problem of creating a > > dependency on the exact layout of the steal_time structure. Maybe the > > constant 16 can be passed in as a parameter offsetof(struct > > kvm_steal_time, preempted) to the asm call. Yeah it should be well possible to pass that in. But ideally we'd have GCC grow something like __attribute__((callee_saved)) or somesuch and it would do all this for us. > One more thing, that will improve KVM performance, but it won't help Xen. People still use Xen? ;-) In any case, their implementation looks very similar and could easily crib this. > I looked into the assembly code for rwsem_spin_on_owner, It need to save > and restore 2 additional registers with my patch. Doing it your way, > will transfer the save and restore overhead to the assembly code. > However, __kvm_vcpu_is_preempted() is called multiple times per > invocation of rwsem_spin_on_owner. That function is simple enough that > making __kvm_vcpu_is_preempted() callee-save won't produce much compiler > optimization opportunity. This is because of that noinline, right? Otherwise it would've been folded and register pressure would be much higher. > The outer function rwsem_down_write_failed() > does appear to be a bit bigger (from 866 bytes to 884 bytes) though. I suspect GCC is being clever and since all this is static it plays games with the calling convention and pushes these clobbers out.
next prev parent reply other threads:[~2017-02-13 10:48 UTC|newest] Thread overview: 69+ messages / expand[flat|nested] mbox.gz Atom feed top 2017-02-10 15:43 [PATCH v2] x86/paravirt: Don't make vcpu_is_preempted() a callee-save function Waiman Long 2017-02-10 15:43 ` Waiman Long 2017-02-10 16:19 ` Peter Zijlstra 2017-02-10 16:19 ` Peter Zijlstra 2017-02-10 16:19 ` Peter Zijlstra 2017-02-10 16:35 ` Waiman Long 2017-02-10 16:35 ` Waiman Long 2017-02-10 17:00 ` Waiman Long 2017-02-10 17:00 ` Waiman Long 2017-02-10 17:00 ` Waiman Long 2017-02-13 10:47 ` Peter Zijlstra 2017-02-13 10:47 ` Peter Zijlstra [this message] 2017-02-13 10:47 ` Peter Zijlstra 2017-02-13 10:53 ` Peter Zijlstra 2017-02-13 10:53 ` Peter Zijlstra 2017-02-13 10:53 ` Peter Zijlstra 2017-02-13 19:42 ` Waiman Long 2017-02-13 19:42 ` Waiman Long 2017-02-13 19:42 ` Waiman Long 2017-02-13 20:12 ` Waiman Long 2017-02-13 20:12 ` Waiman Long 2017-02-13 21:52 ` Peter Zijlstra 2017-02-13 21:52 ` Peter Zijlstra 2017-02-13 21:52 ` Peter Zijlstra 2017-02-13 22:00 ` hpa 2017-02-13 22:00 ` hpa 2017-02-13 22:00 ` hpa 2017-02-13 22:07 ` hpa 2017-02-13 22:07 ` hpa 2017-02-13 22:07 ` hpa 2017-02-13 22:34 ` Waiman Long 2017-02-13 22:34 ` Waiman Long 2017-02-13 22:34 ` Waiman Long 2017-02-13 22:36 ` hpa 2017-02-13 22:36 ` hpa 2017-02-13 22:36 ` hpa 2017-02-14 9:39 ` Peter Zijlstra 2017-02-14 9:39 ` Peter Zijlstra 2017-02-14 9:39 ` Peter Zijlstra 2017-02-14 14:46 ` Waiman Long 2017-02-14 14:46 ` Waiman Long 2017-02-14 14:46 ` Waiman Long 2017-02-14 16:03 ` Peter Zijlstra 2017-02-14 16:03 ` Peter Zijlstra 2017-02-14 16:03 ` Peter Zijlstra 2017-02-14 16:18 ` [Xen-devel] " Andrew Cooper 2017-02-14 16:18 ` Andrew Cooper 2017-02-14 16:18 ` [Xen-devel] " Andrew Cooper 2017-02-13 20:12 ` Waiman Long 2017-02-13 20:06 ` hpa 2017-02-13 20:06 ` hpa 2017-02-13 21:57 ` Peter Zijlstra 2017-02-13 21:57 ` Peter Zijlstra 2017-02-13 21:57 ` Peter Zijlstra 2017-02-13 22:24 ` Waiman Long 2017-02-13 22:24 ` Waiman Long 2017-02-13 22:31 ` Peter Zijlstra 2017-02-13 22:31 ` Peter Zijlstra 2017-02-13 22:31 ` Peter Zijlstra 2017-02-13 22:24 ` Waiman Long 2017-02-13 20:06 ` hpa 2017-02-13 19:41 ` Waiman Long 2017-02-13 19:41 ` Waiman Long 2017-02-13 19:41 ` Waiman Long 2017-02-10 16:35 ` Waiman Long 2017-02-10 16:22 ` Paolo Bonzini 2017-02-10 16:22 ` Paolo Bonzini 2017-02-10 16:22 ` Paolo Bonzini -- strict thread matches above, loose matches on Subject: below -- 2017-02-10 15:43 Waiman Long
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=20170213104716.GM6515@twins.programming.kicks-ass.net \ --to=peterz@infradead.org \ --cc=akataria@vmware.com \ --cc=boris.ostrovsky@oracle.com \ --cc=chrisw@sous-sol.org \ --cc=hpa@zytor.com \ --cc=jeremy@goop.org \ --cc=jgross@suse.com \ --cc=kvm@vger.kernel.org \ --cc=linux-arch@vger.kernel.org \ --cc=linux-kernel@vger.kernel.org \ --cc=longman@redhat.com \ --cc=mingo@redhat.com \ --cc=pbonzini@redhat.com \ --cc=rkrcmar@redhat.com \ --cc=rusty@rustcorp.com.au \ --cc=tglx@linutronix.de \ --cc=virtualization@lists.linux-foundation.org \ --cc=x86@kernel.org \ --cc=xen-devel@lists.xenproject.org \ --cc=xinhui.pan@linux.vnet.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: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.