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