xref: /freebsd/sys/kern/kern_lockf.c (revision 996c772f581f5624846dcd8470ca6860c1678b7c)
192dc7331SDavid Greenman /*
292dc7331SDavid Greenman  * Copyright (c) 1982, 1986, 1989, 1993
392dc7331SDavid Greenman  *	The Regents of the University of California.  All rights reserved.
492dc7331SDavid Greenman  *
592dc7331SDavid Greenman  * This code is derived from software contributed to Berkeley by
692dc7331SDavid Greenman  * Scooter Morris at Genentech Inc.
792dc7331SDavid Greenman  *
892dc7331SDavid Greenman  * Redistribution and use in source and binary forms, with or without
992dc7331SDavid Greenman  * modification, are permitted provided that the following conditions
1092dc7331SDavid Greenman  * are met:
1192dc7331SDavid Greenman  * 1. Redistributions of source code must retain the above copyright
1292dc7331SDavid Greenman  *    notice, this list of conditions and the following disclaimer.
1392dc7331SDavid Greenman  * 2. Redistributions in binary form must reproduce the above copyright
1492dc7331SDavid Greenman  *    notice, this list of conditions and the following disclaimer in the
1592dc7331SDavid Greenman  *    documentation and/or other materials provided with the distribution.
1692dc7331SDavid Greenman  * 3. All advertising materials mentioning features or use of this software
1792dc7331SDavid Greenman  *    must display the following acknowledgement:
1892dc7331SDavid Greenman  *	This product includes software developed by the University of
1992dc7331SDavid Greenman  *	California, Berkeley and its contributors.
2092dc7331SDavid Greenman  * 4. Neither the name of the University nor the names of its contributors
2192dc7331SDavid Greenman  *    may be used to endorse or promote products derived from this software
2292dc7331SDavid Greenman  *    without specific prior written permission.
2392dc7331SDavid Greenman  *
2492dc7331SDavid Greenman  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
2592dc7331SDavid Greenman  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2692dc7331SDavid Greenman  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2792dc7331SDavid Greenman  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
2892dc7331SDavid Greenman  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2992dc7331SDavid Greenman  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
3092dc7331SDavid Greenman  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
3192dc7331SDavid Greenman  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
3292dc7331SDavid Greenman  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
3392dc7331SDavid Greenman  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
3492dc7331SDavid Greenman  * SUCH DAMAGE.
3592dc7331SDavid Greenman  *
3692dc7331SDavid Greenman  *	@(#)ufs_lockf.c	8.3 (Berkeley) 1/6/94
371130b656SJordan K. Hubbard  * $FreeBSD$
3892dc7331SDavid Greenman  */
3992dc7331SDavid Greenman 
4092dc7331SDavid Greenman #include <sys/param.h>
4192dc7331SDavid Greenman #include <sys/systm.h>
4292dc7331SDavid Greenman #include <sys/kernel.h>
4392dc7331SDavid Greenman #include <sys/proc.h>
44b71fec07SBruce Evans #include <sys/unistd.h>
4592dc7331SDavid Greenman #include <sys/vnode.h>
4692dc7331SDavid Greenman #include <sys/malloc.h>
4792dc7331SDavid Greenman #include <sys/fcntl.h>
4892dc7331SDavid Greenman 
4992dc7331SDavid Greenman #include <sys/lockf.h>
5092dc7331SDavid Greenman 
5192dc7331SDavid Greenman /*
5292dc7331SDavid Greenman  * This variable controls the maximum number of processes that will
5392dc7331SDavid Greenman  * be checked in doing deadlock detection.
5492dc7331SDavid Greenman  */
55996c772fSJohn Dyson static int maxlockdepth = MAXDEPTH;
5692dc7331SDavid Greenman 
5792dc7331SDavid Greenman #ifdef LOCKF_DEBUG
58996c772fSJohn Dyson #include <vm/vm.h>
59996c772fSJohn Dyson #include <sys/sysctl.h>
6092dc7331SDavid Greenman int	lockf_debug = 0;
61996c772fSJohn Dyson SYSCTL_INT(_debug, 4, lockf_debug, CTLFLAG_RW, &lockf_debug, 0, "");
6292dc7331SDavid Greenman #endif
6392dc7331SDavid Greenman 
6492dc7331SDavid Greenman #define NOLOCKF (struct lockf *)0
6592dc7331SDavid Greenman #define SELF	0x1
6692dc7331SDavid Greenman #define OTHERS	0x2
6787b6de2bSPoul-Henning Kamp static int	 lf_clearlock __P((struct lockf *));
6887b6de2bSPoul-Henning Kamp static int	 lf_findoverlap __P((struct lockf *,
6987b6de2bSPoul-Henning Kamp 	    struct lockf *, int, struct lockf ***, struct lockf **));
7087b6de2bSPoul-Henning Kamp static struct lockf *
7187b6de2bSPoul-Henning Kamp 	 lf_getblock __P((struct lockf *));
7287b6de2bSPoul-Henning Kamp static int	 lf_getlock __P((struct lockf *, struct flock *));
7387b6de2bSPoul-Henning Kamp static int	 lf_setlock __P((struct lockf *));
7487b6de2bSPoul-Henning Kamp static void	 lf_split __P((struct lockf *, struct lockf *));
7587b6de2bSPoul-Henning Kamp static void	 lf_wakelock __P((struct lockf *));
7692dc7331SDavid Greenman 
7792dc7331SDavid Greenman /*
7892dc7331SDavid Greenman  * Advisory record locking support
7992dc7331SDavid Greenman  */
8092dc7331SDavid Greenman int
8192dc7331SDavid Greenman lf_advlock(ap, head, size)
8292dc7331SDavid Greenman 	struct vop_advlock_args /* {
8392dc7331SDavid Greenman 		struct vnode *a_vp;
8492dc7331SDavid Greenman 		caddr_t  a_id;
8592dc7331SDavid Greenman 		int  a_op;
8692dc7331SDavid Greenman 		struct flock *a_fl;
8792dc7331SDavid Greenman 		int  a_flags;
8892dc7331SDavid Greenman 	} */ *ap;
8992dc7331SDavid Greenman 	struct lockf **head;
9092dc7331SDavid Greenman 	u_quad_t size;
9192dc7331SDavid Greenman {
9292dc7331SDavid Greenman 	register struct flock *fl = ap->a_fl;
9392dc7331SDavid Greenman 	register struct lockf *lock;
9492dc7331SDavid Greenman 	off_t start, end;
9592dc7331SDavid Greenman 	int error;
9692dc7331SDavid Greenman 
9792dc7331SDavid Greenman 	/*
9892dc7331SDavid Greenman 	 * Convert the flock structure into a start and end.
9992dc7331SDavid Greenman 	 */
10092dc7331SDavid Greenman 	switch (fl->l_whence) {
10192dc7331SDavid Greenman 
10292dc7331SDavid Greenman 	case SEEK_SET:
10392dc7331SDavid Greenman 	case SEEK_CUR:
10492dc7331SDavid Greenman 		/*
10592dc7331SDavid Greenman 		 * Caller is responsible for adding any necessary offset
10692dc7331SDavid Greenman 		 * when SEEK_CUR is used.
10792dc7331SDavid Greenman 		 */
10892dc7331SDavid Greenman 		start = fl->l_start;
10992dc7331SDavid Greenman 		break;
11092dc7331SDavid Greenman 
11192dc7331SDavid Greenman 	case SEEK_END:
11292dc7331SDavid Greenman 		start = size + fl->l_start;
11392dc7331SDavid Greenman 		break;
11492dc7331SDavid Greenman 
11592dc7331SDavid Greenman 	default:
11692dc7331SDavid Greenman 		return (EINVAL);
11792dc7331SDavid Greenman 	}
11892dc7331SDavid Greenman 	if (start < 0)
11992dc7331SDavid Greenman 		return (EINVAL);
12092dc7331SDavid Greenman 	if (fl->l_len == 0)
12192dc7331SDavid Greenman 		end = -1;
122a88bd8aaSBruce Evans 	else {
12392dc7331SDavid Greenman 		end = start + fl->l_len - 1;
124a88bd8aaSBruce Evans 		if (end < start)
125a88bd8aaSBruce Evans 			return (EINVAL);
126a88bd8aaSBruce Evans 	}
127a88bd8aaSBruce Evans 	/*
128a88bd8aaSBruce Evans 	 * Avoid the common case of unlocking when inode has no locks.
129a88bd8aaSBruce Evans 	 */
130a88bd8aaSBruce Evans 	if (*head == (struct lockf *)0) {
131a88bd8aaSBruce Evans 		if (ap->a_op != F_SETLK) {
132a88bd8aaSBruce Evans 			fl->l_type = F_UNLCK;
133a88bd8aaSBruce Evans 			return (0);
134a88bd8aaSBruce Evans 		}
135a88bd8aaSBruce Evans 	}
13692dc7331SDavid Greenman 	/*
13792dc7331SDavid Greenman 	 * Create the lockf structure
13892dc7331SDavid Greenman 	 */
13992dc7331SDavid Greenman 	MALLOC(lock, struct lockf *, sizeof *lock, M_LOCKF, M_WAITOK);
14092dc7331SDavid Greenman 	lock->lf_start = start;
14192dc7331SDavid Greenman 	lock->lf_end = end;
14292dc7331SDavid Greenman 	lock->lf_id = ap->a_id;
143996c772fSJohn Dyson /*	lock->lf_inode = ip; */	/* XXX JH */
14492dc7331SDavid Greenman 	lock->lf_type = fl->l_type;
145996c772fSJohn Dyson 	lock->lf_head = head;
14692dc7331SDavid Greenman 	lock->lf_next = (struct lockf *)0;
147996c772fSJohn Dyson 	TAILQ_INIT(&lock->lf_blkhd);
14892dc7331SDavid Greenman 	lock->lf_flags = ap->a_flags;
14992dc7331SDavid Greenman 	/*
15092dc7331SDavid Greenman 	 * Do the requested operation.
15192dc7331SDavid Greenman 	 */
15292dc7331SDavid Greenman 	switch(ap->a_op) {
15392dc7331SDavid Greenman 	case F_SETLK:
15492dc7331SDavid Greenman 		return (lf_setlock(lock));
15592dc7331SDavid Greenman 
15692dc7331SDavid Greenman 	case F_UNLCK:
15792dc7331SDavid Greenman 		error = lf_clearlock(lock);
15892dc7331SDavid Greenman 		FREE(lock, M_LOCKF);
15992dc7331SDavid Greenman 		return (error);
16092dc7331SDavid Greenman 
16192dc7331SDavid Greenman 	case F_GETLK:
16292dc7331SDavid Greenman 		error = lf_getlock(lock, fl);
16392dc7331SDavid Greenman 		FREE(lock, M_LOCKF);
16492dc7331SDavid Greenman 		return (error);
16592dc7331SDavid Greenman 
16692dc7331SDavid Greenman 	default:
16792dc7331SDavid Greenman 		free(lock, M_LOCKF);
16892dc7331SDavid Greenman 		return (EINVAL);
16992dc7331SDavid Greenman 	}
17092dc7331SDavid Greenman 	/* NOTREACHED */
17192dc7331SDavid Greenman }
17292dc7331SDavid Greenman 
17392dc7331SDavid Greenman /*
17492dc7331SDavid Greenman  * Set a byte-range lock.
17592dc7331SDavid Greenman  */
17687b6de2bSPoul-Henning Kamp static int
17792dc7331SDavid Greenman lf_setlock(lock)
17892dc7331SDavid Greenman 	register struct lockf *lock;
17992dc7331SDavid Greenman {
18092dc7331SDavid Greenman 	register struct lockf *block;
18192dc7331SDavid Greenman 	struct lockf **head = lock->lf_head;
18292dc7331SDavid Greenman 	struct lockf **prev, *overlap, *ltmp;
18392dc7331SDavid Greenman 	static char lockstr[] = "lockf";
18492dc7331SDavid Greenman 	int ovcase, priority, needtolink, error;
18592dc7331SDavid Greenman 
18692dc7331SDavid Greenman #ifdef LOCKF_DEBUG
18792dc7331SDavid Greenman 	if (lockf_debug & 1)
18892dc7331SDavid Greenman 		lf_print("lf_setlock", lock);
18992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
19092dc7331SDavid Greenman 
19192dc7331SDavid Greenman 	/*
19292dc7331SDavid Greenman 	 * Set the priority
19392dc7331SDavid Greenman 	 */
19492dc7331SDavid Greenman 	priority = PLOCK;
19592dc7331SDavid Greenman 	if (lock->lf_type == F_WRLCK)
19692dc7331SDavid Greenman 		priority += 4;
19792dc7331SDavid Greenman 	priority |= PCATCH;
19892dc7331SDavid Greenman 	/*
19992dc7331SDavid Greenman 	 * Scan lock list for this file looking for locks that would block us.
20092dc7331SDavid Greenman 	 */
201bb56ec4aSPoul-Henning Kamp 	while ((block = lf_getblock(lock))) {
20292dc7331SDavid Greenman 		/*
20392dc7331SDavid Greenman 		 * Free the structure and return if nonblocking.
20492dc7331SDavid Greenman 		 */
20592dc7331SDavid Greenman 		if ((lock->lf_flags & F_WAIT) == 0) {
20692dc7331SDavid Greenman 			FREE(lock, M_LOCKF);
20792dc7331SDavid Greenman 			return (EAGAIN);
20892dc7331SDavid Greenman 		}
20992dc7331SDavid Greenman 		/*
21092dc7331SDavid Greenman 		 * We are blocked. Since flock style locks cover
21192dc7331SDavid Greenman 		 * the whole file, there is no chance for deadlock.
21292dc7331SDavid Greenman 		 * For byte-range locks we must check for deadlock.
21392dc7331SDavid Greenman 		 *
21492dc7331SDavid Greenman 		 * Deadlock detection is done by looking through the
21592dc7331SDavid Greenman 		 * wait channels to see if there are any cycles that
21692dc7331SDavid Greenman 		 * involve us. MAXDEPTH is set just to make sure we
21792dc7331SDavid Greenman 		 * do not go off into neverland.
21892dc7331SDavid Greenman 		 */
21992dc7331SDavid Greenman 		if ((lock->lf_flags & F_POSIX) &&
22092dc7331SDavid Greenman 		    (block->lf_flags & F_POSIX)) {
22192dc7331SDavid Greenman 			register struct proc *wproc;
22292dc7331SDavid Greenman 			register struct lockf *waitblock;
22392dc7331SDavid Greenman 			int i = 0;
22492dc7331SDavid Greenman 
22592dc7331SDavid Greenman 			/* The block is waiting on something */
22692dc7331SDavid Greenman 			wproc = (struct proc *)block->lf_id;
22792dc7331SDavid Greenman 			while (wproc->p_wchan &&
22892dc7331SDavid Greenman 			       (wproc->p_wmesg == lockstr) &&
22992dc7331SDavid Greenman 			       (i++ < maxlockdepth)) {
23092dc7331SDavid Greenman 				waitblock = (struct lockf *)wproc->p_wchan;
23192dc7331SDavid Greenman 				/* Get the owner of the blocking lock */
23292dc7331SDavid Greenman 				waitblock = waitblock->lf_next;
23392dc7331SDavid Greenman 				if ((waitblock->lf_flags & F_POSIX) == 0)
23492dc7331SDavid Greenman 					break;
23592dc7331SDavid Greenman 				wproc = (struct proc *)waitblock->lf_id;
23692dc7331SDavid Greenman 				if (wproc == (struct proc *)lock->lf_id) {
23792dc7331SDavid Greenman 					free(lock, M_LOCKF);
23892dc7331SDavid Greenman 					return (EDEADLK);
23992dc7331SDavid Greenman 				}
24092dc7331SDavid Greenman 			}
24192dc7331SDavid Greenman 		}
24292dc7331SDavid Greenman 		/*
24392dc7331SDavid Greenman 		 * For flock type locks, we must first remove
24492dc7331SDavid Greenman 		 * any shared locks that we hold before we sleep
24592dc7331SDavid Greenman 		 * waiting for an exclusive lock.
24692dc7331SDavid Greenman 		 */
24792dc7331SDavid Greenman 		if ((lock->lf_flags & F_FLOCK) &&
24892dc7331SDavid Greenman 		    lock->lf_type == F_WRLCK) {
24992dc7331SDavid Greenman 			lock->lf_type = F_UNLCK;
25092dc7331SDavid Greenman 			(void) lf_clearlock(lock);
25192dc7331SDavid Greenman 			lock->lf_type = F_WRLCK;
25292dc7331SDavid Greenman 		}
25392dc7331SDavid Greenman 		/*
25492dc7331SDavid Greenman 		 * Add our lock to the blocked list and sleep until we're free.
25592dc7331SDavid Greenman 		 * Remember who blocked us (for deadlock detection).
25692dc7331SDavid Greenman 		 */
25792dc7331SDavid Greenman 		lock->lf_next = block;
258996c772fSJohn Dyson 		TAILQ_INSERT_TAIL(&block->lf_blkhd, lock, lf_block);
25992dc7331SDavid Greenman #ifdef LOCKF_DEBUG
26092dc7331SDavid Greenman 		if (lockf_debug & 1) {
26192dc7331SDavid Greenman 			lf_print("lf_setlock: blocking on", block);
26292dc7331SDavid Greenman 			lf_printlist("lf_setlock", block);
26392dc7331SDavid Greenman 		}
26492dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
265bb56ec4aSPoul-Henning Kamp 		if ((error = tsleep((caddr_t)lock, priority, lockstr, 0))) {
26692dc7331SDavid Greenman                         /*
267996c772fSJohn Dyson 			 * We may have been awakened by a signal (in
268996c772fSJohn Dyson 			 * which case we must remove ourselves from the
269996c772fSJohn Dyson 			 * blocked list) and/or by another process
270996c772fSJohn Dyson 			 * releasing a lock (in which case we have already
271996c772fSJohn Dyson 			 * been removed from the blocked list and our
272996c772fSJohn Dyson 			 * lf_next field set to NOLOCKF).
27392dc7331SDavid Greenman                          */
274996c772fSJohn Dyson 			if (lock->lf_next)
275996c772fSJohn Dyson 				TAILQ_REMOVE(&lock->lf_next->lf_blkhd, lock,
276996c772fSJohn Dyson 					lf_block);
27792dc7331SDavid Greenman                         free(lock, M_LOCKF);
27892dc7331SDavid Greenman                         return (error);
27992dc7331SDavid Greenman 		}
28092dc7331SDavid Greenman 	}
28192dc7331SDavid Greenman 	/*
28292dc7331SDavid Greenman 	 * No blocks!!  Add the lock.  Note that we will
28392dc7331SDavid Greenman 	 * downgrade or upgrade any overlapping locks this
28492dc7331SDavid Greenman 	 * process already owns.
28592dc7331SDavid Greenman 	 *
28692dc7331SDavid Greenman 	 * Skip over locks owned by other processes.
28792dc7331SDavid Greenman 	 * Handle any locks that overlap and are owned by ourselves.
28892dc7331SDavid Greenman 	 */
28992dc7331SDavid Greenman 	prev = head;
29092dc7331SDavid Greenman 	block = *head;
29192dc7331SDavid Greenman 	needtolink = 1;
29292dc7331SDavid Greenman 	for (;;) {
293bb56ec4aSPoul-Henning Kamp 		ovcase = lf_findoverlap(block, lock, SELF, &prev, &overlap);
294bb56ec4aSPoul-Henning Kamp 		if (ovcase)
29592dc7331SDavid Greenman 			block = overlap->lf_next;
29692dc7331SDavid Greenman 		/*
29792dc7331SDavid Greenman 		 * Six cases:
29892dc7331SDavid Greenman 		 *	0) no overlap
29992dc7331SDavid Greenman 		 *	1) overlap == lock
30092dc7331SDavid Greenman 		 *	2) overlap contains lock
30192dc7331SDavid Greenman 		 *	3) lock contains overlap
30292dc7331SDavid Greenman 		 *	4) overlap starts before lock
30392dc7331SDavid Greenman 		 *	5) overlap ends after lock
30492dc7331SDavid Greenman 		 */
30592dc7331SDavid Greenman 		switch (ovcase) {
30692dc7331SDavid Greenman 		case 0: /* no overlap */
30792dc7331SDavid Greenman 			if (needtolink) {
30892dc7331SDavid Greenman 				*prev = lock;
30992dc7331SDavid Greenman 				lock->lf_next = overlap;
31092dc7331SDavid Greenman 			}
31192dc7331SDavid Greenman 			break;
31292dc7331SDavid Greenman 
31392dc7331SDavid Greenman 		case 1: /* overlap == lock */
31492dc7331SDavid Greenman 			/*
31592dc7331SDavid Greenman 			 * If downgrading lock, others may be
31692dc7331SDavid Greenman 			 * able to acquire it.
31792dc7331SDavid Greenman 			 */
31892dc7331SDavid Greenman 			if (lock->lf_type == F_RDLCK &&
31992dc7331SDavid Greenman 			    overlap->lf_type == F_WRLCK)
32092dc7331SDavid Greenman 				lf_wakelock(overlap);
32192dc7331SDavid Greenman 			overlap->lf_type = lock->lf_type;
32292dc7331SDavid Greenman 			FREE(lock, M_LOCKF);
32392dc7331SDavid Greenman 			lock = overlap; /* for debug output below */
32492dc7331SDavid Greenman 			break;
32592dc7331SDavid Greenman 
32692dc7331SDavid Greenman 		case 2: /* overlap contains lock */
32792dc7331SDavid Greenman 			/*
32892dc7331SDavid Greenman 			 * Check for common starting point and different types.
32992dc7331SDavid Greenman 			 */
33092dc7331SDavid Greenman 			if (overlap->lf_type == lock->lf_type) {
33192dc7331SDavid Greenman 				free(lock, M_LOCKF);
33292dc7331SDavid Greenman 				lock = overlap; /* for debug output below */
33392dc7331SDavid Greenman 				break;
33492dc7331SDavid Greenman 			}
33592dc7331SDavid Greenman 			if (overlap->lf_start == lock->lf_start) {
33692dc7331SDavid Greenman 				*prev = lock;
33792dc7331SDavid Greenman 				lock->lf_next = overlap;
33892dc7331SDavid Greenman 				overlap->lf_start = lock->lf_end + 1;
33992dc7331SDavid Greenman 			} else
34092dc7331SDavid Greenman 				lf_split(overlap, lock);
34192dc7331SDavid Greenman 			lf_wakelock(overlap);
34292dc7331SDavid Greenman 			break;
34392dc7331SDavid Greenman 
34492dc7331SDavid Greenman 		case 3: /* lock contains overlap */
34592dc7331SDavid Greenman 			/*
34692dc7331SDavid Greenman 			 * If downgrading lock, others may be able to
34792dc7331SDavid Greenman 			 * acquire it, otherwise take the list.
34892dc7331SDavid Greenman 			 */
34992dc7331SDavid Greenman 			if (lock->lf_type == F_RDLCK &&
35092dc7331SDavid Greenman 			    overlap->lf_type == F_WRLCK) {
35192dc7331SDavid Greenman 				lf_wakelock(overlap);
35292dc7331SDavid Greenman 			} else {
353996c772fSJohn Dyson 				while (ltmp = overlap->lf_blkhd.tqh_first) {
354996c772fSJohn Dyson 					TAILQ_REMOVE(&overlap->lf_blkhd, ltmp,
355996c772fSJohn Dyson 					    lf_block);
356996c772fSJohn Dyson 					TAILQ_INSERT_TAIL(&lock->lf_blkhd,
357996c772fSJohn Dyson 					    ltmp, lf_block);
358996c772fSJohn Dyson 				}
35992dc7331SDavid Greenman 			}
36092dc7331SDavid Greenman 			/*
36192dc7331SDavid Greenman 			 * Add the new lock if necessary and delete the overlap.
36292dc7331SDavid Greenman 			 */
36392dc7331SDavid Greenman 			if (needtolink) {
36492dc7331SDavid Greenman 				*prev = lock;
36592dc7331SDavid Greenman 				lock->lf_next = overlap->lf_next;
36692dc7331SDavid Greenman 				prev = &lock->lf_next;
36792dc7331SDavid Greenman 				needtolink = 0;
36892dc7331SDavid Greenman 			} else
36992dc7331SDavid Greenman 				*prev = overlap->lf_next;
37092dc7331SDavid Greenman 			free(overlap, M_LOCKF);
37192dc7331SDavid Greenman 			continue;
37292dc7331SDavid Greenman 
37392dc7331SDavid Greenman 		case 4: /* overlap starts before lock */
37492dc7331SDavid Greenman 			/*
37592dc7331SDavid Greenman 			 * Add lock after overlap on the list.
37692dc7331SDavid Greenman 			 */
37792dc7331SDavid Greenman 			lock->lf_next = overlap->lf_next;
37892dc7331SDavid Greenman 			overlap->lf_next = lock;
37992dc7331SDavid Greenman 			overlap->lf_end = lock->lf_start - 1;
38092dc7331SDavid Greenman 			prev = &lock->lf_next;
38192dc7331SDavid Greenman 			lf_wakelock(overlap);
38292dc7331SDavid Greenman 			needtolink = 0;
38392dc7331SDavid Greenman 			continue;
38492dc7331SDavid Greenman 
38592dc7331SDavid Greenman 		case 5: /* overlap ends after lock */
38692dc7331SDavid Greenman 			/*
38792dc7331SDavid Greenman 			 * Add the new lock before overlap.
38892dc7331SDavid Greenman 			 */
38992dc7331SDavid Greenman 			if (needtolink) {
39092dc7331SDavid Greenman 				*prev = lock;
39192dc7331SDavid Greenman 				lock->lf_next = overlap;
39292dc7331SDavid Greenman 			}
39392dc7331SDavid Greenman 			overlap->lf_start = lock->lf_end + 1;
39492dc7331SDavid Greenman 			lf_wakelock(overlap);
39592dc7331SDavid Greenman 			break;
39692dc7331SDavid Greenman 		}
39792dc7331SDavid Greenman 		break;
39892dc7331SDavid Greenman 	}
39992dc7331SDavid Greenman #ifdef LOCKF_DEBUG
40092dc7331SDavid Greenman 	if (lockf_debug & 1) {
40192dc7331SDavid Greenman 		lf_print("lf_setlock: got the lock", lock);
40292dc7331SDavid Greenman 		lf_printlist("lf_setlock", lock);
40392dc7331SDavid Greenman 	}
40492dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
40592dc7331SDavid Greenman 	return (0);
40692dc7331SDavid Greenman }
40792dc7331SDavid Greenman 
40892dc7331SDavid Greenman /*
40992dc7331SDavid Greenman  * Remove a byte-range lock on an inode.
41092dc7331SDavid Greenman  *
41192dc7331SDavid Greenman  * Generally, find the lock (or an overlap to that lock)
41292dc7331SDavid Greenman  * and remove it (or shrink it), then wakeup anyone we can.
41392dc7331SDavid Greenman  */
41487b6de2bSPoul-Henning Kamp static int
41592dc7331SDavid Greenman lf_clearlock(unlock)
41692dc7331SDavid Greenman 	register struct lockf *unlock;
41792dc7331SDavid Greenman {
41892dc7331SDavid Greenman 	struct lockf **head = unlock->lf_head;
41992dc7331SDavid Greenman 	register struct lockf *lf = *head;
42092dc7331SDavid Greenman 	struct lockf *overlap, **prev;
42192dc7331SDavid Greenman 	int ovcase;
42292dc7331SDavid Greenman 
42392dc7331SDavid Greenman 	if (lf == NOLOCKF)
42492dc7331SDavid Greenman 		return (0);
42592dc7331SDavid Greenman #ifdef LOCKF_DEBUG
42692dc7331SDavid Greenman 	if (unlock->lf_type != F_UNLCK)
42792dc7331SDavid Greenman 		panic("lf_clearlock: bad type");
42892dc7331SDavid Greenman 	if (lockf_debug & 1)
42992dc7331SDavid Greenman 		lf_print("lf_clearlock", unlock);
43092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
43192dc7331SDavid Greenman 	prev = head;
432bb56ec4aSPoul-Henning Kamp 	while ((ovcase = lf_findoverlap(lf, unlock, SELF, &prev, &overlap))) {
43392dc7331SDavid Greenman 		/*
43492dc7331SDavid Greenman 		 * Wakeup the list of locks to be retried.
43592dc7331SDavid Greenman 		 */
43692dc7331SDavid Greenman 		lf_wakelock(overlap);
43792dc7331SDavid Greenman 
43892dc7331SDavid Greenman 		switch (ovcase) {
43992dc7331SDavid Greenman 
44092dc7331SDavid Greenman 		case 1: /* overlap == lock */
44192dc7331SDavid Greenman 			*prev = overlap->lf_next;
44292dc7331SDavid Greenman 			FREE(overlap, M_LOCKF);
44392dc7331SDavid Greenman 			break;
44492dc7331SDavid Greenman 
44592dc7331SDavid Greenman 		case 2: /* overlap contains lock: split it */
44692dc7331SDavid Greenman 			if (overlap->lf_start == unlock->lf_start) {
44792dc7331SDavid Greenman 				overlap->lf_start = unlock->lf_end + 1;
44892dc7331SDavid Greenman 				break;
44992dc7331SDavid Greenman 			}
45092dc7331SDavid Greenman 			lf_split(overlap, unlock);
45192dc7331SDavid Greenman 			overlap->lf_next = unlock->lf_next;
45292dc7331SDavid Greenman 			break;
45392dc7331SDavid Greenman 
45492dc7331SDavid Greenman 		case 3: /* lock contains overlap */
45592dc7331SDavid Greenman 			*prev = overlap->lf_next;
45692dc7331SDavid Greenman 			lf = overlap->lf_next;
45792dc7331SDavid Greenman 			free(overlap, M_LOCKF);
45892dc7331SDavid Greenman 			continue;
45992dc7331SDavid Greenman 
46092dc7331SDavid Greenman 		case 4: /* overlap starts before lock */
46192dc7331SDavid Greenman 			overlap->lf_end = unlock->lf_start - 1;
46292dc7331SDavid Greenman 			prev = &overlap->lf_next;
46392dc7331SDavid Greenman 			lf = overlap->lf_next;
46492dc7331SDavid Greenman 			continue;
46592dc7331SDavid Greenman 
46692dc7331SDavid Greenman 		case 5: /* overlap ends after lock */
46792dc7331SDavid Greenman 			overlap->lf_start = unlock->lf_end + 1;
46892dc7331SDavid Greenman 			break;
46992dc7331SDavid Greenman 		}
47092dc7331SDavid Greenman 		break;
47192dc7331SDavid Greenman 	}
47292dc7331SDavid Greenman #ifdef LOCKF_DEBUG
47392dc7331SDavid Greenman 	if (lockf_debug & 1)
47492dc7331SDavid Greenman 		lf_printlist("lf_clearlock", unlock);
47592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
47692dc7331SDavid Greenman 	return (0);
47792dc7331SDavid Greenman }
47892dc7331SDavid Greenman 
47992dc7331SDavid Greenman /*
48092dc7331SDavid Greenman  * Check whether there is a blocking lock,
48192dc7331SDavid Greenman  * and if so return its process identifier.
48292dc7331SDavid Greenman  */
48387b6de2bSPoul-Henning Kamp static int
48492dc7331SDavid Greenman lf_getlock(lock, fl)
48592dc7331SDavid Greenman 	register struct lockf *lock;
48692dc7331SDavid Greenman 	register struct flock *fl;
48792dc7331SDavid Greenman {
48892dc7331SDavid Greenman 	register struct lockf *block;
48992dc7331SDavid Greenman 
49092dc7331SDavid Greenman #ifdef LOCKF_DEBUG
49192dc7331SDavid Greenman 	if (lockf_debug & 1)
49292dc7331SDavid Greenman 		lf_print("lf_getlock", lock);
49392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
49492dc7331SDavid Greenman 
495bb56ec4aSPoul-Henning Kamp 	if ((block = lf_getblock(lock))) {
49692dc7331SDavid Greenman 		fl->l_type = block->lf_type;
49792dc7331SDavid Greenman 		fl->l_whence = SEEK_SET;
49892dc7331SDavid Greenman 		fl->l_start = block->lf_start;
49992dc7331SDavid Greenman 		if (block->lf_end == -1)
50092dc7331SDavid Greenman 			fl->l_len = 0;
50192dc7331SDavid Greenman 		else
50292dc7331SDavid Greenman 			fl->l_len = block->lf_end - block->lf_start + 1;
50392dc7331SDavid Greenman 		if (block->lf_flags & F_POSIX)
50492dc7331SDavid Greenman 			fl->l_pid = ((struct proc *)(block->lf_id))->p_pid;
50592dc7331SDavid Greenman 		else
50692dc7331SDavid Greenman 			fl->l_pid = -1;
50792dc7331SDavid Greenman 	} else {
50892dc7331SDavid Greenman 		fl->l_type = F_UNLCK;
50992dc7331SDavid Greenman 	}
51092dc7331SDavid Greenman 	return (0);
51192dc7331SDavid Greenman }
51292dc7331SDavid Greenman 
51392dc7331SDavid Greenman /*
51492dc7331SDavid Greenman  * Walk the list of locks for an inode and
51592dc7331SDavid Greenman  * return the first blocking lock.
51692dc7331SDavid Greenman  */
51787b6de2bSPoul-Henning Kamp static struct lockf *
51892dc7331SDavid Greenman lf_getblock(lock)
51992dc7331SDavid Greenman 	register struct lockf *lock;
52092dc7331SDavid Greenman {
52192dc7331SDavid Greenman 	struct lockf **prev, *overlap, *lf = *(lock->lf_head);
52292dc7331SDavid Greenman 	int ovcase;
52392dc7331SDavid Greenman 
52492dc7331SDavid Greenman 	prev = lock->lf_head;
525bb56ec4aSPoul-Henning Kamp 	while ((ovcase = lf_findoverlap(lf, lock, OTHERS, &prev, &overlap))) {
52692dc7331SDavid Greenman 		/*
52792dc7331SDavid Greenman 		 * We've found an overlap, see if it blocks us
52892dc7331SDavid Greenman 		 */
52992dc7331SDavid Greenman 		if ((lock->lf_type == F_WRLCK || overlap->lf_type == F_WRLCK))
53092dc7331SDavid Greenman 			return (overlap);
53192dc7331SDavid Greenman 		/*
53292dc7331SDavid Greenman 		 * Nope, point to the next one on the list and
53392dc7331SDavid Greenman 		 * see if it blocks us
53492dc7331SDavid Greenman 		 */
53592dc7331SDavid Greenman 		lf = overlap->lf_next;
53692dc7331SDavid Greenman 	}
53792dc7331SDavid Greenman 	return (NOLOCKF);
53892dc7331SDavid Greenman }
53992dc7331SDavid Greenman 
54092dc7331SDavid Greenman /*
54192dc7331SDavid Greenman  * Walk the list of locks for an inode to
54292dc7331SDavid Greenman  * find an overlapping lock (if any).
54392dc7331SDavid Greenman  *
54492dc7331SDavid Greenman  * NOTE: this returns only the FIRST overlapping lock.  There
54592dc7331SDavid Greenman  *	 may be more than one.
54692dc7331SDavid Greenman  */
54787b6de2bSPoul-Henning Kamp static int
54892dc7331SDavid Greenman lf_findoverlap(lf, lock, type, prev, overlap)
54992dc7331SDavid Greenman 	register struct lockf *lf;
55092dc7331SDavid Greenman 	struct lockf *lock;
55192dc7331SDavid Greenman 	int type;
55292dc7331SDavid Greenman 	struct lockf ***prev;
55392dc7331SDavid Greenman 	struct lockf **overlap;
55492dc7331SDavid Greenman {
55592dc7331SDavid Greenman 	off_t start, end;
55692dc7331SDavid Greenman 
55792dc7331SDavid Greenman 	*overlap = lf;
55892dc7331SDavid Greenman 	if (lf == NOLOCKF)
55992dc7331SDavid Greenman 		return (0);
56092dc7331SDavid Greenman #ifdef LOCKF_DEBUG
56192dc7331SDavid Greenman 	if (lockf_debug & 2)
56292dc7331SDavid Greenman 		lf_print("lf_findoverlap: looking for overlap in", lock);
56392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
56492dc7331SDavid Greenman 	start = lock->lf_start;
56592dc7331SDavid Greenman 	end = lock->lf_end;
56692dc7331SDavid Greenman 	while (lf != NOLOCKF) {
56792dc7331SDavid Greenman 		if (((type & SELF) && lf->lf_id != lock->lf_id) ||
56892dc7331SDavid Greenman 		    ((type & OTHERS) && lf->lf_id == lock->lf_id)) {
56992dc7331SDavid Greenman 			*prev = &lf->lf_next;
57092dc7331SDavid Greenman 			*overlap = lf = lf->lf_next;
57192dc7331SDavid Greenman 			continue;
57292dc7331SDavid Greenman 		}
57392dc7331SDavid Greenman #ifdef LOCKF_DEBUG
57492dc7331SDavid Greenman 		if (lockf_debug & 2)
57592dc7331SDavid Greenman 			lf_print("\tchecking", lf);
57692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
57792dc7331SDavid Greenman 		/*
57892dc7331SDavid Greenman 		 * OK, check for overlap
57992dc7331SDavid Greenman 		 *
58092dc7331SDavid Greenman 		 * Six cases:
58192dc7331SDavid Greenman 		 *	0) no overlap
58292dc7331SDavid Greenman 		 *	1) overlap == lock
58392dc7331SDavid Greenman 		 *	2) overlap contains lock
58492dc7331SDavid Greenman 		 *	3) lock contains overlap
58592dc7331SDavid Greenman 		 *	4) overlap starts before lock
58692dc7331SDavid Greenman 		 *	5) overlap ends after lock
58792dc7331SDavid Greenman 		 */
58892dc7331SDavid Greenman 		if ((lf->lf_end != -1 && start > lf->lf_end) ||
58992dc7331SDavid Greenman 		    (end != -1 && lf->lf_start > end)) {
59092dc7331SDavid Greenman 			/* Case 0 */
59192dc7331SDavid Greenman #ifdef LOCKF_DEBUG
59292dc7331SDavid Greenman 			if (lockf_debug & 2)
59392dc7331SDavid Greenman 				printf("no overlap\n");
59492dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
59592dc7331SDavid Greenman 			if ((type & SELF) && end != -1 && lf->lf_start > end)
59692dc7331SDavid Greenman 				return (0);
59792dc7331SDavid Greenman 			*prev = &lf->lf_next;
59892dc7331SDavid Greenman 			*overlap = lf = lf->lf_next;
59992dc7331SDavid Greenman 			continue;
60092dc7331SDavid Greenman 		}
60192dc7331SDavid Greenman 		if ((lf->lf_start == start) && (lf->lf_end == end)) {
60292dc7331SDavid Greenman 			/* Case 1 */
60392dc7331SDavid Greenman #ifdef LOCKF_DEBUG
60492dc7331SDavid Greenman 			if (lockf_debug & 2)
60592dc7331SDavid Greenman 				printf("overlap == lock\n");
60692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
60792dc7331SDavid Greenman 			return (1);
60892dc7331SDavid Greenman 		}
60992dc7331SDavid Greenman 		if ((lf->lf_start <= start) &&
61092dc7331SDavid Greenman 		    (end != -1) &&
61192dc7331SDavid Greenman 		    ((lf->lf_end >= end) || (lf->lf_end == -1))) {
61292dc7331SDavid Greenman 			/* Case 2 */
61392dc7331SDavid Greenman #ifdef LOCKF_DEBUG
61492dc7331SDavid Greenman 			if (lockf_debug & 2)
61592dc7331SDavid Greenman 				printf("overlap contains lock\n");
61692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
61792dc7331SDavid Greenman 			return (2);
61892dc7331SDavid Greenman 		}
61992dc7331SDavid Greenman 		if (start <= lf->lf_start &&
62092dc7331SDavid Greenman 		           (end == -1 ||
62192dc7331SDavid Greenman 			   (lf->lf_end != -1 && end >= lf->lf_end))) {
62292dc7331SDavid Greenman 			/* Case 3 */
62392dc7331SDavid Greenman #ifdef LOCKF_DEBUG
62492dc7331SDavid Greenman 			if (lockf_debug & 2)
62592dc7331SDavid Greenman 				printf("lock contains overlap\n");
62692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
62792dc7331SDavid Greenman 			return (3);
62892dc7331SDavid Greenman 		}
62992dc7331SDavid Greenman 		if ((lf->lf_start < start) &&
63092dc7331SDavid Greenman 			((lf->lf_end >= start) || (lf->lf_end == -1))) {
63192dc7331SDavid Greenman 			/* Case 4 */
63292dc7331SDavid Greenman #ifdef LOCKF_DEBUG
63392dc7331SDavid Greenman 			if (lockf_debug & 2)
63492dc7331SDavid Greenman 				printf("overlap starts before lock\n");
63592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
63692dc7331SDavid Greenman 			return (4);
63792dc7331SDavid Greenman 		}
63892dc7331SDavid Greenman 		if ((lf->lf_start > start) &&
63992dc7331SDavid Greenman 			(end != -1) &&
64092dc7331SDavid Greenman 			((lf->lf_end > end) || (lf->lf_end == -1))) {
64192dc7331SDavid Greenman 			/* Case 5 */
64292dc7331SDavid Greenman #ifdef LOCKF_DEBUG
64392dc7331SDavid Greenman 			if (lockf_debug & 2)
64492dc7331SDavid Greenman 				printf("overlap ends after lock\n");
64592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
64692dc7331SDavid Greenman 			return (5);
64792dc7331SDavid Greenman 		}
64892dc7331SDavid Greenman 		panic("lf_findoverlap: default");
64992dc7331SDavid Greenman 	}
65092dc7331SDavid Greenman 	return (0);
65192dc7331SDavid Greenman }
65292dc7331SDavid Greenman 
65392dc7331SDavid Greenman /*
65492dc7331SDavid Greenman  * Split a lock and a contained region into
65592dc7331SDavid Greenman  * two or three locks as necessary.
65692dc7331SDavid Greenman  */
65787b6de2bSPoul-Henning Kamp static void
65892dc7331SDavid Greenman lf_split(lock1, lock2)
65992dc7331SDavid Greenman 	register struct lockf *lock1;
66092dc7331SDavid Greenman 	register struct lockf *lock2;
66192dc7331SDavid Greenman {
66292dc7331SDavid Greenman 	register struct lockf *splitlock;
66392dc7331SDavid Greenman 
66492dc7331SDavid Greenman #ifdef LOCKF_DEBUG
66592dc7331SDavid Greenman 	if (lockf_debug & 2) {
66692dc7331SDavid Greenman 		lf_print("lf_split", lock1);
66792dc7331SDavid Greenman 		lf_print("splitting from", lock2);
66892dc7331SDavid Greenman 	}
66992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
67092dc7331SDavid Greenman 	/*
67192dc7331SDavid Greenman 	 * Check to see if spliting into only two pieces.
67292dc7331SDavid Greenman 	 */
67392dc7331SDavid Greenman 	if (lock1->lf_start == lock2->lf_start) {
67492dc7331SDavid Greenman 		lock1->lf_start = lock2->lf_end + 1;
67592dc7331SDavid Greenman 		lock2->lf_next = lock1;
67692dc7331SDavid Greenman 		return;
67792dc7331SDavid Greenman 	}
67892dc7331SDavid Greenman 	if (lock1->lf_end == lock2->lf_end) {
67992dc7331SDavid Greenman 		lock1->lf_end = lock2->lf_start - 1;
68092dc7331SDavid Greenman 		lock2->lf_next = lock1->lf_next;
68192dc7331SDavid Greenman 		lock1->lf_next = lock2;
68292dc7331SDavid Greenman 		return;
68392dc7331SDavid Greenman 	}
68492dc7331SDavid Greenman 	/*
68592dc7331SDavid Greenman 	 * Make a new lock consisting of the last part of
68692dc7331SDavid Greenman 	 * the encompassing lock
68792dc7331SDavid Greenman 	 */
68892dc7331SDavid Greenman 	MALLOC(splitlock, struct lockf *, sizeof *splitlock, M_LOCKF, M_WAITOK);
68992dc7331SDavid Greenman 	bcopy((caddr_t)lock1, (caddr_t)splitlock, sizeof *splitlock);
69092dc7331SDavid Greenman 	splitlock->lf_start = lock2->lf_end + 1;
691996c772fSJohn Dyson 	TAILQ_INIT(&splitlock->lf_blkhd);
69292dc7331SDavid Greenman 	lock1->lf_end = lock2->lf_start - 1;
69392dc7331SDavid Greenman 	/*
69492dc7331SDavid Greenman 	 * OK, now link it in
69592dc7331SDavid Greenman 	 */
69692dc7331SDavid Greenman 	splitlock->lf_next = lock1->lf_next;
69792dc7331SDavid Greenman 	lock2->lf_next = splitlock;
69892dc7331SDavid Greenman 	lock1->lf_next = lock2;
69992dc7331SDavid Greenman }
70092dc7331SDavid Greenman 
70192dc7331SDavid Greenman /*
70292dc7331SDavid Greenman  * Wakeup a blocklist
70392dc7331SDavid Greenman  */
70487b6de2bSPoul-Henning Kamp static void
70592dc7331SDavid Greenman lf_wakelock(listhead)
70692dc7331SDavid Greenman 	struct lockf *listhead;
70792dc7331SDavid Greenman {
708996c772fSJohn Dyson 	register struct lockf *wakelock;
70992dc7331SDavid Greenman 
710996c772fSJohn Dyson 	while (wakelock = listhead->lf_blkhd.tqh_first) {
711996c772fSJohn Dyson 		TAILQ_REMOVE(&listhead->lf_blkhd, wakelock, lf_block);
71292dc7331SDavid Greenman 		wakelock->lf_next = NOLOCKF;
71392dc7331SDavid Greenman #ifdef LOCKF_DEBUG
71492dc7331SDavid Greenman 		if (lockf_debug & 2)
71592dc7331SDavid Greenman 			lf_print("lf_wakelock: awakening", wakelock);
71692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
71792dc7331SDavid Greenman 		wakeup((caddr_t)wakelock);
71892dc7331SDavid Greenman 	}
71992dc7331SDavid Greenman }
72092dc7331SDavid Greenman 
72192dc7331SDavid Greenman #ifdef LOCKF_DEBUG
72292dc7331SDavid Greenman /*
72392dc7331SDavid Greenman  * Print out a lock.
72492dc7331SDavid Greenman  */
72592dc7331SDavid Greenman lf_print(tag, lock)
72692dc7331SDavid Greenman 	char *tag;
72792dc7331SDavid Greenman 	register struct lockf *lock;
72892dc7331SDavid Greenman {
72992dc7331SDavid Greenman 
73092dc7331SDavid Greenman 	printf("%s: lock 0x%lx for ", tag, lock);
73192dc7331SDavid Greenman 	if (lock->lf_flags & F_POSIX)
73292dc7331SDavid Greenman 		printf("proc %d", ((struct proc *)(lock->lf_id))->p_pid);
73392dc7331SDavid Greenman 	else
73492dc7331SDavid Greenman 		printf("id 0x%x", lock->lf_id);
73592dc7331SDavid Greenman 	printf(" in ino %d on dev <%d, %d>, %s, start %d, end %d",
73692dc7331SDavid Greenman 		lock->lf_inode->i_number,
73792dc7331SDavid Greenman 		major(lock->lf_inode->i_dev),
73892dc7331SDavid Greenman 		minor(lock->lf_inode->i_dev),
73992dc7331SDavid Greenman 		lock->lf_type == F_RDLCK ? "shared" :
74092dc7331SDavid Greenman 		lock->lf_type == F_WRLCK ? "exclusive" :
74192dc7331SDavid Greenman 		lock->lf_type == F_UNLCK ? "unlock" :
74292dc7331SDavid Greenman 		"unknown", lock->lf_start, lock->lf_end);
743996c772fSJohn Dyson 	if (lock->lf_blkhd.tqh_first)
744996c772fSJohn Dyson 		printf(" block 0x%x\n", lock->lf_blkhd.tqh_first);
74592dc7331SDavid Greenman 	else
74692dc7331SDavid Greenman 		printf("\n");
74792dc7331SDavid Greenman }
74892dc7331SDavid Greenman 
74992dc7331SDavid Greenman lf_printlist(tag, lock)
75092dc7331SDavid Greenman 	char *tag;
75192dc7331SDavid Greenman 	struct lockf *lock;
75292dc7331SDavid Greenman {
753996c772fSJohn Dyson 	register struct lockf *lf, *blk;
75492dc7331SDavid Greenman 
75592dc7331SDavid Greenman 	printf("%s: Lock list for ino %d on dev <%d, %d>:\n",
75692dc7331SDavid Greenman 		tag, lock->lf_inode->i_number,
75792dc7331SDavid Greenman 		major(lock->lf_inode->i_dev),
75892dc7331SDavid Greenman 		minor(lock->lf_inode->i_dev));
75992dc7331SDavid Greenman 	for (lf = lock->lf_inode->i_lockf; lf; lf = lf->lf_next) {
76092dc7331SDavid Greenman 		printf("\tlock 0x%lx for ", lf);
76192dc7331SDavid Greenman 		if (lf->lf_flags & F_POSIX)
76292dc7331SDavid Greenman 			printf("proc %d", ((struct proc *)(lf->lf_id))->p_pid);
76392dc7331SDavid Greenman 		else
76492dc7331SDavid Greenman 			printf("id 0x%x", lf->lf_id);
76592dc7331SDavid Greenman 		printf(", %s, start %d, end %d",
76692dc7331SDavid Greenman 			lf->lf_type == F_RDLCK ? "shared" :
76792dc7331SDavid Greenman 			lf->lf_type == F_WRLCK ? "exclusive" :
76892dc7331SDavid Greenman 			lf->lf_type == F_UNLCK ? "unlock" :
76992dc7331SDavid Greenman 			"unknown", lf->lf_start, lf->lf_end);
770996c772fSJohn Dyson 		for (blk = lf->lf_blkhd.tqh_first; blk;
771996c772fSJohn Dyson 		     blk = blk->lf_block.tqe_next) {
772996c772fSJohn Dyson 			printf("\n\t\tlock request 0x%lx for ", blk);
773996c772fSJohn Dyson 			if (blk->lf_flags & F_POSIX)
774996c772fSJohn Dyson 				printf("proc %d",
775996c772fSJohn Dyson 				    ((struct proc *)(blk->lf_id))->p_pid);
77692dc7331SDavid Greenman 			else
777996c772fSJohn Dyson 				printf("id 0x%x", blk->lf_id);
778996c772fSJohn Dyson 			printf(", %s, start %d, end %d",
779996c772fSJohn Dyson 				blk->lf_type == F_RDLCK ? "shared" :
780996c772fSJohn Dyson 				blk->lf_type == F_WRLCK ? "exclusive" :
781996c772fSJohn Dyson 				blk->lf_type == F_UNLCK ? "unlock" :
782996c772fSJohn Dyson 				"unknown", blk->lf_start, blk->lf_end);
783996c772fSJohn Dyson 			if (blk->lf_blkhd.tqh_first)
784996c772fSJohn Dyson 				panic("lf_printlist: bad list");
785996c772fSJohn Dyson 		}
78692dc7331SDavid Greenman 		printf("\n");
78792dc7331SDavid Greenman 	}
78892dc7331SDavid Greenman }
78992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
790