xref: /freebsd/sys/kern/kern_thread.c (revision ebceaf6dc73f541949cc3ab9f35924d762395692)
19454b2d8SWarner Losh /*-
244990b8cSJulian Elischer  * Copyright (C) 2001 Julian Elischer <julian@freebsd.org>.
344990b8cSJulian Elischer  *  All rights reserved.
444990b8cSJulian Elischer  *
544990b8cSJulian Elischer  * Redistribution and use in source and binary forms, with or without
644990b8cSJulian Elischer  * modification, are permitted provided that the following conditions
744990b8cSJulian Elischer  * are met:
844990b8cSJulian Elischer  * 1. Redistributions of source code must retain the above copyright
944990b8cSJulian Elischer  *    notice(s), this list of conditions and the following disclaimer as
1044990b8cSJulian Elischer  *    the first lines of this file unmodified other than the possible
1144990b8cSJulian Elischer  *    addition of one or more copyright notices.
1244990b8cSJulian Elischer  * 2. Redistributions in binary form must reproduce the above copyright
1344990b8cSJulian Elischer  *    notice(s), this list of conditions and the following disclaimer in the
1444990b8cSJulian Elischer  *    documentation and/or other materials provided with the distribution.
1544990b8cSJulian Elischer  *
1644990b8cSJulian Elischer  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) ``AS IS'' AND ANY
1744990b8cSJulian Elischer  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
1844990b8cSJulian Elischer  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
1944990b8cSJulian Elischer  * DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDER(S) BE LIABLE FOR ANY
2044990b8cSJulian Elischer  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
2144990b8cSJulian Elischer  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
2244990b8cSJulian Elischer  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
2344990b8cSJulian Elischer  * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
2444990b8cSJulian Elischer  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
2544990b8cSJulian Elischer  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
2644990b8cSJulian Elischer  * DAMAGE.
2744990b8cSJulian Elischer  */
2844990b8cSJulian Elischer 
29677b542eSDavid E. O'Brien #include <sys/cdefs.h>
30677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
31677b542eSDavid E. O'Brien 
3244990b8cSJulian Elischer #include <sys/param.h>
3344990b8cSJulian Elischer #include <sys/systm.h>
3444990b8cSJulian Elischer #include <sys/kernel.h>
3544990b8cSJulian Elischer #include <sys/lock.h>
3644990b8cSJulian Elischer #include <sys/mutex.h>
3744990b8cSJulian Elischer #include <sys/proc.h>
3894e0a4cdSJulian Elischer #include <sys/smp.h>
3944990b8cSJulian Elischer #include <sys/sysctl.h>
40de028f5aSJeff Roberson #include <sys/sched.h>
4144f3b092SJohn Baldwin #include <sys/sleepqueue.h>
42961a7b24SJohn Baldwin #include <sys/turnstile.h>
4344990b8cSJulian Elischer #include <sys/ktr.h>
44bc8e6d81SDavid Xu #include <sys/umtx.h>
4544990b8cSJulian Elischer 
4644990b8cSJulian Elischer #include <vm/vm.h>
4749a2507bSAlan Cox #include <vm/vm_extern.h>
4844990b8cSJulian Elischer #include <vm/uma.h>
4902fb42b0SPeter Wemm 
5044990b8cSJulian Elischer /*
514f0db5e0SJulian Elischer  * KSEGRP related storage.
5244990b8cSJulian Elischer  */
534f0db5e0SJulian Elischer static uma_zone_t ksegrp_zone;
5444990b8cSJulian Elischer static uma_zone_t thread_zone;
5544990b8cSJulian Elischer 
564f0db5e0SJulian Elischer /* DEBUG ONLY */
5744990b8cSJulian Elischer SYSCTL_NODE(_kern, OID_AUTO, threads, CTLFLAG_RW, 0, "thread allocation");
58696058c3SJulian Elischer static int thread_debug = 0;
59696058c3SJulian Elischer SYSCTL_INT(_kern_threads, OID_AUTO, debug, CTLFLAG_RW,
60696058c3SJulian Elischer 	&thread_debug, 0, "thread debug");
61fdc5ecd2SDavid Xu 
62345ad866SJulian Elischer int max_threads_per_proc = 1500;
63fdc5ecd2SDavid Xu SYSCTL_INT(_kern_threads, OID_AUTO, max_threads_per_proc, CTLFLAG_RW,
644f0db5e0SJulian Elischer 	&max_threads_per_proc, 0, "Limit on threads per proc");
654f0db5e0SJulian Elischer 
66ed062c8dSJulian Elischer int max_groups_per_proc = 1500;
67fdc5ecd2SDavid Xu SYSCTL_INT(_kern_threads, OID_AUTO, max_groups_per_proc, CTLFLAG_RW,
68fdc5ecd2SDavid Xu 	&max_groups_per_proc, 0, "Limit on thread groups per proc");
69fdc5ecd2SDavid Xu 
70345ad866SJulian Elischer int max_threads_hits;
710252d203SDavid Xu SYSCTL_INT(_kern_threads, OID_AUTO, max_threads_hits, CTLFLAG_RD,
720252d203SDavid Xu 	&max_threads_hits, 0, "");
730252d203SDavid Xu 
7494e0a4cdSJulian Elischer int virtual_cpu;
7594e0a4cdSJulian Elischer 
765215b187SJeff Roberson TAILQ_HEAD(, thread) zombie_threads = TAILQ_HEAD_INITIALIZER(zombie_threads);
775c8329edSJulian Elischer TAILQ_HEAD(, ksegrp) zombie_ksegrps = TAILQ_HEAD_INITIALIZER(zombie_ksegrps);
785215b187SJeff Roberson struct mtx kse_zombie_lock;
795215b187SJeff Roberson MTX_SYSINIT(kse_zombie_lock, &kse_zombie_lock, "kse zombie lock", MTX_SPIN);
8044990b8cSJulian Elischer 
81ebceaf6dSDavid Xu static int queue_sigchild = 0;
82ebceaf6dSDavid Xu SYSCTL_DECL(_kern_sigqueue);
83ebceaf6dSDavid Xu SYSCTL_INT(_kern_sigqueue, OID_AUTO, queue_sigchild, CTLFLAG_RD,
84ebceaf6dSDavid Xu     &queue_sigchild, 0, "queue SIGCHILD");
85ebceaf6dSDavid Xu TUNABLE_INT("kern.sigqueue.queue_sigchild", &queue_sigchild);
86ebceaf6dSDavid Xu 
8794e0a4cdSJulian Elischer static int
8894e0a4cdSJulian Elischer sysctl_kse_virtual_cpu(SYSCTL_HANDLER_ARGS)
8994e0a4cdSJulian Elischer {
9094e0a4cdSJulian Elischer 	int error, new_val;
9194e0a4cdSJulian Elischer 	int def_val;
9294e0a4cdSJulian Elischer 
9394e0a4cdSJulian Elischer 	def_val = mp_ncpus;
9494e0a4cdSJulian Elischer 	if (virtual_cpu == 0)
9594e0a4cdSJulian Elischer 		new_val = def_val;
9694e0a4cdSJulian Elischer 	else
9794e0a4cdSJulian Elischer 		new_val = virtual_cpu;
9894e0a4cdSJulian Elischer 	error = sysctl_handle_int(oidp, &new_val, 0, req);
9994e0a4cdSJulian Elischer 	if (error != 0 || req->newptr == NULL)
10094e0a4cdSJulian Elischer 		return (error);
10194e0a4cdSJulian Elischer 	if (new_val < 0)
10294e0a4cdSJulian Elischer 		return (EINVAL);
10394e0a4cdSJulian Elischer 	virtual_cpu = new_val;
10494e0a4cdSJulian Elischer 	return (0);
10594e0a4cdSJulian Elischer }
10694e0a4cdSJulian Elischer 
10794e0a4cdSJulian Elischer /* DEBUG ONLY */
10894e0a4cdSJulian Elischer SYSCTL_PROC(_kern_threads, OID_AUTO, virtual_cpu, CTLTYPE_INT|CTLFLAG_RW,
10994e0a4cdSJulian Elischer 	0, sizeof(virtual_cpu), sysctl_kse_virtual_cpu, "I",
11094e0a4cdSJulian Elischer 	"debug virtual cpus");
1115c8329edSJulian Elischer 
112fdcac928SMarcel Moolenaar struct mtx tid_lock;
1131ea7a6f8SPoul-Henning Kamp static struct unrhdr *tid_unrhdr;
114fdcac928SMarcel Moolenaar 
115fdcac928SMarcel Moolenaar /*
116696058c3SJulian Elischer  * Prepare a thread for use.
11744990b8cSJulian Elischer  */
118b23f72e9SBrian Feldman static int
119b23f72e9SBrian Feldman thread_ctor(void *mem, int size, void *arg, int flags)
12044990b8cSJulian Elischer {
12144990b8cSJulian Elischer 	struct thread	*td;
12244990b8cSJulian Elischer 
12344990b8cSJulian Elischer 	td = (struct thread *)mem;
12471fad9fdSJulian Elischer 	td->td_state = TDS_INACTIVE;
125060563ecSJulian Elischer 	td->td_oncpu = NOCPU;
1266c27c603SJuli Mallett 
127773eff9dSPoul-Henning Kamp 	td->td_tid = alloc_unr(tid_unrhdr);
128773eff9dSPoul-Henning Kamp 
1296c27c603SJuli Mallett 	/*
1306c27c603SJuli Mallett 	 * Note that td_critnest begins life as 1 because the thread is not
1316c27c603SJuli Mallett 	 * running and is thereby implicitly waiting to be on the receiving
1326c27c603SJuli Mallett 	 * end of a context switch.  A context switch must occur inside a
1336c27c603SJuli Mallett 	 * critical section, and in fact, includes hand-off of the sched_lock.
1346c27c603SJuli Mallett 	 * After a context switch to a newly created thread, it will release
1356c27c603SJuli Mallett 	 * sched_lock for the first time, and its td_critnest will hit 0 for
1366c27c603SJuli Mallett 	 * the first time.  This happens on the far end of a context switch,
1376c27c603SJuli Mallett 	 * and when it context switches away from itself, it will in fact go
1386c27c603SJuli Mallett 	 * back into a critical section, and hand off the sched lock to the
1396c27c603SJuli Mallett 	 * next thread.
1406c27c603SJuli Mallett 	 */
141139b7550SJohn Baldwin 	td->td_critnest = 1;
142b23f72e9SBrian Feldman 	return (0);
14344990b8cSJulian Elischer }
14444990b8cSJulian Elischer 
14544990b8cSJulian Elischer /*
14644990b8cSJulian Elischer  * Reclaim a thread after use.
14744990b8cSJulian Elischer  */
14844990b8cSJulian Elischer static void
14944990b8cSJulian Elischer thread_dtor(void *mem, int size, void *arg)
15044990b8cSJulian Elischer {
15144990b8cSJulian Elischer 	struct thread *td;
15244990b8cSJulian Elischer 
15344990b8cSJulian Elischer 	td = (struct thread *)mem;
15444990b8cSJulian Elischer 
15544990b8cSJulian Elischer #ifdef INVARIANTS
15644990b8cSJulian Elischer 	/* Verify that this thread is in a safe state to free. */
15744990b8cSJulian Elischer 	switch (td->td_state) {
15871fad9fdSJulian Elischer 	case TDS_INHIBITED:
15971fad9fdSJulian Elischer 	case TDS_RUNNING:
16071fad9fdSJulian Elischer 	case TDS_CAN_RUN:
16144990b8cSJulian Elischer 	case TDS_RUNQ:
16244990b8cSJulian Elischer 		/*
16344990b8cSJulian Elischer 		 * We must never unlink a thread that is in one of
16444990b8cSJulian Elischer 		 * these states, because it is currently active.
16544990b8cSJulian Elischer 		 */
16644990b8cSJulian Elischer 		panic("bad state for thread unlinking");
16744990b8cSJulian Elischer 		/* NOTREACHED */
16871fad9fdSJulian Elischer 	case TDS_INACTIVE:
16944990b8cSJulian Elischer 		break;
17044990b8cSJulian Elischer 	default:
17144990b8cSJulian Elischer 		panic("bad thread state");
17244990b8cSJulian Elischer 		/* NOTREACHED */
17344990b8cSJulian Elischer 	}
17444990b8cSJulian Elischer #endif
175773eff9dSPoul-Henning Kamp 
176773eff9dSPoul-Henning Kamp 	free_unr(tid_unrhdr, td->td_tid);
177ed062c8dSJulian Elischer 	sched_newthread(td);
17844990b8cSJulian Elischer }
17944990b8cSJulian Elischer 
18044990b8cSJulian Elischer /*
18144990b8cSJulian Elischer  * Initialize type-stable parts of a thread (when newly created).
18244990b8cSJulian Elischer  */
183b23f72e9SBrian Feldman static int
184b23f72e9SBrian Feldman thread_init(void *mem, int size, int flags)
18544990b8cSJulian Elischer {
18644990b8cSJulian Elischer 	struct thread *td;
18744990b8cSJulian Elischer 
18844990b8cSJulian Elischer 	td = (struct thread *)mem;
189247aba24SMarcel Moolenaar 
19049a2507bSAlan Cox 	vm_thread_new(td, 0);
19144990b8cSJulian Elischer 	cpu_thread_setup(td);
19244f3b092SJohn Baldwin 	td->td_sleepqueue = sleepq_alloc();
193961a7b24SJohn Baldwin 	td->td_turnstile = turnstile_alloc();
194bc8e6d81SDavid Xu 	td->td_umtxq = umtxq_alloc();
195de028f5aSJeff Roberson 	td->td_sched = (struct td_sched *)&td[1];
196ed062c8dSJulian Elischer 	sched_newthread(td);
197b23f72e9SBrian Feldman 	return (0);
19844990b8cSJulian Elischer }
19944990b8cSJulian Elischer 
20044990b8cSJulian Elischer /*
20144990b8cSJulian Elischer  * Tear down type-stable parts of a thread (just before being discarded).
20244990b8cSJulian Elischer  */
20344990b8cSJulian Elischer static void
20444990b8cSJulian Elischer thread_fini(void *mem, int size)
20544990b8cSJulian Elischer {
20644990b8cSJulian Elischer 	struct thread *td;
20744990b8cSJulian Elischer 
20844990b8cSJulian Elischer 	td = (struct thread *)mem;
209961a7b24SJohn Baldwin 	turnstile_free(td->td_turnstile);
21044f3b092SJohn Baldwin 	sleepq_free(td->td_sleepqueue);
211bc8e6d81SDavid Xu 	umtxq_free(td->td_umtxq);
21249a2507bSAlan Cox 	vm_thread_dispose(td);
21344990b8cSJulian Elischer }
2145215b187SJeff Roberson 
215de028f5aSJeff Roberson /*
216de028f5aSJeff Roberson  * Initialize type-stable parts of a ksegrp (when newly created).
217de028f5aSJeff Roberson  */
218b23f72e9SBrian Feldman static int
219a9b5dc7dSJulian Elischer ksegrp_ctor(void *mem, int size, void *arg, int flags)
220de028f5aSJeff Roberson {
221de028f5aSJeff Roberson 	struct ksegrp	*kg;
222de028f5aSJeff Roberson 
223de028f5aSJeff Roberson 	kg = (struct ksegrp *)mem;
224a9b5dc7dSJulian Elischer 	bzero(mem, size);
225de028f5aSJeff Roberson 	kg->kg_sched = (struct kg_sched *)&kg[1];
226b23f72e9SBrian Feldman 	return (0);
227de028f5aSJeff Roberson }
22844990b8cSJulian Elischer 
2295c8329edSJulian Elischer void
2305c8329edSJulian Elischer ksegrp_link(struct ksegrp *kg, struct proc *p)
2315c8329edSJulian Elischer {
2325c8329edSJulian Elischer 
2335c8329edSJulian Elischer 	TAILQ_INIT(&kg->kg_threads);
2345c8329edSJulian Elischer 	TAILQ_INIT(&kg->kg_runq);	/* links with td_runq */
2355215b187SJeff Roberson 	TAILQ_INIT(&kg->kg_upcalls);	/* all upcall structure in ksegrp */
2365c8329edSJulian Elischer 	kg->kg_proc = p;
2375215b187SJeff Roberson 	/*
2385215b187SJeff Roberson 	 * the following counters are in the -zero- section
2395215b187SJeff Roberson 	 * and may not need clearing
2405215b187SJeff Roberson 	 */
2415c8329edSJulian Elischer 	kg->kg_numthreads = 0;
2425215b187SJeff Roberson 	kg->kg_numupcalls = 0;
2435c8329edSJulian Elischer 	/* link it in now that it's consistent */
2445c8329edSJulian Elischer 	p->p_numksegrps++;
2455c8329edSJulian Elischer 	TAILQ_INSERT_HEAD(&p->p_ksegrps, kg, kg_ksegrp);
2465c8329edSJulian Elischer }
2475c8329edSJulian Elischer 
248ed062c8dSJulian Elischer /*
249ed062c8dSJulian Elischer  * Called from:
250ed062c8dSJulian Elischer  *   thread-exit()
251ed062c8dSJulian Elischer  */
2525c8329edSJulian Elischer void
2535c8329edSJulian Elischer ksegrp_unlink(struct ksegrp *kg)
2545c8329edSJulian Elischer {
2555c8329edSJulian Elischer 	struct proc *p;
2565c8329edSJulian Elischer 
2575c8329edSJulian Elischer 	mtx_assert(&sched_lock, MA_OWNED);
2585215b187SJeff Roberson 	KASSERT((kg->kg_numthreads == 0), ("ksegrp_unlink: residual threads"));
2595215b187SJeff Roberson 	KASSERT((kg->kg_numupcalls == 0), ("ksegrp_unlink: residual upcalls"));
2605215b187SJeff Roberson 
2615c8329edSJulian Elischer 	p = kg->kg_proc;
2625c8329edSJulian Elischer 	TAILQ_REMOVE(&p->p_ksegrps, kg, kg_ksegrp);
2635c8329edSJulian Elischer 	p->p_numksegrps--;
2645c8329edSJulian Elischer 	/*
2655c8329edSJulian Elischer 	 * Aggregate stats from the KSE
2665c8329edSJulian Elischer 	 */
26721fc3164SDavid Xu 	if (p->p_procscopegrp == kg)
26821fc3164SDavid Xu 		p->p_procscopegrp = NULL;
2695c8329edSJulian Elischer }
2705c8329edSJulian Elischer 
2715c8329edSJulian Elischer /*
2725215b187SJeff Roberson  * For a newly created process,
2735215b187SJeff Roberson  * link up all the structures and its initial threads etc.
274ed062c8dSJulian Elischer  * called from:
275ed062c8dSJulian Elischer  * {arch}/{arch}/machdep.c   ia64_init(), init386() etc.
276ed062c8dSJulian Elischer  * proc_dtor() (should go away)
277ed062c8dSJulian Elischer  * proc_init()
2785c8329edSJulian Elischer  */
2795c8329edSJulian Elischer void
280ed062c8dSJulian Elischer proc_linkup(struct proc *p, struct ksegrp *kg, struct thread *td)
2815c8329edSJulian Elischer {
2825c8329edSJulian Elischer 
2835c8329edSJulian Elischer 	TAILQ_INIT(&p->p_ksegrps);	     /* all ksegrps in proc */
2845c8329edSJulian Elischer 	TAILQ_INIT(&p->p_threads);	     /* all threads in proc */
2855c8329edSJulian Elischer 	TAILQ_INIT(&p->p_suspended);	     /* Threads suspended */
2869104847fSDavid Xu 	sigqueue_init(&p->p_sigqueue, p);
287ebceaf6dSDavid Xu 	if (queue_sigchild) {
288ebceaf6dSDavid Xu 		p->p_ksi = ksiginfo_alloc(1);
289ebceaf6dSDavid Xu 		if (p->p_ksi != NULL) {
290ebceaf6dSDavid Xu 			/* p_ksi may be null if ksiginfo zone is not ready */
291ebceaf6dSDavid Xu 			p->p_ksi->ksi_flags = KSI_EXT | KSI_INS;
292ebceaf6dSDavid Xu 		}
293ebceaf6dSDavid Xu 	}
294ebceaf6dSDavid Xu 	else
295ebceaf6dSDavid Xu 		p->p_ksi = NULL;
2965c8329edSJulian Elischer 	p->p_numksegrps = 0;
2975c8329edSJulian Elischer 	p->p_numthreads = 0;
2985c8329edSJulian Elischer 
2995c8329edSJulian Elischer 	ksegrp_link(kg, p);
3005c8329edSJulian Elischer 	thread_link(td, kg);
3015c8329edSJulian Elischer }
3025c8329edSJulian Elischer 
3035c8329edSJulian Elischer /*
30444990b8cSJulian Elischer  * Initialize global thread allocation resources.
30544990b8cSJulian Elischer  */
30644990b8cSJulian Elischer void
30744990b8cSJulian Elischer threadinit(void)
30844990b8cSJulian Elischer {
30944990b8cSJulian Elischer 
3101ea7a6f8SPoul-Henning Kamp 	mtx_init(&tid_lock, "TID lock", NULL, MTX_DEF);
3111ea7a6f8SPoul-Henning Kamp 	tid_unrhdr = new_unrhdr(PID_MAX + 1, INT_MAX, &tid_lock);
3121ea7a6f8SPoul-Henning Kamp 
313de028f5aSJeff Roberson 	thread_zone = uma_zcreate("THREAD", sched_sizeof_thread(),
31444990b8cSJulian Elischer 	    thread_ctor, thread_dtor, thread_init, thread_fini,
31544990b8cSJulian Elischer 	    UMA_ALIGN_CACHE, 0);
316de028f5aSJeff Roberson 	ksegrp_zone = uma_zcreate("KSEGRP", sched_sizeof_ksegrp(),
317a9b5dc7dSJulian Elischer 	    ksegrp_ctor, NULL, NULL, NULL,
3184f0db5e0SJulian Elischer 	    UMA_ALIGN_CACHE, 0);
319ed062c8dSJulian Elischer 	kseinit();	/* set up kse specific stuff  e.g. upcall zone*/
32044990b8cSJulian Elischer }
32144990b8cSJulian Elischer 
32244990b8cSJulian Elischer /*
3231faf202eSJulian Elischer  * Stash an embarasingly extra thread into the zombie thread queue.
32444990b8cSJulian Elischer  */
32544990b8cSJulian Elischer void
32644990b8cSJulian Elischer thread_stash(struct thread *td)
32744990b8cSJulian Elischer {
3285215b187SJeff Roberson 	mtx_lock_spin(&kse_zombie_lock);
32944990b8cSJulian Elischer 	TAILQ_INSERT_HEAD(&zombie_threads, td, td_runq);
3305215b187SJeff Roberson 	mtx_unlock_spin(&kse_zombie_lock);
33144990b8cSJulian Elischer }
33244990b8cSJulian Elischer 
33344990b8cSJulian Elischer /*
3345c8329edSJulian Elischer  * Stash an embarasingly extra ksegrp into the zombie ksegrp queue.
3355c8329edSJulian Elischer  */
3365c8329edSJulian Elischer void
3375c8329edSJulian Elischer ksegrp_stash(struct ksegrp *kg)
3385c8329edSJulian Elischer {
3395215b187SJeff Roberson 	mtx_lock_spin(&kse_zombie_lock);
3405c8329edSJulian Elischer 	TAILQ_INSERT_HEAD(&zombie_ksegrps, kg, kg_ksegrp);
3415215b187SJeff Roberson 	mtx_unlock_spin(&kse_zombie_lock);
3425c8329edSJulian Elischer }
3435c8329edSJulian Elischer 
3445c8329edSJulian Elischer /*
3455215b187SJeff Roberson  * Reap zombie kse resource.
34644990b8cSJulian Elischer  */
34744990b8cSJulian Elischer void
34844990b8cSJulian Elischer thread_reap(void)
34944990b8cSJulian Elischer {
3505c8329edSJulian Elischer 	struct thread *td_first, *td_next;
3515c8329edSJulian Elischer 	struct ksegrp *kg_first, * kg_next;
35244990b8cSJulian Elischer 
35344990b8cSJulian Elischer 	/*
3545215b187SJeff Roberson 	 * Don't even bother to lock if none at this instant,
3555215b187SJeff Roberson 	 * we really don't care about the next instant..
35644990b8cSJulian Elischer 	 */
3575c8329edSJulian Elischer 	if ((!TAILQ_EMPTY(&zombie_threads))
358345ad866SJulian Elischer 	    || (!TAILQ_EMPTY(&zombie_ksegrps))) {
3595215b187SJeff Roberson 		mtx_lock_spin(&kse_zombie_lock);
3605c8329edSJulian Elischer 		td_first = TAILQ_FIRST(&zombie_threads);
3615c8329edSJulian Elischer 		kg_first = TAILQ_FIRST(&zombie_ksegrps);
3625c8329edSJulian Elischer 		if (td_first)
3635c8329edSJulian Elischer 			TAILQ_INIT(&zombie_threads);
3645c8329edSJulian Elischer 		if (kg_first)
3655c8329edSJulian Elischer 			TAILQ_INIT(&zombie_ksegrps);
3665215b187SJeff Roberson 		mtx_unlock_spin(&kse_zombie_lock);
3675c8329edSJulian Elischer 		while (td_first) {
3685c8329edSJulian Elischer 			td_next = TAILQ_NEXT(td_first, td_runq);
3695215b187SJeff Roberson 			if (td_first->td_ucred)
3705215b187SJeff Roberson 				crfree(td_first->td_ucred);
3715c8329edSJulian Elischer 			thread_free(td_first);
3725c8329edSJulian Elischer 			td_first = td_next;
37344990b8cSJulian Elischer 		}
3745c8329edSJulian Elischer 		while (kg_first) {
3755c8329edSJulian Elischer 			kg_next = TAILQ_NEXT(kg_first, kg_ksegrp);
3765c8329edSJulian Elischer 			ksegrp_free(kg_first);
3775c8329edSJulian Elischer 			kg_first = kg_next;
3785c8329edSJulian Elischer 		}
379ed062c8dSJulian Elischer 		/*
380ed062c8dSJulian Elischer 		 * there will always be a thread on the list if one of these
381ed062c8dSJulian Elischer 		 * is there.
382ed062c8dSJulian Elischer 		 */
383345ad866SJulian Elischer 		kse_GC();
38444990b8cSJulian Elischer 	}
385ed062c8dSJulian Elischer }
38644990b8cSJulian Elischer 
38744990b8cSJulian Elischer /*
3884f0db5e0SJulian Elischer  * Allocate a ksegrp.
3894f0db5e0SJulian Elischer  */
3904f0db5e0SJulian Elischer struct ksegrp *
3914f0db5e0SJulian Elischer ksegrp_alloc(void)
3924f0db5e0SJulian Elischer {
393a163d034SWarner Losh 	return (uma_zalloc(ksegrp_zone, M_WAITOK));
3944f0db5e0SJulian Elischer }
3954f0db5e0SJulian Elischer 
3964f0db5e0SJulian Elischer /*
39744990b8cSJulian Elischer  * Allocate a thread.
39844990b8cSJulian Elischer  */
39944990b8cSJulian Elischer struct thread *
40044990b8cSJulian Elischer thread_alloc(void)
40144990b8cSJulian Elischer {
40244990b8cSJulian Elischer 	thread_reap(); /* check if any zombies to get */
403a163d034SWarner Losh 	return (uma_zalloc(thread_zone, M_WAITOK));
40444990b8cSJulian Elischer }
40544990b8cSJulian Elischer 
40644990b8cSJulian Elischer /*
4074f0db5e0SJulian Elischer  * Deallocate a ksegrp.
4084f0db5e0SJulian Elischer  */
4094f0db5e0SJulian Elischer void
4104f0db5e0SJulian Elischer ksegrp_free(struct ksegrp *td)
4114f0db5e0SJulian Elischer {
4124f0db5e0SJulian Elischer 	uma_zfree(ksegrp_zone, td);
4134f0db5e0SJulian Elischer }
4144f0db5e0SJulian Elischer 
4154f0db5e0SJulian Elischer /*
41644990b8cSJulian Elischer  * Deallocate a thread.
41744990b8cSJulian Elischer  */
41844990b8cSJulian Elischer void
41944990b8cSJulian Elischer thread_free(struct thread *td)
42044990b8cSJulian Elischer {
421696058c3SJulian Elischer 
422696058c3SJulian Elischer 	cpu_thread_clean(td);
42344990b8cSJulian Elischer 	uma_zfree(thread_zone, td);
42444990b8cSJulian Elischer }
42544990b8cSJulian Elischer 
42644990b8cSJulian Elischer /*
42744990b8cSJulian Elischer  * Discard the current thread and exit from its context.
42894e0a4cdSJulian Elischer  * Always called with scheduler locked.
42944990b8cSJulian Elischer  *
43044990b8cSJulian Elischer  * Because we can't free a thread while we're operating under its context,
431696058c3SJulian Elischer  * push the current thread into our CPU's deadthread holder. This means
432696058c3SJulian Elischer  * we needn't worry about someone else grabbing our context before we
43394e0a4cdSJulian Elischer  * do a cpu_throw().  This may not be needed now as we are under schedlock.
43494e0a4cdSJulian Elischer  * Maybe we can just do a thread_stash() as thr_exit1 does.
43594e0a4cdSJulian Elischer  */
43694e0a4cdSJulian Elischer /*  XXX
43794e0a4cdSJulian Elischer  * libthr expects its thread exit to return for the last
43894e0a4cdSJulian Elischer  * thread, meaning that the program is back to non-threaded
43994e0a4cdSJulian Elischer  * mode I guess. Because we do this (cpu_throw) unconditionally
44094e0a4cdSJulian Elischer  * here, they have their own version of it. (thr_exit1())
44194e0a4cdSJulian Elischer  * that doesn't do it all if this was the last thread.
44294e0a4cdSJulian Elischer  * It is also called from thread_suspend_check().
44394e0a4cdSJulian Elischer  * Of course in the end, they end up coming here through exit1
44494e0a4cdSJulian Elischer  * anyhow..  After fixing 'thr' to play by the rules we should be able
44594e0a4cdSJulian Elischer  * to merge these two functions together.
446ed062c8dSJulian Elischer  *
447ed062c8dSJulian Elischer  * called from:
448ed062c8dSJulian Elischer  * exit1()
449ed062c8dSJulian Elischer  * kse_exit()
450ed062c8dSJulian Elischer  * thr_exit()
451ed062c8dSJulian Elischer  * thread_user_enter()
452ed062c8dSJulian Elischer  * thread_userret()
453ed062c8dSJulian Elischer  * thread_suspend_check()
45444990b8cSJulian Elischer  */
45544990b8cSJulian Elischer void
45644990b8cSJulian Elischer thread_exit(void)
45744990b8cSJulian Elischer {
45844990b8cSJulian Elischer 	struct thread *td;
45944990b8cSJulian Elischer 	struct proc *p;
46044990b8cSJulian Elischer 	struct ksegrp	*kg;
46144990b8cSJulian Elischer 
46244990b8cSJulian Elischer 	td = curthread;
46344990b8cSJulian Elischer 	kg = td->td_ksegrp;
46444990b8cSJulian Elischer 	p = td->td_proc;
46544990b8cSJulian Elischer 
46644990b8cSJulian Elischer 	mtx_assert(&sched_lock, MA_OWNED);
467ed062c8dSJulian Elischer 	mtx_assert(&Giant, MA_NOTOWNED);
46844990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
469ed062c8dSJulian Elischer 	KASSERT(p != NULL, ("thread exiting without a process"));
470ed062c8dSJulian Elischer 	KASSERT(kg != NULL, ("thread exiting without a kse group"));
471cc701b73SRobert Watson 	CTR3(KTR_PROC, "thread_exit: thread %p (pid %ld, %s)", td,
472cc701b73SRobert Watson 	    (long)p->p_pid, p->p_comm);
4739104847fSDavid Xu 	KASSERT(TAILQ_EMPTY(&td->td_sigqueue.sq_list), ("signal pending"));
47444990b8cSJulian Elischer 
47548bfcdddSJulian Elischer 	if (td->td_standin != NULL) {
476ed062c8dSJulian Elischer 		/*
477ed062c8dSJulian Elischer 		 * Note that we don't need to free the cred here as it
478ed062c8dSJulian Elischer 		 * is done in thread_reap().
479ed062c8dSJulian Elischer 		 */
48048bfcdddSJulian Elischer 		thread_stash(td->td_standin);
48148bfcdddSJulian Elischer 		td->td_standin = NULL;
48248bfcdddSJulian Elischer 	}
48348bfcdddSJulian Elischer 
484ed062c8dSJulian Elischer 	/*
485ed062c8dSJulian Elischer 	 * drop FPU & debug register state storage, or any other
486ed062c8dSJulian Elischer 	 * architecture specific resources that
487ed062c8dSJulian Elischer 	 * would not be on a new untouched process.
488ed062c8dSJulian Elischer 	 */
48944990b8cSJulian Elischer 	cpu_thread_exit(td);	/* XXXSMP */
49044990b8cSJulian Elischer 
4911faf202eSJulian Elischer 	/*
492ed062c8dSJulian Elischer 	 * The thread is exiting. scheduler can release its stuff
493ed062c8dSJulian Elischer 	 * and collect stats etc.
494ed062c8dSJulian Elischer 	 */
495ed062c8dSJulian Elischer 	sched_thread_exit(td);
496ed062c8dSJulian Elischer 
497ed062c8dSJulian Elischer 	/*
4981faf202eSJulian Elischer 	 * The last thread is left attached to the process
4991faf202eSJulian Elischer 	 * So that the whole bundle gets recycled. Skip
500ed062c8dSJulian Elischer 	 * all this stuff if we never had threads.
501ed062c8dSJulian Elischer 	 * EXIT clears all sign of other threads when
502ed062c8dSJulian Elischer 	 * it goes to single threading, so the last thread always
503ed062c8dSJulian Elischer 	 * takes the short path.
5041faf202eSJulian Elischer 	 */
505ed062c8dSJulian Elischer 	if (p->p_flag & P_HADTHREADS) {
5061faf202eSJulian Elischer 		if (p->p_numthreads > 1) {
507d3a0bd78SJulian Elischer 			thread_unlink(td);
508ed062c8dSJulian Elischer 
509ed062c8dSJulian Elischer 			/* XXX first arg not used in 4BSD or ULE */
510ed062c8dSJulian Elischer 			sched_exit_thread(FIRST_THREAD_IN_PROC(p), td);
511ed062c8dSJulian Elischer 
512ed062c8dSJulian Elischer 			/*
51344990b8cSJulian Elischer 			 * The test below is NOT true if we are the
5141faf202eSJulian Elischer 			 * sole exiting thread. P_STOPPED_SNGL is unset
51544990b8cSJulian Elischer 			 * in exit1() after it is the only survivor.
51644990b8cSJulian Elischer 			 */
5171279572aSDavid Xu 			if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) {
51844990b8cSJulian Elischer 				if (p->p_numthreads == p->p_suspcount) {
51971fad9fdSJulian Elischer 					thread_unsuspend_one(p->p_singlethread);
52044990b8cSJulian Elischer 				}
52144990b8cSJulian Elischer 			}
52248bfcdddSJulian Elischer 
5235215b187SJeff Roberson 			/*
5245215b187SJeff Roberson 			 * Because each upcall structure has an owner thread,
5255215b187SJeff Roberson 			 * owner thread exits only when process is in exiting
5265215b187SJeff Roberson 			 * state, so upcall to userland is no longer needed,
5275215b187SJeff Roberson 			 * deleting upcall structure is safe here.
5285215b187SJeff Roberson 			 * So when all threads in a group is exited, all upcalls
5295215b187SJeff Roberson 			 * in the group should be automatically freed.
530ed062c8dSJulian Elischer 			 *  XXXKSE This is a KSE thing and should be exported
531ed062c8dSJulian Elischer 			 * there somehow.
5325215b187SJeff Roberson 			 */
5335215b187SJeff Roberson 			upcall_remove(td);
5346f8132a8SJulian Elischer 
53548bfcdddSJulian Elischer 			/*
536ed062c8dSJulian Elischer 			 * If the thread we unlinked above was the last one,
537ed062c8dSJulian Elischer 			 * then this ksegrp should go away too.
53848bfcdddSJulian Elischer 			 */
539ed062c8dSJulian Elischer 			if (kg->kg_numthreads == 0) {
540ed062c8dSJulian Elischer 				/*
541ed062c8dSJulian Elischer 				 * let the scheduler know about this in case
542ed062c8dSJulian Elischer 				 * it needs to recover stats or resources.
543ed062c8dSJulian Elischer 				 * Theoretically we could let
544ed062c8dSJulian Elischer 				 * sched_exit_ksegrp()  do the equivalent of
545ed062c8dSJulian Elischer 				 * setting the concurrency to 0
546ed062c8dSJulian Elischer 				 * but don't do it yet to avoid changing
547ed062c8dSJulian Elischer 				 * the existing scheduler code until we
548ed062c8dSJulian Elischer 				 * are ready.
549ed062c8dSJulian Elischer 				 * We supply a random other ksegrp
550ed062c8dSJulian Elischer 				 * as the recipient of any built up
551ed062c8dSJulian Elischer 				 * cpu usage etc. (If the scheduler wants it).
552ed062c8dSJulian Elischer 				 * XXXKSE
553ed062c8dSJulian Elischer 				 * This is probably not fair so think of
554ed062c8dSJulian Elischer  				 * a better answer.
555ed062c8dSJulian Elischer 				 */
55655d44f79SJulian Elischer 				sched_exit_ksegrp(FIRST_KSEGRP_IN_PROC(p), td);
557ed062c8dSJulian Elischer 				sched_set_concurrency(kg, 0); /* XXX TEMP */
558ab2baa72SDavid Xu 				ksegrp_unlink(kg);
559ed062c8dSJulian Elischer 				ksegrp_stash(kg);
560ab2baa72SDavid Xu 			}
5616f8132a8SJulian Elischer 			PROC_UNLOCK(p);
5625c8329edSJulian Elischer 			td->td_ksegrp	= NULL;
563696058c3SJulian Elischer 			PCPU_SET(deadthread, td);
5641faf202eSJulian Elischer 		} else {
565ed062c8dSJulian Elischer 			/*
566ed062c8dSJulian Elischer 			 * The last thread is exiting.. but not through exit()
567ed062c8dSJulian Elischer 			 * what should we do?
568ed062c8dSJulian Elischer 			 * Theoretically this can't happen
569ed062c8dSJulian Elischer  			 * exit1() - clears threading flags before coming here
570ed062c8dSJulian Elischer  			 * kse_exit() - treats last thread specially
571ed062c8dSJulian Elischer  			 * thr_exit() - treats last thread specially
572ed062c8dSJulian Elischer  			 * thread_user_enter() - only if more exist
573ed062c8dSJulian Elischer  			 * thread_userret() - only if more exist
574ed062c8dSJulian Elischer  			 * thread_suspend_check() - only if more exist
575ed062c8dSJulian Elischer 			 */
576ed062c8dSJulian Elischer 			panic ("thread_exit: Last thread exiting on its own");
577ed062c8dSJulian Elischer 		}
578ed062c8dSJulian Elischer 	} else {
579ed062c8dSJulian Elischer 		/*
580ed062c8dSJulian Elischer 		 * non threaded process comes here.
581ed062c8dSJulian Elischer 		 * This includes an EX threaded process that is coming
582ed062c8dSJulian Elischer 		 * here via exit1(). (exit1 dethreads the proc first).
583ed062c8dSJulian Elischer 		 */
5841faf202eSJulian Elischer 		PROC_UNLOCK(p);
5851faf202eSJulian Elischer 	}
586dcc9954eSJulian Elischer 	td->td_state = TDS_INACTIVE;
587732d9528SJulian Elischer 	CTR1(KTR_PROC, "thread_exit: cpu_throw() thread %p", td);
588cc66ebe2SPeter Wemm 	cpu_throw(td, choosethread());
589cc66ebe2SPeter Wemm 	panic("I'm a teapot!");
59044990b8cSJulian Elischer 	/* NOTREACHED */
59144990b8cSJulian Elischer }
59244990b8cSJulian Elischer 
59344990b8cSJulian Elischer /*
594696058c3SJulian Elischer  * Do any thread specific cleanups that may be needed in wait()
59537814395SPeter Wemm  * called with Giant, proc and schedlock not held.
596696058c3SJulian Elischer  */
597696058c3SJulian Elischer void
598696058c3SJulian Elischer thread_wait(struct proc *p)
599696058c3SJulian Elischer {
600696058c3SJulian Elischer 	struct thread *td;
601696058c3SJulian Elischer 
60237814395SPeter Wemm 	mtx_assert(&Giant, MA_NOTOWNED);
60385495c72SJens Schweikhardt 	KASSERT((p->p_numthreads == 1), ("Multiple threads in wait1()"));
60485495c72SJens Schweikhardt 	KASSERT((p->p_numksegrps == 1), ("Multiple ksegrps in wait1()"));
605696058c3SJulian Elischer 	FOREACH_THREAD_IN_PROC(p, td) {
606696058c3SJulian Elischer 		if (td->td_standin != NULL) {
607b75b0311SJulian Elischer 			if (td->td_standin->td_ucred != NULL) {
608b75b0311SJulian Elischer 				crfree(td->td_standin->td_ucred);
609b75b0311SJulian Elischer 				td->td_standin->td_ucred = NULL;
610b75b0311SJulian Elischer 			}
611696058c3SJulian Elischer 			thread_free(td->td_standin);
612696058c3SJulian Elischer 			td->td_standin = NULL;
613696058c3SJulian Elischer 		}
614696058c3SJulian Elischer 		cpu_thread_clean(td);
615ed062c8dSJulian Elischer 		crfree(td->td_ucred);
616696058c3SJulian Elischer 	}
617696058c3SJulian Elischer 	thread_reap();	/* check for zombie threads etc. */
618696058c3SJulian Elischer }
619696058c3SJulian Elischer 
620696058c3SJulian Elischer /*
62144990b8cSJulian Elischer  * Link a thread to a process.
6221faf202eSJulian Elischer  * set up anything that needs to be initialized for it to
6231faf202eSJulian Elischer  * be used by the process.
62444990b8cSJulian Elischer  *
62544990b8cSJulian Elischer  * Note that we do not link to the proc's ucred here.
62644990b8cSJulian Elischer  * The thread is linked as if running but no KSE assigned.
627ed062c8dSJulian Elischer  * Called from:
628ed062c8dSJulian Elischer  *  proc_linkup()
629ed062c8dSJulian Elischer  *  thread_schedule_upcall()
630ed062c8dSJulian Elischer  *  thr_create()
63144990b8cSJulian Elischer  */
63244990b8cSJulian Elischer void
63344990b8cSJulian Elischer thread_link(struct thread *td, struct ksegrp *kg)
63444990b8cSJulian Elischer {
63544990b8cSJulian Elischer 	struct proc *p;
63644990b8cSJulian Elischer 
63744990b8cSJulian Elischer 	p = kg->kg_proc;
63871fad9fdSJulian Elischer 	td->td_state    = TDS_INACTIVE;
63944990b8cSJulian Elischer 	td->td_proc     = p;
64044990b8cSJulian Elischer 	td->td_ksegrp   = kg;
6415215b187SJeff Roberson 	td->td_flags    = 0;
6424fc21c09SDaniel Eischen 	td->td_kflags	= 0;
64344990b8cSJulian Elischer 
6441faf202eSJulian Elischer 	LIST_INIT(&td->td_contested);
6459104847fSDavid Xu 	sigqueue_init(&td->td_sigqueue, p);
646c06eb4e2SSam Leffler 	callout_init(&td->td_slpcallout, CALLOUT_MPSAFE);
64744990b8cSJulian Elischer 	TAILQ_INSERT_HEAD(&p->p_threads, td, td_plist);
64844990b8cSJulian Elischer 	TAILQ_INSERT_HEAD(&kg->kg_threads, td, td_kglist);
64944990b8cSJulian Elischer 	p->p_numthreads++;
65044990b8cSJulian Elischer 	kg->kg_numthreads++;
65144990b8cSJulian Elischer }
65244990b8cSJulian Elischer 
653ed062c8dSJulian Elischer /*
654e5bedcefSJulian Elischer  * Convert a process with one thread to an unthreaded process.
655e5bedcefSJulian Elischer  * Called from:
656e5bedcefSJulian Elischer  *  thread_single(exit)  (called from execve and exit)
657e5bedcefSJulian Elischer  *  kse_exit()		XXX may need cleaning up wrt KSE stuff
658e5bedcefSJulian Elischer  */
659e5bedcefSJulian Elischer void
660e5bedcefSJulian Elischer thread_unthread(struct thread *td)
661e5bedcefSJulian Elischer {
662e5bedcefSJulian Elischer 	struct proc *p = td->td_proc;
663e5bedcefSJulian Elischer 
664e5bedcefSJulian Elischer 	KASSERT((p->p_numthreads == 1), ("Unthreading with >1 threads"));
665e5bedcefSJulian Elischer 	upcall_remove(td);
666e5bedcefSJulian Elischer 	p->p_flag &= ~(P_SA|P_HADTHREADS);
667e5bedcefSJulian Elischer 	td->td_mailbox = NULL;
668e5bedcefSJulian Elischer 	td->td_pflags &= ~(TDP_SA | TDP_CAN_UNBIND);
669e5bedcefSJulian Elischer 	if (td->td_standin != NULL) {
670e5bedcefSJulian Elischer 		thread_stash(td->td_standin);
671e5bedcefSJulian Elischer 		td->td_standin = NULL;
672e5bedcefSJulian Elischer 	}
673e5bedcefSJulian Elischer 	sched_set_concurrency(td->td_ksegrp, 1);
674e5bedcefSJulian Elischer }
675e5bedcefSJulian Elischer 
676e5bedcefSJulian Elischer /*
677ed062c8dSJulian Elischer  * Called from:
678ed062c8dSJulian Elischer  *  thread_exit()
679ed062c8dSJulian Elischer  */
680d3a0bd78SJulian Elischer void
681d3a0bd78SJulian Elischer thread_unlink(struct thread *td)
682d3a0bd78SJulian Elischer {
683d3a0bd78SJulian Elischer 	struct proc *p = td->td_proc;
684d3a0bd78SJulian Elischer 	struct ksegrp *kg = td->td_ksegrp;
685d3a0bd78SJulian Elischer 
686112afcb2SJohn Baldwin 	mtx_assert(&sched_lock, MA_OWNED);
687d3a0bd78SJulian Elischer 	TAILQ_REMOVE(&p->p_threads, td, td_plist);
688d3a0bd78SJulian Elischer 	p->p_numthreads--;
689d3a0bd78SJulian Elischer 	TAILQ_REMOVE(&kg->kg_threads, td, td_kglist);
690d3a0bd78SJulian Elischer 	kg->kg_numthreads--;
691d3a0bd78SJulian Elischer 	/* could clear a few other things here */
692ed062c8dSJulian Elischer 	/* Must  NOT clear links to proc and ksegrp! */
6935c8329edSJulian Elischer }
6945c8329edSJulian Elischer 
6955215b187SJeff Roberson /*
69644990b8cSJulian Elischer  * Enforce single-threading.
69744990b8cSJulian Elischer  *
69844990b8cSJulian Elischer  * Returns 1 if the caller must abort (another thread is waiting to
69944990b8cSJulian Elischer  * exit the process or similar). Process is locked!
70044990b8cSJulian Elischer  * Returns 0 when you are successfully the only thread running.
70144990b8cSJulian Elischer  * A process has successfully single threaded in the suspend mode when
70244990b8cSJulian Elischer  * There are no threads in user mode. Threads in the kernel must be
70344990b8cSJulian Elischer  * allowed to continue until they get to the user boundary. They may even
70444990b8cSJulian Elischer  * copy out their return values and data before suspending. They may however be
70544990b8cSJulian Elischer  * accellerated in reaching the user boundary as we will wake up
70644990b8cSJulian Elischer  * any sleeping threads that are interruptable. (PCATCH).
70744990b8cSJulian Elischer  */
70844990b8cSJulian Elischer int
709906ac69dSDavid Xu thread_single(int mode)
71044990b8cSJulian Elischer {
71144990b8cSJulian Elischer 	struct thread *td;
71244990b8cSJulian Elischer 	struct thread *td2;
71344990b8cSJulian Elischer 	struct proc *p;
714ec008e96SDavid Xu 	int remaining;
71544990b8cSJulian Elischer 
71644990b8cSJulian Elischer 	td = curthread;
71744990b8cSJulian Elischer 	p = td->td_proc;
71837814395SPeter Wemm 	mtx_assert(&Giant, MA_NOTOWNED);
71944990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
72044990b8cSJulian Elischer 	KASSERT((td != NULL), ("curthread is NULL"));
72144990b8cSJulian Elischer 
722ed062c8dSJulian Elischer 	if ((p->p_flag & P_HADTHREADS) == 0)
72344990b8cSJulian Elischer 		return (0);
72444990b8cSJulian Elischer 
725e3b9bf71SJulian Elischer 	/* Is someone already single threading? */
726906ac69dSDavid Xu 	if (p->p_singlethread != NULL && p->p_singlethread != td)
72744990b8cSJulian Elischer 		return (1);
72844990b8cSJulian Elischer 
729906ac69dSDavid Xu 	if (mode == SINGLE_EXIT) {
730906ac69dSDavid Xu 		p->p_flag |= P_SINGLE_EXIT;
731906ac69dSDavid Xu 		p->p_flag &= ~P_SINGLE_BOUNDARY;
732906ac69dSDavid Xu 	} else {
733906ac69dSDavid Xu 		p->p_flag &= ~P_SINGLE_EXIT;
734906ac69dSDavid Xu 		if (mode == SINGLE_BOUNDARY)
735906ac69dSDavid Xu 			p->p_flag |= P_SINGLE_BOUNDARY;
736906ac69dSDavid Xu 		else
737906ac69dSDavid Xu 			p->p_flag &= ~P_SINGLE_BOUNDARY;
738906ac69dSDavid Xu 	}
7391279572aSDavid Xu 	p->p_flag |= P_STOPPED_SINGLE;
74071fad9fdSJulian Elischer 	mtx_lock_spin(&sched_lock);
741112afcb2SJohn Baldwin 	p->p_singlethread = td;
742906ac69dSDavid Xu 	if (mode == SINGLE_EXIT)
743ec008e96SDavid Xu 		remaining = p->p_numthreads;
744906ac69dSDavid Xu 	else if (mode == SINGLE_BOUNDARY)
745906ac69dSDavid Xu 		remaining = p->p_numthreads - p->p_boundary_count;
746906ac69dSDavid Xu 	else
747ec008e96SDavid Xu 		remaining = p->p_numthreads - p->p_suspcount;
748ec008e96SDavid Xu 	while (remaining != 1) {
74944990b8cSJulian Elischer 		FOREACH_THREAD_IN_PROC(p, td2) {
75044990b8cSJulian Elischer 			if (td2 == td)
75144990b8cSJulian Elischer 				continue;
752588257e8SDavid Xu 			td2->td_flags |= TDF_ASTPENDING;
75371fad9fdSJulian Elischer 			if (TD_IS_INHIBITED(td2)) {
754906ac69dSDavid Xu 				switch (mode) {
755906ac69dSDavid Xu 				case SINGLE_EXIT:
756cbf4e354SDavid Xu 					if (td->td_flags & TDF_DBSUSPEND)
757cbf4e354SDavid Xu 						td->td_flags &= ~TDF_DBSUSPEND;
758906ac69dSDavid Xu 					if (TD_IS_SUSPENDED(td2))
75971fad9fdSJulian Elischer 						thread_unsuspend_one(td2);
76033862f40SDavid Xu 					if (TD_ON_SLEEPQ(td2) &&
761906ac69dSDavid Xu 					    (td2->td_flags & TDF_SINTR))
76244f3b092SJohn Baldwin 						sleepq_abort(td2);
763906ac69dSDavid Xu 					break;
764906ac69dSDavid Xu 				case SINGLE_BOUNDARY:
765906ac69dSDavid Xu 					if (TD_IS_SUSPENDED(td2) &&
766906ac69dSDavid Xu 					    !(td2->td_flags & TDF_BOUNDARY))
767906ac69dSDavid Xu 						thread_unsuspend_one(td2);
768906ac69dSDavid Xu 					if (TD_ON_SLEEPQ(td2) &&
769906ac69dSDavid Xu 					    (td2->td_flags & TDF_SINTR))
770906ac69dSDavid Xu 						sleepq_abort(td2);
771906ac69dSDavid Xu 					break;
772906ac69dSDavid Xu 				default:
7739d102777SJulian Elischer 					if (TD_IS_SUSPENDED(td2))
7749d102777SJulian Elischer 						continue;
7755215b187SJeff Roberson 					/*
7765215b187SJeff Roberson 					 * maybe other inhibitted states too?
7775215b187SJeff Roberson 					 */
7788acf6057SDavid Xu 					if ((td2->td_flags & TDF_SINTR) &&
7798acf6057SDavid Xu 					    (td2->td_inhibitors &
7808acf6057SDavid Xu 					    (TDI_SLEEPING | TDI_SWAPPED)))
7819d102777SJulian Elischer 						thread_suspend_one(td2);
782906ac69dSDavid Xu 					break;
78344990b8cSJulian Elischer 				}
78444990b8cSJulian Elischer 			}
7859d102777SJulian Elischer 		}
786906ac69dSDavid Xu 		if (mode == SINGLE_EXIT)
787ec008e96SDavid Xu 			remaining = p->p_numthreads;
788906ac69dSDavid Xu 		else if (mode == SINGLE_BOUNDARY)
789906ac69dSDavid Xu 			remaining = p->p_numthreads - p->p_boundary_count;
790ec008e96SDavid Xu 		else
791ec008e96SDavid Xu 			remaining = p->p_numthreads - p->p_suspcount;
792ec008e96SDavid Xu 
7939d102777SJulian Elischer 		/*
7949d102777SJulian Elischer 		 * Maybe we suspended some threads.. was it enough?
7959d102777SJulian Elischer 		 */
796ec008e96SDavid Xu 		if (remaining == 1)
7979d102777SJulian Elischer 			break;
7989d102777SJulian Elischer 
79944990b8cSJulian Elischer 		/*
80044990b8cSJulian Elischer 		 * Wake us up when everyone else has suspended.
801e3b9bf71SJulian Elischer 		 * In the mean time we suspend as well.
80244990b8cSJulian Elischer 		 */
80371fad9fdSJulian Elischer 		thread_suspend_one(td);
80444990b8cSJulian Elischer 		PROC_UNLOCK(p);
805bf0acc27SJohn Baldwin 		mi_switch(SW_VOL, NULL);
80644990b8cSJulian Elischer 		mtx_unlock_spin(&sched_lock);
80744990b8cSJulian Elischer 		PROC_LOCK(p);
808112afcb2SJohn Baldwin 		mtx_lock_spin(&sched_lock);
809906ac69dSDavid Xu 		if (mode == SINGLE_EXIT)
810ec008e96SDavid Xu 			remaining = p->p_numthreads;
811906ac69dSDavid Xu 		else if (mode == SINGLE_BOUNDARY)
812906ac69dSDavid Xu 			remaining = p->p_numthreads - p->p_boundary_count;
813ec008e96SDavid Xu 		else
814ec008e96SDavid Xu 			remaining = p->p_numthreads - p->p_suspcount;
81544990b8cSJulian Elischer 	}
816906ac69dSDavid Xu 	if (mode == SINGLE_EXIT) {
81791599697SJulian Elischer 		/*
81891599697SJulian Elischer 		 * We have gotten rid of all the other threads and we
81991599697SJulian Elischer 		 * are about to either exit or exec. In either case,
82091599697SJulian Elischer 		 * we try our utmost  to revert to being a non-threaded
82191599697SJulian Elischer 		 * process.
82291599697SJulian Elischer 		 */
823ed062c8dSJulian Elischer 		p->p_singlethread = NULL;
82464895117SDavid Xu 		p->p_flag &= ~(P_STOPPED_SINGLE | P_SINGLE_EXIT);
825e5bedcefSJulian Elischer 		thread_unthread(td);
82691599697SJulian Elischer 	}
827112afcb2SJohn Baldwin 	mtx_unlock_spin(&sched_lock);
82844990b8cSJulian Elischer 	return (0);
82944990b8cSJulian Elischer }
83044990b8cSJulian Elischer 
83144990b8cSJulian Elischer /*
83244990b8cSJulian Elischer  * Called in from locations that can safely check to see
83344990b8cSJulian Elischer  * whether we have to suspend or at least throttle for a
83444990b8cSJulian Elischer  * single-thread event (e.g. fork).
83544990b8cSJulian Elischer  *
83644990b8cSJulian Elischer  * Such locations include userret().
83744990b8cSJulian Elischer  * If the "return_instead" argument is non zero, the thread must be able to
83844990b8cSJulian Elischer  * accept 0 (caller may continue), or 1 (caller must abort) as a result.
83944990b8cSJulian Elischer  *
84044990b8cSJulian Elischer  * The 'return_instead' argument tells the function if it may do a
84144990b8cSJulian Elischer  * thread_exit() or suspend, or whether the caller must abort and back
84244990b8cSJulian Elischer  * out instead.
84344990b8cSJulian Elischer  *
84444990b8cSJulian Elischer  * If the thread that set the single_threading request has set the
84544990b8cSJulian Elischer  * P_SINGLE_EXIT bit in the process flags then this call will never return
84644990b8cSJulian Elischer  * if 'return_instead' is false, but will exit.
84744990b8cSJulian Elischer  *
84844990b8cSJulian Elischer  * P_SINGLE_EXIT | return_instead == 0| return_instead != 0
84944990b8cSJulian Elischer  *---------------+--------------------+---------------------
85044990b8cSJulian Elischer  *       0       | returns 0          |   returns 0 or 1
85144990b8cSJulian Elischer  *               | when ST ends       |   immediatly
85244990b8cSJulian Elischer  *---------------+--------------------+---------------------
85344990b8cSJulian Elischer  *       1       | thread exits       |   returns 1
85444990b8cSJulian Elischer  *               |                    |  immediatly
85544990b8cSJulian Elischer  * 0 = thread_exit() or suspension ok,
85644990b8cSJulian Elischer  * other = return error instead of stopping the thread.
85744990b8cSJulian Elischer  *
85844990b8cSJulian Elischer  * While a full suspension is under effect, even a single threading
85944990b8cSJulian Elischer  * thread would be suspended if it made this call (but it shouldn't).
86044990b8cSJulian Elischer  * This call should only be made from places where
86144990b8cSJulian Elischer  * thread_exit() would be safe as that may be the outcome unless
86244990b8cSJulian Elischer  * return_instead is set.
86344990b8cSJulian Elischer  */
86444990b8cSJulian Elischer int
86544990b8cSJulian Elischer thread_suspend_check(int return_instead)
86644990b8cSJulian Elischer {
867ecafb24bSJuli Mallett 	struct thread *td;
868ecafb24bSJuli Mallett 	struct proc *p;
86944990b8cSJulian Elischer 
87044990b8cSJulian Elischer 	td = curthread;
87144990b8cSJulian Elischer 	p = td->td_proc;
87237814395SPeter Wemm 	mtx_assert(&Giant, MA_NOTOWNED);
87344990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
874cbf4e354SDavid Xu 	while (P_SHOULDSTOP(p) ||
875cbf4e354SDavid Xu 	      ((p->p_flag & P_TRACED) && (td->td_flags & TDF_DBSUSPEND))) {
8761279572aSDavid Xu 		if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) {
87744990b8cSJulian Elischer 			KASSERT(p->p_singlethread != NULL,
87844990b8cSJulian Elischer 			    ("singlethread not set"));
87944990b8cSJulian Elischer 			/*
880e3b9bf71SJulian Elischer 			 * The only suspension in action is a
881e3b9bf71SJulian Elischer 			 * single-threading. Single threader need not stop.
882b6d5995eSJulian Elischer 			 * XXX Should be safe to access unlocked
883b6d5995eSJulian Elischer 			 * as it can only be set to be true by us.
88444990b8cSJulian Elischer 			 */
885e3b9bf71SJulian Elischer 			if (p->p_singlethread == td)
88644990b8cSJulian Elischer 				return (0);	/* Exempt from stopping. */
88744990b8cSJulian Elischer 		}
88845a4bfa1SDavid Xu 		if ((p->p_flag & P_SINGLE_EXIT) && return_instead)
88944990b8cSJulian Elischer 			return (1);
89044990b8cSJulian Elischer 
891906ac69dSDavid Xu 		/* Should we goto user boundary if we didn't come from there? */
892906ac69dSDavid Xu 		if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE &&
893906ac69dSDavid Xu 		    (p->p_flag & P_SINGLE_BOUNDARY) && return_instead)
894906ac69dSDavid Xu 			return (1);
895906ac69dSDavid Xu 
8969104847fSDavid Xu 		/* If thread will exit, flush its pending signals */
8979104847fSDavid Xu 		if ((p->p_flag & P_SINGLE_EXIT) && (p->p_singlethread != td))
8989104847fSDavid Xu 			sigqueue_flush(&td->td_sigqueue);
8999104847fSDavid Xu 
900e574e444SDavid Xu 		mtx_lock_spin(&sched_lock);
901e574e444SDavid Xu 		thread_stopped(p);
90244990b8cSJulian Elischer 		/*
90344990b8cSJulian Elischer 		 * If the process is waiting for us to exit,
90444990b8cSJulian Elischer 		 * this thread should just suicide.
9051279572aSDavid Xu 		 * Assumes that P_SINGLE_EXIT implies P_STOPPED_SINGLE.
90644990b8cSJulian Elischer 		 */
907906ac69dSDavid Xu 		if ((p->p_flag & P_SINGLE_EXIT) && (p->p_singlethread != td))
90844990b8cSJulian Elischer 			thread_exit();
90944990b8cSJulian Elischer 
91044990b8cSJulian Elischer 		/*
91144990b8cSJulian Elischer 		 * When a thread suspends, it just
91244990b8cSJulian Elischer 		 * moves to the processes's suspend queue
91344990b8cSJulian Elischer 		 * and stays there.
91444990b8cSJulian Elischer 		 */
91571fad9fdSJulian Elischer 		thread_suspend_one(td);
916906ac69dSDavid Xu 		if (return_instead == 0) {
917906ac69dSDavid Xu 			p->p_boundary_count++;
918906ac69dSDavid Xu 			td->td_flags |= TDF_BOUNDARY;
919cf19bf91SJulian Elischer 		}
920906ac69dSDavid Xu 		if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) {
921906ac69dSDavid Xu 			if (p->p_numthreads == p->p_suspcount)
922906ac69dSDavid Xu 				thread_unsuspend_one(p->p_singlethread);
923cf19bf91SJulian Elischer 		}
924a6f37ac9SJohn Baldwin 		PROC_UNLOCK(p);
925bf0acc27SJohn Baldwin 		mi_switch(SW_INVOL, NULL);
926906ac69dSDavid Xu 		if (return_instead == 0) {
927906ac69dSDavid Xu 			p->p_boundary_count--;
928906ac69dSDavid Xu 			td->td_flags &= ~TDF_BOUNDARY;
929906ac69dSDavid Xu 		}
93044990b8cSJulian Elischer 		mtx_unlock_spin(&sched_lock);
93144990b8cSJulian Elischer 		PROC_LOCK(p);
93244990b8cSJulian Elischer 	}
93344990b8cSJulian Elischer 	return (0);
93444990b8cSJulian Elischer }
93544990b8cSJulian Elischer 
93635c32a76SDavid Xu void
93735c32a76SDavid Xu thread_suspend_one(struct thread *td)
93835c32a76SDavid Xu {
93935c32a76SDavid Xu 	struct proc *p = td->td_proc;
94035c32a76SDavid Xu 
94135c32a76SDavid Xu 	mtx_assert(&sched_lock, MA_OWNED);
942112afcb2SJohn Baldwin 	PROC_LOCK_ASSERT(p, MA_OWNED);
943e574e444SDavid Xu 	KASSERT(!TD_IS_SUSPENDED(td), ("already suspended"));
94435c32a76SDavid Xu 	p->p_suspcount++;
94571fad9fdSJulian Elischer 	TD_SET_SUSPENDED(td);
94635c32a76SDavid Xu 	TAILQ_INSERT_TAIL(&p->p_suspended, td, td_runq);
94735c32a76SDavid Xu }
94835c32a76SDavid Xu 
94935c32a76SDavid Xu void
95035c32a76SDavid Xu thread_unsuspend_one(struct thread *td)
95135c32a76SDavid Xu {
95235c32a76SDavid Xu 	struct proc *p = td->td_proc;
95335c32a76SDavid Xu 
95435c32a76SDavid Xu 	mtx_assert(&sched_lock, MA_OWNED);
955112afcb2SJohn Baldwin 	PROC_LOCK_ASSERT(p, MA_OWNED);
95635c32a76SDavid Xu 	TAILQ_REMOVE(&p->p_suspended, td, td_runq);
95771fad9fdSJulian Elischer 	TD_CLR_SUSPENDED(td);
95835c32a76SDavid Xu 	p->p_suspcount--;
95971fad9fdSJulian Elischer 	setrunnable(td);
96035c32a76SDavid Xu }
96135c32a76SDavid Xu 
96244990b8cSJulian Elischer /*
96344990b8cSJulian Elischer  * Allow all threads blocked by single threading to continue running.
96444990b8cSJulian Elischer  */
96544990b8cSJulian Elischer void
96644990b8cSJulian Elischer thread_unsuspend(struct proc *p)
96744990b8cSJulian Elischer {
96844990b8cSJulian Elischer 	struct thread *td;
96944990b8cSJulian Elischer 
970b6d5995eSJulian Elischer 	mtx_assert(&sched_lock, MA_OWNED);
97144990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
97244990b8cSJulian Elischer 	if (!P_SHOULDSTOP(p)) {
97344990b8cSJulian Elischer 		while ((td = TAILQ_FIRST(&p->p_suspended))) {
97435c32a76SDavid Xu 			thread_unsuspend_one(td);
97544990b8cSJulian Elischer 		}
9761279572aSDavid Xu 	} else if ((P_SHOULDSTOP(p) == P_STOPPED_SINGLE) &&
97744990b8cSJulian Elischer 	    (p->p_numthreads == p->p_suspcount)) {
97844990b8cSJulian Elischer 		/*
97944990b8cSJulian Elischer 		 * Stopping everything also did the job for the single
98044990b8cSJulian Elischer 		 * threading request. Now we've downgraded to single-threaded,
98144990b8cSJulian Elischer 		 * let it continue.
98244990b8cSJulian Elischer 		 */
98335c32a76SDavid Xu 		thread_unsuspend_one(p->p_singlethread);
98444990b8cSJulian Elischer 	}
98544990b8cSJulian Elischer }
98644990b8cSJulian Elischer 
987ed062c8dSJulian Elischer /*
988ed062c8dSJulian Elischer  * End the single threading mode..
989ed062c8dSJulian Elischer  */
99044990b8cSJulian Elischer void
99144990b8cSJulian Elischer thread_single_end(void)
99244990b8cSJulian Elischer {
99344990b8cSJulian Elischer 	struct thread *td;
99444990b8cSJulian Elischer 	struct proc *p;
99544990b8cSJulian Elischer 
99644990b8cSJulian Elischer 	td = curthread;
99744990b8cSJulian Elischer 	p = td->td_proc;
99844990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
999906ac69dSDavid Xu 	p->p_flag &= ~(P_STOPPED_SINGLE | P_SINGLE_EXIT | P_SINGLE_BOUNDARY);
1000112afcb2SJohn Baldwin 	mtx_lock_spin(&sched_lock);
100144990b8cSJulian Elischer 	p->p_singlethread = NULL;
100221fc3164SDavid Xu 	p->p_procscopegrp = NULL;
100349539972SJulian Elischer 	/*
100449539972SJulian Elischer 	 * If there are other threads they mey now run,
100549539972SJulian Elischer 	 * unless of course there is a blanket 'stop order'
100649539972SJulian Elischer 	 * on the process. The single threader must be allowed
100749539972SJulian Elischer 	 * to continue however as this is a bad place to stop.
100849539972SJulian Elischer 	 */
100949539972SJulian Elischer 	if ((p->p_numthreads != 1) && (!P_SHOULDSTOP(p))) {
101049539972SJulian Elischer 		while ((td = TAILQ_FIRST(&p->p_suspended))) {
101171fad9fdSJulian Elischer 			thread_unsuspend_one(td);
101244990b8cSJulian Elischer 		}
101349539972SJulian Elischer 	}
1014112afcb2SJohn Baldwin 	mtx_unlock_spin(&sched_lock);
101549539972SJulian Elischer }
10164fc21c09SDaniel Eischen 
1017007ddf7eSJohn Baldwin /*
1018007ddf7eSJohn Baldwin  * Called before going into an interruptible sleep to see if we have been
1019007ddf7eSJohn Baldwin  * interrupted or requested to exit.
1020007ddf7eSJohn Baldwin  */
1021007ddf7eSJohn Baldwin int
1022007ddf7eSJohn Baldwin thread_sleep_check(struct thread *td)
1023007ddf7eSJohn Baldwin {
1024007ddf7eSJohn Baldwin 	struct proc *p;
1025007ddf7eSJohn Baldwin 
1026007ddf7eSJohn Baldwin 	p = td->td_proc;
1027007ddf7eSJohn Baldwin 	mtx_assert(&sched_lock, MA_OWNED);
10282179a22cSJulian Elischer 	if (p->p_flag & P_HADTHREADS) {
1029906ac69dSDavid Xu 		if (p->p_singlethread != td) {
1030906ac69dSDavid Xu 			if (p->p_flag & P_SINGLE_EXIT)
1031007ddf7eSJohn Baldwin 				return (EINTR);
1032906ac69dSDavid Xu 			if (p->p_flag & P_SINGLE_BOUNDARY)
1033906ac69dSDavid Xu 				return (ERESTART);
1034906ac69dSDavid Xu 		}
1035007ddf7eSJohn Baldwin 		if (td->td_flags & TDF_INTERRUPT)
1036007ddf7eSJohn Baldwin 			return (td->td_intrval);
1037007ddf7eSJohn Baldwin 	}
1038007ddf7eSJohn Baldwin 	return (0);
1039007ddf7eSJohn Baldwin }
104044355392SDavid Xu 
104144355392SDavid Xu struct thread *
104244355392SDavid Xu thread_find(struct proc *p, lwpid_t tid)
104344355392SDavid Xu {
104444355392SDavid Xu 	struct thread *td;
104544355392SDavid Xu 
104644355392SDavid Xu 	PROC_LOCK_ASSERT(p, MA_OWNED);
104744355392SDavid Xu 	mtx_lock_spin(&sched_lock);
104844355392SDavid Xu 	FOREACH_THREAD_IN_PROC(p, td) {
104944355392SDavid Xu 		if (td->td_tid == tid)
105044355392SDavid Xu 			break;
105144355392SDavid Xu 	}
105244355392SDavid Xu 	mtx_unlock_spin(&sched_lock);
105344355392SDavid Xu 	return (td);
105444355392SDavid Xu }
1055