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*49746Smckusick * @(#)kern_fork.c 7.29 (Berkeley) 05/15/91 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 "seg.h" 2017090Sbloom #include "file.h" 2117090Sbloom #include "acct.h" 2240812Smarc #include "ktrace.h" 2312791Ssam 2442921Smckusick /* ARGSUSED */ 2542921Smckusick fork(p, uap, retval) 2642921Smckusick struct proc *p; 2749099Skarels void *uap; 2842921Smckusick int retval[]; 2912791Ssam { 3012791Ssam 3144404Skarels return (fork1(p, 0, retval)); 3212791Ssam } 3312791Ssam 3442921Smckusick /* ARGSUSED */ 3542921Smckusick vfork(p, uap, retval) 3642921Smckusick struct proc *p; 3749099Skarels void *uap; 3842921Smckusick int retval[]; 3912791Ssam { 4012791Ssam 4144404Skarels return (fork1(p, 1, retval)); 4212791Ssam } 4312791Ssam 4447547Skarels int nprocs = 1; /* process 0 */ 4547547Skarels 4642921Smckusick fork1(p1, isvfork, retval) 4742921Smckusick register struct proc *p1; 4842921Smckusick int isvfork, retval[]; 4912791Ssam { 5042921Smckusick register struct proc *p2; 5147547Skarels register int count, uid; 5247547Skarels static int nextpid, pidchecked = 0; 5312791Ssam 5447547Skarels count = 0; 5547547Skarels if ((uid = p1->p_ucred->cr_uid) != 0) { 5642921Smckusick for (p2 = allproc; p2; p2 = p2->p_nxt) 5747547Skarels if (p2->p_ucred->cr_uid == uid) 5847547Skarels count++; 5942921Smckusick for (p2 = zombproc; p2; p2 = p2->p_nxt) 6047547Skarels if (p2->p_ucred->cr_uid == uid) 6147547Skarels count++; 6212791Ssam } 6312791Ssam /* 6447547Skarels * Although process entries are dynamically entries, 6547547Skarels * we still keep a global limit on the maximum number 6647547Skarels * we will create. Don't allow a nonprivileged user 6747547Skarels * to exceed its current limit or to bring us within one 6847547Skarels * of the global limit; don't let root exceed the limit. 6947547Skarels * nprocs is the current number of processes, 7047547Skarels * maxproc is the limit. 7112791Ssam */ 7247547Skarels if (nprocs >= maxproc || uid == 0 && nprocs >= maxproc + 1) { 7312791Ssam tablefull("proc"); 7442921Smckusick return (EAGAIN); 7512791Ssam } 7647547Skarels if (count > p1->p_rlimit[RLIMIT_NPROC].rlim_cur) 7747547Skarels return (EAGAIN); 7812791Ssam 7912791Ssam /* 8047547Skarels * Find an unused process ID. 8147547Skarels * We remember a range of unused IDs ready to use 8247547Skarels * (from nextpid+1 through pidchecked-1). 8312791Ssam */ 8447547Skarels nextpid++; 8512791Ssam retry: 8647547Skarels /* 8747547Skarels * If the process ID prototype has wrapped around, 8847547Skarels * restart somewhat above 0, as the low-numbered procs 8947547Skarels * tend to include daemons that don't exit. 9047547Skarels */ 9147547Skarels if (nextpid >= PID_MAX) { 9247547Skarels nextpid = 100; 9316528Skarels pidchecked = 0; 9412791Ssam } 9547547Skarels if (nextpid >= pidchecked) { 9616528Skarels int doingzomb = 0; 9716578Ssam 9845005Skarels pidchecked = PID_MAX; 9916528Skarels /* 10047547Skarels * Scan the active and zombie procs to check whether this pid 10116528Skarels * is in use. Remember the lowest pid that's greater 10247547Skarels * than nextpid, so we can avoid checking for a while. 10316528Skarels */ 10447547Skarels p2 = allproc; 10516528Skarels again: 10647547Skarels for (; p2 != NULL; p2 = p2->p_nxt) { 10747547Skarels if (p2->p_pid == nextpid || 10847547Skarels p2->p_pgrp->pg_id == nextpid) { 10947547Skarels nextpid++; 11047547Skarels if (nextpid >= pidchecked) 11116528Skarels goto retry; 11216528Skarels } 11347547Skarels if (p2->p_pid > nextpid && pidchecked > p2->p_pid) 11447547Skarels pidchecked = p2->p_pid; 11547547Skarels if (p2->p_pgrp->pg_id > nextpid && 11647547Skarels pidchecked > p2->p_pgrp->pg_id) 11747547Skarels pidchecked = p2->p_pgrp->pg_id; 11816528Skarels } 11916528Skarels if (!doingzomb) { 12016528Skarels doingzomb = 1; 12147547Skarels p2 = zombproc; 12216528Skarels goto again; 12316528Skarels } 12412791Ssam } 12512791Ssam 12616528Skarels 12712791Ssam /* 12847547Skarels * Allocate new proc. 12947547Skarels * Link onto allproc (this should probably be delayed). 13047547Skarels */ 13147547Skarels MALLOC(p2, struct proc *, sizeof(struct proc), M_PROC, M_WAITOK); 13247547Skarels nprocs++; 13347547Skarels p2->p_nxt = allproc; 13447547Skarels p2->p_nxt->p_prev = &p2->p_nxt; /* allproc is never NULL */ 13547547Skarels p2->p_prev = &allproc; 13647547Skarels allproc = p2; 13747547Skarels p2->p_link = NULL; /* shouldn't be necessary */ 13847547Skarels p2->p_rlink = NULL; /* shouldn't be necessary */ 13947547Skarels 14047547Skarels /* 14112791Ssam * Make a proc table entry for the new process. 14247547Skarels * Start by zeroing the section of proc that is zero-initialized, 14347547Skarels * then copy the section that is copied directly from the parent. 14412791Ssam */ 14547547Skarels bzero(&p2->p_startzero, 14647547Skarels (unsigned) ((caddr_t)&p2->p_endzero - (caddr_t)&p2->p_startzero)); 14747547Skarels bcopy(&p1->p_startcopy, &p2->p_startcopy, 14847547Skarels (unsigned) ((caddr_t)&p2->p_endcopy - (caddr_t)&p2->p_startcopy)); 14949731Smckusick p2->p_spare[0] = 0; /* XXX - should be in zero range */ 15049731Smckusick p2->p_spare[1] = 0; /* XXX - should be in zero range */ 15149731Smckusick p2->p_spare[2] = 0; /* XXX - should be in zero range */ 15249731Smckusick p2->p_spare[3] = 0; /* XXX - should be in zero range */ 15347547Skarels 15447547Skarels /* 15547547Skarels * Duplicate sub-structures as needed. 15647547Skarels * Increase reference counts on shared objects. 15748405Skarels * The p_stats and p_sigacts substructs are set in vm_fork. 15847547Skarels */ 15947547Skarels MALLOC(p2->p_cred, struct pcred *, sizeof(struct pcred), 16047547Skarels M_SUBPROC, M_WAITOK); 16147547Skarels bcopy(p1->p_cred, p2->p_cred, sizeof(*p2->p_cred)); 162*49746Smckusick p2->p_cred->p_refcnt = 1; 16347547Skarels crhold(p1->p_ucred); 16447547Skarels 16547547Skarels p2->p_fd = fdcopy(p1); 16647547Skarels /* 16747547Skarels * If p_limit is still copy-on-write, bump refcnt, 16847547Skarels * otherwise get a copy that won't be modified. 16947547Skarels * (If PL_SHAREMOD is clear, the structure is shared 17047547Skarels * copy-on-write.) 17147547Skarels */ 17247547Skarels if (p1->p_limit->p_lflags & PL_SHAREMOD) 17347547Skarels p2->p_limit = limcopy(p1->p_limit); 17447547Skarels else { 17547547Skarels p2->p_limit = p1->p_limit; 17647547Skarels p2->p_limit->p_refcnt++; 17747547Skarels } 17847547Skarels 17948405Skarels p2->p_flag = SLOAD | (p1->p_flag & SHPUX); 18047547Skarels if (p1->p_session->s_ttyvp != NULL && p1->p_flag & SCTTY) 18147547Skarels p2->p_flag |= SCTTY; 18245727Smckusick if (isvfork) 18347547Skarels p2->p_flag |= SPPWAIT; 18447547Skarels p2->p_stat = SIDL; 18547547Skarels p2->p_pid = nextpid; 18640812Smarc { 18747547Skarels struct proc **hash = &pidhash[PIDHASH(p2->p_pid)]; 18840812Smarc 18947547Skarels p2->p_hash = *hash; 19047547Skarels *hash = p2; 19140812Smarc } 19247547Skarels p2->p_pgrpnxt = p1->p_pgrpnxt; 19347547Skarels p1->p_pgrpnxt = p2; 19447547Skarels p2->p_pptr = p1; 19547547Skarels p2->p_osptr = p1->p_cptr; 19647547Skarels if (p1->p_cptr) 19747547Skarels p1->p_cptr->p_ysptr = p2; 19847547Skarels p1->p_cptr = p2; 19947547Skarels #ifdef KTRACE 20012791Ssam /* 20147547Skarels * Copy traceflag and tracefile if enabled. 20247547Skarels * If not inherited, these were zeroed above. 20312791Ssam */ 20447547Skarels if (p1->p_traceflag&KTRFAC_INHERIT) { 20547547Skarels p2->p_traceflag = p1->p_traceflag; 20647547Skarels if ((p2->p_tracep = p1->p_tracep) != NULL) 20747547Skarels VREF(p2->p_tracep); 20847547Skarels } 20945727Smckusick #endif 21012791Ssam 21147547Skarels #if defined(tahoe) 21247547Skarels p2->p_vmspace->p_ckey = p1->p_vmspace->p_ckey; /* XXX move this */ 21347547Skarels #endif 21447547Skarels 21512791Ssam /* 21612791Ssam * This begins the section where we must prevent the parent 21712791Ssam * from being swapped. 21812791Ssam */ 21947547Skarels p1->p_flag |= SKEEP; 22048405Skarels /* 22148405Skarels * Set return values for child before vm_fork, 22248405Skarels * so they can be copied to child stack. 22348405Skarels * We return parent pid, and mark as child in retval[1]. 22449099Skarels * NOTE: the kernel stack may be at a different location in the child 22549099Skarels * process, and thus addresses of automatic variables (including retval) 22649099Skarels * may be invalid after vm_fork returns in the child process. 22748405Skarels */ 22848405Skarels retval[0] = p1->p_pid; 22948405Skarels retval[1] = 1; 23047547Skarels if (vm_fork(p1, p2, isvfork)) { 23147547Skarels /* 23248405Skarels * Child process. Set start time and get to work. 23347547Skarels */ 23441180Smarc (void) splclock(); 23547547Skarels p2->p_stats->p_start = time; 23641180Smarc (void) spl0(); 23747547Skarels p2->p_acflag = AFORK; 23847547Skarels return (0); 23941180Smarc } 24012791Ssam 24112791Ssam /* 24212791Ssam * Make child runnable and add to run queue. 24312791Ssam */ 24447547Skarels (void) splhigh(); 24547547Skarels p2->p_stat = SRUN; 24647547Skarels setrq(p2); 24712791Ssam (void) spl0(); 24812791Ssam 24912791Ssam /* 25012791Ssam * Now can be swapped. 25112791Ssam */ 25247547Skarels p1->p_flag &= ~SKEEP; 25312791Ssam 25412791Ssam /* 25549099Skarels * Preserve synchronization semantics of vfork. 25647547Skarels * If waiting for child to exec or exit, set SPPWAIT 25747547Skarels * on child, and sleep on our proc (in case of exit). 25812791Ssam */ 25947547Skarels if (isvfork) 26047547Skarels while (p2->p_flag & SPPWAIT) 26148405Skarels tsleep((caddr_t)p1, PWAIT, "ppwait", 0); 26212791Ssam 26312791Ssam /* 26448405Skarels * Return child pid to parent process, 26548405Skarels * marking us as parent via retval[1]. 26612791Ssam */ 26747547Skarels retval[0] = p2->p_pid; 26848405Skarels retval[1] = 0; 26912791Ssam return (0); 27012791Ssam } 271