xref: /csrg-svn/sys/kern/kern_lock.c (revision 68775)
168762Smckusick /*
268762Smckusick  * Copyright (c) 1995
368762Smckusick  *	The Regents of the University of California.  All rights reserved.
468762Smckusick  *
5*68775Smckusick  * This code contains ideas from software contributed to Berkeley by
668762Smckusick  * Avadis Tevanian, Jr., Michael Wayne Young, and the Mach Operating
768762Smckusick  * System project at Carnegie-Mellon University.
868762Smckusick  *
968762Smckusick  * %sccs.include.redist.c%
1068762Smckusick  *
11*68775Smckusick  *	@(#)kern_lock.c	8.2 (Berkeley) 04/10/95
1268762Smckusick  */
1368762Smckusick 
1468762Smckusick #include <sys/param.h>
1568762Smckusick #include <sys/proc.h>
1668762Smckusick #include <sys/lock.h>
1768762Smckusick 
1868762Smckusick /*
1968762Smckusick  * Locking primitives implementation.
2068762Smckusick  * Locks provide shared/exclusive sychronization.
2168762Smckusick  */
2268762Smckusick 
2368762Smckusick #if NCPUS > 1
2468762Smckusick 
2568762Smckusick /*
2668762Smckusick  * For multiprocessor system, try spin lock first.
2768762Smckusick  *
2868762Smckusick  * This should be inline expanded below, but we cannot have #if
2968762Smckusick  * inside a multiline define.
3068762Smckusick  */
3168762Smckusick int lock_wait_time = 100;
3268762Smckusick #define PAUSE(lkp, wanted)						\
3368762Smckusick 		if (lock_wait_time > 0) {				\
3468762Smckusick 			int i;						\
3568762Smckusick 									\
3668762Smckusick 			atomic_unlock(&lkp->lk_interlock);		\
3768762Smckusick 			for (i = lock_wait_time; i > 0; i--)		\
3868762Smckusick 				if (!(wanted))				\
3968762Smckusick 					break;				\
4068762Smckusick 			atomic_lock(&lkp->lk_interlock);		\
4168762Smckusick 		}							\
4268762Smckusick 		if (!(wanted))						\
4368762Smckusick 			break;
4468762Smckusick 
4568762Smckusick #else /* NCPUS == 1 */
4668762Smckusick 
4768762Smckusick /*
4868762Smckusick  * It is an error to spin on a uniprocessor as nothing will ever cause
4968762Smckusick  * the atomic lock to clear while we are executing.
5068762Smckusick  */
5168762Smckusick #define PAUSE(lkp, wanted)
5268762Smckusick 
5368762Smckusick #endif /* NCPUS == 1 */
5468762Smckusick 
5568762Smckusick /*
5668762Smckusick  * Acquire a resource.
5768762Smckusick  */
5868762Smckusick #define ACQUIRE(lkp, error, extflags, wanted)				\
5968762Smckusick 	PAUSE(lkp, wanted);						\
6068762Smckusick 	for (error = 0; wanted; ) {					\
6168762Smckusick 		(lkp)->lk_flags |= LK_WAITING;				\
6268762Smckusick 		atomic_unlock(&(lkp)->lk_interlock);			\
6368762Smckusick 		error = tsleep(lkp, (lkp)->lk_prio, (lkp)->lk_wmesg,	\
6468762Smckusick 		    (lkp)->lk_timo);					\
6568762Smckusick 		atomic_lock(&(lkp)->lk_interlock);			\
6668762Smckusick 		(lkp)->lk_flags |= LK_SLEPT;				\
6768762Smckusick 		if (error)						\
6868762Smckusick 			break;						\
6968762Smckusick 		if ((extflags) & LK_SLEEPFAIL) {			\
7068762Smckusick 			error = ENOLCK;					\
7168762Smckusick 			break;						\
7268762Smckusick 		}							\
7368762Smckusick 	}
7468762Smckusick 
7568762Smckusick /*
7668762Smckusick  * Initialize a lock; required before use.
7768762Smckusick  */
7868762Smckusick void lock_init(lkp, prio, wmesg, timo, flags)
7968762Smckusick 	struct lock *lkp;
8068762Smckusick 	int prio;
8168762Smckusick 	char *wmesg;
8268762Smckusick 	int timo;
8368762Smckusick 	int flags;
8468762Smckusick {
8568762Smckusick 	bzero(lkp, sizeof(struct lock));
8668762Smckusick 	atomic_lock_init(&lkp->lk_interlock);
8768762Smckusick 	lkp->lk_flags = flags & LK_EXTFLG_MASK;
8868762Smckusick 	lkp->lk_prio = prio;
8968762Smckusick 	lkp->lk_timo = timo;
9068762Smckusick 	lkp->lk_wmesg = wmesg;
9168762Smckusick 	lkp->lk_lockholder = LK_NOPROC;
9268762Smckusick }
9368762Smckusick 
9468762Smckusick /*
9568762Smckusick  * Set, change, or release a lock.
9668762Smckusick  *
9768762Smckusick  * Shared requests increment the shared count. Exclusive requests set the
9868762Smckusick  * LK_WANT_EXCL flag (preventing further shared locks), and wait for already
9968762Smckusick  * accepted shared locks and shared-to-exclusive upgrades to go away.
10068762Smckusick  */
10168762Smckusick lockmgr(lkp, p, flags)
10268762Smckusick 	struct lock *lkp;
10368762Smckusick 	struct proc *p;
10468762Smckusick 	int flags;
10568762Smckusick {
10668762Smckusick 	pid_t pid;
10768762Smckusick 	int error, extflags;
10868762Smckusick 
10968762Smckusick 	pid = p->p_pid;
110*68775Smckusick 	atomic_lock(&lkp->lk_interlock);
11168762Smckusick 	extflags = (flags | lkp->lk_flags) & LK_EXTFLG_MASK;
11268762Smckusick 	lkp->lk_flags &= ~LK_SLEPT;
11368762Smckusick 
11468762Smckusick 	switch (flags & LK_TYPE_MASK) {
11568762Smckusick 
11668762Smckusick 	case LK_SHARED:
11768762Smckusick 		if (lkp->lk_lockholder != pid) {
11868762Smckusick 			/*
11968762Smckusick 			 * If just polling, check to see if we will block.
12068762Smckusick 			 */
12168762Smckusick 			if ((extflags & LK_NOWAIT) && (lkp->lk_flags &
12268762Smckusick 			    (LK_HAVE_EXCL | LK_WANT_EXCL | LK_WANT_UPGRADE))) {
12368762Smckusick 				atomic_unlock(&lkp->lk_interlock);
12468762Smckusick 				return (EBUSY);
12568762Smckusick 			}
12668762Smckusick 			/*
12768762Smckusick 			 * Wait for exclusive locks and upgrades to clear.
12868762Smckusick 			 */
12968762Smckusick 			ACQUIRE(lkp, error, extflags, lkp->lk_flags &
13068762Smckusick 			    (LK_HAVE_EXCL | LK_WANT_EXCL | LK_WANT_UPGRADE));
13168762Smckusick 			if (error) {
13268762Smckusick 				atomic_unlock(&lkp->lk_interlock);
13368762Smckusick 				return (error);
13468762Smckusick 			}
13568762Smckusick 			lkp->lk_sharecount++;
13668762Smckusick 			atomic_unlock(&lkp->lk_interlock);
13768762Smckusick 			return (0);
13868762Smckusick 		}
13968762Smckusick 		/*
14068762Smckusick 		 * We hold an exclusive lock, so downgrade it to shared.
14168762Smckusick 		 * An alternative would be to fail with EDEADLK.
14268762Smckusick 		 */
14368762Smckusick 		lkp->lk_sharecount++;
14468762Smckusick 		/* fall into downgrade */
14568762Smckusick 
14668762Smckusick 	case LK_DOWNGRADE:
14768762Smckusick 		if (lkp->lk_lockholder != pid || lkp->lk_exclusivecount == 0)
14868762Smckusick 			panic("lockmgr: not holding exclusive lock");
14968762Smckusick 		lkp->lk_sharecount += lkp->lk_exclusivecount;
15068762Smckusick 		lkp->lk_exclusivecount = 0;
15168762Smckusick 		lkp->lk_flags &= ~LK_HAVE_EXCL;
15268762Smckusick 		lkp->lk_lockholder = LK_NOPROC;
15368762Smckusick 		if (lkp->lk_flags & LK_WAITING) {
15468762Smckusick 			lkp->lk_flags &= ~LK_WAITING;
15568762Smckusick 			wakeup(lkp);
15668762Smckusick 		}
15768762Smckusick 		atomic_unlock(&lkp->lk_interlock);
15868762Smckusick 		return (0);
15968762Smckusick 
16068762Smckusick 	case LK_UPGRADE:
16168762Smckusick 		/*
16268762Smckusick 		 * Upgrade a shared lock to an exclusive one. If another
16368762Smckusick 		 * shared lock has already requested an upgrade to an
16468762Smckusick 		 * exclusive lock, our shared lock is released and an
16568762Smckusick 		 * exclusive lock is requested (which will be granted
166*68775Smckusick 		 * after the upgrade). If we return an error, the file
167*68775Smckusick 		 * will always be unlocked.
16868762Smckusick 		 */
16968762Smckusick 		if (lkp->lk_lockholder == pid || lkp->lk_sharecount <= 0)
17068762Smckusick 			panic("lockmgr: upgrade exclusive lock");
171*68775Smckusick 		lkp->lk_sharecount--;
17268762Smckusick 		/*
17368762Smckusick 		 * If we are just polling, check to see if we will block.
17468762Smckusick 		 */
17568762Smckusick 		if ((extflags & LK_NOWAIT) &&
17668762Smckusick 		    ((lkp->lk_flags & LK_WANT_UPGRADE) ||
17768762Smckusick 		     lkp->lk_sharecount > 1)) {
17868762Smckusick 			atomic_unlock(&lkp->lk_interlock);
17968762Smckusick 			return (EBUSY);
18068762Smckusick 		}
18168762Smckusick 		if ((lkp->lk_flags & LK_WANT_UPGRADE) == 0) {
18268762Smckusick 			/*
18368762Smckusick 			 * We are first shared lock to request an upgrade, so
18468762Smckusick 			 * request upgrade and wait for the shared count to
18568762Smckusick 			 * drop to zero, then take exclusive lock.
18668762Smckusick 			 */
18768762Smckusick 			lkp->lk_flags |= LK_WANT_UPGRADE;
18868762Smckusick 			ACQUIRE(lkp, error, extflags, lkp->lk_sharecount);
18968762Smckusick 			lkp->lk_flags &= ~LK_WANT_UPGRADE;
19068762Smckusick 			if (error) {
19168762Smckusick 				atomic_unlock(&lkp->lk_interlock);
19268762Smckusick 				return (error);
19368762Smckusick 			}
19468762Smckusick 			lkp->lk_flags |= LK_HAVE_EXCL;
19568762Smckusick 			lkp->lk_lockholder = pid;
19668762Smckusick 			if (lkp->lk_exclusivecount != 0)
19768762Smckusick 				panic("lockmgr: non-zero exclusive count");
19868762Smckusick 			lkp->lk_exclusivecount = 1;
19968762Smckusick 			atomic_unlock(&lkp->lk_interlock);
20068762Smckusick 			return (0);
20168762Smckusick 		}
20268762Smckusick 		/*
20368762Smckusick 		 * Someone else has requested upgrade. Release our shared
20468762Smckusick 		 * lock, awaken upgrade requestor if we are the last shared
20568762Smckusick 		 * lock, then request an exclusive lock.
20668762Smckusick 		 */
20768762Smckusick 		if (lkp->lk_sharecount == 0 && (lkp->lk_flags & LK_WAITING)) {
20868762Smckusick 			lkp->lk_flags &= ~LK_WAITING;
20968762Smckusick 			wakeup(lkp);
21068762Smckusick 		}
21168762Smckusick 		/* fall into exclusive request */
21268762Smckusick 
21368762Smckusick 	case LK_EXCLUSIVE:
21468762Smckusick 		if (lkp->lk_lockholder == pid) {
21568762Smckusick 			/*
21668762Smckusick 			 *	Recursive lock.
21768762Smckusick 			 */
21868762Smckusick 			if ((extflags & LK_CANRECURSE) == 0)
21968762Smckusick 				panic("lockmgr: locking against myself");
22068762Smckusick 			lkp->lk_exclusivecount++;
22168762Smckusick 			atomic_unlock(&lkp->lk_interlock);
22268762Smckusick 			return (0);
22368762Smckusick 		}
22468762Smckusick 		/*
22568762Smckusick 		 * If we are just polling, check to see if we will sleep.
22668762Smckusick 		 */
22768762Smckusick 		if ((extflags & LK_NOWAIT) && ((lkp->lk_flags &
22868762Smckusick 		     (LK_HAVE_EXCL | LK_WANT_EXCL | LK_WANT_UPGRADE)) ||
22968762Smckusick 		     lkp->lk_sharecount != 0)) {
23068762Smckusick 			atomic_unlock(&lkp->lk_interlock);
23168762Smckusick 			return (EBUSY);
23268762Smckusick 		}
23368762Smckusick 		/*
23468762Smckusick 		 * Try to acquire the want_exclusive flag.
23568762Smckusick 		 */
23668762Smckusick 		ACQUIRE(lkp, error, extflags, lkp->lk_flags &
23768762Smckusick 		    (LK_HAVE_EXCL | LK_WANT_EXCL));
23868762Smckusick 		if (error) {
23968762Smckusick 			atomic_unlock(&lkp->lk_interlock);
24068762Smckusick 			return (error);
24168762Smckusick 		}
24268762Smckusick 		lkp->lk_flags |= LK_WANT_EXCL;
24368762Smckusick 		/*
24468762Smckusick 		 * Wait for shared locks and upgrades to finish.
24568762Smckusick 		 */
24668762Smckusick 		ACQUIRE(lkp, error, extflags, lkp->lk_sharecount != 0 ||
24768762Smckusick 		       (lkp->lk_flags & LK_WANT_UPGRADE));
24868762Smckusick 		lkp->lk_flags &= ~LK_WANT_EXCL;
24968762Smckusick 		if (error) {
25068762Smckusick 			atomic_unlock(&lkp->lk_interlock);
25168762Smckusick 			return (error);
25268762Smckusick 		}
25368762Smckusick 		lkp->lk_flags |= LK_HAVE_EXCL;
25468762Smckusick 		lkp->lk_lockholder = pid;
25568762Smckusick 		if (lkp->lk_exclusivecount != 0)
25668762Smckusick 			panic("lockmgr: non-zero exclusive count");
25768762Smckusick 		lkp->lk_exclusivecount = 1;
25868762Smckusick 		atomic_unlock(&lkp->lk_interlock);
25968762Smckusick 		return (0);
26068762Smckusick 
26168762Smckusick 	case LK_RELEASE:
26268762Smckusick 		if (lkp->lk_exclusivecount != 0) {
26368762Smckusick 			lkp->lk_exclusivecount--;
26468762Smckusick 			if (lkp->lk_exclusivecount == 0) {
26568762Smckusick 				lkp->lk_flags &= ~LK_HAVE_EXCL;
26668762Smckusick 				lkp->lk_lockholder = LK_NOPROC;
26768762Smckusick 			}
26868762Smckusick 		} else if (lkp->lk_sharecount != 0)
26968762Smckusick 			lkp->lk_sharecount--;
27068762Smckusick 		if (lkp->lk_flags & LK_WAITING) {
27168762Smckusick 			lkp->lk_flags &= ~LK_WAITING;
27268762Smckusick 			wakeup(lkp);
27368762Smckusick 		}
27468762Smckusick 		atomic_unlock(&lkp->lk_interlock);
27568762Smckusick 		return (0);
27668762Smckusick 
27768762Smckusick 	default:
278*68775Smckusick 		atomic_unlock(&lkp->lk_interlock);
27968762Smckusick 		panic("lockmgr: unknown locktype request %d",
28068762Smckusick 		    flags & LK_TYPE_MASK);
281*68775Smckusick 		/* NOTREACHED */
28268762Smckusick 	}
28368762Smckusick }
284