linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: tip-bot for Jeremy Fitzhardinge <tipbot@zytor.com>
To: linux-tip-commits@vger.kernel.org
Cc: linux-kernel@vger.kernel.org, hpa@zytor.com, mingo@kernel.org,
	konrad.wilk@oracle.com, jeremy@goop.org,
	raghavendra.kt@linux.vnet.ibm.com, tglx@linutronix.de,
	hpa@linux.intel.com
Subject: [tip:x86/spinlocks] xen, pvticketlock: Allow interrupts to be enabled while blocking
Date: Thu, 8 Aug 2013 16:20:50 -0700	[thread overview]
Message-ID: <tip-38eddb85894561ab32c1de4171e1c1582f0efa78@git.kernel.org> (raw)
In-Reply-To: <20130806114412.20643.84141.sendpatchset@codeblue.in.ibm.com>

Commit-ID:  38eddb85894561ab32c1de4171e1c1582f0efa78
Gitweb:     http://git.kernel.org/tip/38eddb85894561ab32c1de4171e1c1582f0efa78
Author:     Jeremy Fitzhardinge <jeremy@goop.org>
AuthorDate: Tue, 6 Aug 2013 17:14:12 +0530
Committer:  H. Peter Anvin <hpa@linux.intel.com>
CommitDate: Thu, 8 Aug 2013 16:07:01 -0700

xen, pvticketlock: Allow interrupts to be enabled while blocking

If interrupts were enabled when taking the spinlock, we can leave them
enabled while blocking to get the lock.

If we can enable interrupts while waiting for the lock to become
available, and we take an interrupt before entering the poll,
and the handler takes a spinlock which ends up going into
the slow state (invalidating the per-cpu "lock" and "want" values),
then when the interrupt handler returns the event channel will
remain pending so the poll will return immediately, causing it to
return out to the main spinlock loop.

Signed-off-by: Jeremy Fitzhardinge <jeremy@goop.org>
Link: http://lkml.kernel.org/r/20130806114412.20643.84141.sendpatchset@codeblue.in.ibm.com
Reviewed-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Signed-off-by: Raghavendra K T <raghavendra.kt@linux.vnet.ibm.com>
Acked-by: Ingo Molnar <mingo@kernel.org>
Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
---
 arch/x86/xen/spinlock.c | 46 ++++++++++++++++++++++++++++++++++++++++------
 1 file changed, 40 insertions(+), 6 deletions(-)

diff --git a/arch/x86/xen/spinlock.c b/arch/x86/xen/spinlock.c
index 546112e..0438b93 100644
--- a/arch/x86/xen/spinlock.c
+++ b/arch/x86/xen/spinlock.c
@@ -142,7 +142,20 @@ static void xen_lock_spinning(struct arch_spinlock *lock, __ticket_t want)
 	 * partially setup state.
 	 */
 	local_irq_save(flags);
-
+	/*
+	 * We don't really care if we're overwriting some other
+	 * (lock,want) pair, as that would mean that we're currently
+	 * in an interrupt context, and the outer context had
+	 * interrupts enabled.  That has already kicked the VCPU out
+	 * of xen_poll_irq(), so it will just return spuriously and
+	 * retry with newly setup (lock,want).
+	 *
+	 * The ordering protocol on this is that the "lock" pointer
+	 * may only be set non-NULL if the "want" ticket is correct.
+	 * If we're updating "want", we must first clear "lock".
+	 */
+	w->lock = NULL;
+	smp_wmb();
 	w->want = want;
 	smp_wmb();
 	w->lock = lock;
@@ -157,24 +170,43 @@ static void xen_lock_spinning(struct arch_spinlock *lock, __ticket_t want)
 	/* Only check lock once pending cleared */
 	barrier();
 
-	/* Mark entry to slowpath before doing the pickup test to make
-	   sure we don't deadlock with an unlocker. */
+	/*
+	 * Mark entry to slowpath before doing the pickup test to make
+	 * sure we don't deadlock with an unlocker.
+	 */
 	__ticket_enter_slowpath(lock);
 
-	/* check again make sure it didn't become free while
-	   we weren't looking  */
+	/*
+	 * check again make sure it didn't become free while
+	 * we weren't looking
+	 */
 	if (ACCESS_ONCE(lock->tickets.head) == want) {
 		add_stats(TAKEN_SLOW_PICKUP, 1);
 		goto out;
 	}
+
+	/* Allow interrupts while blocked */
+	local_irq_restore(flags);
+
+	/*
+	 * If an interrupt happens here, it will leave the wakeup irq
+	 * pending, which will cause xen_poll_irq() to return
+	 * immediately.
+	 */
+
 	/* Block until irq becomes pending (or perhaps a spurious wakeup) */
 	xen_poll_irq(irq);
 	add_stats(TAKEN_SLOW_SPURIOUS, !xen_test_irq_pending(irq));
+
+	local_irq_save(flags);
+
 	kstat_incr_irqs_this_cpu(irq, irq_to_desc(irq));
 out:
 	cpumask_clear_cpu(cpu, &waiting_cpus);
 	w->lock = NULL;
+
 	local_irq_restore(flags);
+
 	spin_time_accum_blocked(start);
 }
 PV_CALLEE_SAVE_REGS_THUNK(xen_lock_spinning);
@@ -188,7 +220,9 @@ static void xen_unlock_kick(struct arch_spinlock *lock, __ticket_t next)
 	for_each_cpu(cpu, &waiting_cpus) {
 		const struct xen_lock_waiting *w = &per_cpu(lock_waiting, cpu);
 
-		if (w->lock == lock && w->want == next) {
+		/* Make sure we read lock before want */
+		if (ACCESS_ONCE(w->lock) == lock &&
+		    ACCESS_ONCE(w->want) == next) {
 			add_stats(RELEASED_SLOW_KICKED, 1);
 			xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR);
 			break;

  reply	other threads:[~2013-08-08 23:23 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-08-06 11:40 [PATCH V12 0/14] Paravirtualized ticket spinlocks Raghavendra K T
2013-08-06 11:40 ` [PATCH V12 1/14] x86/spinlock: Replace pv spinlocks with pv ticketlocks Raghavendra K T
2013-08-08 23:19   ` [tip:x86/spinlocks] x86, spinlock: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:41 ` [PATCH V12 2/14] x86/ticketlock: Don't inline _spin_unlock when using paravirt spinlocks Raghavendra K T
2013-08-08 23:19   ` [tip:x86/spinlocks] x86, ticketlock: Don' t " tip-bot for Raghavendra K T
2013-08-06 11:41 ` [PATCH V12 3/14] x86/ticketlock: Collapse a layer of functions Raghavendra K T
2013-08-08 23:19   ` [tip:x86/spinlocks] x86, ticketlock: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:41 ` [PATCH V12 4/14] xen: Defer spinlock setup until boot CPU setup Raghavendra K T
2013-08-08 23:19   ` [tip:x86/spinlocks] " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:42 ` [PATCH V12 5/14] xen/pvticketlock: Xen implementation for PV ticket locks Raghavendra K T
2013-08-08 23:19   ` [tip:x86/spinlocks] xen, pvticketlock: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:42 ` [PATCH V12 6/14] xen/pvticketlocks: Add xen_nopvspin parameter to disable xen pv ticketlocks Raghavendra K T
2013-08-08 23:19   ` [tip:x86/spinlocks] xen, pvticketlocks: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:42 ` [PATCH V12 7/14] x86/pvticketlock: Use callee-save for lock_spinning Raghavendra K T
2013-08-08 23:20   ` [tip:x86/spinlocks] x86, pvticketlock: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:43 ` [PATCH V12 8/14] x86/pvticketlock: When paravirtualizing ticket locks, increment by 2 Raghavendra K T
2013-08-08 23:20   ` [tip:x86/spinlocks] x86, pvticketlock: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:43 ` [PATCH V12 9/14] jump_label: Split out rate limiting from jump_label.h Raghavendra K T
2013-08-08 23:20   ` [tip:x86/spinlocks] " tip-bot for Andrew Jones
2013-08-06 11:43 ` [PATCH V12 10/14] x86/ticketlock: Add slowpath logic Raghavendra K T
2013-08-08 23:20   ` [tip:x86/spinlocks] x86, ticketlock: " tip-bot for Jeremy Fitzhardinge
2013-08-06 11:44 ` [PATCH V12 11/14] xen/pvticketlock: Allow interrupts to be enabled while blocking Raghavendra K T
2013-08-08 23:20   ` tip-bot for Jeremy Fitzhardinge [this message]
2013-08-06 11:44 ` [PATCH V12 12/14] kvm uapi: Add KICK_CPU and PV_UNHALT definition to uapi Raghavendra K T
2013-08-08 23:21   ` [tip:x86/spinlocks] " tip-bot for Raghavendra K T
2013-08-06 11:45 ` [PATCH V12 13/14] kvm guest : Add configuration support to enable debug information for KVM Guests Raghavendra K T
2013-08-08 23:21   ` [tip:x86/spinlocks] " tip-bot for Srivatsa Vaddagiri
2013-08-06 11:45 ` [PATCH V12 14/14] kvm : Paravirtual ticketlocks support for linux guests running on KVM hypervisor Raghavendra K T
2013-08-08 23:21   ` [tip:x86/spinlocks] " tip-bot for Srivatsa Vaddagiri
2013-08-06 21:01 ` [PATCH V12 0/14] Paravirtualized ticket spinlocks H. Peter Anvin
2013-08-07  2:54   ` Raghavendra K T
2013-08-07  4:48     ` H. Peter Anvin
2013-08-07  6:45       ` Raghavendra K T
2013-08-08  0:50         ` Konrad Rzeszutek Wilk
2013-08-08  1:02           ` Gleb Natapov
2013-08-08 21:13             ` H. Peter Anvin
2013-08-08 23:04               ` H. Peter Anvin
2013-08-09 12:50                 ` Raghavendra K T
2013-08-09 13:00                   ` Konrad Rzeszutek Wilk
2013-08-09 13:14                     ` Raghavendra K T
2013-08-09 14:51                     ` H. Peter Anvin
2013-08-08  2:59         ` Raghavendra K T
2013-08-09  1:04 ` H. Peter Anvin
2013-08-09  4:28   ` Raghavendra K T
2013-08-09 13:09   ` Raghavendra K T
2013-08-09 14:20   ` Raghavendra K T
  -- strict thread matches above, loose matches on Subject: below --
2013-08-09 14:21 [PATCH V13 11/14] xen/pvticketlock: Allow interrupts to be enabled while blocking Raghavendra K T
2013-08-10 16:15 ` [tip:x86/spinlocks] xen, pvticketlock: " tip-bot for Jeremy Fitzhardinge

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=tip-38eddb85894561ab32c1de4171e1c1582f0efa78@git.kernel.org \
    --to=tipbot@zytor.com \
    --cc=hpa@linux.intel.com \
    --cc=hpa@zytor.com \
    --cc=jeremy@goop.org \
    --cc=konrad.wilk@oracle.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-tip-commits@vger.kernel.org \
    --cc=mingo@kernel.org \
    --cc=raghavendra.kt@linux.vnet.ibm.com \
    --cc=tglx@linutronix.de \
    /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;
as well as URLs for NNTP newsgroup(s).