123370Smckusick /* 263174Sbostic * Copyright (c) 1982, 1986, 1989, 1991, 1993 363174Sbostic * The Regents of the University of California. All rights reserved. 465771Sbostic * (c) UNIX System Laboratories, Inc. 565771Sbostic * All or some portions of this file are derived from material licensed 665771Sbostic * to the University of California by American Telephone and Telegraph 765771Sbostic * Co. or Unix System Laboratories, Inc. and are reproduced herein with 865771Sbostic * the permission of UNIX System Laboratories, Inc. 923370Smckusick * 1044434Sbostic * %sccs.include.redist.c% 1137728Smckusick * 12*66737Smckusick * @(#)kern_fork.c 8.6 (Berkeley) 04/08/94 1323370Smckusick */ 1412791Ssam 1557050Smckusick #include <sys/param.h> 1657050Smckusick #include <sys/systm.h> 1757050Smckusick #include <sys/map.h> 1857050Smckusick #include <sys/filedesc.h> 1957050Smckusick #include <sys/kernel.h> 2057050Smckusick #include <sys/malloc.h> 2157050Smckusick #include <sys/proc.h> 2257050Smckusick #include <sys/resourcevar.h> 2357050Smckusick #include <sys/vnode.h> 2457050Smckusick #include <sys/file.h> 2557050Smckusick #include <sys/acct.h> 2657050Smckusick #include <sys/ktrace.h> 2712791Ssam 2854922Storek struct fork_args { 2954922Storek int dummy; 3054922Storek }; 3142921Smckusick /* ARGSUSED */ 3242921Smckusick fork(p, uap, retval) 3342921Smckusick struct proc *p; 3454922Storek struct fork_args *uap; 3542921Smckusick int retval[]; 3612791Ssam { 3712791Ssam 3844404Skarels return (fork1(p, 0, retval)); 3912791Ssam } 4012791Ssam 4142921Smckusick /* ARGSUSED */ 4242921Smckusick vfork(p, uap, retval) 4342921Smckusick struct proc *p; 4454922Storek struct fork_args *uap; 4542921Smckusick int retval[]; 4612791Ssam { 4712791Ssam 4844404Skarels return (fork1(p, 1, retval)); 4912791Ssam } 5012791Ssam 5147547Skarels int nprocs = 1; /* process 0 */ 5247547Skarels 5342921Smckusick fork1(p1, isvfork, retval) 5442921Smckusick register struct proc *p1; 5542921Smckusick int isvfork, retval[]; 5612791Ssam { 5742921Smckusick register struct proc *p2; 5855400Smckusick register uid_t uid; 5953699Smckusick struct proc *newproc; 6053646Smckusick struct proc **hash; 6155400Smckusick int count; 6247547Skarels static int nextpid, pidchecked = 0; 6312791Ssam 6412791Ssam /* 6553646Smckusick * Although process entries are dynamically created, we still keep 6653646Smckusick * a global limit on the maximum number we will create. Don't allow 67*66737Smckusick * a nonprivileged user to use the last process; don't let root 68*66737Smckusick * exceed the limit. The variable nprocs is the current number of 69*66737Smckusick * processes, maxproc is the limit. 7012791Ssam */ 7155400Smckusick uid = p1->p_cred->p_ruid; 72*66737Smckusick if ((nprocs >= maxproc - 1 && uid != 0) || nprocs >= maxproc) { 7312791Ssam tablefull("proc"); 7442921Smckusick return (EAGAIN); 7512791Ssam } 7655400Smckusick /* 7755400Smckusick * Increment the count of procs running with this uid. Don't allow 7855400Smckusick * a nonprivileged user to exceed their current limit. 7955400Smckusick */ 8055400Smckusick count = chgproccnt(uid, 1); 8155400Smckusick if (uid != 0 && count > p1->p_rlimit[RLIMIT_NPROC].rlim_cur) { 8255400Smckusick (void)chgproccnt(uid, -1); 8347547Skarels return (EAGAIN); 8455400Smckusick } 8512791Ssam 8653646Smckusick /* Allocate new proc. */ 8753699Smckusick MALLOC(newproc, struct proc *, sizeof(struct proc), M_PROC, M_WAITOK); 8853646Smckusick 8912791Ssam /* 9053646Smckusick * Find an unused process ID. We remember a range of unused IDs 9153646Smckusick * ready to use (from nextpid+1 through pidchecked-1). 9212791Ssam */ 9347547Skarels nextpid++; 9412791Ssam retry: 9547547Skarels /* 9647547Skarels * If the process ID prototype has wrapped around, 9747547Skarels * restart somewhat above 0, as the low-numbered procs 9847547Skarels * tend to include daemons that don't exit. 9947547Skarels */ 10047547Skarels if (nextpid >= PID_MAX) { 10147547Skarels nextpid = 100; 10216528Skarels pidchecked = 0; 10312791Ssam } 10447547Skarels if (nextpid >= pidchecked) { 10516528Skarels int doingzomb = 0; 10616578Ssam 10745005Skarels pidchecked = PID_MAX; 10816528Skarels /* 10947547Skarels * Scan the active and zombie procs to check whether this pid 11016528Skarels * is in use. Remember the lowest pid that's greater 11147547Skarels * than nextpid, so we can avoid checking for a while. 11216528Skarels */ 11354756Storek p2 = (struct proc *)allproc; 11416528Skarels again: 11564591Sbostic for (; p2 != NULL; p2 = p2->p_next) { 11653646Smckusick while (p2->p_pid == nextpid || 11747547Skarels p2->p_pgrp->pg_id == nextpid) { 11847547Skarels nextpid++; 11947547Skarels if (nextpid >= pidchecked) 12016528Skarels goto retry; 12116528Skarels } 12247547Skarels if (p2->p_pid > nextpid && pidchecked > p2->p_pid) 12347547Skarels pidchecked = p2->p_pid; 12447547Skarels if (p2->p_pgrp->pg_id > nextpid && 12547547Skarels pidchecked > p2->p_pgrp->pg_id) 12647547Skarels pidchecked = p2->p_pgrp->pg_id; 12716528Skarels } 12816528Skarels if (!doingzomb) { 12916528Skarels doingzomb = 1; 13047547Skarels p2 = zombproc; 13116528Skarels goto again; 13216528Skarels } 13312791Ssam } 13412791Ssam 13516528Skarels 13656335Smckusick /* 13756335Smckusick * Link onto allproc (this should probably be delayed). 13856335Smckusick * Heavy use of volatile here to prevent the compiler from 13956335Smckusick * rearranging code. Yes, it *is* terribly ugly, but at least 14056335Smckusick * it works. 14156335Smckusick */ 14247547Skarels nprocs++; 14353699Smckusick p2 = newproc; 14456335Smckusick #define Vp2 ((volatile struct proc *)p2) 14556335Smckusick Vp2->p_stat = SIDL; /* protect against others */ 14656335Smckusick Vp2->p_pid = nextpid; 14756335Smckusick /* 14856335Smckusick * This is really: 14964591Sbostic * p2->p_next = allproc; 15064591Sbostic * allproc->p_prev = &p2->p_next; 15156335Smckusick * p2->p_prev = &allproc; 15256335Smckusick * allproc = p2; 15356335Smckusick * The assignment via allproc is legal since it is never NULL. 15456335Smckusick */ 15564591Sbostic *(volatile struct proc **)&Vp2->p_next = allproc; 15656335Smckusick *(volatile struct proc ***)&allproc->p_prev = 15764591Sbostic (volatile struct proc **)&Vp2->p_next; 15856335Smckusick *(volatile struct proc ***)&Vp2->p_prev = &allproc; 15956335Smckusick allproc = Vp2; 16056335Smckusick #undef Vp2 16164591Sbostic p2->p_forw = p2->p_back = NULL; /* shouldn't be necessary */ 16247547Skarels 16353646Smckusick /* Insert on the hash chain. */ 16453646Smckusick hash = &pidhash[PIDHASH(p2->p_pid)]; 16553646Smckusick p2->p_hash = *hash; 16653646Smckusick *hash = p2; 16753646Smckusick 16847547Skarels /* 16912791Ssam * Make a proc table entry for the new process. 17047547Skarels * Start by zeroing the section of proc that is zero-initialized, 17147547Skarels * then copy the section that is copied directly from the parent. 17212791Ssam */ 17347547Skarels bzero(&p2->p_startzero, 17447547Skarels (unsigned) ((caddr_t)&p2->p_endzero - (caddr_t)&p2->p_startzero)); 17547547Skarels bcopy(&p1->p_startcopy, &p2->p_startcopy, 17647547Skarels (unsigned) ((caddr_t)&p2->p_endcopy - (caddr_t)&p2->p_startcopy)); 17747547Skarels 17847547Skarels /* 17947547Skarels * Duplicate sub-structures as needed. 18047547Skarels * Increase reference counts on shared objects. 18148405Skarels * The p_stats and p_sigacts substructs are set in vm_fork. 18247547Skarels */ 18364591Sbostic p2->p_flag = P_INMEM; 18464591Sbostic if (p1->p_flag & P_PROFIL) 18554132Smckusick startprofclock(p2); 18647547Skarels MALLOC(p2->p_cred, struct pcred *, sizeof(struct pcred), 18747547Skarels M_SUBPROC, M_WAITOK); 18847547Skarels bcopy(p1->p_cred, p2->p_cred, sizeof(*p2->p_cred)); 18949746Smckusick p2->p_cred->p_refcnt = 1; 19047547Skarels crhold(p1->p_ucred); 19147547Skarels 19265117Spendry /* bump references to the text vnode (for procfs) */ 19365117Spendry p2->p_textvp = p1->p_textvp; 19465117Spendry if (p2->p_textvp) 19565117Spendry VREF(p2->p_textvp); 19665117Spendry 19747547Skarels p2->p_fd = fdcopy(p1); 19847547Skarels /* 19947547Skarels * If p_limit is still copy-on-write, bump refcnt, 20047547Skarels * otherwise get a copy that won't be modified. 20147547Skarels * (If PL_SHAREMOD is clear, the structure is shared 20247547Skarels * copy-on-write.) 20347547Skarels */ 20447547Skarels if (p1->p_limit->p_lflags & PL_SHAREMOD) 20547547Skarels p2->p_limit = limcopy(p1->p_limit); 20647547Skarels else { 20747547Skarels p2->p_limit = p1->p_limit; 20847547Skarels p2->p_limit->p_refcnt++; 20947547Skarels } 21047547Skarels 21164591Sbostic if (p1->p_session->s_ttyvp != NULL && p1->p_flag & P_CONTROLT) 21264591Sbostic p2->p_flag |= P_CONTROLT; 21345727Smckusick if (isvfork) 21464591Sbostic p2->p_flag |= P_PPWAIT; 21547547Skarels p2->p_pgrpnxt = p1->p_pgrpnxt; 21647547Skarels p1->p_pgrpnxt = p2; 21747547Skarels p2->p_pptr = p1; 21847547Skarels p2->p_osptr = p1->p_cptr; 21947547Skarels if (p1->p_cptr) 22047547Skarels p1->p_cptr->p_ysptr = p2; 22147547Skarels p1->p_cptr = p2; 22247547Skarels #ifdef KTRACE 22312791Ssam /* 22447547Skarels * Copy traceflag and tracefile if enabled. 22547547Skarels * If not inherited, these were zeroed above. 22612791Ssam */ 22747547Skarels if (p1->p_traceflag&KTRFAC_INHERIT) { 22847547Skarels p2->p_traceflag = p1->p_traceflag; 22947547Skarels if ((p2->p_tracep = p1->p_tracep) != NULL) 23047547Skarels VREF(p2->p_tracep); 23147547Skarels } 23245727Smckusick #endif 23312791Ssam 23412791Ssam /* 23512791Ssam * This begins the section where we must prevent the parent 23612791Ssam * from being swapped. 23712791Ssam */ 23864591Sbostic p1->p_flag |= P_NOSWAP; 23948405Skarels /* 24048405Skarels * Set return values for child before vm_fork, 24148405Skarels * so they can be copied to child stack. 24248405Skarels * We return parent pid, and mark as child in retval[1]. 24349099Skarels * NOTE: the kernel stack may be at a different location in the child 24449099Skarels * process, and thus addresses of automatic variables (including retval) 24549099Skarels * may be invalid after vm_fork returns in the child process. 24648405Skarels */ 24748405Skarels retval[0] = p1->p_pid; 24848405Skarels retval[1] = 1; 24947547Skarels if (vm_fork(p1, p2, isvfork)) { 25047547Skarels /* 25148405Skarels * Child process. Set start time and get to work. 25247547Skarels */ 25341180Smarc (void) splclock(); 25447547Skarels p2->p_stats->p_start = time; 25541180Smarc (void) spl0(); 25647547Skarels p2->p_acflag = AFORK; 25747547Skarels return (0); 25841180Smarc } 25912791Ssam 26012791Ssam /* 26112791Ssam * Make child runnable and add to run queue. 26212791Ssam */ 26347547Skarels (void) splhigh(); 26447547Skarels p2->p_stat = SRUN; 26564532Sbostic setrunqueue(p2); 26612791Ssam (void) spl0(); 26712791Ssam 26812791Ssam /* 26912791Ssam * Now can be swapped. 27012791Ssam */ 27164591Sbostic p1->p_flag &= ~P_NOSWAP; 27212791Ssam 27312791Ssam /* 27464591Sbostic * Preserve synchronization semantics of vfork. If waiting for 27564591Sbostic * child to exec or exit, set P_PPWAIT on child, and sleep on our 27664591Sbostic * proc (in case of exit). 27712791Ssam */ 27847547Skarels if (isvfork) 27964591Sbostic while (p2->p_flag & P_PPWAIT) 28064591Sbostic tsleep(p1, PWAIT, "ppwait", 0); 28112791Ssam 28212791Ssam /* 28348405Skarels * Return child pid to parent process, 28448405Skarels * marking us as parent via retval[1]. 28512791Ssam */ 28647547Skarels retval[0] = p2->p_pid; 28748405Skarels retval[1] = 0; 28812791Ssam return (0); 28912791Ssam } 290