rcupdate.c 4.9 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/*
 * Read-Copy Update mechanism for mutual exclusion
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 *
18
 * Copyright IBM Corporation, 2001
L
Linus Torvalds 已提交
19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
 *
 * Authors: Dipankar Sarma <dipankar@in.ibm.com>
 *	    Manfred Spraul <manfred@colorfullife.com>
 * 
 * Based on the original work by Paul McKenney <paulmck@us.ibm.com>
 * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
 * Papers:
 * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
 * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
 *
 * For detailed explanation of Read-Copy Update mechanism see -
 * 		http://lse.sourceforge.net/locking/rcupdate.html
 *
 */
#include <linux/types.h>
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/spinlock.h>
#include <linux/smp.h>
#include <linux/interrupt.h>
#include <linux/sched.h>
#include <asm/atomic.h>
#include <linux/bitops.h>
#include <linux/percpu.h>
#include <linux/notifier.h>
#include <linux/cpu.h>
45
#include <linux/mutex.h>
46
#include <linux/module.h>
L
Linus Torvalds 已提交
47

48 49 50 51 52 53
enum rcu_barrier {
	RCU_BARRIER_STD,
	RCU_BARRIER_BH,
	RCU_BARRIER_SCHED,
};

54
static DEFINE_PER_CPU(struct rcu_head, rcu_barrier_head) = {NULL};
D
Dipankar Sarma 已提交
55
static atomic_t rcu_barrier_cpu_count;
56
static DEFINE_MUTEX(rcu_barrier_mutex);
D
Dipankar Sarma 已提交
57 58
static struct completion rcu_barrier_completion;

P
Paul E. McKenney 已提交
59 60 61 62
/*
 * Awaken the corresponding synchronize_rcu() instance now that a
 * grace period has elapsed.
 */
P
Paul E. McKenney 已提交
63
void wakeme_after_rcu(struct rcu_head  *head)
D
Dipankar Sarma 已提交
64
{
65 66 67 68
	struct rcu_synchronize *rcu;

	rcu = container_of(head, struct rcu_synchronize, head);
	complete(&rcu->completion);
D
Dipankar Sarma 已提交
69
}
L
Linus Torvalds 已提交
70 71

/**
72
 * synchronize_rcu - wait until a grace period has elapsed.
L
Linus Torvalds 已提交
73
 *
74 75
 * Control will return to the caller some time after a full grace
 * period has elapsed, in other words after all currently executing RCU
L
Linus Torvalds 已提交
76 77 78 79
 * read-side critical sections have completed.  RCU read-side critical
 * sections are delimited by rcu_read_lock() and rcu_read_unlock(),
 * and may be nested.
 */
80
void synchronize_rcu(void);	/* Makes kernel-doc tools happy */
P
Paul E. McKenney 已提交
81
synchronize_rcu_xxx(synchronize_rcu, call_rcu)
82
EXPORT_SYMBOL_GPL(synchronize_rcu);
83

84 85 86 87 88 89 90 91 92
static void rcu_barrier_callback(struct rcu_head *notused)
{
	if (atomic_dec_and_test(&rcu_barrier_cpu_count))
		complete(&rcu_barrier_completion);
}

/*
 * Called with preemption disabled, and from cross-cpu IRQ context.
 */
93
static void rcu_barrier_func(void *type)
94 95
{
	int cpu = smp_processor_id();
96
	struct rcu_head *head = &per_cpu(rcu_barrier_head, cpu);
97 98

	atomic_inc(&rcu_barrier_cpu_count);
99 100 101 102 103 104 105 106 107 108 109
	switch ((enum rcu_barrier)type) {
	case RCU_BARRIER_STD:
		call_rcu(head, rcu_barrier_callback);
		break;
	case RCU_BARRIER_BH:
		call_rcu_bh(head, rcu_barrier_callback);
		break;
	case RCU_BARRIER_SCHED:
		call_rcu_sched(head, rcu_barrier_callback);
		break;
	}
110 111
}

112 113 114
/*
 * Orchestrate the specified type of RCU barrier, waiting for all
 * RCU callbacks of the specified type to complete.
115
 */
116
static void _rcu_barrier(enum rcu_barrier type)
117 118
{
	BUG_ON(in_interrupt());
119 120
	/* Take cpucontrol mutex to protect against CPU hotplug */
	mutex_lock(&rcu_barrier_mutex);
121
	init_completion(&rcu_barrier_completion);
122
	/*
123 124 125 126 127 128 129
	 * Initialize rcu_barrier_cpu_count to 1, then invoke
	 * rcu_barrier_func() on each CPU, so that each CPU also has
	 * incremented rcu_barrier_cpu_count.  Only then is it safe to
	 * decrement rcu_barrier_cpu_count -- otherwise the first CPU
	 * might complete its grace period before all of the other CPUs
	 * did their increment, causing this function to return too
	 * early.
130
	 */
131
	atomic_set(&rcu_barrier_cpu_count, 1);
132
	on_each_cpu(rcu_barrier_func, (void *)type, 1);
133 134
	if (atomic_dec_and_test(&rcu_barrier_cpu_count))
		complete(&rcu_barrier_completion);
135
	wait_for_completion(&rcu_barrier_completion);
136
	mutex_unlock(&rcu_barrier_mutex);
137
}
138 139 140 141 142 143 144 145

/**
 * rcu_barrier - Wait until all in-flight call_rcu() callbacks complete.
 */
void rcu_barrier(void)
{
	_rcu_barrier(RCU_BARRIER_STD);
}
146 147
EXPORT_SYMBOL_GPL(rcu_barrier);

148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165
/**
 * rcu_barrier_bh - Wait until all in-flight call_rcu_bh() callbacks complete.
 */
void rcu_barrier_bh(void)
{
	_rcu_barrier(RCU_BARRIER_BH);
}
EXPORT_SYMBOL_GPL(rcu_barrier_bh);

/**
 * rcu_barrier_sched - Wait for in-flight call_rcu_sched() callbacks.
 */
void rcu_barrier_sched(void)
{
	_rcu_barrier(RCU_BARRIER_SCHED);
}
EXPORT_SYMBOL_GPL(rcu_barrier_sched);

L
Linus Torvalds 已提交
166 167
void __init rcu_init(void)
{
168
	__rcu_init();
L
Linus Torvalds 已提交
169 170
}