2008-06-26 11:21:34 +02:00
|
|
|
/*
|
|
|
|
* Generic helpers for smp ipi calls
|
|
|
|
*
|
|
|
|
* (C) Jens Axboe <jens.axboe@oracle.com> 2008
|
|
|
|
*/
|
|
|
|
#include <linux/rcupdate.h>
|
2008-07-15 23:02:33 +02:00
|
|
|
#include <linux/rculist.h>
|
2009-03-13 10:47:34 +01:00
|
|
|
#include <linux/kernel.h>
|
2009-02-25 16:52:11 +01:00
|
|
|
#include <linux/module.h>
|
|
|
|
#include <linux/percpu.h>
|
|
|
|
#include <linux/init.h>
|
2008-06-26 11:21:34 +02:00
|
|
|
#include <linux/smp.h>
|
2009-02-25 13:59:47 +01:00
|
|
|
#include <linux/cpu.h>
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
static DEFINE_PER_CPU(struct call_single_queue, call_single_queue);
|
2009-02-25 13:59:47 +01:00
|
|
|
|
|
|
|
static struct {
|
|
|
|
struct list_head queue;
|
|
|
|
spinlock_t lock;
|
2009-02-25 16:52:11 +01:00
|
|
|
} call_function __cacheline_aligned_in_smp =
|
|
|
|
{
|
|
|
|
.queue = LIST_HEAD_INIT(call_function.queue),
|
|
|
|
.lock = __SPIN_LOCK_UNLOCKED(call_function.lock),
|
|
|
|
};
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
enum {
|
2009-02-25 13:59:48 +01:00
|
|
|
CSD_FLAG_LOCK = 0x01,
|
2008-06-26 11:21:34 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct call_function_data {
|
2009-02-25 16:52:11 +01:00
|
|
|
struct call_single_data csd;
|
|
|
|
spinlock_t lock;
|
|
|
|
unsigned int refs;
|
|
|
|
cpumask_var_t cpumask;
|
2008-06-26 11:21:34 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct call_single_queue {
|
2009-02-25 16:52:11 +01:00
|
|
|
struct list_head list;
|
|
|
|
spinlock_t lock;
|
2008-06-26 11:21:34 +02:00
|
|
|
};
|
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
static DEFINE_PER_CPU(struct call_function_data, cfd_data) = {
|
2009-02-25 16:52:11 +01:00
|
|
|
.lock = __SPIN_LOCK_UNLOCKED(cfd_data.lock),
|
2009-02-25 13:59:47 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
static int
|
|
|
|
hotplug_cfd(struct notifier_block *nfb, unsigned long action, void *hcpu)
|
|
|
|
{
|
|
|
|
long cpu = (long)hcpu;
|
|
|
|
struct call_function_data *cfd = &per_cpu(cfd_data, cpu);
|
|
|
|
|
|
|
|
switch (action) {
|
|
|
|
case CPU_UP_PREPARE:
|
|
|
|
case CPU_UP_PREPARE_FROZEN:
|
|
|
|
if (!alloc_cpumask_var_node(&cfd->cpumask, GFP_KERNEL,
|
|
|
|
cpu_to_node(cpu)))
|
|
|
|
return NOTIFY_BAD;
|
|
|
|
break;
|
|
|
|
|
|
|
|
#ifdef CONFIG_CPU_HOTPLUG
|
|
|
|
case CPU_UP_CANCELED:
|
|
|
|
case CPU_UP_CANCELED_FROZEN:
|
|
|
|
|
|
|
|
case CPU_DEAD:
|
|
|
|
case CPU_DEAD_FROZEN:
|
|
|
|
free_cpumask_var(cfd->cpumask);
|
|
|
|
break;
|
|
|
|
#endif
|
|
|
|
};
|
|
|
|
|
|
|
|
return NOTIFY_OK;
|
|
|
|
}
|
|
|
|
|
|
|
|
static struct notifier_block __cpuinitdata hotplug_cfd_notifier = {
|
2009-02-25 16:52:11 +01:00
|
|
|
.notifier_call = hotplug_cfd,
|
2009-02-25 13:59:47 +01:00
|
|
|
};
|
|
|
|
|
2008-07-26 04:45:11 +02:00
|
|
|
static int __cpuinit init_call_single_data(void)
|
2008-06-26 11:21:34 +02:00
|
|
|
{
|
2009-02-25 13:59:47 +01:00
|
|
|
void *cpu = (void *)(long)smp_processor_id();
|
2008-06-26 11:21:34 +02:00
|
|
|
int i;
|
|
|
|
|
|
|
|
for_each_possible_cpu(i) {
|
|
|
|
struct call_single_queue *q = &per_cpu(call_single_queue, i);
|
|
|
|
|
|
|
|
spin_lock_init(&q->lock);
|
|
|
|
INIT_LIST_HEAD(&q->list);
|
|
|
|
}
|
2009-02-25 13:59:47 +01:00
|
|
|
|
|
|
|
hotplug_cfd(&hotplug_cfd_notifier, CPU_UP_PREPARE, cpu);
|
|
|
|
register_cpu_notifier(&hotplug_cfd_notifier);
|
|
|
|
|
2008-07-26 04:45:11 +02:00
|
|
|
return 0;
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
2008-07-26 04:45:11 +02:00
|
|
|
early_initcall(init_call_single_data);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
/*
|
|
|
|
* csd_lock/csd_unlock used to serialize access to per-cpu csd resources
|
|
|
|
*
|
2009-02-25 16:52:11 +01:00
|
|
|
* For non-synchronous ipi calls the csd can still be in use by the
|
|
|
|
* previous function call. For multi-cpu calls its even more interesting
|
|
|
|
* as we'll have to ensure no other cpu is observing our csd.
|
2009-02-25 13:59:47 +01:00
|
|
|
*/
|
2009-02-25 13:59:48 +01:00
|
|
|
static void csd_lock_wait(struct call_single_data *data)
|
2009-02-25 13:59:47 +01:00
|
|
|
{
|
|
|
|
while (data->flags & CSD_FLAG_LOCK)
|
|
|
|
cpu_relax();
|
2009-02-25 13:59:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static void csd_lock(struct call_single_data *data)
|
|
|
|
{
|
|
|
|
csd_lock_wait(data);
|
2009-02-25 13:59:47 +01:00
|
|
|
data->flags = CSD_FLAG_LOCK;
|
|
|
|
|
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* prevent CPU from reordering the above assignment
|
|
|
|
* to ->flags with any subsequent assignments to other
|
|
|
|
* fields of the specified call_single_data structure:
|
2009-02-25 13:59:47 +01:00
|
|
|
*/
|
|
|
|
smp_mb();
|
|
|
|
}
|
|
|
|
|
|
|
|
static void csd_unlock(struct call_single_data *data)
|
|
|
|
{
|
|
|
|
WARN_ON(!(data->flags & CSD_FLAG_LOCK));
|
2009-02-25 16:52:11 +01:00
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* ensure we're all done before releasing data:
|
2009-02-25 13:59:47 +01:00
|
|
|
*/
|
|
|
|
smp_mb();
|
2009-02-25 16:52:11 +01:00
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
data->flags &= ~CSD_FLAG_LOCK;
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* Insert a previously allocated call_single_data element
|
|
|
|
* for execution on the given CPU. data must already have
|
|
|
|
* ->func, ->info, and ->flags set.
|
2008-06-26 11:21:34 +02:00
|
|
|
*/
|
2009-02-25 13:59:48 +01:00
|
|
|
static
|
|
|
|
void generic_exec_single(int cpu, struct call_single_data *data, int wait)
|
2008-06-26 11:21:34 +02:00
|
|
|
{
|
|
|
|
struct call_single_queue *dst = &per_cpu(call_single_queue, cpu);
|
|
|
|
unsigned long flags;
|
2009-02-25 13:59:48 +01:00
|
|
|
int ipi;
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
spin_lock_irqsave(&dst->lock, flags);
|
|
|
|
ipi = list_empty(&dst->list);
|
|
|
|
list_add_tail(&data->list, &dst->list);
|
|
|
|
spin_unlock_irqrestore(&dst->lock, flags);
|
|
|
|
|
2008-10-30 18:28:41 +01:00
|
|
|
/*
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
* The list addition should be visible before sending the IPI
|
|
|
|
* handler locks the list to pull the entry off it because of
|
|
|
|
* normal cache coherency rules implied by spinlocks.
|
|
|
|
*
|
|
|
|
* If IPIs can go out of order to the cache coherency protocol
|
|
|
|
* in an architecture, sufficient synchronisation should be added
|
|
|
|
* to arch code to make it appear to obey cache coherency WRT
|
2009-02-25 16:52:11 +01:00
|
|
|
* locking and barrier primitives. Generic code isn't really
|
|
|
|
* equipped to do the right thing...
|
2008-10-30 18:28:41 +01:00
|
|
|
*/
|
2008-06-26 11:21:34 +02:00
|
|
|
if (ipi)
|
|
|
|
arch_send_call_function_single_ipi(cpu);
|
|
|
|
|
|
|
|
if (wait)
|
2009-02-25 13:59:48 +01:00
|
|
|
csd_lock_wait(data);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Invoked by arch to handle an IPI for call function. Must be called with
|
|
|
|
* interrupts disabled.
|
|
|
|
*/
|
|
|
|
void generic_smp_call_function_interrupt(void)
|
|
|
|
{
|
|
|
|
struct call_function_data *data;
|
|
|
|
int cpu = get_cpu();
|
|
|
|
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
/*
|
|
|
|
* Ensure entry is visible on call_function_queue after we have
|
|
|
|
* entered the IPI. See comment in smp_call_function_many.
|
|
|
|
* If we don't have this, then we may miss an entry on the list
|
|
|
|
* and never get another IPI to process it.
|
|
|
|
*/
|
|
|
|
smp_mb();
|
|
|
|
|
2008-06-26 11:21:34 +02:00
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* It's ok to use list_for_each_rcu() here even though we may
|
|
|
|
* delete 'pos', since list_del_rcu() doesn't clear ->next
|
2008-06-26 11:21:34 +02:00
|
|
|
*/
|
2009-02-25 13:59:47 +01:00
|
|
|
list_for_each_entry_rcu(data, &call_function.queue, csd.list) {
|
2008-06-26 11:21:34 +02:00
|
|
|
int refs;
|
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_lock(&data->lock);
|
|
|
|
if (!cpumask_test_cpu(cpu, data->cpumask)) {
|
|
|
|
spin_unlock(&data->lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
continue;
|
2009-02-25 13:59:47 +01:00
|
|
|
}
|
|
|
|
cpumask_clear_cpu(cpu, data->cpumask);
|
|
|
|
spin_unlock(&data->lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
data->csd.func(data->csd.info);
|
|
|
|
|
|
|
|
spin_lock(&data->lock);
|
|
|
|
WARN_ON(data->refs == 0);
|
2009-02-25 13:59:47 +01:00
|
|
|
refs = --data->refs;
|
|
|
|
if (!refs) {
|
|
|
|
spin_lock(&call_function.lock);
|
|
|
|
list_del_rcu(&data->csd.list);
|
|
|
|
spin_unlock(&call_function.lock);
|
|
|
|
}
|
2008-06-26 11:21:34 +02:00
|
|
|
spin_unlock(&data->lock);
|
|
|
|
|
|
|
|
if (refs)
|
|
|
|
continue;
|
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
csd_unlock(&data->csd);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
put_cpu();
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* Invoked by arch to handle an IPI for call function single. Must be
|
|
|
|
* called from the arch with interrupts disabled.
|
2008-06-26 11:21:34 +02:00
|
|
|
*/
|
|
|
|
void generic_smp_call_function_single_interrupt(void)
|
|
|
|
{
|
|
|
|
struct call_single_queue *q = &__get_cpu_var(call_single_queue);
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
unsigned int data_flags;
|
2009-02-25 16:52:11 +01:00
|
|
|
LIST_HEAD(list);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
spin_lock(&q->lock);
|
|
|
|
list_replace_init(&q->list, &list);
|
|
|
|
spin_unlock(&q->lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
while (!list_empty(&list)) {
|
|
|
|
struct call_single_data *data;
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
data = list_entry(list.next, struct call_single_data, list);
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
list_del(&data->list);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* 'data' can be invalid after this call if flags == 0
|
|
|
|
* (when called through generic_exec_single()),
|
|
|
|
* so save them away before making the call:
|
2008-06-26 11:21:34 +02:00
|
|
|
*/
|
generic IPI: simplify barriers and locking
Simplify the barriers in generic remote function call interrupt
code.
Firstly, just unconditionally take the lock and check the list
in the generic_call_function_single_interrupt IPI handler. As
we've just taken an IPI here, the chances are fairly high that
there will be work on the list for us, so do the locking
unconditionally. This removes the tricky lockless list_empty
check and dubious barriers. The change looks bigger than it is
because it is just removing an outer loop.
Secondly, clarify architecture specific IPI locking rules.
Generic code has no tools to impose any sane ordering on IPIs if
they go outside normal cache coherency, ergo the arch code must
make them appear to obey cache coherency as a "memory operation"
to initiate an IPI, and a "memory operation" to receive one.
This way at least they can be reasoned about in generic code,
and smp_mb used to provide ordering.
The combination of these two changes means that explict barriers
can be taken out of queue handling for the single case -- shared
data is explicitly locked, and ipi ordering must conform to
that, so no barriers needed. An extra barrier is needed in the
many handler, so as to ensure we load the list element after the
IPI is received.
Does any architecture actually *need* these barriers? For the
initiator I could see it, but for the handler I would be
surprised. So the other thing we could do for simplicity is just
to require that, rather than just matching with cache coherency,
we just require a full barrier before generating an IPI, and
after receiving an IPI. In which case, the smp_mb()s can go
away. But just for now, we'll be on the safe side and use the
barriers (they're in the slow case anyway).
Signed-off-by: Nick Piggin <npiggin@suse.de>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: linux-arch@vger.kernel.org
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Jens Axboe <jens.axboe@oracle.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Suresh Siddha <suresh.b.siddha@intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-02-25 06:22:45 +01:00
|
|
|
data_flags = data->flags;
|
|
|
|
|
|
|
|
data->func(data->info);
|
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
/*
|
2009-02-25 16:52:11 +01:00
|
|
|
* Unlocked CSDs are valid through generic_exec_single():
|
2009-02-25 13:59:47 +01:00
|
|
|
*/
|
|
|
|
if (data_flags & CSD_FLAG_LOCK)
|
|
|
|
csd_unlock(data);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-01-29 16:08:01 +01:00
|
|
|
static DEFINE_PER_CPU(struct call_single_data, csd_data);
|
|
|
|
|
2008-06-26 11:21:34 +02:00
|
|
|
/*
|
|
|
|
* smp_call_function_single - Run a function on a specific CPU
|
|
|
|
* @func: The function to run. This must be fast and non-blocking.
|
|
|
|
* @info: An arbitrary pointer to pass to the function.
|
|
|
|
* @wait: If true, wait until function has completed on other CPUs.
|
|
|
|
*
|
|
|
|
* Returns 0 on success, else a negative status code. Note that @wait
|
|
|
|
* will be implicitly turned on in case of allocation failures, since
|
|
|
|
* we fall back to on-stack allocation.
|
|
|
|
*/
|
|
|
|
int smp_call_function_single(int cpu, void (*func) (void *info), void *info,
|
2008-06-06 11:18:06 +02:00
|
|
|
int wait)
|
2008-06-26 11:21:34 +02:00
|
|
|
{
|
2009-02-25 13:59:47 +01:00
|
|
|
struct call_single_data d = {
|
|
|
|
.flags = 0,
|
|
|
|
};
|
2008-06-26 11:21:34 +02:00
|
|
|
unsigned long flags;
|
2009-02-25 16:52:11 +01:00
|
|
|
int this_cpu;
|
2008-08-26 02:07:14 +02:00
|
|
|
int err = 0;
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
/*
|
|
|
|
* prevent preemption and reschedule on another processor,
|
|
|
|
* as well as CPU removal
|
|
|
|
*/
|
|
|
|
this_cpu = get_cpu();
|
|
|
|
|
2008-06-26 11:21:34 +02:00
|
|
|
/* Can deadlock when called with interrupts disabled */
|
2009-03-13 10:47:34 +01:00
|
|
|
WARN_ON_ONCE(irqs_disabled() && !oops_in_progress);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
if (cpu == this_cpu) {
|
2008-06-26 11:21:34 +02:00
|
|
|
local_irq_save(flags);
|
|
|
|
func(info);
|
|
|
|
local_irq_restore(flags);
|
2009-02-25 16:52:11 +01:00
|
|
|
} else {
|
|
|
|
if ((unsigned)cpu < nr_cpu_ids && cpu_online(cpu)) {
|
|
|
|
struct call_single_data *data = &d;
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
if (!wait)
|
|
|
|
data = &__get_cpu_var(csd_data);
|
2009-02-25 13:59:48 +01:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
csd_lock(data);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
data->func = func;
|
|
|
|
data->info = info;
|
|
|
|
generic_exec_single(cpu, data, wait);
|
|
|
|
} else {
|
|
|
|
err = -ENXIO; /* CPU not online */
|
|
|
|
}
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
put_cpu();
|
2009-02-25 16:52:11 +01:00
|
|
|
|
2008-08-26 02:07:14 +02:00
|
|
|
return err;
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(smp_call_function_single);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* __smp_call_function_single(): Run a function on another CPU
|
|
|
|
* @cpu: The CPU to run on.
|
|
|
|
* @data: Pre-allocated and setup data structure
|
|
|
|
*
|
2009-02-25 16:52:11 +01:00
|
|
|
* Like smp_call_function_single(), but allow caller to pass in a
|
|
|
|
* pre-allocated data structure. Useful for embedding @data inside
|
|
|
|
* other structures, for instance.
|
2008-06-26 11:21:34 +02:00
|
|
|
*/
|
2009-02-25 13:59:48 +01:00
|
|
|
void __smp_call_function_single(int cpu, struct call_single_data *data,
|
|
|
|
int wait)
|
2008-06-26 11:21:34 +02:00
|
|
|
{
|
2009-02-25 13:59:48 +01:00
|
|
|
csd_lock(data);
|
|
|
|
|
2008-06-26 11:21:34 +02:00
|
|
|
/* Can deadlock when called with interrupts disabled */
|
2009-03-13 10:47:34 +01:00
|
|
|
WARN_ON_ONCE(wait && irqs_disabled() && !oops_in_progress);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 13:59:48 +01:00
|
|
|
generic_exec_single(cpu, data, wait);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
/* Deprecated: shim for archs using old arch_send_call_function_ipi API. */
|
|
|
|
|
2008-12-29 23:35:17 +01:00
|
|
|
#ifndef arch_send_call_function_ipi_mask
|
2009-02-25 16:52:11 +01:00
|
|
|
# define arch_send_call_function_ipi_mask(maskp) \
|
|
|
|
arch_send_call_function_ipi(*(maskp))
|
2008-12-29 23:35:17 +01:00
|
|
|
#endif
|
|
|
|
|
2008-06-26 11:21:34 +02:00
|
|
|
/**
|
2008-12-29 23:35:16 +01:00
|
|
|
* smp_call_function_many(): Run a function on a set of other CPUs.
|
|
|
|
* @mask: The set of cpus to run on (only runs on online subset).
|
2008-06-26 11:21:34 +02:00
|
|
|
* @func: The function to run. This must be fast and non-blocking.
|
|
|
|
* @info: An arbitrary pointer to pass to the function.
|
2009-02-25 16:52:11 +01:00
|
|
|
* @wait: If true, wait (atomically) until function has completed
|
|
|
|
* on other CPUs.
|
2008-06-26 11:21:34 +02:00
|
|
|
*
|
|
|
|
* If @wait is true, then returns once @func has returned. Note that @wait
|
|
|
|
* will be implicitly turned on in case of allocation failures, since
|
|
|
|
* we fall back to on-stack allocation.
|
|
|
|
*
|
|
|
|
* You must not call this function with disabled interrupts or from a
|
|
|
|
* hardware interrupt handler or from a bottom half handler. Preemption
|
|
|
|
* must be disabled when calling this function.
|
|
|
|
*/
|
2008-12-29 23:35:16 +01:00
|
|
|
void smp_call_function_many(const struct cpumask *mask,
|
2009-02-25 16:52:11 +01:00
|
|
|
void (*func)(void *), void *info, bool wait)
|
2008-06-26 11:21:34 +02:00
|
|
|
{
|
2008-12-29 23:35:16 +01:00
|
|
|
struct call_function_data *data;
|
2008-06-26 11:21:34 +02:00
|
|
|
unsigned long flags;
|
2009-02-25 16:52:11 +01:00
|
|
|
int cpu, next_cpu, this_cpu = smp_processor_id();
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
/* Can deadlock when called with interrupts disabled */
|
2009-03-13 10:47:34 +01:00
|
|
|
WARN_ON_ONCE(irqs_disabled() && !oops_in_progress);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
/* So, what's a CPU they want? Ignoring this one. */
|
2008-12-29 23:35:16 +01:00
|
|
|
cpu = cpumask_first_and(mask, cpu_online_mask);
|
2009-02-25 16:52:11 +01:00
|
|
|
if (cpu == this_cpu)
|
2008-12-29 23:35:16 +01:00
|
|
|
cpu = cpumask_next_and(cpu, mask, cpu_online_mask);
|
2009-02-25 16:52:11 +01:00
|
|
|
|
2008-12-29 23:35:16 +01:00
|
|
|
/* No online cpus? We're done. */
|
|
|
|
if (cpu >= nr_cpu_ids)
|
|
|
|
return;
|
|
|
|
|
|
|
|
/* Do we have another CPU which isn't us? */
|
|
|
|
next_cpu = cpumask_next_and(cpu, mask, cpu_online_mask);
|
2009-02-25 16:52:11 +01:00
|
|
|
if (next_cpu == this_cpu)
|
2008-12-29 23:35:16 +01:00
|
|
|
next_cpu = cpumask_next_and(next_cpu, mask, cpu_online_mask);
|
|
|
|
|
|
|
|
/* Fastpath: do that cpu by itself. */
|
|
|
|
if (next_cpu >= nr_cpu_ids) {
|
|
|
|
smp_call_function_single(cpu, func, info, wait);
|
|
|
|
return;
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
data = &__get_cpu_var(cfd_data);
|
|
|
|
csd_lock(&data->csd);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_lock_irqsave(&data->lock, flags);
|
2008-06-26 11:21:34 +02:00
|
|
|
data->csd.func = func;
|
|
|
|
data->csd.info = info;
|
2009-02-25 13:59:47 +01:00
|
|
|
cpumask_and(data->cpumask, mask, cpu_online_mask);
|
2009-02-25 16:52:11 +01:00
|
|
|
cpumask_clear_cpu(this_cpu, data->cpumask);
|
2009-02-25 13:59:47 +01:00
|
|
|
data->refs = cpumask_weight(data->cpumask);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_lock(&call_function.lock);
|
|
|
|
/*
|
|
|
|
* Place entry at the _HEAD_ of the list, so that any cpu still
|
2009-02-25 16:52:11 +01:00
|
|
|
* observing the entry in generic_smp_call_function_interrupt()
|
|
|
|
* will not miss any other list entries:
|
2009-02-25 13:59:47 +01:00
|
|
|
*/
|
|
|
|
list_add_rcu(&data->csd.list, &call_function.queue);
|
|
|
|
spin_unlock(&call_function.lock);
|
2009-02-25 16:52:11 +01:00
|
|
|
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_unlock_irqrestore(&data->lock, flags);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2008-10-30 18:28:41 +01:00
|
|
|
/*
|
|
|
|
* Make the list addition visible before sending the ipi.
|
2009-02-25 16:52:11 +01:00
|
|
|
* (IPIs must obey or appear to obey normal Linux cache
|
|
|
|
* coherency rules -- see comment in generic_exec_single).
|
2008-10-30 18:28:41 +01:00
|
|
|
*/
|
|
|
|
smp_mb();
|
|
|
|
|
2008-06-26 11:21:34 +02:00
|
|
|
/* Send a message to all CPUs in the map */
|
2009-02-25 13:59:47 +01:00
|
|
|
arch_send_call_function_ipi_mask(data->cpumask);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
2009-02-25 16:52:11 +01:00
|
|
|
/* Optionally wait for the CPUs to complete */
|
2008-12-29 23:35:16 +01:00
|
|
|
if (wait)
|
2009-02-25 13:59:48 +01:00
|
|
|
csd_lock_wait(&data->csd);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
2008-12-29 23:35:16 +01:00
|
|
|
EXPORT_SYMBOL(smp_call_function_many);
|
2008-06-26 11:21:34 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* smp_call_function(): Run a function on all other CPUs.
|
|
|
|
* @func: The function to run. This must be fast and non-blocking.
|
|
|
|
* @info: An arbitrary pointer to pass to the function.
|
2009-02-25 16:52:11 +01:00
|
|
|
* @wait: If true, wait (atomically) until function has completed
|
|
|
|
* on other CPUs.
|
2008-06-26 11:21:34 +02:00
|
|
|
*
|
2008-12-29 23:35:16 +01:00
|
|
|
* Returns 0.
|
2008-06-26 11:21:34 +02:00
|
|
|
*
|
|
|
|
* If @wait is true, then returns once @func has returned; otherwise
|
|
|
|
* it returns just before the target cpu calls @func. In case of allocation
|
|
|
|
* failure, @wait will be implicitly turned on.
|
|
|
|
*
|
|
|
|
* You must not call this function with disabled interrupts or from a
|
|
|
|
* hardware interrupt handler or from a bottom half handler.
|
|
|
|
*/
|
2008-06-06 11:18:06 +02:00
|
|
|
int smp_call_function(void (*func)(void *), void *info, int wait)
|
2008-06-26 11:21:34 +02:00
|
|
|
{
|
|
|
|
preempt_disable();
|
2008-12-29 23:35:16 +01:00
|
|
|
smp_call_function_many(cpu_online_mask, func, info, wait);
|
2008-06-26 11:21:34 +02:00
|
|
|
preempt_enable();
|
2009-02-25 16:52:11 +01:00
|
|
|
|
2008-12-29 23:35:16 +01:00
|
|
|
return 0;
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(smp_call_function);
|
|
|
|
|
|
|
|
void ipi_call_lock(void)
|
|
|
|
{
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_lock(&call_function.lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void ipi_call_unlock(void)
|
|
|
|
{
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_unlock(&call_function.lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void ipi_call_lock_irq(void)
|
|
|
|
{
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_lock_irq(&call_function.lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void ipi_call_unlock_irq(void)
|
|
|
|
{
|
2009-02-25 13:59:47 +01:00
|
|
|
spin_unlock_irq(&call_function.lock);
|
2008-06-26 11:21:34 +02:00
|
|
|
}
|