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> 4444990b8cSJulian Elischer 4544990b8cSJulian Elischer #include <vm/vm.h> 4649a2507bSAlan Cox #include <vm/vm_extern.h> 4744990b8cSJulian Elischer #include <vm/uma.h> 4802fb42b0SPeter Wemm 4944990b8cSJulian Elischer /* 504f0db5e0SJulian Elischer * KSEGRP related storage. 5144990b8cSJulian Elischer */ 524f0db5e0SJulian Elischer static uma_zone_t ksegrp_zone; 5344990b8cSJulian Elischer static uma_zone_t thread_zone; 5444990b8cSJulian Elischer 554f0db5e0SJulian Elischer /* DEBUG ONLY */ 5644990b8cSJulian Elischer SYSCTL_NODE(_kern, OID_AUTO, threads, CTLFLAG_RW, 0, "thread allocation"); 57696058c3SJulian Elischer static int thread_debug = 0; 58696058c3SJulian Elischer SYSCTL_INT(_kern_threads, OID_AUTO, debug, CTLFLAG_RW, 59696058c3SJulian Elischer &thread_debug, 0, "thread debug"); 60fdc5ecd2SDavid Xu 61345ad866SJulian Elischer int max_threads_per_proc = 1500; 62fdc5ecd2SDavid Xu SYSCTL_INT(_kern_threads, OID_AUTO, max_threads_per_proc, CTLFLAG_RW, 634f0db5e0SJulian Elischer &max_threads_per_proc, 0, "Limit on threads per proc"); 644f0db5e0SJulian Elischer 65ed062c8dSJulian Elischer int max_groups_per_proc = 1500; 66fdc5ecd2SDavid Xu SYSCTL_INT(_kern_threads, OID_AUTO, max_groups_per_proc, CTLFLAG_RW, 67fdc5ecd2SDavid Xu &max_groups_per_proc, 0, "Limit on thread groups per proc"); 68fdc5ecd2SDavid Xu 69345ad866SJulian Elischer int max_threads_hits; 700252d203SDavid Xu SYSCTL_INT(_kern_threads, OID_AUTO, max_threads_hits, CTLFLAG_RD, 710252d203SDavid Xu &max_threads_hits, 0, ""); 720252d203SDavid Xu 7394e0a4cdSJulian Elischer int virtual_cpu; 7494e0a4cdSJulian Elischer 755215b187SJeff Roberson TAILQ_HEAD(, thread) zombie_threads = TAILQ_HEAD_INITIALIZER(zombie_threads); 765c8329edSJulian Elischer TAILQ_HEAD(, ksegrp) zombie_ksegrps = TAILQ_HEAD_INITIALIZER(zombie_ksegrps); 775215b187SJeff Roberson struct mtx kse_zombie_lock; 785215b187SJeff Roberson MTX_SYSINIT(kse_zombie_lock, &kse_zombie_lock, "kse zombie lock", MTX_SPIN); 7944990b8cSJulian Elischer 8094e0a4cdSJulian Elischer static int 8194e0a4cdSJulian Elischer sysctl_kse_virtual_cpu(SYSCTL_HANDLER_ARGS) 8294e0a4cdSJulian Elischer { 8394e0a4cdSJulian Elischer int error, new_val; 8494e0a4cdSJulian Elischer int def_val; 8594e0a4cdSJulian Elischer 8694e0a4cdSJulian Elischer def_val = mp_ncpus; 8794e0a4cdSJulian Elischer if (virtual_cpu == 0) 8894e0a4cdSJulian Elischer new_val = def_val; 8994e0a4cdSJulian Elischer else 9094e0a4cdSJulian Elischer new_val = virtual_cpu; 9194e0a4cdSJulian Elischer error = sysctl_handle_int(oidp, &new_val, 0, req); 9294e0a4cdSJulian Elischer if (error != 0 || req->newptr == NULL) 9394e0a4cdSJulian Elischer return (error); 9494e0a4cdSJulian Elischer if (new_val < 0) 9594e0a4cdSJulian Elischer return (EINVAL); 9694e0a4cdSJulian Elischer virtual_cpu = new_val; 9794e0a4cdSJulian Elischer return (0); 9894e0a4cdSJulian Elischer } 9994e0a4cdSJulian Elischer 10094e0a4cdSJulian Elischer /* DEBUG ONLY */ 10194e0a4cdSJulian Elischer SYSCTL_PROC(_kern_threads, OID_AUTO, virtual_cpu, CTLTYPE_INT|CTLFLAG_RW, 10294e0a4cdSJulian Elischer 0, sizeof(virtual_cpu), sysctl_kse_virtual_cpu, "I", 10394e0a4cdSJulian Elischer "debug virtual cpus"); 1045c8329edSJulian Elischer 10544990b8cSJulian Elischer /* 106fdcac928SMarcel Moolenaar * Thread ID allocator. The allocator keeps track of assigned IDs by 107fdcac928SMarcel Moolenaar * using a bitmap. The bitmap is created in parts. The parts are linked 108fdcac928SMarcel Moolenaar * together. 109fdcac928SMarcel Moolenaar */ 110fdcac928SMarcel Moolenaar typedef u_long tid_bitmap_word; 111fdcac928SMarcel Moolenaar 112fdcac928SMarcel Moolenaar #define TID_IDS_PER_PART 1024 113fdcac928SMarcel Moolenaar #define TID_IDS_PER_IDX (sizeof(tid_bitmap_word) << 3) 114fdcac928SMarcel Moolenaar #define TID_BITMAP_SIZE (TID_IDS_PER_PART / TID_IDS_PER_IDX) 115fdcac928SMarcel Moolenaar #define TID_MIN (PID_MAX + 1) 116fdcac928SMarcel Moolenaar 117fdcac928SMarcel Moolenaar struct tid_bitmap_part { 118fdcac928SMarcel Moolenaar STAILQ_ENTRY(tid_bitmap_part) bmp_next; 119fdcac928SMarcel Moolenaar tid_bitmap_word bmp_bitmap[TID_BITMAP_SIZE]; 1200068114dSMarcel Moolenaar lwpid_t bmp_base; 121fdcac928SMarcel Moolenaar int bmp_free; 122fdcac928SMarcel Moolenaar }; 123fdcac928SMarcel Moolenaar 124fdcac928SMarcel Moolenaar static STAILQ_HEAD(, tid_bitmap_part) tid_bitmap = 125fdcac928SMarcel Moolenaar STAILQ_HEAD_INITIALIZER(tid_bitmap); 126fdcac928SMarcel Moolenaar static uma_zone_t tid_zone; 127fdcac928SMarcel Moolenaar 128fdcac928SMarcel Moolenaar struct mtx tid_lock; 129fdcac928SMarcel Moolenaar MTX_SYSINIT(tid_lock, &tid_lock, "TID lock", MTX_DEF); 130fdcac928SMarcel Moolenaar 131fdcac928SMarcel Moolenaar /* 132696058c3SJulian Elischer * Prepare a thread for use. 13344990b8cSJulian Elischer */ 134b23f72e9SBrian Feldman static int 135b23f72e9SBrian Feldman thread_ctor(void *mem, int size, void *arg, int flags) 13644990b8cSJulian Elischer { 13744990b8cSJulian Elischer struct thread *td; 13844990b8cSJulian Elischer 13944990b8cSJulian Elischer td = (struct thread *)mem; 14071fad9fdSJulian Elischer td->td_state = TDS_INACTIVE; 141060563ecSJulian Elischer td->td_oncpu = NOCPU; 1426c27c603SJuli Mallett 1436c27c603SJuli Mallett /* 1446c27c603SJuli Mallett * Note that td_critnest begins life as 1 because the thread is not 1456c27c603SJuli Mallett * running and is thereby implicitly waiting to be on the receiving 1466c27c603SJuli Mallett * end of a context switch. A context switch must occur inside a 1476c27c603SJuli Mallett * critical section, and in fact, includes hand-off of the sched_lock. 1486c27c603SJuli Mallett * After a context switch to a newly created thread, it will release 1496c27c603SJuli Mallett * sched_lock for the first time, and its td_critnest will hit 0 for 1506c27c603SJuli Mallett * the first time. This happens on the far end of a context switch, 1516c27c603SJuli Mallett * and when it context switches away from itself, it will in fact go 1526c27c603SJuli Mallett * back into a critical section, and hand off the sched lock to the 1536c27c603SJuli Mallett * next thread. 1546c27c603SJuli Mallett */ 155139b7550SJohn Baldwin td->td_critnest = 1; 156b23f72e9SBrian Feldman return (0); 15744990b8cSJulian Elischer } 15844990b8cSJulian Elischer 15944990b8cSJulian Elischer /* 16044990b8cSJulian Elischer * Reclaim a thread after use. 16144990b8cSJulian Elischer */ 16244990b8cSJulian Elischer static void 16344990b8cSJulian Elischer thread_dtor(void *mem, int size, void *arg) 16444990b8cSJulian Elischer { 16544990b8cSJulian Elischer struct thread *td; 16644990b8cSJulian Elischer 16744990b8cSJulian Elischer td = (struct thread *)mem; 16844990b8cSJulian Elischer 16944990b8cSJulian Elischer #ifdef INVARIANTS 17044990b8cSJulian Elischer /* Verify that this thread is in a safe state to free. */ 17144990b8cSJulian Elischer switch (td->td_state) { 17271fad9fdSJulian Elischer case TDS_INHIBITED: 17371fad9fdSJulian Elischer case TDS_RUNNING: 17471fad9fdSJulian Elischer case TDS_CAN_RUN: 17544990b8cSJulian Elischer case TDS_RUNQ: 17644990b8cSJulian Elischer /* 17744990b8cSJulian Elischer * We must never unlink a thread that is in one of 17844990b8cSJulian Elischer * these states, because it is currently active. 17944990b8cSJulian Elischer */ 18044990b8cSJulian Elischer panic("bad state for thread unlinking"); 18144990b8cSJulian Elischer /* NOTREACHED */ 18271fad9fdSJulian Elischer case TDS_INACTIVE: 18344990b8cSJulian Elischer break; 18444990b8cSJulian Elischer default: 18544990b8cSJulian Elischer panic("bad thread state"); 18644990b8cSJulian Elischer /* NOTREACHED */ 18744990b8cSJulian Elischer } 18844990b8cSJulian Elischer #endif 189ed062c8dSJulian Elischer sched_newthread(td); 19044990b8cSJulian Elischer } 19144990b8cSJulian Elischer 19244990b8cSJulian Elischer /* 19344990b8cSJulian Elischer * Initialize type-stable parts of a thread (when newly created). 19444990b8cSJulian Elischer */ 195b23f72e9SBrian Feldman static int 196b23f72e9SBrian Feldman thread_init(void *mem, int size, int flags) 19744990b8cSJulian Elischer { 19844990b8cSJulian Elischer struct thread *td; 199247aba24SMarcel Moolenaar struct tid_bitmap_part *bmp, *new; 200247aba24SMarcel Moolenaar int bit, idx; 20144990b8cSJulian Elischer 20244990b8cSJulian Elischer td = (struct thread *)mem; 203247aba24SMarcel Moolenaar 204247aba24SMarcel Moolenaar mtx_lock(&tid_lock); 205247aba24SMarcel Moolenaar STAILQ_FOREACH(bmp, &tid_bitmap, bmp_next) { 206247aba24SMarcel Moolenaar if (bmp->bmp_free) 207247aba24SMarcel Moolenaar break; 208247aba24SMarcel Moolenaar } 209247aba24SMarcel Moolenaar /* Create a new bitmap if we run out of free bits. */ 210247aba24SMarcel Moolenaar if (bmp == NULL) { 211247aba24SMarcel Moolenaar mtx_unlock(&tid_lock); 212247aba24SMarcel Moolenaar new = uma_zalloc(tid_zone, M_WAITOK); 213247aba24SMarcel Moolenaar mtx_lock(&tid_lock); 214247aba24SMarcel Moolenaar bmp = STAILQ_LAST(&tid_bitmap, tid_bitmap_part, bmp_next); 215247aba24SMarcel Moolenaar if (bmp == NULL || bmp->bmp_free < TID_IDS_PER_PART/2) { 216247aba24SMarcel Moolenaar /* 1=free, 0=assigned. This way we can use ffsl(). */ 217247aba24SMarcel Moolenaar memset(new->bmp_bitmap, ~0U, sizeof(new->bmp_bitmap)); 218247aba24SMarcel Moolenaar new->bmp_base = (bmp == NULL) ? TID_MIN : 219247aba24SMarcel Moolenaar bmp->bmp_base + TID_IDS_PER_PART; 220247aba24SMarcel Moolenaar new->bmp_free = TID_IDS_PER_PART; 221247aba24SMarcel Moolenaar STAILQ_INSERT_TAIL(&tid_bitmap, new, bmp_next); 222247aba24SMarcel Moolenaar bmp = new; 223247aba24SMarcel Moolenaar new = NULL; 224247aba24SMarcel Moolenaar } 225247aba24SMarcel Moolenaar } else 226247aba24SMarcel Moolenaar new = NULL; 227247aba24SMarcel Moolenaar /* We have a bitmap with available IDs. */ 228247aba24SMarcel Moolenaar idx = 0; 229247aba24SMarcel Moolenaar while (idx < TID_BITMAP_SIZE && bmp->bmp_bitmap[idx] == 0UL) 230247aba24SMarcel Moolenaar idx++; 231247aba24SMarcel Moolenaar bit = ffsl(bmp->bmp_bitmap[idx]) - 1; 232247aba24SMarcel Moolenaar td->td_tid = bmp->bmp_base + idx * TID_IDS_PER_IDX + bit; 233247aba24SMarcel Moolenaar bmp->bmp_bitmap[idx] &= ~(1UL << bit); 234247aba24SMarcel Moolenaar bmp->bmp_free--; 235247aba24SMarcel Moolenaar mtx_unlock(&tid_lock); 236247aba24SMarcel Moolenaar if (new != NULL) 237247aba24SMarcel Moolenaar uma_zfree(tid_zone, new); 238247aba24SMarcel Moolenaar 23949a2507bSAlan Cox vm_thread_new(td, 0); 24044990b8cSJulian Elischer cpu_thread_setup(td); 24144f3b092SJohn Baldwin td->td_sleepqueue = sleepq_alloc(); 242961a7b24SJohn Baldwin td->td_turnstile = turnstile_alloc(); 243de028f5aSJeff Roberson td->td_sched = (struct td_sched *)&td[1]; 244ed062c8dSJulian Elischer sched_newthread(td); 245b23f72e9SBrian Feldman return (0); 24644990b8cSJulian Elischer } 24744990b8cSJulian Elischer 24844990b8cSJulian Elischer /* 24944990b8cSJulian Elischer * Tear down type-stable parts of a thread (just before being discarded). 25044990b8cSJulian Elischer */ 25144990b8cSJulian Elischer static void 25244990b8cSJulian Elischer thread_fini(void *mem, int size) 25344990b8cSJulian Elischer { 25444990b8cSJulian Elischer struct thread *td; 255247aba24SMarcel Moolenaar struct tid_bitmap_part *bmp; 256247aba24SMarcel Moolenaar lwpid_t tid; 257247aba24SMarcel Moolenaar int bit, idx; 25844990b8cSJulian Elischer 25944990b8cSJulian Elischer td = (struct thread *)mem; 260961a7b24SJohn Baldwin turnstile_free(td->td_turnstile); 26144f3b092SJohn Baldwin sleepq_free(td->td_sleepqueue); 26249a2507bSAlan Cox vm_thread_dispose(td); 263247aba24SMarcel Moolenaar 264247aba24SMarcel Moolenaar STAILQ_FOREACH(bmp, &tid_bitmap, bmp_next) { 265247aba24SMarcel Moolenaar if (td->td_tid >= bmp->bmp_base && 266247aba24SMarcel Moolenaar td->td_tid < bmp->bmp_base + TID_IDS_PER_PART) 267247aba24SMarcel Moolenaar break; 268247aba24SMarcel Moolenaar } 269247aba24SMarcel Moolenaar KASSERT(bmp != NULL, ("No TID bitmap?")); 270247aba24SMarcel Moolenaar mtx_lock(&tid_lock); 271247aba24SMarcel Moolenaar tid = td->td_tid - bmp->bmp_base; 272247aba24SMarcel Moolenaar idx = tid / TID_IDS_PER_IDX; 273247aba24SMarcel Moolenaar bit = 1UL << (tid % TID_IDS_PER_IDX); 274247aba24SMarcel Moolenaar bmp->bmp_bitmap[idx] |= bit; 275247aba24SMarcel Moolenaar bmp->bmp_free++; 276247aba24SMarcel Moolenaar mtx_unlock(&tid_lock); 27744990b8cSJulian Elischer } 2785215b187SJeff Roberson 279de028f5aSJeff Roberson /* 280de028f5aSJeff Roberson * Initialize type-stable parts of a ksegrp (when newly created). 281de028f5aSJeff Roberson */ 282b23f72e9SBrian Feldman static int 283a9b5dc7dSJulian Elischer ksegrp_ctor(void *mem, int size, void *arg, int flags) 284de028f5aSJeff Roberson { 285de028f5aSJeff Roberson struct ksegrp *kg; 286de028f5aSJeff Roberson 287de028f5aSJeff Roberson kg = (struct ksegrp *)mem; 288a9b5dc7dSJulian Elischer bzero(mem, size); 289de028f5aSJeff Roberson kg->kg_sched = (struct kg_sched *)&kg[1]; 290b23f72e9SBrian Feldman return (0); 291de028f5aSJeff Roberson } 29244990b8cSJulian Elischer 2935c8329edSJulian Elischer void 2945c8329edSJulian Elischer ksegrp_link(struct ksegrp *kg, struct proc *p) 2955c8329edSJulian Elischer { 2965c8329edSJulian Elischer 2975c8329edSJulian Elischer TAILQ_INIT(&kg->kg_threads); 2985c8329edSJulian Elischer TAILQ_INIT(&kg->kg_runq); /* links with td_runq */ 2995215b187SJeff Roberson TAILQ_INIT(&kg->kg_upcalls); /* all upcall structure in ksegrp */ 3005c8329edSJulian Elischer kg->kg_proc = p; 3015215b187SJeff Roberson /* 3025215b187SJeff Roberson * the following counters are in the -zero- section 3035215b187SJeff Roberson * and may not need clearing 3045215b187SJeff Roberson */ 3055c8329edSJulian Elischer kg->kg_numthreads = 0; 3065215b187SJeff Roberson kg->kg_numupcalls = 0; 3075c8329edSJulian Elischer /* link it in now that it's consistent */ 3085c8329edSJulian Elischer p->p_numksegrps++; 3095c8329edSJulian Elischer TAILQ_INSERT_HEAD(&p->p_ksegrps, kg, kg_ksegrp); 3105c8329edSJulian Elischer } 3115c8329edSJulian Elischer 312ed062c8dSJulian Elischer /* 313ed062c8dSJulian Elischer * Called from: 314ed062c8dSJulian Elischer * thread-exit() 315ed062c8dSJulian Elischer */ 3165c8329edSJulian Elischer void 3175c8329edSJulian Elischer ksegrp_unlink(struct ksegrp *kg) 3185c8329edSJulian Elischer { 3195c8329edSJulian Elischer struct proc *p; 3205c8329edSJulian Elischer 3215c8329edSJulian Elischer mtx_assert(&sched_lock, MA_OWNED); 3225215b187SJeff Roberson KASSERT((kg->kg_numthreads == 0), ("ksegrp_unlink: residual threads")); 3235215b187SJeff Roberson KASSERT((kg->kg_numupcalls == 0), ("ksegrp_unlink: residual upcalls")); 3245215b187SJeff Roberson 3255c8329edSJulian Elischer p = kg->kg_proc; 3265c8329edSJulian Elischer TAILQ_REMOVE(&p->p_ksegrps, kg, kg_ksegrp); 3275c8329edSJulian Elischer p->p_numksegrps--; 3285c8329edSJulian Elischer /* 3295c8329edSJulian Elischer * Aggregate stats from the KSE 3305c8329edSJulian Elischer */ 3315c8329edSJulian Elischer } 3325c8329edSJulian Elischer 3335c8329edSJulian Elischer /* 3345215b187SJeff Roberson * For a newly created process, 3355215b187SJeff Roberson * link up all the structures and its initial threads etc. 336ed062c8dSJulian Elischer * called from: 337ed062c8dSJulian Elischer * {arch}/{arch}/machdep.c ia64_init(), init386() etc. 338ed062c8dSJulian Elischer * proc_dtor() (should go away) 339ed062c8dSJulian Elischer * proc_init() 3405c8329edSJulian Elischer */ 3415c8329edSJulian Elischer void 342ed062c8dSJulian Elischer proc_linkup(struct proc *p, struct ksegrp *kg, struct thread *td) 3435c8329edSJulian Elischer { 3445c8329edSJulian Elischer 3455c8329edSJulian Elischer TAILQ_INIT(&p->p_ksegrps); /* all ksegrps in proc */ 3465c8329edSJulian Elischer TAILQ_INIT(&p->p_threads); /* all threads in proc */ 3475c8329edSJulian Elischer TAILQ_INIT(&p->p_suspended); /* Threads suspended */ 3485c8329edSJulian Elischer p->p_numksegrps = 0; 3495c8329edSJulian Elischer p->p_numthreads = 0; 3505c8329edSJulian Elischer 3515c8329edSJulian Elischer ksegrp_link(kg, p); 3525c8329edSJulian Elischer thread_link(td, kg); 3535c8329edSJulian Elischer } 3545c8329edSJulian Elischer 3555c8329edSJulian Elischer /* 35644990b8cSJulian Elischer * Initialize global thread allocation resources. 35744990b8cSJulian Elischer */ 35844990b8cSJulian Elischer void 35944990b8cSJulian Elischer threadinit(void) 36044990b8cSJulian Elischer { 36144990b8cSJulian Elischer 362de028f5aSJeff Roberson thread_zone = uma_zcreate("THREAD", sched_sizeof_thread(), 36344990b8cSJulian Elischer thread_ctor, thread_dtor, thread_init, thread_fini, 36444990b8cSJulian Elischer UMA_ALIGN_CACHE, 0); 365fdcac928SMarcel Moolenaar tid_zone = uma_zcreate("TID", sizeof(struct tid_bitmap_part), 366fdcac928SMarcel Moolenaar NULL, NULL, NULL, NULL, UMA_ALIGN_CACHE, 0); 367de028f5aSJeff Roberson ksegrp_zone = uma_zcreate("KSEGRP", sched_sizeof_ksegrp(), 368a9b5dc7dSJulian Elischer ksegrp_ctor, NULL, NULL, NULL, 3694f0db5e0SJulian Elischer UMA_ALIGN_CACHE, 0); 370ed062c8dSJulian Elischer kseinit(); /* set up kse specific stuff e.g. upcall zone*/ 37144990b8cSJulian Elischer } 37244990b8cSJulian Elischer 37344990b8cSJulian Elischer /* 3741faf202eSJulian Elischer * Stash an embarasingly extra thread into the zombie thread queue. 37544990b8cSJulian Elischer */ 37644990b8cSJulian Elischer void 37744990b8cSJulian Elischer thread_stash(struct thread *td) 37844990b8cSJulian Elischer { 3795215b187SJeff Roberson mtx_lock_spin(&kse_zombie_lock); 38044990b8cSJulian Elischer TAILQ_INSERT_HEAD(&zombie_threads, td, td_runq); 3815215b187SJeff Roberson mtx_unlock_spin(&kse_zombie_lock); 38244990b8cSJulian Elischer } 38344990b8cSJulian Elischer 38444990b8cSJulian Elischer /* 3855c8329edSJulian Elischer * Stash an embarasingly extra ksegrp into the zombie ksegrp queue. 3865c8329edSJulian Elischer */ 3875c8329edSJulian Elischer void 3885c8329edSJulian Elischer ksegrp_stash(struct ksegrp *kg) 3895c8329edSJulian Elischer { 3905215b187SJeff Roberson mtx_lock_spin(&kse_zombie_lock); 3915c8329edSJulian Elischer TAILQ_INSERT_HEAD(&zombie_ksegrps, kg, kg_ksegrp); 3925215b187SJeff Roberson mtx_unlock_spin(&kse_zombie_lock); 3935c8329edSJulian Elischer } 3945c8329edSJulian Elischer 3955c8329edSJulian Elischer /* 3965215b187SJeff Roberson * Reap zombie kse resource. 39744990b8cSJulian Elischer */ 39844990b8cSJulian Elischer void 39944990b8cSJulian Elischer thread_reap(void) 40044990b8cSJulian Elischer { 4015c8329edSJulian Elischer struct thread *td_first, *td_next; 4025c8329edSJulian Elischer struct ksegrp *kg_first, * kg_next; 40344990b8cSJulian Elischer 40444990b8cSJulian Elischer /* 4055215b187SJeff Roberson * Don't even bother to lock if none at this instant, 4065215b187SJeff Roberson * we really don't care about the next instant.. 40744990b8cSJulian Elischer */ 4085c8329edSJulian Elischer if ((!TAILQ_EMPTY(&zombie_threads)) 409345ad866SJulian Elischer || (!TAILQ_EMPTY(&zombie_ksegrps))) { 4105215b187SJeff Roberson mtx_lock_spin(&kse_zombie_lock); 4115c8329edSJulian Elischer td_first = TAILQ_FIRST(&zombie_threads); 4125c8329edSJulian Elischer kg_first = TAILQ_FIRST(&zombie_ksegrps); 4135c8329edSJulian Elischer if (td_first) 4145c8329edSJulian Elischer TAILQ_INIT(&zombie_threads); 4155c8329edSJulian Elischer if (kg_first) 4165c8329edSJulian Elischer TAILQ_INIT(&zombie_ksegrps); 4175215b187SJeff Roberson mtx_unlock_spin(&kse_zombie_lock); 4185c8329edSJulian Elischer while (td_first) { 4195c8329edSJulian Elischer td_next = TAILQ_NEXT(td_first, td_runq); 4205215b187SJeff Roberson if (td_first->td_ucred) 4215215b187SJeff Roberson crfree(td_first->td_ucred); 4225c8329edSJulian Elischer thread_free(td_first); 4235c8329edSJulian Elischer td_first = td_next; 42444990b8cSJulian Elischer } 4255c8329edSJulian Elischer while (kg_first) { 4265c8329edSJulian Elischer kg_next = TAILQ_NEXT(kg_first, kg_ksegrp); 4275c8329edSJulian Elischer ksegrp_free(kg_first); 4285c8329edSJulian Elischer kg_first = kg_next; 4295c8329edSJulian Elischer } 430ed062c8dSJulian Elischer /* 431ed062c8dSJulian Elischer * there will always be a thread on the list if one of these 432ed062c8dSJulian Elischer * is there. 433ed062c8dSJulian Elischer */ 434345ad866SJulian Elischer kse_GC(); 43544990b8cSJulian Elischer } 436ed062c8dSJulian Elischer } 43744990b8cSJulian Elischer 43844990b8cSJulian Elischer /* 4394f0db5e0SJulian Elischer * Allocate a ksegrp. 4404f0db5e0SJulian Elischer */ 4414f0db5e0SJulian Elischer struct ksegrp * 4424f0db5e0SJulian Elischer ksegrp_alloc(void) 4434f0db5e0SJulian Elischer { 444a163d034SWarner Losh return (uma_zalloc(ksegrp_zone, M_WAITOK)); 4454f0db5e0SJulian Elischer } 4464f0db5e0SJulian Elischer 4474f0db5e0SJulian Elischer /* 44844990b8cSJulian Elischer * Allocate a thread. 44944990b8cSJulian Elischer */ 45044990b8cSJulian Elischer struct thread * 45144990b8cSJulian Elischer thread_alloc(void) 45244990b8cSJulian Elischer { 45344990b8cSJulian Elischer thread_reap(); /* check if any zombies to get */ 454a163d034SWarner Losh return (uma_zalloc(thread_zone, M_WAITOK)); 45544990b8cSJulian Elischer } 45644990b8cSJulian Elischer 45744990b8cSJulian Elischer /* 4584f0db5e0SJulian Elischer * Deallocate a ksegrp. 4594f0db5e0SJulian Elischer */ 4604f0db5e0SJulian Elischer void 4614f0db5e0SJulian Elischer ksegrp_free(struct ksegrp *td) 4624f0db5e0SJulian Elischer { 4634f0db5e0SJulian Elischer uma_zfree(ksegrp_zone, td); 4644f0db5e0SJulian Elischer } 4654f0db5e0SJulian Elischer 4664f0db5e0SJulian Elischer /* 46744990b8cSJulian Elischer * Deallocate a thread. 46844990b8cSJulian Elischer */ 46944990b8cSJulian Elischer void 47044990b8cSJulian Elischer thread_free(struct thread *td) 47144990b8cSJulian Elischer { 472696058c3SJulian Elischer 473696058c3SJulian Elischer cpu_thread_clean(td); 47444990b8cSJulian Elischer uma_zfree(thread_zone, td); 47544990b8cSJulian Elischer } 47644990b8cSJulian Elischer 47744990b8cSJulian Elischer /* 47844990b8cSJulian Elischer * Discard the current thread and exit from its context. 47994e0a4cdSJulian Elischer * Always called with scheduler locked. 48044990b8cSJulian Elischer * 48144990b8cSJulian Elischer * Because we can't free a thread while we're operating under its context, 482696058c3SJulian Elischer * push the current thread into our CPU's deadthread holder. This means 483696058c3SJulian Elischer * we needn't worry about someone else grabbing our context before we 48494e0a4cdSJulian Elischer * do a cpu_throw(). This may not be needed now as we are under schedlock. 48594e0a4cdSJulian Elischer * Maybe we can just do a thread_stash() as thr_exit1 does. 48694e0a4cdSJulian Elischer */ 48794e0a4cdSJulian Elischer /* XXX 48894e0a4cdSJulian Elischer * libthr expects its thread exit to return for the last 48994e0a4cdSJulian Elischer * thread, meaning that the program is back to non-threaded 49094e0a4cdSJulian Elischer * mode I guess. Because we do this (cpu_throw) unconditionally 49194e0a4cdSJulian Elischer * here, they have their own version of it. (thr_exit1()) 49294e0a4cdSJulian Elischer * that doesn't do it all if this was the last thread. 49394e0a4cdSJulian Elischer * It is also called from thread_suspend_check(). 49494e0a4cdSJulian Elischer * Of course in the end, they end up coming here through exit1 49594e0a4cdSJulian Elischer * anyhow.. After fixing 'thr' to play by the rules we should be able 49694e0a4cdSJulian Elischer * to merge these two functions together. 497ed062c8dSJulian Elischer * 498ed062c8dSJulian Elischer * called from: 499ed062c8dSJulian Elischer * exit1() 500ed062c8dSJulian Elischer * kse_exit() 501ed062c8dSJulian Elischer * thr_exit() 502ed062c8dSJulian Elischer * thread_user_enter() 503ed062c8dSJulian Elischer * thread_userret() 504ed062c8dSJulian Elischer * thread_suspend_check() 50544990b8cSJulian Elischer */ 50644990b8cSJulian Elischer void 50744990b8cSJulian Elischer thread_exit(void) 50844990b8cSJulian Elischer { 50944990b8cSJulian Elischer struct thread *td; 51044990b8cSJulian Elischer struct proc *p; 51144990b8cSJulian Elischer struct ksegrp *kg; 51244990b8cSJulian Elischer 51344990b8cSJulian Elischer td = curthread; 51444990b8cSJulian Elischer kg = td->td_ksegrp; 51544990b8cSJulian Elischer p = td->td_proc; 51644990b8cSJulian Elischer 51744990b8cSJulian Elischer mtx_assert(&sched_lock, MA_OWNED); 518ed062c8dSJulian Elischer mtx_assert(&Giant, MA_NOTOWNED); 51944990b8cSJulian Elischer PROC_LOCK_ASSERT(p, MA_OWNED); 520ed062c8dSJulian Elischer KASSERT(p != NULL, ("thread exiting without a process")); 521ed062c8dSJulian Elischer KASSERT(kg != NULL, ("thread exiting without a kse group")); 522cc701b73SRobert Watson CTR3(KTR_PROC, "thread_exit: thread %p (pid %ld, %s)", td, 523cc701b73SRobert Watson (long)p->p_pid, p->p_comm); 52444990b8cSJulian Elischer 52548bfcdddSJulian Elischer if (td->td_standin != NULL) { 526ed062c8dSJulian Elischer /* 527ed062c8dSJulian Elischer * Note that we don't need to free the cred here as it 528ed062c8dSJulian Elischer * is done in thread_reap(). 529ed062c8dSJulian Elischer */ 53048bfcdddSJulian Elischer thread_stash(td->td_standin); 53148bfcdddSJulian Elischer td->td_standin = NULL; 53248bfcdddSJulian Elischer } 53348bfcdddSJulian Elischer 534ed062c8dSJulian Elischer /* 535ed062c8dSJulian Elischer * drop FPU & debug register state storage, or any other 536ed062c8dSJulian Elischer * architecture specific resources that 537ed062c8dSJulian Elischer * would not be on a new untouched process. 538ed062c8dSJulian Elischer */ 53944990b8cSJulian Elischer cpu_thread_exit(td); /* XXXSMP */ 54044990b8cSJulian Elischer 5411faf202eSJulian Elischer /* 542ed062c8dSJulian Elischer * The thread is exiting. scheduler can release its stuff 543ed062c8dSJulian Elischer * and collect stats etc. 544ed062c8dSJulian Elischer */ 545ed062c8dSJulian Elischer sched_thread_exit(td); 546ed062c8dSJulian Elischer 547ed062c8dSJulian Elischer /* 5481faf202eSJulian Elischer * The last thread is left attached to the process 5491faf202eSJulian Elischer * So that the whole bundle gets recycled. Skip 550ed062c8dSJulian Elischer * all this stuff if we never had threads. 551ed062c8dSJulian Elischer * EXIT clears all sign of other threads when 552ed062c8dSJulian Elischer * it goes to single threading, so the last thread always 553ed062c8dSJulian Elischer * takes the short path. 5541faf202eSJulian Elischer */ 555ed062c8dSJulian Elischer if (p->p_flag & P_HADTHREADS) { 5561faf202eSJulian Elischer if (p->p_numthreads > 1) { 557d3a0bd78SJulian Elischer thread_unlink(td); 558ed062c8dSJulian Elischer 559ed062c8dSJulian Elischer /* XXX first arg not used in 4BSD or ULE */ 560ed062c8dSJulian Elischer sched_exit_thread(FIRST_THREAD_IN_PROC(p), td); 561ed062c8dSJulian Elischer 562ed062c8dSJulian Elischer /* 563ed062c8dSJulian Elischer * as we are exiting there is room for another 564ed062c8dSJulian Elischer * to be created. 565ed062c8dSJulian Elischer */ 5660252d203SDavid Xu if (p->p_maxthrwaits) 5670252d203SDavid Xu wakeup(&p->p_numthreads); 568ed062c8dSJulian Elischer 56944990b8cSJulian Elischer /* 57044990b8cSJulian Elischer * The test below is NOT true if we are the 5711faf202eSJulian Elischer * sole exiting thread. P_STOPPED_SNGL is unset 57244990b8cSJulian Elischer * in exit1() after it is the only survivor. 57344990b8cSJulian Elischer */ 5741279572aSDavid Xu if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) { 57544990b8cSJulian Elischer if (p->p_numthreads == p->p_suspcount) { 57671fad9fdSJulian Elischer thread_unsuspend_one(p->p_singlethread); 57744990b8cSJulian Elischer } 57844990b8cSJulian Elischer } 57948bfcdddSJulian Elischer 5805215b187SJeff Roberson /* 5815215b187SJeff Roberson * Because each upcall structure has an owner thread, 5825215b187SJeff Roberson * owner thread exits only when process is in exiting 5835215b187SJeff Roberson * state, so upcall to userland is no longer needed, 5845215b187SJeff Roberson * deleting upcall structure is safe here. 5855215b187SJeff Roberson * So when all threads in a group is exited, all upcalls 5865215b187SJeff Roberson * in the group should be automatically freed. 587ed062c8dSJulian Elischer * XXXKSE This is a KSE thing and should be exported 588ed062c8dSJulian Elischer * there somehow. 5895215b187SJeff Roberson */ 5905215b187SJeff Roberson upcall_remove(td); 5916f8132a8SJulian Elischer 59248bfcdddSJulian Elischer /* 593ed062c8dSJulian Elischer * If the thread we unlinked above was the last one, 594ed062c8dSJulian Elischer * then this ksegrp should go away too. 59548bfcdddSJulian Elischer */ 596ed062c8dSJulian Elischer if (kg->kg_numthreads == 0) { 597ed062c8dSJulian Elischer /* 598ed062c8dSJulian Elischer * let the scheduler know about this in case 599ed062c8dSJulian Elischer * it needs to recover stats or resources. 600ed062c8dSJulian Elischer * Theoretically we could let 601ed062c8dSJulian Elischer * sched_exit_ksegrp() do the equivalent of 602ed062c8dSJulian Elischer * setting the concurrency to 0 603ed062c8dSJulian Elischer * but don't do it yet to avoid changing 604ed062c8dSJulian Elischer * the existing scheduler code until we 605ed062c8dSJulian Elischer * are ready. 606ed062c8dSJulian Elischer * We supply a random other ksegrp 607ed062c8dSJulian Elischer * as the recipient of any built up 608ed062c8dSJulian Elischer * cpu usage etc. (If the scheduler wants it). 609ed062c8dSJulian Elischer * XXXKSE 610ed062c8dSJulian Elischer * This is probably not fair so think of 611ed062c8dSJulian Elischer * a better answer. 612ed062c8dSJulian Elischer */ 61355d44f79SJulian Elischer sched_exit_ksegrp(FIRST_KSEGRP_IN_PROC(p), td); 614ed062c8dSJulian Elischer sched_set_concurrency(kg, 0); /* XXX TEMP */ 615ab2baa72SDavid Xu ksegrp_unlink(kg); 616ed062c8dSJulian Elischer ksegrp_stash(kg); 617ab2baa72SDavid Xu } 6186f8132a8SJulian Elischer PROC_UNLOCK(p); 6195c8329edSJulian Elischer td->td_ksegrp = NULL; 620696058c3SJulian Elischer PCPU_SET(deadthread, td); 6211faf202eSJulian Elischer } else { 622ed062c8dSJulian Elischer /* 623ed062c8dSJulian Elischer * The last thread is exiting.. but not through exit() 624ed062c8dSJulian Elischer * what should we do? 625ed062c8dSJulian Elischer * Theoretically this can't happen 626ed062c8dSJulian Elischer * exit1() - clears threading flags before coming here 627ed062c8dSJulian Elischer * kse_exit() - treats last thread specially 628ed062c8dSJulian Elischer * thr_exit() - treats last thread specially 629ed062c8dSJulian Elischer * thread_user_enter() - only if more exist 630ed062c8dSJulian Elischer * thread_userret() - only if more exist 631ed062c8dSJulian Elischer * thread_suspend_check() - only if more exist 632ed062c8dSJulian Elischer */ 633ed062c8dSJulian Elischer panic ("thread_exit: Last thread exiting on its own"); 634ed062c8dSJulian Elischer } 635ed062c8dSJulian Elischer } else { 636ed062c8dSJulian Elischer /* 637ed062c8dSJulian Elischer * non threaded process comes here. 638ed062c8dSJulian Elischer * This includes an EX threaded process that is coming 639ed062c8dSJulian Elischer * here via exit1(). (exit1 dethreads the proc first). 640ed062c8dSJulian Elischer */ 6411faf202eSJulian Elischer PROC_UNLOCK(p); 6421faf202eSJulian Elischer } 643dcc9954eSJulian Elischer td->td_state = TDS_INACTIVE; 644732d9528SJulian Elischer CTR1(KTR_PROC, "thread_exit: cpu_throw() thread %p", td); 645cc66ebe2SPeter Wemm cpu_throw(td, choosethread()); 646cc66ebe2SPeter Wemm panic("I'm a teapot!"); 64744990b8cSJulian Elischer /* NOTREACHED */ 64844990b8cSJulian Elischer } 64944990b8cSJulian Elischer 65044990b8cSJulian Elischer /* 651696058c3SJulian Elischer * Do any thread specific cleanups that may be needed in wait() 65237814395SPeter Wemm * called with Giant, proc and schedlock not held. 653696058c3SJulian Elischer */ 654696058c3SJulian Elischer void 655696058c3SJulian Elischer thread_wait(struct proc *p) 656696058c3SJulian Elischer { 657696058c3SJulian Elischer struct thread *td; 658696058c3SJulian Elischer 65937814395SPeter Wemm mtx_assert(&Giant, MA_NOTOWNED); 66085495c72SJens Schweikhardt KASSERT((p->p_numthreads == 1), ("Multiple threads in wait1()")); 66185495c72SJens Schweikhardt KASSERT((p->p_numksegrps == 1), ("Multiple ksegrps in wait1()")); 662696058c3SJulian Elischer FOREACH_THREAD_IN_PROC(p, td) { 663696058c3SJulian Elischer if (td->td_standin != NULL) { 664ed062c8dSJulian Elischer crfree(td->td_ucred); 665ed062c8dSJulian Elischer td->td_ucred = NULL; 666696058c3SJulian Elischer thread_free(td->td_standin); 667696058c3SJulian Elischer td->td_standin = NULL; 668696058c3SJulian Elischer } 669696058c3SJulian Elischer cpu_thread_clean(td); 670ed062c8dSJulian Elischer crfree(td->td_ucred); 671696058c3SJulian Elischer } 672696058c3SJulian Elischer thread_reap(); /* check for zombie threads etc. */ 673696058c3SJulian Elischer } 674696058c3SJulian Elischer 675696058c3SJulian Elischer /* 67644990b8cSJulian Elischer * Link a thread to a process. 6771faf202eSJulian Elischer * set up anything that needs to be initialized for it to 6781faf202eSJulian Elischer * be used by the process. 67944990b8cSJulian Elischer * 68044990b8cSJulian Elischer * Note that we do not link to the proc's ucred here. 68144990b8cSJulian Elischer * The thread is linked as if running but no KSE assigned. 682ed062c8dSJulian Elischer * Called from: 683ed062c8dSJulian Elischer * proc_linkup() 684ed062c8dSJulian Elischer * thread_schedule_upcall() 685ed062c8dSJulian Elischer * thr_create() 68644990b8cSJulian Elischer */ 68744990b8cSJulian Elischer void 68844990b8cSJulian Elischer thread_link(struct thread *td, struct ksegrp *kg) 68944990b8cSJulian Elischer { 69044990b8cSJulian Elischer struct proc *p; 69144990b8cSJulian Elischer 69244990b8cSJulian Elischer p = kg->kg_proc; 69371fad9fdSJulian Elischer td->td_state = TDS_INACTIVE; 69444990b8cSJulian Elischer td->td_proc = p; 69544990b8cSJulian Elischer td->td_ksegrp = kg; 6965215b187SJeff Roberson td->td_flags = 0; 6974fc21c09SDaniel Eischen td->td_kflags = 0; 69844990b8cSJulian Elischer 6991faf202eSJulian Elischer LIST_INIT(&td->td_contested); 700c06eb4e2SSam Leffler callout_init(&td->td_slpcallout, CALLOUT_MPSAFE); 70144990b8cSJulian Elischer TAILQ_INSERT_HEAD(&p->p_threads, td, td_plist); 70244990b8cSJulian Elischer TAILQ_INSERT_HEAD(&kg->kg_threads, td, td_kglist); 70344990b8cSJulian Elischer p->p_numthreads++; 70444990b8cSJulian Elischer kg->kg_numthreads++; 70544990b8cSJulian Elischer } 70644990b8cSJulian Elischer 707ed062c8dSJulian Elischer /* 708e5bedcefSJulian Elischer * Convert a process with one thread to an unthreaded process. 709e5bedcefSJulian Elischer * Called from: 710e5bedcefSJulian Elischer * thread_single(exit) (called from execve and exit) 711e5bedcefSJulian Elischer * kse_exit() XXX may need cleaning up wrt KSE stuff 712e5bedcefSJulian Elischer */ 713e5bedcefSJulian Elischer void 714e5bedcefSJulian Elischer thread_unthread(struct thread *td) 715e5bedcefSJulian Elischer { 716e5bedcefSJulian Elischer struct proc *p = td->td_proc; 717e5bedcefSJulian Elischer 718e5bedcefSJulian Elischer KASSERT((p->p_numthreads == 1), ("Unthreading with >1 threads")); 719e5bedcefSJulian Elischer upcall_remove(td); 720e5bedcefSJulian Elischer p->p_flag &= ~(P_SA|P_HADTHREADS); 721e5bedcefSJulian Elischer td->td_mailbox = NULL; 722e5bedcefSJulian Elischer td->td_pflags &= ~(TDP_SA | TDP_CAN_UNBIND); 723e5bedcefSJulian Elischer if (td->td_standin != NULL) { 724e5bedcefSJulian Elischer thread_stash(td->td_standin); 725e5bedcefSJulian Elischer td->td_standin = NULL; 726e5bedcefSJulian Elischer } 727e5bedcefSJulian Elischer sched_set_concurrency(td->td_ksegrp, 1); 728e5bedcefSJulian Elischer } 729e5bedcefSJulian Elischer 730e5bedcefSJulian Elischer /* 731ed062c8dSJulian Elischer * Called from: 732ed062c8dSJulian Elischer * thread_exit() 733ed062c8dSJulian Elischer */ 734d3a0bd78SJulian Elischer void 735d3a0bd78SJulian Elischer thread_unlink(struct thread *td) 736d3a0bd78SJulian Elischer { 737d3a0bd78SJulian Elischer struct proc *p = td->td_proc; 738d3a0bd78SJulian Elischer struct ksegrp *kg = td->td_ksegrp; 739d3a0bd78SJulian Elischer 740112afcb2SJohn Baldwin mtx_assert(&sched_lock, MA_OWNED); 741d3a0bd78SJulian Elischer TAILQ_REMOVE(&p->p_threads, td, td_plist); 742d3a0bd78SJulian Elischer p->p_numthreads--; 743d3a0bd78SJulian Elischer TAILQ_REMOVE(&kg->kg_threads, td, td_kglist); 744d3a0bd78SJulian Elischer kg->kg_numthreads--; 745d3a0bd78SJulian Elischer /* could clear a few other things here */ 746ed062c8dSJulian Elischer /* Must NOT clear links to proc and ksegrp! */ 7475c8329edSJulian Elischer } 7485c8329edSJulian Elischer 7495215b187SJeff Roberson /* 75044990b8cSJulian Elischer * Enforce single-threading. 75144990b8cSJulian Elischer * 75244990b8cSJulian Elischer * Returns 1 if the caller must abort (another thread is waiting to 75344990b8cSJulian Elischer * exit the process or similar). Process is locked! 75444990b8cSJulian Elischer * Returns 0 when you are successfully the only thread running. 75544990b8cSJulian Elischer * A process has successfully single threaded in the suspend mode when 75644990b8cSJulian Elischer * There are no threads in user mode. Threads in the kernel must be 75744990b8cSJulian Elischer * allowed to continue until they get to the user boundary. They may even 75844990b8cSJulian Elischer * copy out their return values and data before suspending. They may however be 75944990b8cSJulian Elischer * accellerated in reaching the user boundary as we will wake up 76044990b8cSJulian Elischer * any sleeping threads that are interruptable. (PCATCH). 76144990b8cSJulian Elischer */ 76244990b8cSJulian Elischer int 763906ac69dSDavid Xu thread_single(int mode) 76444990b8cSJulian Elischer { 76544990b8cSJulian Elischer struct thread *td; 76644990b8cSJulian Elischer struct thread *td2; 76744990b8cSJulian Elischer struct proc *p; 768ec008e96SDavid Xu int remaining; 76944990b8cSJulian Elischer 77044990b8cSJulian Elischer td = curthread; 77144990b8cSJulian Elischer p = td->td_proc; 77237814395SPeter Wemm mtx_assert(&Giant, MA_NOTOWNED); 77344990b8cSJulian Elischer PROC_LOCK_ASSERT(p, MA_OWNED); 77444990b8cSJulian Elischer KASSERT((td != NULL), ("curthread is NULL")); 77544990b8cSJulian Elischer 776ed062c8dSJulian Elischer if ((p->p_flag & P_HADTHREADS) == 0) 77744990b8cSJulian Elischer return (0); 77844990b8cSJulian Elischer 779e3b9bf71SJulian Elischer /* Is someone already single threading? */ 780906ac69dSDavid Xu if (p->p_singlethread != NULL && p->p_singlethread != td) 78144990b8cSJulian Elischer return (1); 78244990b8cSJulian Elischer 783906ac69dSDavid Xu if (mode == SINGLE_EXIT) { 784906ac69dSDavid Xu p->p_flag |= P_SINGLE_EXIT; 785906ac69dSDavid Xu p->p_flag &= ~P_SINGLE_BOUNDARY; 786906ac69dSDavid Xu } else { 787906ac69dSDavid Xu p->p_flag &= ~P_SINGLE_EXIT; 788906ac69dSDavid Xu if (mode == SINGLE_BOUNDARY) 789906ac69dSDavid Xu p->p_flag |= P_SINGLE_BOUNDARY; 790906ac69dSDavid Xu else 791906ac69dSDavid Xu p->p_flag &= ~P_SINGLE_BOUNDARY; 792906ac69dSDavid Xu } 7931279572aSDavid Xu p->p_flag |= P_STOPPED_SINGLE; 79471fad9fdSJulian Elischer mtx_lock_spin(&sched_lock); 795112afcb2SJohn Baldwin p->p_singlethread = td; 796906ac69dSDavid Xu if (mode == SINGLE_EXIT) 797ec008e96SDavid Xu remaining = p->p_numthreads; 798906ac69dSDavid Xu else if (mode == SINGLE_BOUNDARY) 799906ac69dSDavid Xu remaining = p->p_numthreads - p->p_boundary_count; 800906ac69dSDavid Xu else 801ec008e96SDavid Xu remaining = p->p_numthreads - p->p_suspcount; 802ec008e96SDavid Xu while (remaining != 1) { 80344990b8cSJulian Elischer FOREACH_THREAD_IN_PROC(p, td2) { 80444990b8cSJulian Elischer if (td2 == td) 80544990b8cSJulian Elischer continue; 806588257e8SDavid Xu td2->td_flags |= TDF_ASTPENDING; 80771fad9fdSJulian Elischer if (TD_IS_INHIBITED(td2)) { 808906ac69dSDavid Xu switch (mode) { 809906ac69dSDavid Xu case SINGLE_EXIT: 810cbf4e354SDavid Xu if (td->td_flags & TDF_DBSUSPEND) 811cbf4e354SDavid Xu td->td_flags &= ~TDF_DBSUSPEND; 812906ac69dSDavid Xu if (TD_IS_SUSPENDED(td2)) 81371fad9fdSJulian Elischer thread_unsuspend_one(td2); 81433862f40SDavid Xu if (TD_ON_SLEEPQ(td2) && 815906ac69dSDavid Xu (td2->td_flags & TDF_SINTR)) 81644f3b092SJohn Baldwin sleepq_abort(td2); 817906ac69dSDavid Xu break; 818906ac69dSDavid Xu case SINGLE_BOUNDARY: 819906ac69dSDavid Xu if (TD_IS_SUSPENDED(td2) && 820906ac69dSDavid Xu !(td2->td_flags & TDF_BOUNDARY)) 821906ac69dSDavid Xu thread_unsuspend_one(td2); 822906ac69dSDavid Xu if (TD_ON_SLEEPQ(td2) && 823906ac69dSDavid Xu (td2->td_flags & TDF_SINTR)) 824906ac69dSDavid Xu sleepq_abort(td2); 825906ac69dSDavid Xu break; 826906ac69dSDavid Xu default: 8279d102777SJulian Elischer if (TD_IS_SUSPENDED(td2)) 8289d102777SJulian Elischer continue; 8295215b187SJeff Roberson /* 8305215b187SJeff Roberson * maybe other inhibitted states too? 8315215b187SJeff Roberson */ 8328acf6057SDavid Xu if ((td2->td_flags & TDF_SINTR) && 8338acf6057SDavid Xu (td2->td_inhibitors & 8348acf6057SDavid Xu (TDI_SLEEPING | TDI_SWAPPED))) 8359d102777SJulian Elischer thread_suspend_one(td2); 836906ac69dSDavid Xu break; 83744990b8cSJulian Elischer } 83844990b8cSJulian Elischer } 8399d102777SJulian Elischer } 840906ac69dSDavid Xu if (mode == SINGLE_EXIT) 841ec008e96SDavid Xu remaining = p->p_numthreads; 842906ac69dSDavid Xu else if (mode == SINGLE_BOUNDARY) 843906ac69dSDavid Xu remaining = p->p_numthreads - p->p_boundary_count; 844ec008e96SDavid Xu else 845ec008e96SDavid Xu remaining = p->p_numthreads - p->p_suspcount; 846ec008e96SDavid Xu 8479d102777SJulian Elischer /* 8489d102777SJulian Elischer * Maybe we suspended some threads.. was it enough? 8499d102777SJulian Elischer */ 850ec008e96SDavid Xu if (remaining == 1) 8519d102777SJulian Elischer break; 8529d102777SJulian Elischer 85344990b8cSJulian Elischer /* 85444990b8cSJulian Elischer * Wake us up when everyone else has suspended. 855e3b9bf71SJulian Elischer * In the mean time we suspend as well. 85644990b8cSJulian Elischer */ 85771fad9fdSJulian Elischer thread_suspend_one(td); 85844990b8cSJulian Elischer PROC_UNLOCK(p); 859bf0acc27SJohn Baldwin mi_switch(SW_VOL, NULL); 86044990b8cSJulian Elischer mtx_unlock_spin(&sched_lock); 86144990b8cSJulian Elischer PROC_LOCK(p); 862112afcb2SJohn Baldwin mtx_lock_spin(&sched_lock); 863906ac69dSDavid Xu if (mode == SINGLE_EXIT) 864ec008e96SDavid Xu remaining = p->p_numthreads; 865906ac69dSDavid Xu else if (mode == SINGLE_BOUNDARY) 866906ac69dSDavid Xu remaining = p->p_numthreads - p->p_boundary_count; 867ec008e96SDavid Xu else 868ec008e96SDavid Xu remaining = p->p_numthreads - p->p_suspcount; 86944990b8cSJulian Elischer } 870906ac69dSDavid Xu if (mode == SINGLE_EXIT) { 87191599697SJulian Elischer /* 87291599697SJulian Elischer * We have gotten rid of all the other threads and we 87391599697SJulian Elischer * are about to either exit or exec. In either case, 87491599697SJulian Elischer * we try our utmost to revert to being a non-threaded 87591599697SJulian Elischer * process. 87691599697SJulian Elischer */ 877ed062c8dSJulian Elischer p->p_singlethread = NULL; 87864895117SDavid Xu p->p_flag &= ~(P_STOPPED_SINGLE | P_SINGLE_EXIT); 879e5bedcefSJulian Elischer thread_unthread(td); 88091599697SJulian Elischer } 881112afcb2SJohn Baldwin mtx_unlock_spin(&sched_lock); 88244990b8cSJulian Elischer return (0); 88344990b8cSJulian Elischer } 88444990b8cSJulian Elischer 88544990b8cSJulian Elischer /* 88644990b8cSJulian Elischer * Called in from locations that can safely check to see 88744990b8cSJulian Elischer * whether we have to suspend or at least throttle for a 88844990b8cSJulian Elischer * single-thread event (e.g. fork). 88944990b8cSJulian Elischer * 89044990b8cSJulian Elischer * Such locations include userret(). 89144990b8cSJulian Elischer * If the "return_instead" argument is non zero, the thread must be able to 89244990b8cSJulian Elischer * accept 0 (caller may continue), or 1 (caller must abort) as a result. 89344990b8cSJulian Elischer * 89444990b8cSJulian Elischer * The 'return_instead' argument tells the function if it may do a 89544990b8cSJulian Elischer * thread_exit() or suspend, or whether the caller must abort and back 89644990b8cSJulian Elischer * out instead. 89744990b8cSJulian Elischer * 89844990b8cSJulian Elischer * If the thread that set the single_threading request has set the 89944990b8cSJulian Elischer * P_SINGLE_EXIT bit in the process flags then this call will never return 90044990b8cSJulian Elischer * if 'return_instead' is false, but will exit. 90144990b8cSJulian Elischer * 90244990b8cSJulian Elischer * P_SINGLE_EXIT | return_instead == 0| return_instead != 0 90344990b8cSJulian Elischer *---------------+--------------------+--------------------- 90444990b8cSJulian Elischer * 0 | returns 0 | returns 0 or 1 90544990b8cSJulian Elischer * | when ST ends | immediatly 90644990b8cSJulian Elischer *---------------+--------------------+--------------------- 90744990b8cSJulian Elischer * 1 | thread exits | returns 1 90844990b8cSJulian Elischer * | | immediatly 90944990b8cSJulian Elischer * 0 = thread_exit() or suspension ok, 91044990b8cSJulian Elischer * other = return error instead of stopping the thread. 91144990b8cSJulian Elischer * 91244990b8cSJulian Elischer * While a full suspension is under effect, even a single threading 91344990b8cSJulian Elischer * thread would be suspended if it made this call (but it shouldn't). 91444990b8cSJulian Elischer * This call should only be made from places where 91544990b8cSJulian Elischer * thread_exit() would be safe as that may be the outcome unless 91644990b8cSJulian Elischer * return_instead is set. 91744990b8cSJulian Elischer */ 91844990b8cSJulian Elischer int 91944990b8cSJulian Elischer thread_suspend_check(int return_instead) 92044990b8cSJulian Elischer { 921ecafb24bSJuli Mallett struct thread *td; 922ecafb24bSJuli Mallett struct proc *p; 92344990b8cSJulian Elischer 92444990b8cSJulian Elischer td = curthread; 92544990b8cSJulian Elischer p = td->td_proc; 92637814395SPeter Wemm mtx_assert(&Giant, MA_NOTOWNED); 92744990b8cSJulian Elischer PROC_LOCK_ASSERT(p, MA_OWNED); 928cbf4e354SDavid Xu while (P_SHOULDSTOP(p) || 929cbf4e354SDavid Xu ((p->p_flag & P_TRACED) && (td->td_flags & TDF_DBSUSPEND))) { 9301279572aSDavid Xu if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) { 93144990b8cSJulian Elischer KASSERT(p->p_singlethread != NULL, 93244990b8cSJulian Elischer ("singlethread not set")); 93344990b8cSJulian Elischer /* 934e3b9bf71SJulian Elischer * The only suspension in action is a 935e3b9bf71SJulian Elischer * single-threading. Single threader need not stop. 936b6d5995eSJulian Elischer * XXX Should be safe to access unlocked 937b6d5995eSJulian Elischer * as it can only be set to be true by us. 93844990b8cSJulian Elischer */ 939e3b9bf71SJulian Elischer if (p->p_singlethread == td) 94044990b8cSJulian Elischer return (0); /* Exempt from stopping. */ 94144990b8cSJulian Elischer } 94245a4bfa1SDavid Xu if ((p->p_flag & P_SINGLE_EXIT) && return_instead) 94344990b8cSJulian Elischer return (1); 94444990b8cSJulian Elischer 945906ac69dSDavid Xu /* Should we goto user boundary if we didn't come from there? */ 946906ac69dSDavid Xu if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE && 947906ac69dSDavid Xu (p->p_flag & P_SINGLE_BOUNDARY) && return_instead) 948906ac69dSDavid Xu return (1); 949906ac69dSDavid Xu 950e574e444SDavid Xu mtx_lock_spin(&sched_lock); 951e574e444SDavid Xu thread_stopped(p); 95244990b8cSJulian Elischer /* 95344990b8cSJulian Elischer * If the process is waiting for us to exit, 95444990b8cSJulian Elischer * this thread should just suicide. 9551279572aSDavid Xu * Assumes that P_SINGLE_EXIT implies P_STOPPED_SINGLE. 95644990b8cSJulian Elischer */ 957906ac69dSDavid Xu if ((p->p_flag & P_SINGLE_EXIT) && (p->p_singlethread != td)) 95844990b8cSJulian Elischer thread_exit(); 95944990b8cSJulian Elischer 96044990b8cSJulian Elischer /* 96144990b8cSJulian Elischer * When a thread suspends, it just 96244990b8cSJulian Elischer * moves to the processes's suspend queue 96344990b8cSJulian Elischer * and stays there. 96444990b8cSJulian Elischer */ 96571fad9fdSJulian Elischer thread_suspend_one(td); 966906ac69dSDavid Xu if (return_instead == 0) { 967906ac69dSDavid Xu p->p_boundary_count++; 968906ac69dSDavid Xu td->td_flags |= TDF_BOUNDARY; 969cf19bf91SJulian Elischer } 970906ac69dSDavid Xu if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) { 971906ac69dSDavid Xu if (p->p_numthreads == p->p_suspcount) 972906ac69dSDavid Xu thread_unsuspend_one(p->p_singlethread); 973cf19bf91SJulian Elischer } 974a6f37ac9SJohn Baldwin PROC_UNLOCK(p); 975bf0acc27SJohn Baldwin mi_switch(SW_INVOL, NULL); 976906ac69dSDavid Xu if (return_instead == 0) { 977906ac69dSDavid Xu p->p_boundary_count--; 978906ac69dSDavid Xu td->td_flags &= ~TDF_BOUNDARY; 979906ac69dSDavid Xu } 98044990b8cSJulian Elischer mtx_unlock_spin(&sched_lock); 98144990b8cSJulian Elischer PROC_LOCK(p); 98244990b8cSJulian Elischer } 98344990b8cSJulian Elischer return (0); 98444990b8cSJulian Elischer } 98544990b8cSJulian Elischer 98635c32a76SDavid Xu void 98735c32a76SDavid Xu thread_suspend_one(struct thread *td) 98835c32a76SDavid Xu { 98935c32a76SDavid Xu struct proc *p = td->td_proc; 99035c32a76SDavid Xu 99135c32a76SDavid Xu mtx_assert(&sched_lock, MA_OWNED); 992112afcb2SJohn Baldwin PROC_LOCK_ASSERT(p, MA_OWNED); 993e574e444SDavid Xu KASSERT(!TD_IS_SUSPENDED(td), ("already suspended")); 99435c32a76SDavid Xu p->p_suspcount++; 99571fad9fdSJulian Elischer TD_SET_SUSPENDED(td); 99635c32a76SDavid Xu TAILQ_INSERT_TAIL(&p->p_suspended, td, td_runq); 99771fad9fdSJulian Elischer /* 99871fad9fdSJulian Elischer * Hack: If we are suspending but are on the sleep queue 99971fad9fdSJulian Elischer * then we are in msleep or the cv equivalent. We 100071fad9fdSJulian Elischer * want to look like we have two Inhibitors. 10019d102777SJulian Elischer * May already be set.. doesn't matter. 100271fad9fdSJulian Elischer */ 100371fad9fdSJulian Elischer if (TD_ON_SLEEPQ(td)) 100471fad9fdSJulian Elischer TD_SET_SLEEPING(td); 100535c32a76SDavid Xu } 100635c32a76SDavid Xu 100735c32a76SDavid Xu void 100835c32a76SDavid Xu thread_unsuspend_one(struct thread *td) 100935c32a76SDavid Xu { 101035c32a76SDavid Xu struct proc *p = td->td_proc; 101135c32a76SDavid Xu 101235c32a76SDavid Xu mtx_assert(&sched_lock, MA_OWNED); 1013112afcb2SJohn Baldwin PROC_LOCK_ASSERT(p, MA_OWNED); 101435c32a76SDavid Xu TAILQ_REMOVE(&p->p_suspended, td, td_runq); 101571fad9fdSJulian Elischer TD_CLR_SUSPENDED(td); 101635c32a76SDavid Xu p->p_suspcount--; 101771fad9fdSJulian Elischer setrunnable(td); 101835c32a76SDavid Xu } 101935c32a76SDavid Xu 102044990b8cSJulian Elischer /* 102144990b8cSJulian Elischer * Allow all threads blocked by single threading to continue running. 102244990b8cSJulian Elischer */ 102344990b8cSJulian Elischer void 102444990b8cSJulian Elischer thread_unsuspend(struct proc *p) 102544990b8cSJulian Elischer { 102644990b8cSJulian Elischer struct thread *td; 102744990b8cSJulian Elischer 1028b6d5995eSJulian Elischer mtx_assert(&sched_lock, MA_OWNED); 102944990b8cSJulian Elischer PROC_LOCK_ASSERT(p, MA_OWNED); 103044990b8cSJulian Elischer if (!P_SHOULDSTOP(p)) { 103144990b8cSJulian Elischer while ((td = TAILQ_FIRST(&p->p_suspended))) { 103235c32a76SDavid Xu thread_unsuspend_one(td); 103344990b8cSJulian Elischer } 10341279572aSDavid Xu } else if ((P_SHOULDSTOP(p) == P_STOPPED_SINGLE) && 103544990b8cSJulian Elischer (p->p_numthreads == p->p_suspcount)) { 103644990b8cSJulian Elischer /* 103744990b8cSJulian Elischer * Stopping everything also did the job for the single 103844990b8cSJulian Elischer * threading request. Now we've downgraded to single-threaded, 103944990b8cSJulian Elischer * let it continue. 104044990b8cSJulian Elischer */ 104135c32a76SDavid Xu thread_unsuspend_one(p->p_singlethread); 104244990b8cSJulian Elischer } 104344990b8cSJulian Elischer } 104444990b8cSJulian Elischer 1045ed062c8dSJulian Elischer /* 1046ed062c8dSJulian Elischer * End the single threading mode.. 1047ed062c8dSJulian Elischer */ 104844990b8cSJulian Elischer void 104944990b8cSJulian Elischer thread_single_end(void) 105044990b8cSJulian Elischer { 105144990b8cSJulian Elischer struct thread *td; 105244990b8cSJulian Elischer struct proc *p; 105344990b8cSJulian Elischer 105444990b8cSJulian Elischer td = curthread; 105544990b8cSJulian Elischer p = td->td_proc; 105644990b8cSJulian Elischer PROC_LOCK_ASSERT(p, MA_OWNED); 1057906ac69dSDavid Xu p->p_flag &= ~(P_STOPPED_SINGLE | P_SINGLE_EXIT | P_SINGLE_BOUNDARY); 1058112afcb2SJohn Baldwin mtx_lock_spin(&sched_lock); 105944990b8cSJulian Elischer p->p_singlethread = NULL; 106049539972SJulian Elischer /* 106149539972SJulian Elischer * If there are other threads they mey now run, 106249539972SJulian Elischer * unless of course there is a blanket 'stop order' 106349539972SJulian Elischer * on the process. The single threader must be allowed 106449539972SJulian Elischer * to continue however as this is a bad place to stop. 106549539972SJulian Elischer */ 106649539972SJulian Elischer if ((p->p_numthreads != 1) && (!P_SHOULDSTOP(p))) { 106749539972SJulian Elischer while ((td = TAILQ_FIRST(&p->p_suspended))) { 106871fad9fdSJulian Elischer thread_unsuspend_one(td); 106944990b8cSJulian Elischer } 107049539972SJulian Elischer } 1071112afcb2SJohn Baldwin mtx_unlock_spin(&sched_lock); 107249539972SJulian Elischer } 10734fc21c09SDaniel Eischen 1074007ddf7eSJohn Baldwin /* 1075007ddf7eSJohn Baldwin * Called before going into an interruptible sleep to see if we have been 1076007ddf7eSJohn Baldwin * interrupted or requested to exit. 1077007ddf7eSJohn Baldwin */ 1078007ddf7eSJohn Baldwin int 1079007ddf7eSJohn Baldwin thread_sleep_check(struct thread *td) 1080007ddf7eSJohn Baldwin { 1081007ddf7eSJohn Baldwin struct proc *p; 1082007ddf7eSJohn Baldwin 1083007ddf7eSJohn Baldwin p = td->td_proc; 1084007ddf7eSJohn Baldwin mtx_assert(&sched_lock, MA_OWNED); 10852179a22cSJulian Elischer if (p->p_flag & P_HADTHREADS) { 1086906ac69dSDavid Xu if (p->p_singlethread != td) { 1087906ac69dSDavid Xu if (p->p_flag & P_SINGLE_EXIT) 1088007ddf7eSJohn Baldwin return (EINTR); 1089906ac69dSDavid Xu if (p->p_flag & P_SINGLE_BOUNDARY) 1090906ac69dSDavid Xu return (ERESTART); 1091906ac69dSDavid Xu } 1092007ddf7eSJohn Baldwin if (td->td_flags & TDF_INTERRUPT) 1093007ddf7eSJohn Baldwin return (td->td_intrval); 1094007ddf7eSJohn Baldwin } 1095007ddf7eSJohn Baldwin return (0); 1096007ddf7eSJohn Baldwin } 1097