xref: /freebsd/sys/compat/linuxkpi/common/src/linux_rcu.c (revision 177772088060ab0f41bcdbdd81c4712e7f1c7621)
11a01b4e5SHans Petter Selasky /*-
296fc97c8SStephen Hurd  * Copyright (c) 2016 Matthew Macy (mmacy@mattmacy.io)
3*17777208SHans Petter Selasky  * Copyright (c) 2017-2021 Hans Petter Selasky (hselasky@freebsd.org)
41a01b4e5SHans Petter Selasky  * All rights reserved.
51a01b4e5SHans Petter Selasky  *
61a01b4e5SHans Petter Selasky  * Redistribution and use in source and binary forms, with or without
71a01b4e5SHans Petter Selasky  * modification, are permitted provided that the following conditions
81a01b4e5SHans Petter Selasky  * are met:
91a01b4e5SHans Petter Selasky  * 1. Redistributions of source code must retain the above copyright
101a01b4e5SHans Petter Selasky  *    notice unmodified, this list of conditions, and the following
111a01b4e5SHans Petter Selasky  *    disclaimer.
121a01b4e5SHans Petter Selasky  * 2. Redistributions in binary form must reproduce the above copyright
131a01b4e5SHans Petter Selasky  *    notice, this list of conditions and the following disclaimer in the
141a01b4e5SHans Petter Selasky  *    documentation and/or other materials provided with the distribution.
151a01b4e5SHans Petter Selasky  *
161a01b4e5SHans Petter Selasky  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
171a01b4e5SHans Petter Selasky  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
181a01b4e5SHans Petter Selasky  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
191a01b4e5SHans Petter Selasky  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
201a01b4e5SHans Petter Selasky  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
211a01b4e5SHans Petter Selasky  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
221a01b4e5SHans Petter Selasky  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
231a01b4e5SHans Petter Selasky  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
241a01b4e5SHans Petter Selasky  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
251a01b4e5SHans Petter Selasky  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
261a01b4e5SHans Petter Selasky  */
271a01b4e5SHans Petter Selasky 
281a01b4e5SHans Petter Selasky #include <sys/cdefs.h>
291a01b4e5SHans Petter Selasky __FBSDID("$FreeBSD$");
301a01b4e5SHans Petter Selasky 
311a01b4e5SHans Petter Selasky #include <sys/types.h>
321a01b4e5SHans Petter Selasky #include <sys/systm.h>
331a01b4e5SHans Petter Selasky #include <sys/malloc.h>
341a01b4e5SHans Petter Selasky #include <sys/kernel.h>
351a01b4e5SHans Petter Selasky #include <sys/lock.h>
361a01b4e5SHans Petter Selasky #include <sys/mutex.h>
371a01b4e5SHans Petter Selasky #include <sys/proc.h>
381a01b4e5SHans Petter Selasky #include <sys/sched.h>
391a01b4e5SHans Petter Selasky #include <sys/smp.h>
401a01b4e5SHans Petter Selasky #include <sys/queue.h>
411a01b4e5SHans Petter Selasky #include <sys/taskqueue.h>
42f3de9af6SHans Petter Selasky #include <sys/kdb.h>
431a01b4e5SHans Petter Selasky 
441a01b4e5SHans Petter Selasky #include <ck_epoch.h>
451a01b4e5SHans Petter Selasky 
461a01b4e5SHans Petter Selasky #include <linux/rcupdate.h>
471a01b4e5SHans Petter Selasky #include <linux/srcu.h>
481a01b4e5SHans Petter Selasky #include <linux/slab.h>
491a01b4e5SHans Petter Selasky #include <linux/kernel.h>
50f3de9af6SHans Petter Selasky #include <linux/compat.h>
511a01b4e5SHans Petter Selasky 
52f3de9af6SHans Petter Selasky /*
53f3de9af6SHans Petter Selasky  * By defining CONFIG_NO_RCU_SKIP LinuxKPI RCU locks and asserts will
54f3de9af6SHans Petter Selasky  * not be skipped during panic().
55f3de9af6SHans Petter Selasky  */
56f3de9af6SHans Petter Selasky #ifdef CONFIG_NO_RCU_SKIP
57f3de9af6SHans Petter Selasky #define	RCU_SKIP(void) 0
58f3de9af6SHans Petter Selasky #else
59f3de9af6SHans Petter Selasky #define	RCU_SKIP(void)	unlikely(SCHEDULER_STOPPED() || kdb_active)
60f3de9af6SHans Petter Selasky #endif
611f827dabSHans Petter Selasky 
621f827dabSHans Petter Selasky struct callback_head {
631f827dabSHans Petter Selasky 	STAILQ_ENTRY(callback_head) entry;
641f827dabSHans Petter Selasky 	rcu_callback_t func;
651f827dabSHans Petter Selasky };
661f827dabSHans Petter Selasky 
67f3de9af6SHans Petter Selasky struct linux_epoch_head {
68f3de9af6SHans Petter Selasky 	STAILQ_HEAD(, callback_head) cb_head;
69f3de9af6SHans Petter Selasky 	struct mtx lock;
70f3de9af6SHans Petter Selasky 	struct task task;
71f3de9af6SHans Petter Selasky } __aligned(CACHE_LINE_SIZE);
72f3de9af6SHans Petter Selasky 
73f3de9af6SHans Petter Selasky struct linux_epoch_record {
741f827dabSHans Petter Selasky 	ck_epoch_record_t epoch_record;
75f3de9af6SHans Petter Selasky 	TAILQ_HEAD(, task_struct) ts_head;
76f3de9af6SHans Petter Selasky 	int cpuid;
776ae24079SHans Petter Selasky 	int type;
78f3de9af6SHans Petter Selasky } __aligned(CACHE_LINE_SIZE);
791a01b4e5SHans Petter Selasky 
801a01b4e5SHans Petter Selasky /*
811a01b4e5SHans Petter Selasky  * Verify that "struct rcu_head" is big enough to hold "struct
821a01b4e5SHans Petter Selasky  * callback_head". This has been done to avoid having to add special
831a01b4e5SHans Petter Selasky  * compile flags for including ck_epoch.h to all clients of the
841a01b4e5SHans Petter Selasky  * LinuxKPI.
851a01b4e5SHans Petter Selasky  */
86f3de9af6SHans Petter Selasky CTASSERT(sizeof(struct rcu_head) == sizeof(struct callback_head));
871a01b4e5SHans Petter Selasky 
881f827dabSHans Petter Selasky /*
89*17777208SHans Petter Selasky  * Verify that "rcu_section[0]" has the same size as
90*17777208SHans Petter Selasky  * "ck_epoch_section_t". This has been done to avoid having to add
91*17777208SHans Petter Selasky  * special compile flags for including ck_epoch.h to all clients of
92*17777208SHans Petter Selasky  * the LinuxKPI.
93*17777208SHans Petter Selasky  */
94*17777208SHans Petter Selasky CTASSERT(sizeof(((struct task_struct *)0)->rcu_section[0] ==
95*17777208SHans Petter Selasky     sizeof(ck_epoch_section_t)));
96*17777208SHans Petter Selasky 
97*17777208SHans Petter Selasky /*
981f827dabSHans Petter Selasky  * Verify that "epoch_record" is at beginning of "struct
99f3de9af6SHans Petter Selasky  * linux_epoch_record":
1001f827dabSHans Petter Selasky  */
101f3de9af6SHans Petter Selasky CTASSERT(offsetof(struct linux_epoch_record, epoch_record) == 0);
1021f827dabSHans Petter Selasky 
1036ae24079SHans Petter Selasky CTASSERT(TS_RCU_TYPE_MAX == RCU_TYPE_MAX);
1046ae24079SHans Petter Selasky 
105eae5868cSHans Petter Selasky static ck_epoch_t linux_epoch[RCU_TYPE_MAX];
106eae5868cSHans Petter Selasky static struct linux_epoch_head linux_epoch_head[RCU_TYPE_MAX];
107eae5868cSHans Petter Selasky DPCPU_DEFINE_STATIC(struct linux_epoch_record, linux_epoch_record[RCU_TYPE_MAX]);
1081f827dabSHans Petter Selasky 
1091f827dabSHans Petter Selasky static void linux_rcu_cleaner_func(void *, int);
1101a01b4e5SHans Petter Selasky 
1111a01b4e5SHans Petter Selasky static void
1121a01b4e5SHans Petter Selasky linux_rcu_runtime_init(void *arg __unused)
1131a01b4e5SHans Petter Selasky {
114f3de9af6SHans Petter Selasky 	struct linux_epoch_head *head;
1151a01b4e5SHans Petter Selasky 	int i;
116eae5868cSHans Petter Selasky 	int j;
1171a01b4e5SHans Petter Selasky 
118eae5868cSHans Petter Selasky 	for (j = 0; j != RCU_TYPE_MAX; j++) {
119eae5868cSHans Petter Selasky 		ck_epoch_init(&linux_epoch[j]);
1201a01b4e5SHans Petter Selasky 
121eae5868cSHans Petter Selasky 		head = &linux_epoch_head[j];
122f3de9af6SHans Petter Selasky 
123f3de9af6SHans Petter Selasky 		mtx_init(&head->lock, "LRCU-HEAD", NULL, MTX_DEF);
124eae5868cSHans Petter Selasky 		TASK_INIT(&head->task, 0, linux_rcu_cleaner_func, head);
125f3de9af6SHans Petter Selasky 		STAILQ_INIT(&head->cb_head);
126f3de9af6SHans Petter Selasky 
1271a01b4e5SHans Petter Selasky 		CPU_FOREACH(i) {
128f3de9af6SHans Petter Selasky 			struct linux_epoch_record *record;
1291f827dabSHans Petter Selasky 
130eae5868cSHans Petter Selasky 			record = &DPCPU_ID_GET(i, linux_epoch_record[j]);
1311f827dabSHans Petter Selasky 
132f3de9af6SHans Petter Selasky 			record->cpuid = i;
1336ae24079SHans Petter Selasky 			record->type = j;
134eae5868cSHans Petter Selasky 			ck_epoch_register(&linux_epoch[j],
135eae5868cSHans Petter Selasky 			    &record->epoch_record, NULL);
136f3de9af6SHans Petter Selasky 			TAILQ_INIT(&record->ts_head);
1371a01b4e5SHans Petter Selasky 		}
1381a01b4e5SHans Petter Selasky 	}
139eae5868cSHans Petter Selasky }
140d8e073a9SHans Petter Selasky SYSINIT(linux_rcu_runtime, SI_SUB_CPU, SI_ORDER_ANY, linux_rcu_runtime_init, NULL);
1411a01b4e5SHans Petter Selasky 
1421a01b4e5SHans Petter Selasky static void
1431a01b4e5SHans Petter Selasky linux_rcu_runtime_uninit(void *arg __unused)
1441a01b4e5SHans Petter Selasky {
145f3de9af6SHans Petter Selasky 	struct linux_epoch_head *head;
146eae5868cSHans Petter Selasky 	int j;
1471a01b4e5SHans Petter Selasky 
148eae5868cSHans Petter Selasky 	for (j = 0; j != RCU_TYPE_MAX; j++) {
149eae5868cSHans Petter Selasky 		head = &linux_epoch_head[j];
1501a01b4e5SHans Petter Selasky 
151f3de9af6SHans Petter Selasky 		mtx_destroy(&head->lock);
1521a01b4e5SHans Petter Selasky 	}
153eae5868cSHans Petter Selasky }
1541a01b4e5SHans Petter Selasky SYSUNINIT(linux_rcu_runtime, SI_SUB_LOCK, SI_ORDER_SECOND, linux_rcu_runtime_uninit, NULL);
1551a01b4e5SHans Petter Selasky 
1561f827dabSHans Petter Selasky static void
157eae5868cSHans Petter Selasky linux_rcu_cleaner_func(void *context, int pending __unused)
1581f827dabSHans Petter Selasky {
159f3de9af6SHans Petter Selasky 	struct linux_epoch_head *head;
1601a01b4e5SHans Petter Selasky 	struct callback_head *rcu;
161f3de9af6SHans Petter Selasky 	STAILQ_HEAD(, callback_head) tmp_head;
162eae5868cSHans Petter Selasky 	uintptr_t offset;
1631f827dabSHans Petter Selasky 
164f3de9af6SHans Petter Selasky 	linux_set_current(curthread);
165f3de9af6SHans Petter Selasky 
166eae5868cSHans Petter Selasky 	head = context;
1671f827dabSHans Petter Selasky 
1681f827dabSHans Petter Selasky 	/* move current callbacks into own queue */
169f3de9af6SHans Petter Selasky 	mtx_lock(&head->lock);
170f3de9af6SHans Petter Selasky 	STAILQ_INIT(&tmp_head);
171f3de9af6SHans Petter Selasky 	STAILQ_CONCAT(&tmp_head, &head->cb_head);
172f3de9af6SHans Petter Selasky 	mtx_unlock(&head->lock);
1731f827dabSHans Petter Selasky 
1741f827dabSHans Petter Selasky 	/* synchronize */
175eae5868cSHans Petter Selasky 	linux_synchronize_rcu(head - linux_epoch_head);
1761f827dabSHans Petter Selasky 
1771f827dabSHans Petter Selasky 	/* dispatch all callbacks, if any */
178f3de9af6SHans Petter Selasky 	while ((rcu = STAILQ_FIRST(&tmp_head)) != NULL) {
179f3de9af6SHans Petter Selasky 		STAILQ_REMOVE_HEAD(&tmp_head, entry);
1801a01b4e5SHans Petter Selasky 
1811a01b4e5SHans Petter Selasky 		offset = (uintptr_t)rcu->func;
1821a01b4e5SHans Petter Selasky 
1831a01b4e5SHans Petter Selasky 		if (offset < LINUX_KFREE_RCU_OFFSET_MAX)
1841a01b4e5SHans Petter Selasky 			kfree((char *)rcu - offset);
1851a01b4e5SHans Petter Selasky 		else
1861a01b4e5SHans Petter Selasky 			rcu->func((struct rcu_head *)rcu);
1871a01b4e5SHans Petter Selasky 	}
1881a01b4e5SHans Petter Selasky }
1891a01b4e5SHans Petter Selasky 
1901a01b4e5SHans Petter Selasky void
191eae5868cSHans Petter Selasky linux_rcu_read_lock(unsigned type)
1921a01b4e5SHans Petter Selasky {
193f3de9af6SHans Petter Selasky 	struct linux_epoch_record *record;
194f3de9af6SHans Petter Selasky 	struct task_struct *ts;
195f3de9af6SHans Petter Selasky 
196eae5868cSHans Petter Selasky 	MPASS(type < RCU_TYPE_MAX);
197eae5868cSHans Petter Selasky 
198f3de9af6SHans Petter Selasky 	if (RCU_SKIP())
199f3de9af6SHans Petter Selasky 		return;
2001a01b4e5SHans Petter Selasky 
201*17777208SHans Petter Selasky 	ts = current;
202*17777208SHans Petter Selasky 
203*17777208SHans Petter Selasky 	/* assert valid refcount */
204*17777208SHans Petter Selasky 	MPASS(ts->rcu_recurse[type] != INT_MAX);
205*17777208SHans Petter Selasky 
206*17777208SHans Petter Selasky 	if (++(ts->rcu_recurse[type]) != 1)
207*17777208SHans Petter Selasky 		return;
208*17777208SHans Petter Selasky 
2091f827dabSHans Petter Selasky 	/*
2101f827dabSHans Petter Selasky 	 * Pin thread to current CPU so that the unlock code gets the
211f3de9af6SHans Petter Selasky 	 * same per-CPU epoch record:
2121f827dabSHans Petter Selasky 	 */
2131a01b4e5SHans Petter Selasky 	sched_pin();
2141a01b4e5SHans Petter Selasky 
215eae5868cSHans Petter Selasky 	record = &DPCPU_GET(linux_epoch_record[type]);
2161f827dabSHans Petter Selasky 
2171f827dabSHans Petter Selasky 	/*
2181f827dabSHans Petter Selasky 	 * Use a critical section to prevent recursion inside
2191f827dabSHans Petter Selasky 	 * ck_epoch_begin(). Else this function supports recursion.
2201f827dabSHans Petter Selasky 	 */
2211f827dabSHans Petter Selasky 	critical_enter();
222*17777208SHans Petter Selasky 	ck_epoch_begin(&record->epoch_record,
223*17777208SHans Petter Selasky 	    (ck_epoch_section_t *)&ts->rcu_section[type]);
2246ae24079SHans Petter Selasky 	TAILQ_INSERT_TAIL(&record->ts_head, ts, rcu_entry[type]);
2251f827dabSHans Petter Selasky 	critical_exit();
2261a01b4e5SHans Petter Selasky }
2271a01b4e5SHans Petter Selasky 
2281a01b4e5SHans Petter Selasky void
229eae5868cSHans Petter Selasky linux_rcu_read_unlock(unsigned type)
2301a01b4e5SHans Petter Selasky {
231f3de9af6SHans Petter Selasky 	struct linux_epoch_record *record;
232f3de9af6SHans Petter Selasky 	struct task_struct *ts;
2331a01b4e5SHans Petter Selasky 
234eae5868cSHans Petter Selasky 	MPASS(type < RCU_TYPE_MAX);
235eae5868cSHans Petter Selasky 
236f3de9af6SHans Petter Selasky 	if (RCU_SKIP())
237f3de9af6SHans Petter Selasky 		return;
238f3de9af6SHans Petter Selasky 
239f3de9af6SHans Petter Selasky 	ts = current;
2401f827dabSHans Petter Selasky 
241*17777208SHans Petter Selasky 	/* assert valid refcount */
242*17777208SHans Petter Selasky 	MPASS(ts->rcu_recurse[type] > 0);
243*17777208SHans Petter Selasky 
244*17777208SHans Petter Selasky 	if (--(ts->rcu_recurse[type]) != 0)
245*17777208SHans Petter Selasky 		return;
246*17777208SHans Petter Selasky 
247*17777208SHans Petter Selasky 	record = &DPCPU_GET(linux_epoch_record[type]);
248*17777208SHans Petter Selasky 
2491f827dabSHans Petter Selasky 	/*
2501f827dabSHans Petter Selasky 	 * Use a critical section to prevent recursion inside
2511f827dabSHans Petter Selasky 	 * ck_epoch_end(). Else this function supports recursion.
2521f827dabSHans Petter Selasky 	 */
2531f827dabSHans Petter Selasky 	critical_enter();
254*17777208SHans Petter Selasky 	ck_epoch_end(&record->epoch_record,
255*17777208SHans Petter Selasky 	    (ck_epoch_section_t *)&ts->rcu_section[type]);
2566ae24079SHans Petter Selasky 	TAILQ_REMOVE(&record->ts_head, ts, rcu_entry[type]);
2571f827dabSHans Petter Selasky 	critical_exit();
2581f827dabSHans Petter Selasky 
2591a01b4e5SHans Petter Selasky 	sched_unpin();
2601a01b4e5SHans Petter Selasky }
2611a01b4e5SHans Petter Selasky 
262f3de9af6SHans Petter Selasky static void
263f3de9af6SHans Petter Selasky linux_synchronize_rcu_cb(ck_epoch_t *epoch __unused, ck_epoch_record_t *epoch_record, void *arg __unused)
264f3de9af6SHans Petter Selasky {
265f3de9af6SHans Petter Selasky 	struct linux_epoch_record *record =
266f3de9af6SHans Petter Selasky 	    container_of(epoch_record, struct linux_epoch_record, epoch_record);
267f3de9af6SHans Petter Selasky 	struct thread *td = curthread;
268f3de9af6SHans Petter Selasky 	struct task_struct *ts;
269f3de9af6SHans Petter Selasky 
270f3de9af6SHans Petter Selasky 	/* check if blocked on the current CPU */
271f3de9af6SHans Petter Selasky 	if (record->cpuid == PCPU_GET(cpuid)) {
272f3de9af6SHans Petter Selasky 		bool is_sleeping = 0;
273f3de9af6SHans Petter Selasky 		u_char prio = 0;
274f3de9af6SHans Petter Selasky 
275f3de9af6SHans Petter Selasky 		/*
276f3de9af6SHans Petter Selasky 		 * Find the lowest priority or sleeping thread which
277f3de9af6SHans Petter Selasky 		 * is blocking synchronization on this CPU core. All
278f3de9af6SHans Petter Selasky 		 * the threads in the queue are CPU-pinned and cannot
279f3de9af6SHans Petter Selasky 		 * go anywhere while the current thread is locked.
280f3de9af6SHans Petter Selasky 		 */
2816ae24079SHans Petter Selasky 		TAILQ_FOREACH(ts, &record->ts_head, rcu_entry[record->type]) {
282f3de9af6SHans Petter Selasky 			if (ts->task_thread->td_priority > prio)
283f3de9af6SHans Petter Selasky 				prio = ts->task_thread->td_priority;
284f3de9af6SHans Petter Selasky 			is_sleeping |= (ts->task_thread->td_inhibitors != 0);
285f3de9af6SHans Petter Selasky 		}
286f3de9af6SHans Petter Selasky 
287f3de9af6SHans Petter Selasky 		if (is_sleeping) {
288f3de9af6SHans Petter Selasky 			thread_unlock(td);
289f3de9af6SHans Petter Selasky 			pause("W", 1);
290f3de9af6SHans Petter Selasky 			thread_lock(td);
291f3de9af6SHans Petter Selasky 		} else {
292f3de9af6SHans Petter Selasky 			/* set new thread priority */
293f3de9af6SHans Petter Selasky 			sched_prio(td, prio);
294f3de9af6SHans Petter Selasky 			/* task switch */
295686bcb5cSJeff Roberson 			mi_switch(SW_VOL | SWT_RELINQUISH);
296cc79ea3aSHans Petter Selasky 			/*
297cc79ea3aSHans Petter Selasky 			 * It is important the thread lock is dropped
298cc79ea3aSHans Petter Selasky 			 * while yielding to allow other threads to
299cc79ea3aSHans Petter Selasky 			 * acquire the lock pointed to by
300cc79ea3aSHans Petter Selasky 			 * TDQ_LOCKPTR(td). Currently mi_switch() will
301cc79ea3aSHans Petter Selasky 			 * unlock the thread lock before
302cc79ea3aSHans Petter Selasky 			 * returning. Else a deadlock like situation
303cc79ea3aSHans Petter Selasky 			 * might happen.
304cc79ea3aSHans Petter Selasky 			 */
305714ed5b2SHans Petter Selasky 			thread_lock(td);
306f3de9af6SHans Petter Selasky 		}
307f3de9af6SHans Petter Selasky 	} else {
308f3de9af6SHans Petter Selasky 		/*
309f3de9af6SHans Petter Selasky 		 * To avoid spinning move execution to the other CPU
310f3de9af6SHans Petter Selasky 		 * which is blocking synchronization. Set highest
311f3de9af6SHans Petter Selasky 		 * thread priority so that code gets run. The thread
312f3de9af6SHans Petter Selasky 		 * priority will be restored later.
313f3de9af6SHans Petter Selasky 		 */
314f3de9af6SHans Petter Selasky 		sched_prio(td, 0);
315f3de9af6SHans Petter Selasky 		sched_bind(td, record->cpuid);
316f3de9af6SHans Petter Selasky 	}
317f3de9af6SHans Petter Selasky }
318f3de9af6SHans Petter Selasky 
3191a01b4e5SHans Petter Selasky void
320eae5868cSHans Petter Selasky linux_synchronize_rcu(unsigned type)
3211a01b4e5SHans Petter Selasky {
322f3de9af6SHans Petter Selasky 	struct thread *td;
323f3de9af6SHans Petter Selasky 	int was_bound;
324f3de9af6SHans Petter Selasky 	int old_cpu;
325f3de9af6SHans Petter Selasky 	int old_pinned;
3263f743d78SHans Petter Selasky 	u_char old_prio;
327f3de9af6SHans Petter Selasky 
328eae5868cSHans Petter Selasky 	MPASS(type < RCU_TYPE_MAX);
329eae5868cSHans Petter Selasky 
330f3de9af6SHans Petter Selasky 	if (RCU_SKIP())
331f3de9af6SHans Petter Selasky 		return;
332f3de9af6SHans Petter Selasky 
333f3de9af6SHans Petter Selasky 	WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
334f3de9af6SHans Petter Selasky 	    "linux_synchronize_rcu() can sleep");
335f3de9af6SHans Petter Selasky 
336f3de9af6SHans Petter Selasky 	td = curthread;
337fedab1b4SKonstantin Belousov 	DROP_GIANT();
338f3de9af6SHans Petter Selasky 
339f3de9af6SHans Petter Selasky 	/*
340f3de9af6SHans Petter Selasky 	 * Synchronizing RCU might change the CPU core this function
341f3de9af6SHans Petter Selasky 	 * is running on. Save current values:
342f3de9af6SHans Petter Selasky 	 */
343f3de9af6SHans Petter Selasky 	thread_lock(td);
344f3de9af6SHans Petter Selasky 
345f3de9af6SHans Petter Selasky 	old_cpu = PCPU_GET(cpuid);
346f3de9af6SHans Petter Selasky 	old_pinned = td->td_pinned;
3473f743d78SHans Petter Selasky 	old_prio = td->td_priority;
348f3de9af6SHans Petter Selasky 	was_bound = sched_is_bound(td);
349ea165254SHans Petter Selasky 	sched_unbind(td);
350ea165254SHans Petter Selasky 	td->td_pinned = 0;
351f3de9af6SHans Petter Selasky 	sched_bind(td, old_cpu);
352f3de9af6SHans Petter Selasky 
353eae5868cSHans Petter Selasky 	ck_epoch_synchronize_wait(&linux_epoch[type],
354f3de9af6SHans Petter Selasky 	    &linux_synchronize_rcu_cb, NULL);
355f3de9af6SHans Petter Selasky 
356f3de9af6SHans Petter Selasky 	/* restore CPU binding, if any */
357f3de9af6SHans Petter Selasky 	if (was_bound != 0) {
358f3de9af6SHans Petter Selasky 		sched_bind(td, old_cpu);
359f3de9af6SHans Petter Selasky 	} else {
360f3de9af6SHans Petter Selasky 		/* get thread back to initial CPU, if any */
361f3de9af6SHans Petter Selasky 		if (old_pinned != 0)
362f3de9af6SHans Petter Selasky 			sched_bind(td, old_cpu);
363f3de9af6SHans Petter Selasky 		sched_unbind(td);
364f3de9af6SHans Petter Selasky 	}
365f3de9af6SHans Petter Selasky 	/* restore pinned after bind */
366f3de9af6SHans Petter Selasky 	td->td_pinned = old_pinned;
3673f743d78SHans Petter Selasky 
3683f743d78SHans Petter Selasky 	/* restore thread priority */
3693f743d78SHans Petter Selasky 	sched_prio(td, old_prio);
370f3de9af6SHans Petter Selasky 	thread_unlock(td);
371f3de9af6SHans Petter Selasky 
372f3de9af6SHans Petter Selasky 	PICKUP_GIANT();
3731a01b4e5SHans Petter Selasky }
3741a01b4e5SHans Petter Selasky 
3751a01b4e5SHans Petter Selasky void
376eae5868cSHans Petter Selasky linux_rcu_barrier(unsigned type)
3771a01b4e5SHans Petter Selasky {
378f3de9af6SHans Petter Selasky 	struct linux_epoch_head *head;
3791a01b4e5SHans Petter Selasky 
380eae5868cSHans Petter Selasky 	MPASS(type < RCU_TYPE_MAX);
3811f827dabSHans Petter Selasky 
382eae5868cSHans Petter Selasky 	linux_synchronize_rcu(type);
383eae5868cSHans Petter Selasky 
384eae5868cSHans Petter Selasky 	head = &linux_epoch_head[type];
3851f827dabSHans Petter Selasky 
3861f827dabSHans Petter Selasky 	/* wait for callbacks to complete */
387f3de9af6SHans Petter Selasky 	taskqueue_drain(taskqueue_fast, &head->task);
3881a01b4e5SHans Petter Selasky }
3891a01b4e5SHans Petter Selasky 
3901a01b4e5SHans Petter Selasky void
391eae5868cSHans Petter Selasky linux_call_rcu(unsigned type, struct rcu_head *context, rcu_callback_t func)
3921a01b4e5SHans Petter Selasky {
393eae5868cSHans Petter Selasky 	struct callback_head *rcu;
394eae5868cSHans Petter Selasky 	struct linux_epoch_head *head;
395eae5868cSHans Petter Selasky 
396eae5868cSHans Petter Selasky 	MPASS(type < RCU_TYPE_MAX);
397eae5868cSHans Petter Selasky 
398eae5868cSHans Petter Selasky 	rcu = (struct callback_head *)context;
399eae5868cSHans Petter Selasky 	head = &linux_epoch_head[type];
4001a01b4e5SHans Petter Selasky 
401f3de9af6SHans Petter Selasky 	mtx_lock(&head->lock);
4021f827dabSHans Petter Selasky 	rcu->func = func;
403f3de9af6SHans Petter Selasky 	STAILQ_INSERT_TAIL(&head->cb_head, rcu, entry);
404f3de9af6SHans Petter Selasky 	taskqueue_enqueue(taskqueue_fast, &head->task);
405f3de9af6SHans Petter Selasky 	mtx_unlock(&head->lock);
4061a01b4e5SHans Petter Selasky }
4071a01b4e5SHans Petter Selasky 
4081a01b4e5SHans Petter Selasky int
4091a01b4e5SHans Petter Selasky init_srcu_struct(struct srcu_struct *srcu)
4101a01b4e5SHans Petter Selasky {
4111a01b4e5SHans Petter Selasky 	return (0);
4121a01b4e5SHans Petter Selasky }
4131a01b4e5SHans Petter Selasky 
4141a01b4e5SHans Petter Selasky void
4151a01b4e5SHans Petter Selasky cleanup_srcu_struct(struct srcu_struct *srcu)
4161a01b4e5SHans Petter Selasky {
4171a01b4e5SHans Petter Selasky }
4181a01b4e5SHans Petter Selasky 
4191a01b4e5SHans Petter Selasky int
4201a01b4e5SHans Petter Selasky srcu_read_lock(struct srcu_struct *srcu)
4211a01b4e5SHans Petter Selasky {
422eae5868cSHans Petter Selasky 	linux_rcu_read_lock(RCU_TYPE_SLEEPABLE);
4231a01b4e5SHans Petter Selasky 	return (0);
4241a01b4e5SHans Petter Selasky }
4251a01b4e5SHans Petter Selasky 
4261a01b4e5SHans Petter Selasky void
4271a01b4e5SHans Petter Selasky srcu_read_unlock(struct srcu_struct *srcu, int key __unused)
4281a01b4e5SHans Petter Selasky {
429eae5868cSHans Petter Selasky 	linux_rcu_read_unlock(RCU_TYPE_SLEEPABLE);
4301a01b4e5SHans Petter Selasky }
4311a01b4e5SHans Petter Selasky 
4321a01b4e5SHans Petter Selasky void
4331a01b4e5SHans Petter Selasky synchronize_srcu(struct srcu_struct *srcu)
4341a01b4e5SHans Petter Selasky {
435eae5868cSHans Petter Selasky 	linux_synchronize_rcu(RCU_TYPE_SLEEPABLE);
4361f827dabSHans Petter Selasky }
4371f827dabSHans Petter Selasky 
4381f827dabSHans Petter Selasky void
4391f827dabSHans Petter Selasky srcu_barrier(struct srcu_struct *srcu)
4401f827dabSHans Petter Selasky {
441eae5868cSHans Petter Selasky 	linux_rcu_barrier(RCU_TYPE_SLEEPABLE);
4421a01b4e5SHans Petter Selasky }
443