123370Smckusick /* 248405Skarels * Copyright (c) 1982, 1986, 1989, 1991 Regents of the University of California. 337728Smckusick * All rights reserved. 423370Smckusick * 544434Sbostic * %sccs.include.redist.c% 637728Smckusick * 7*54922Storek * @(#)kern_fork.c 7.38 (Berkeley) 07/10/92 823370Smckusick */ 912791Ssam 1017090Sbloom #include "param.h" 1117090Sbloom #include "systm.h" 1217090Sbloom #include "map.h" 1345914Smckusick #include "filedesc.h" 1417090Sbloom #include "kernel.h" 1547547Skarels #include "malloc.h" 1617090Sbloom #include "proc.h" 1747547Skarels #include "resourcevar.h" 1837728Smckusick #include "vnode.h" 1917090Sbloom #include "file.h" 2017090Sbloom #include "acct.h" 2140812Smarc #include "ktrace.h" 2212791Ssam 23*54922Storek struct fork_args { 24*54922Storek int dummy; 25*54922Storek }; 2642921Smckusick /* ARGSUSED */ 2742921Smckusick fork(p, uap, retval) 2842921Smckusick struct proc *p; 29*54922Storek struct fork_args *uap; 3042921Smckusick int retval[]; 3112791Ssam { 3212791Ssam 3344404Skarels return (fork1(p, 0, retval)); 3412791Ssam } 3512791Ssam 3642921Smckusick /* ARGSUSED */ 3742921Smckusick vfork(p, uap, retval) 3842921Smckusick struct proc *p; 39*54922Storek struct fork_args *uap; 4042921Smckusick int retval[]; 4112791Ssam { 4212791Ssam 4344404Skarels return (fork1(p, 1, retval)); 4412791Ssam } 4512791Ssam 4647547Skarels int nprocs = 1; /* process 0 */ 4747547Skarels 4842921Smckusick fork1(p1, isvfork, retval) 4942921Smckusick register struct proc *p1; 5042921Smckusick int isvfork, retval[]; 5112791Ssam { 5242921Smckusick register struct proc *p2; 5347547Skarels register int count, uid; 5453699Smckusick struct proc *newproc; 5553646Smckusick struct proc **hash; 5647547Skarels static int nextpid, pidchecked = 0; 5712791Ssam 5847547Skarels count = 0; 5947547Skarels if ((uid = p1->p_ucred->cr_uid) != 0) { 6054756Storek for (p2 = (struct proc *)allproc; p2; p2 = p2->p_nxt) 6147547Skarels if (p2->p_ucred->cr_uid == uid) 6247547Skarels count++; 6342921Smckusick for (p2 = zombproc; p2; p2 = p2->p_nxt) 6447547Skarels if (p2->p_ucred->cr_uid == uid) 6547547Skarels count++; 6612791Ssam } 6712791Ssam /* 6853646Smckusick * Although process entries are dynamically created, we still keep 6953646Smckusick * a global limit on the maximum number we will create. Don't allow 7053646Smckusick * a nonprivileged user to exceed its current limit or to bring us 7153646Smckusick * within one of the global limit; don't let root exceed the limit. 7253646Smckusick * nprocs is the current number of processes, maxproc is the limit. 7312791Ssam */ 7447547Skarels if (nprocs >= maxproc || uid == 0 && nprocs >= maxproc + 1) { 7512791Ssam tablefull("proc"); 7642921Smckusick return (EAGAIN); 7712791Ssam } 7847547Skarels if (count > p1->p_rlimit[RLIMIT_NPROC].rlim_cur) 7947547Skarels return (EAGAIN); 8012791Ssam 8153646Smckusick /* Allocate new proc. */ 8253699Smckusick MALLOC(newproc, struct proc *, sizeof(struct proc), M_PROC, M_WAITOK); 8353646Smckusick 8412791Ssam /* 8553646Smckusick * Find an unused process ID. We remember a range of unused IDs 8653646Smckusick * ready to use (from nextpid+1 through pidchecked-1). 8712791Ssam */ 8847547Skarels nextpid++; 8912791Ssam retry: 9047547Skarels /* 9147547Skarels * If the process ID prototype has wrapped around, 9247547Skarels * restart somewhat above 0, as the low-numbered procs 9347547Skarels * tend to include daemons that don't exit. 9447547Skarels */ 9547547Skarels if (nextpid >= PID_MAX) { 9647547Skarels nextpid = 100; 9716528Skarels pidchecked = 0; 9812791Ssam } 9947547Skarels if (nextpid >= pidchecked) { 10016528Skarels int doingzomb = 0; 10116578Ssam 10245005Skarels pidchecked = PID_MAX; 10316528Skarels /* 10447547Skarels * Scan the active and zombie procs to check whether this pid 10516528Skarels * is in use. Remember the lowest pid that's greater 10647547Skarels * than nextpid, so we can avoid checking for a while. 10716528Skarels */ 10854756Storek p2 = (struct proc *)allproc; 10916528Skarels again: 11047547Skarels for (; p2 != NULL; p2 = p2->p_nxt) { 11153646Smckusick while (p2->p_pid == nextpid || 11247547Skarels p2->p_pgrp->pg_id == nextpid) { 11347547Skarels nextpid++; 11447547Skarels if (nextpid >= pidchecked) 11516528Skarels goto retry; 11616528Skarels } 11747547Skarels if (p2->p_pid > nextpid && pidchecked > p2->p_pid) 11847547Skarels pidchecked = p2->p_pid; 11947547Skarels if (p2->p_pgrp->pg_id > nextpid && 12047547Skarels pidchecked > p2->p_pgrp->pg_id) 12147547Skarels pidchecked = p2->p_pgrp->pg_id; 12216528Skarels } 12316528Skarels if (!doingzomb) { 12416528Skarels doingzomb = 1; 12547547Skarels p2 = zombproc; 12616528Skarels goto again; 12716528Skarels } 12812791Ssam } 12912791Ssam 13016528Skarels 13153646Smckusick /* Link onto allproc (this should probably be delayed). */ 13247547Skarels nprocs++; 13353699Smckusick p2 = newproc; 13452493Storek p2->p_stat = SIDL; /* protect against others */ 13553646Smckusick p2->p_pid = nextpid; 13654756Storek p2->p_nxt = (struct proc *)allproc; 13747547Skarels p2->p_nxt->p_prev = &p2->p_nxt; /* allproc is never NULL */ 13854756Storek p2->p_prev = (struct proc **)&allproc; 13947547Skarels allproc = p2; 14047547Skarels p2->p_link = NULL; /* shouldn't be necessary */ 14147547Skarels p2->p_rlink = NULL; /* shouldn't be necessary */ 14247547Skarels 14353646Smckusick /* Insert on the hash chain. */ 14453646Smckusick hash = &pidhash[PIDHASH(p2->p_pid)]; 14553646Smckusick p2->p_hash = *hash; 14653646Smckusick *hash = p2; 14753646Smckusick 14847547Skarels /* 14912791Ssam * Make a proc table entry for the new process. 15047547Skarels * Start by zeroing the section of proc that is zero-initialized, 15147547Skarels * then copy the section that is copied directly from the parent. 15212791Ssam */ 15347547Skarels bzero(&p2->p_startzero, 15447547Skarels (unsigned) ((caddr_t)&p2->p_endzero - (caddr_t)&p2->p_startzero)); 15547547Skarels bcopy(&p1->p_startcopy, &p2->p_startcopy, 15647547Skarels (unsigned) ((caddr_t)&p2->p_endcopy - (caddr_t)&p2->p_startcopy)); 15747547Skarels 15847547Skarels /* 15947547Skarels * Duplicate sub-structures as needed. 16047547Skarels * Increase reference counts on shared objects. 16148405Skarels * The p_stats and p_sigacts substructs are set in vm_fork. 16247547Skarels */ 16354132Smckusick p2->p_flag = SLOAD | (p1->p_flag & SHPUX); 16454132Smckusick if (p1->p_flag & SPROFIL) 16554132Smckusick startprofclock(p2); 16647547Skarels MALLOC(p2->p_cred, struct pcred *, sizeof(struct pcred), 16747547Skarels M_SUBPROC, M_WAITOK); 16847547Skarels bcopy(p1->p_cred, p2->p_cred, sizeof(*p2->p_cred)); 16949746Smckusick p2->p_cred->p_refcnt = 1; 17047547Skarels crhold(p1->p_ucred); 17147547Skarels 17247547Skarels p2->p_fd = fdcopy(p1); 17347547Skarels /* 17447547Skarels * If p_limit is still copy-on-write, bump refcnt, 17547547Skarels * otherwise get a copy that won't be modified. 17647547Skarels * (If PL_SHAREMOD is clear, the structure is shared 17747547Skarels * copy-on-write.) 17847547Skarels */ 17947547Skarels if (p1->p_limit->p_lflags & PL_SHAREMOD) 18047547Skarels p2->p_limit = limcopy(p1->p_limit); 18147547Skarels else { 18247547Skarels p2->p_limit = p1->p_limit; 18347547Skarels p2->p_limit->p_refcnt++; 18447547Skarels } 18547547Skarels 18647547Skarels if (p1->p_session->s_ttyvp != NULL && p1->p_flag & SCTTY) 18747547Skarels p2->p_flag |= SCTTY; 18845727Smckusick if (isvfork) 18947547Skarels p2->p_flag |= SPPWAIT; 19047547Skarels p2->p_pgrpnxt = p1->p_pgrpnxt; 19147547Skarels p1->p_pgrpnxt = p2; 19247547Skarels p2->p_pptr = p1; 19347547Skarels p2->p_osptr = p1->p_cptr; 19447547Skarels if (p1->p_cptr) 19547547Skarels p1->p_cptr->p_ysptr = p2; 19647547Skarels p1->p_cptr = p2; 19747547Skarels #ifdef KTRACE 19812791Ssam /* 19947547Skarels * Copy traceflag and tracefile if enabled. 20047547Skarels * If not inherited, these were zeroed above. 20112791Ssam */ 20247547Skarels if (p1->p_traceflag&KTRFAC_INHERIT) { 20347547Skarels p2->p_traceflag = p1->p_traceflag; 20447547Skarels if ((p2->p_tracep = p1->p_tracep) != NULL) 20547547Skarels VREF(p2->p_tracep); 20647547Skarels } 20745727Smckusick #endif 20812791Ssam 20912791Ssam /* 21012791Ssam * This begins the section where we must prevent the parent 21112791Ssam * from being swapped. 21212791Ssam */ 21347547Skarels p1->p_flag |= SKEEP; 21448405Skarels /* 21548405Skarels * Set return values for child before vm_fork, 21648405Skarels * so they can be copied to child stack. 21748405Skarels * We return parent pid, and mark as child in retval[1]. 21849099Skarels * NOTE: the kernel stack may be at a different location in the child 21949099Skarels * process, and thus addresses of automatic variables (including retval) 22049099Skarels * may be invalid after vm_fork returns in the child process. 22148405Skarels */ 22248405Skarels retval[0] = p1->p_pid; 22348405Skarels retval[1] = 1; 22447547Skarels if (vm_fork(p1, p2, isvfork)) { 22547547Skarels /* 22648405Skarels * Child process. Set start time and get to work. 22747547Skarels */ 22841180Smarc (void) splclock(); 22947547Skarels p2->p_stats->p_start = time; 23041180Smarc (void) spl0(); 23147547Skarels p2->p_acflag = AFORK; 23247547Skarels return (0); 23341180Smarc } 23412791Ssam 23512791Ssam /* 23612791Ssam * Make child runnable and add to run queue. 23712791Ssam */ 23847547Skarels (void) splhigh(); 23947547Skarels p2->p_stat = SRUN; 24047547Skarels setrq(p2); 24112791Ssam (void) spl0(); 24212791Ssam 24312791Ssam /* 24412791Ssam * Now can be swapped. 24512791Ssam */ 24647547Skarels p1->p_flag &= ~SKEEP; 24712791Ssam 24812791Ssam /* 24949099Skarels * Preserve synchronization semantics of vfork. 25047547Skarels * If waiting for child to exec or exit, set SPPWAIT 25147547Skarels * on child, and sleep on our proc (in case of exit). 25212791Ssam */ 25347547Skarels if (isvfork) 25447547Skarels while (p2->p_flag & SPPWAIT) 25548405Skarels tsleep((caddr_t)p1, PWAIT, "ppwait", 0); 25612791Ssam 25712791Ssam /* 25848405Skarels * Return child pid to parent process, 25948405Skarels * marking us as parent via retval[1]. 26012791Ssam */ 26147547Skarels retval[0] = p2->p_pid; 26248405Skarels retval[1] = 0; 26312791Ssam return (0); 26412791Ssam } 265