xref: /freebsd/sys/kern/kern_lockf.c (revision 3bcc218f4618b9eb695d00a0dfd742b2a616a441)
19454b2d8SWarner Losh /*-
2dfdcada3SDoug Rabson  * Copyright (c) 2008 Isilon Inc http://www.isilon.com/
3dfdcada3SDoug Rabson  * Authors: Doug Rabson <dfr@rabson.org>
4dfdcada3SDoug Rabson  * Developed with Red Inc: Alfred Perlstein <alfred@freebsd.org>
5dfdcada3SDoug Rabson  *
6dfdcada3SDoug Rabson  * Redistribution and use in source and binary forms, with or without
7dfdcada3SDoug Rabson  * modification, are permitted provided that the following conditions
8dfdcada3SDoug Rabson  * are met:
9dfdcada3SDoug Rabson  * 1. Redistributions of source code must retain the above copyright
10dfdcada3SDoug Rabson  *    notice, this list of conditions and the following disclaimer.
11dfdcada3SDoug Rabson  * 2. Redistributions in binary form must reproduce the above copyright
12dfdcada3SDoug Rabson  *    notice, this list of conditions and the following disclaimer in the
13dfdcada3SDoug Rabson  *    documentation and/or other materials provided with the distribution.
14dfdcada3SDoug Rabson  *
15dfdcada3SDoug Rabson  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16dfdcada3SDoug Rabson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17dfdcada3SDoug Rabson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18dfdcada3SDoug Rabson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19dfdcada3SDoug Rabson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20dfdcada3SDoug Rabson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21dfdcada3SDoug Rabson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22dfdcada3SDoug Rabson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23dfdcada3SDoug Rabson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24dfdcada3SDoug Rabson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25dfdcada3SDoug Rabson  * SUCH DAMAGE.
26dfdcada3SDoug Rabson  */
27dfdcada3SDoug Rabson /*-
2892dc7331SDavid Greenman  * Copyright (c) 1982, 1986, 1989, 1993
2992dc7331SDavid Greenman  *	The Regents of the University of California.  All rights reserved.
3092dc7331SDavid Greenman  *
3192dc7331SDavid Greenman  * This code is derived from software contributed to Berkeley by
3292dc7331SDavid Greenman  * Scooter Morris at Genentech Inc.
3392dc7331SDavid Greenman  *
3492dc7331SDavid Greenman  * Redistribution and use in source and binary forms, with or without
3592dc7331SDavid Greenman  * modification, are permitted provided that the following conditions
3692dc7331SDavid Greenman  * are met:
3792dc7331SDavid Greenman  * 1. Redistributions of source code must retain the above copyright
3892dc7331SDavid Greenman  *    notice, this list of conditions and the following disclaimer.
3992dc7331SDavid Greenman  * 2. Redistributions in binary form must reproduce the above copyright
4092dc7331SDavid Greenman  *    notice, this list of conditions and the following disclaimer in the
4192dc7331SDavid Greenman  *    documentation and/or other materials provided with the distribution.
4292dc7331SDavid Greenman  * 4. Neither the name of the University nor the names of its contributors
4392dc7331SDavid Greenman  *    may be used to endorse or promote products derived from this software
4492dc7331SDavid Greenman  *    without specific prior written permission.
4592dc7331SDavid Greenman  *
4692dc7331SDavid Greenman  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
4792dc7331SDavid Greenman  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
4892dc7331SDavid Greenman  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
4992dc7331SDavid Greenman  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
5092dc7331SDavid Greenman  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
5192dc7331SDavid Greenman  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
5292dc7331SDavid Greenman  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
5392dc7331SDavid Greenman  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
5492dc7331SDavid Greenman  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
5592dc7331SDavid Greenman  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
5692dc7331SDavid Greenman  * SUCH DAMAGE.
5792dc7331SDavid Greenman  *
5892dc7331SDavid Greenman  *	@(#)ufs_lockf.c	8.3 (Berkeley) 1/6/94
5992dc7331SDavid Greenman  */
6092dc7331SDavid Greenman 
61677b542eSDavid E. O'Brien #include <sys/cdefs.h>
62677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
63677b542eSDavid E. O'Brien 
643f2076daSEivind Eklund #include "opt_debug_lockf.h"
653f2076daSEivind Eklund 
6692dc7331SDavid Greenman #include <sys/param.h>
6792dc7331SDavid Greenman #include <sys/systm.h>
68dfdcada3SDoug Rabson #include <sys/hash.h>
691c5bb3eaSPeter Wemm #include <sys/kernel.h>
70104a9b7eSAlexander Kabaev #include <sys/limits.h>
711cd52ec3SBruce Evans #include <sys/lock.h>
727f52a691SPoul-Henning Kamp #include <sys/mount.h>
73fb919e4dSMark Murray #include <sys/mutex.h>
7492dc7331SDavid Greenman #include <sys/proc.h>
75dfdcada3SDoug Rabson #include <sys/sx.h>
76b71fec07SBruce Evans #include <sys/unistd.h>
7792dc7331SDavid Greenman #include <sys/vnode.h>
7892dc7331SDavid Greenman #include <sys/malloc.h>
7992dc7331SDavid Greenman #include <sys/fcntl.h>
8092dc7331SDavid Greenman #include <sys/lockf.h>
81dfdcada3SDoug Rabson #include <sys/taskqueue.h>
8292dc7331SDavid Greenman 
8392dc7331SDavid Greenman #ifdef LOCKF_DEBUG
84996c772fSJohn Dyson #include <sys/sysctl.h>
85a8687b6dSBruce Evans 
86a8687b6dSBruce Evans #include <ufs/ufs/quota.h>
87a8687b6dSBruce Evans #include <ufs/ufs/inode.h>
88a8687b6dSBruce Evans 
89dfdcada3SDoug Rabson static int	lockf_debug = 0; /* control debug output */
907f725eacSBruce Evans SYSCTL_INT(_debug, OID_AUTO, lockf_debug, CTLFLAG_RW, &lockf_debug, 0, "");
9192dc7331SDavid Greenman #endif
9292dc7331SDavid Greenman 
93d745c852SEd Schouten static MALLOC_DEFINE(M_LOCKF, "lockf", "Byte-range locking structures");
9455166637SPoul-Henning Kamp 
95dfdcada3SDoug Rabson struct owner_edge;
96dfdcada3SDoug Rabson struct owner_vertex;
97dfdcada3SDoug Rabson struct owner_vertex_list;
98dfdcada3SDoug Rabson struct owner_graph;
99dfdcada3SDoug Rabson 
100dfdcada3SDoug Rabson #define NOLOCKF (struct lockf_entry *)0
10192dc7331SDavid Greenman #define SELF	0x1
10292dc7331SDavid Greenman #define OTHERS	0x2
103dfdcada3SDoug Rabson static void	 lf_init(void *);
104dfdcada3SDoug Rabson static int	 lf_hash_owner(caddr_t, struct flock *, int);
105dfdcada3SDoug Rabson static int	 lf_owner_matches(struct lock_owner *, caddr_t, struct flock *,
106dfdcada3SDoug Rabson     int);
107dfdcada3SDoug Rabson static struct lockf_entry *
108dfdcada3SDoug Rabson 		 lf_alloc_lock(struct lock_owner *);
1098af54d4cSKonstantin Belousov static int	 lf_free_lock(struct lockf_entry *);
110dfdcada3SDoug Rabson static int	 lf_clearlock(struct lockf *, struct lockf_entry *);
111dfdcada3SDoug Rabson static int	 lf_overlaps(struct lockf_entry *, struct lockf_entry *);
112dfdcada3SDoug Rabson static int	 lf_blocks(struct lockf_entry *, struct lockf_entry *);
113dfdcada3SDoug Rabson static void	 lf_free_edge(struct lockf_edge *);
114dfdcada3SDoug Rabson static struct lockf_edge *
115dfdcada3SDoug Rabson 		 lf_alloc_edge(void);
116dfdcada3SDoug Rabson static void	 lf_alloc_vertex(struct lockf_entry *);
117dfdcada3SDoug Rabson static int	 lf_add_edge(struct lockf_entry *, struct lockf_entry *);
118dfdcada3SDoug Rabson static void	 lf_remove_edge(struct lockf_edge *);
119dfdcada3SDoug Rabson static void	 lf_remove_outgoing(struct lockf_entry *);
120dfdcada3SDoug Rabson static void	 lf_remove_incoming(struct lockf_entry *);
121dfdcada3SDoug Rabson static int	 lf_add_outgoing(struct lockf *, struct lockf_entry *);
122dfdcada3SDoug Rabson static int	 lf_add_incoming(struct lockf *, struct lockf_entry *);
123dfdcada3SDoug Rabson static int	 lf_findoverlap(struct lockf_entry **, struct lockf_entry *,
124dfdcada3SDoug Rabson     int);
125dfdcada3SDoug Rabson static struct lockf_entry *
126dfdcada3SDoug Rabson 		 lf_getblock(struct lockf *, struct lockf_entry *);
127dfdcada3SDoug Rabson static int	 lf_getlock(struct lockf *, struct lockf_entry *, struct flock *);
128dfdcada3SDoug Rabson static void	 lf_insert_lock(struct lockf *, struct lockf_entry *);
129dfdcada3SDoug Rabson static void	 lf_wakeup_lock(struct lockf *, struct lockf_entry *);
130dfdcada3SDoug Rabson static void	 lf_update_dependancies(struct lockf *, struct lockf_entry *,
131dfdcada3SDoug Rabson     int all, struct lockf_entry_list *);
132dfdcada3SDoug Rabson static void	 lf_set_start(struct lockf *, struct lockf_entry *, off_t,
133dfdcada3SDoug Rabson 	struct lockf_entry_list*);
134dfdcada3SDoug Rabson static void	 lf_set_end(struct lockf *, struct lockf_entry *, off_t,
135dfdcada3SDoug Rabson 	struct lockf_entry_list*);
136dfdcada3SDoug Rabson static int	 lf_setlock(struct lockf *, struct lockf_entry *,
137dfdcada3SDoug Rabson     struct vnode *, void **cookiep);
138dfdcada3SDoug Rabson static int	 lf_cancel(struct lockf *, struct lockf_entry *, void *);
139dfdcada3SDoug Rabson static void	 lf_split(struct lockf *, struct lockf_entry *,
140dfdcada3SDoug Rabson     struct lockf_entry *, struct lockf_entry_list *);
141013e6650SJeff Roberson #ifdef LOCKF_DEBUG
142dfdcada3SDoug Rabson static int	 graph_reaches(struct owner_vertex *x, struct owner_vertex *y,
143dfdcada3SDoug Rabson     struct owner_vertex_list *path);
144dfdcada3SDoug Rabson static void	 graph_check(struct owner_graph *g, int checkorder);
145dfdcada3SDoug Rabson static void	 graph_print_vertices(struct owner_vertex_list *set);
146013e6650SJeff Roberson #endif
147dfdcada3SDoug Rabson static int	 graph_delta_forward(struct owner_graph *g,
148dfdcada3SDoug Rabson     struct owner_vertex *x, struct owner_vertex *y,
149dfdcada3SDoug Rabson     struct owner_vertex_list *delta);
150dfdcada3SDoug Rabson static int	 graph_delta_backward(struct owner_graph *g,
151dfdcada3SDoug Rabson     struct owner_vertex *x, struct owner_vertex *y,
152dfdcada3SDoug Rabson     struct owner_vertex_list *delta);
153dfdcada3SDoug Rabson static int	 graph_add_indices(int *indices, int n,
154dfdcada3SDoug Rabson     struct owner_vertex_list *set);
155dfdcada3SDoug Rabson static int	 graph_assign_indices(struct owner_graph *g, int *indices,
156dfdcada3SDoug Rabson     int nextunused, struct owner_vertex_list *set);
157dfdcada3SDoug Rabson static int	 graph_add_edge(struct owner_graph *g,
158dfdcada3SDoug Rabson     struct owner_vertex *x, struct owner_vertex *y);
159dfdcada3SDoug Rabson static void	 graph_remove_edge(struct owner_graph *g,
160dfdcada3SDoug Rabson     struct owner_vertex *x, struct owner_vertex *y);
161dfdcada3SDoug Rabson static struct owner_vertex *graph_alloc_vertex(struct owner_graph *g,
162dfdcada3SDoug Rabson     struct lock_owner *lo);
163dfdcada3SDoug Rabson static void	 graph_free_vertex(struct owner_graph *g,
164dfdcada3SDoug Rabson     struct owner_vertex *v);
165dfdcada3SDoug Rabson static struct owner_graph * graph_init(struct owner_graph *g);
166dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
167dfdcada3SDoug Rabson static void	 lf_print(char *, struct lockf_entry *);
168dfdcada3SDoug Rabson static void	 lf_printlist(char *, struct lockf_entry *);
169dfdcada3SDoug Rabson static void	 lf_print_owner(struct lock_owner *);
170dfdcada3SDoug Rabson #endif
171dfdcada3SDoug Rabson 
172dfdcada3SDoug Rabson /*
173dfdcada3SDoug Rabson  * This structure is used to keep track of both local and remote lock
174dfdcada3SDoug Rabson  * owners. The lf_owner field of the struct lockf_entry points back at
175dfdcada3SDoug Rabson  * the lock owner structure. Each possible lock owner (local proc for
176dfdcada3SDoug Rabson  * POSIX fcntl locks, local file for BSD flock locks or <pid,sysid>
177dfdcada3SDoug Rabson  * pair for remote locks) is represented by a unique instance of
178dfdcada3SDoug Rabson  * struct lock_owner.
179dfdcada3SDoug Rabson  *
180dfdcada3SDoug Rabson  * If a lock owner has a lock that blocks some other lock or a lock
181dfdcada3SDoug Rabson  * that is waiting for some other lock, it also has a vertex in the
182dfdcada3SDoug Rabson  * owner_graph below.
183dfdcada3SDoug Rabson  *
184dfdcada3SDoug Rabson  * Locks:
185dfdcada3SDoug Rabson  * (s)		locked by state->ls_lock
186dfdcada3SDoug Rabson  * (S)		locked by lf_lock_states_lock
187dfdcada3SDoug Rabson  * (l)		locked by lf_lock_owners_lock
188dfdcada3SDoug Rabson  * (g)		locked by lf_owner_graph_lock
189dfdcada3SDoug Rabson  * (c)		const until freeing
190dfdcada3SDoug Rabson  */
191dfdcada3SDoug Rabson #define	LOCK_OWNER_HASH_SIZE	256
192dfdcada3SDoug Rabson 
193dfdcada3SDoug Rabson struct lock_owner {
194dfdcada3SDoug Rabson 	LIST_ENTRY(lock_owner) lo_link; /* (l) hash chain */
195dfdcada3SDoug Rabson 	int	lo_refs;	    /* (l) Number of locks referring to this */
196dfdcada3SDoug Rabson 	int	lo_flags;	    /* (c) Flags passwd to lf_advlock */
197dfdcada3SDoug Rabson 	caddr_t	lo_id;		    /* (c) Id value passed to lf_advlock */
198dfdcada3SDoug Rabson 	pid_t	lo_pid;		    /* (c) Process Id of the lock owner */
199dfdcada3SDoug Rabson 	int	lo_sysid;	    /* (c) System Id of the lock owner */
200dfdcada3SDoug Rabson 	struct owner_vertex *lo_vertex; /* (g) entry in deadlock graph */
201dfdcada3SDoug Rabson };
202dfdcada3SDoug Rabson 
203dfdcada3SDoug Rabson LIST_HEAD(lock_owner_list, lock_owner);
204dfdcada3SDoug Rabson 
205dfdcada3SDoug Rabson static struct sx		lf_lock_states_lock;
206dfdcada3SDoug Rabson static struct lockf_list	lf_lock_states; /* (S) */
207dfdcada3SDoug Rabson static struct sx		lf_lock_owners_lock;
208dfdcada3SDoug Rabson static struct lock_owner_list	lf_lock_owners[LOCK_OWNER_HASH_SIZE]; /* (l) */
209dfdcada3SDoug Rabson 
210dfdcada3SDoug Rabson /*
211dfdcada3SDoug Rabson  * Structures for deadlock detection.
212dfdcada3SDoug Rabson  *
213dfdcada3SDoug Rabson  * We have two types of directed graph, the first is the set of locks,
214dfdcada3SDoug Rabson  * both active and pending on a vnode. Within this graph, active locks
215dfdcada3SDoug Rabson  * are terminal nodes in the graph (i.e. have no out-going
216dfdcada3SDoug Rabson  * edges). Pending locks have out-going edges to each blocking active
217dfdcada3SDoug Rabson  * lock that prevents the lock from being granted and also to each
218dfdcada3SDoug Rabson  * older pending lock that would block them if it was active. The
219dfdcada3SDoug Rabson  * graph for each vnode is naturally acyclic; new edges are only ever
220dfdcada3SDoug Rabson  * added to or from new nodes (either new pending locks which only add
221dfdcada3SDoug Rabson  * out-going edges or new active locks which only add in-coming edges)
222dfdcada3SDoug Rabson  * therefore they cannot create loops in the lock graph.
223dfdcada3SDoug Rabson  *
224dfdcada3SDoug Rabson  * The second graph is a global graph of lock owners. Each lock owner
225dfdcada3SDoug Rabson  * is a vertex in that graph and an edge is added to the graph
226dfdcada3SDoug Rabson  * whenever an edge is added to a vnode graph, with end points
227dfdcada3SDoug Rabson  * corresponding to owner of the new pending lock and the owner of the
228dfdcada3SDoug Rabson  * lock upon which it waits. In order to prevent deadlock, we only add
229dfdcada3SDoug Rabson  * an edge to this graph if the new edge would not create a cycle.
230dfdcada3SDoug Rabson  *
231dfdcada3SDoug Rabson  * The lock owner graph is topologically sorted, i.e. if a node has
232dfdcada3SDoug Rabson  * any outgoing edges, then it has an order strictly less than any
233dfdcada3SDoug Rabson  * node to which it has an outgoing edge. We preserve this ordering
234dfdcada3SDoug Rabson  * (and detect cycles) on edge insertion using Algorithm PK from the
235dfdcada3SDoug Rabson  * paper "A Dynamic Topological Sort Algorithm for Directed Acyclic
236dfdcada3SDoug Rabson  * Graphs" (ACM Journal of Experimental Algorithms, Vol 11, Article
237dfdcada3SDoug Rabson  * No. 1.7)
238dfdcada3SDoug Rabson  */
239dfdcada3SDoug Rabson struct owner_vertex;
240dfdcada3SDoug Rabson 
241dfdcada3SDoug Rabson struct owner_edge {
242dfdcada3SDoug Rabson 	LIST_ENTRY(owner_edge) e_outlink; /* (g) link from's out-edge list */
243dfdcada3SDoug Rabson 	LIST_ENTRY(owner_edge) e_inlink;  /* (g) link to's in-edge list */
244dfdcada3SDoug Rabson 	int		e_refs;		  /* (g) number of times added */
245dfdcada3SDoug Rabson 	struct owner_vertex *e_from;	  /* (c) out-going from here */
246dfdcada3SDoug Rabson 	struct owner_vertex *e_to;	  /* (c) in-coming to here */
247dfdcada3SDoug Rabson };
248dfdcada3SDoug Rabson LIST_HEAD(owner_edge_list, owner_edge);
249dfdcada3SDoug Rabson 
250dfdcada3SDoug Rabson struct owner_vertex {
251dfdcada3SDoug Rabson 	TAILQ_ENTRY(owner_vertex) v_link; /* (g) workspace for edge insertion */
252dfdcada3SDoug Rabson 	uint32_t	v_gen;		  /* (g) workspace for edge insertion */
253dfdcada3SDoug Rabson 	int		v_order;	  /* (g) order of vertex in graph */
254dfdcada3SDoug Rabson 	struct owner_edge_list v_outedges;/* (g) list of out-edges */
255dfdcada3SDoug Rabson 	struct owner_edge_list v_inedges; /* (g) list of in-edges */
256dfdcada3SDoug Rabson 	struct lock_owner *v_owner;	  /* (c) corresponding lock owner */
257dfdcada3SDoug Rabson };
258dfdcada3SDoug Rabson TAILQ_HEAD(owner_vertex_list, owner_vertex);
259dfdcada3SDoug Rabson 
260dfdcada3SDoug Rabson struct owner_graph {
261dfdcada3SDoug Rabson 	struct owner_vertex** g_vertices; /* (g) pointers to vertices */
262dfdcada3SDoug Rabson 	int		g_size;		  /* (g) number of vertices */
263dfdcada3SDoug Rabson 	int		g_space;	  /* (g) space allocated for vertices */
264dfdcada3SDoug Rabson 	int		*g_indexbuf;	  /* (g) workspace for loop detection */
265dfdcada3SDoug Rabson 	uint32_t	g_gen;		  /* (g) increment when re-ordering */
266dfdcada3SDoug Rabson };
267dfdcada3SDoug Rabson 
268dfdcada3SDoug Rabson static struct sx		lf_owner_graph_lock;
269dfdcada3SDoug Rabson static struct owner_graph	lf_owner_graph;
270dfdcada3SDoug Rabson 
271dfdcada3SDoug Rabson /*
272dfdcada3SDoug Rabson  * Initialise various structures and locks.
273dfdcada3SDoug Rabson  */
274dfdcada3SDoug Rabson static void
275dfdcada3SDoug Rabson lf_init(void *dummy)
276dfdcada3SDoug Rabson {
277dfdcada3SDoug Rabson 	int i;
278dfdcada3SDoug Rabson 
279dfdcada3SDoug Rabson 	sx_init(&lf_lock_states_lock, "lock states lock");
280dfdcada3SDoug Rabson 	LIST_INIT(&lf_lock_states);
281dfdcada3SDoug Rabson 
282dfdcada3SDoug Rabson 	sx_init(&lf_lock_owners_lock, "lock owners lock");
283dfdcada3SDoug Rabson 	for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++)
284dfdcada3SDoug Rabson 		LIST_INIT(&lf_lock_owners[i]);
285dfdcada3SDoug Rabson 
286dfdcada3SDoug Rabson 	sx_init(&lf_owner_graph_lock, "owner graph lock");
287dfdcada3SDoug Rabson 	graph_init(&lf_owner_graph);
288dfdcada3SDoug Rabson }
289dfdcada3SDoug Rabson SYSINIT(lf_init, SI_SUB_LOCK, SI_ORDER_FIRST, lf_init, NULL);
290dfdcada3SDoug Rabson 
291dfdcada3SDoug Rabson /*
292dfdcada3SDoug Rabson  * Generate a hash value for a lock owner.
293dfdcada3SDoug Rabson  */
294dfdcada3SDoug Rabson static int
295dfdcada3SDoug Rabson lf_hash_owner(caddr_t id, struct flock *fl, int flags)
296dfdcada3SDoug Rabson {
297dfdcada3SDoug Rabson 	uint32_t h;
298dfdcada3SDoug Rabson 
299dfdcada3SDoug Rabson 	if (flags & F_REMOTE) {
300dfdcada3SDoug Rabson 		h = HASHSTEP(0, fl->l_pid);
301dfdcada3SDoug Rabson 		h = HASHSTEP(h, fl->l_sysid);
302dfdcada3SDoug Rabson 	} else if (flags & F_FLOCK) {
303dfdcada3SDoug Rabson 		h = ((uintptr_t) id) >> 7;
304dfdcada3SDoug Rabson 	} else {
305dfdcada3SDoug Rabson 		struct proc *p = (struct proc *) id;
306dfdcada3SDoug Rabson 		h = HASHSTEP(0, p->p_pid);
307dfdcada3SDoug Rabson 		h = HASHSTEP(h, 0);
308dfdcada3SDoug Rabson 	}
309dfdcada3SDoug Rabson 
310dfdcada3SDoug Rabson 	return (h % LOCK_OWNER_HASH_SIZE);
311dfdcada3SDoug Rabson }
312dfdcada3SDoug Rabson 
313dfdcada3SDoug Rabson /*
314dfdcada3SDoug Rabson  * Return true if a lock owner matches the details passed to
315dfdcada3SDoug Rabson  * lf_advlock.
316dfdcada3SDoug Rabson  */
317dfdcada3SDoug Rabson static int
318dfdcada3SDoug Rabson lf_owner_matches(struct lock_owner *lo, caddr_t id, struct flock *fl,
319dfdcada3SDoug Rabson     int flags)
320dfdcada3SDoug Rabson {
321dfdcada3SDoug Rabson 	if (flags & F_REMOTE) {
322dfdcada3SDoug Rabson 		return lo->lo_pid == fl->l_pid
323dfdcada3SDoug Rabson 			&& lo->lo_sysid == fl->l_sysid;
324dfdcada3SDoug Rabson 	} else {
325dfdcada3SDoug Rabson 		return lo->lo_id == id;
326dfdcada3SDoug Rabson 	}
327dfdcada3SDoug Rabson }
328dfdcada3SDoug Rabson 
329dfdcada3SDoug Rabson static struct lockf_entry *
330dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *lo)
331dfdcada3SDoug Rabson {
332dfdcada3SDoug Rabson 	struct lockf_entry *lf;
333dfdcada3SDoug Rabson 
334dfdcada3SDoug Rabson 	lf = malloc(sizeof(struct lockf_entry), M_LOCKF, M_WAITOK|M_ZERO);
335dfdcada3SDoug Rabson 
336dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
337dfdcada3SDoug Rabson 	if (lockf_debug & 4)
338dfdcada3SDoug Rabson 		printf("Allocated lock %p\n", lf);
339dfdcada3SDoug Rabson #endif
340dfdcada3SDoug Rabson 	if (lo) {
341dfdcada3SDoug Rabson 		sx_xlock(&lf_lock_owners_lock);
342dfdcada3SDoug Rabson 		lo->lo_refs++;
343dfdcada3SDoug Rabson 		sx_xunlock(&lf_lock_owners_lock);
344dfdcada3SDoug Rabson 		lf->lf_owner = lo;
345dfdcada3SDoug Rabson 	}
346dfdcada3SDoug Rabson 
347dfdcada3SDoug Rabson 	return (lf);
348dfdcada3SDoug Rabson }
349dfdcada3SDoug Rabson 
3508af54d4cSKonstantin Belousov static int
351dfdcada3SDoug Rabson lf_free_lock(struct lockf_entry *lock)
352dfdcada3SDoug Rabson {
3538af54d4cSKonstantin Belousov 
3548af54d4cSKonstantin Belousov 	KASSERT(lock->lf_refs > 0, ("lockf_entry negative ref count %p", lock));
3558af54d4cSKonstantin Belousov 	if (--lock->lf_refs > 0)
3568af54d4cSKonstantin Belousov 		return (0);
357dfdcada3SDoug Rabson 	/*
358dfdcada3SDoug Rabson 	 * Adjust the lock_owner reference count and
359dfdcada3SDoug Rabson 	 * reclaim the entry if this is the last lock
360dfdcada3SDoug Rabson 	 * for that owner.
361dfdcada3SDoug Rabson 	 */
362dfdcada3SDoug Rabson 	struct lock_owner *lo = lock->lf_owner;
363dfdcada3SDoug Rabson 	if (lo) {
364dfdcada3SDoug Rabson 		KASSERT(LIST_EMPTY(&lock->lf_outedges),
365dfdcada3SDoug Rabson 		    ("freeing lock with dependancies"));
366dfdcada3SDoug Rabson 		KASSERT(LIST_EMPTY(&lock->lf_inedges),
367dfdcada3SDoug Rabson 		    ("freeing lock with dependants"));
368dfdcada3SDoug Rabson 		sx_xlock(&lf_lock_owners_lock);
369dfdcada3SDoug Rabson 		KASSERT(lo->lo_refs > 0, ("lock owner refcount"));
370dfdcada3SDoug Rabson 		lo->lo_refs--;
371dfdcada3SDoug Rabson 		if (lo->lo_refs == 0) {
372dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
373dfdcada3SDoug Rabson 			if (lockf_debug & 1)
374dfdcada3SDoug Rabson 				printf("lf_free_lock: freeing lock owner %p\n",
375dfdcada3SDoug Rabson 				    lo);
376dfdcada3SDoug Rabson #endif
377dfdcada3SDoug Rabson 			if (lo->lo_vertex) {
378dfdcada3SDoug Rabson 				sx_xlock(&lf_owner_graph_lock);
379dfdcada3SDoug Rabson 				graph_free_vertex(&lf_owner_graph,
380dfdcada3SDoug Rabson 				    lo->lo_vertex);
381dfdcada3SDoug Rabson 				sx_xunlock(&lf_owner_graph_lock);
382dfdcada3SDoug Rabson 			}
383dfdcada3SDoug Rabson 			LIST_REMOVE(lo, lo_link);
384dfdcada3SDoug Rabson 			free(lo, M_LOCKF);
385dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
386dfdcada3SDoug Rabson 			if (lockf_debug & 4)
387dfdcada3SDoug Rabson 				printf("Freed lock owner %p\n", lo);
388dfdcada3SDoug Rabson #endif
389dfdcada3SDoug Rabson 		}
390dfdcada3SDoug Rabson 		sx_unlock(&lf_lock_owners_lock);
391dfdcada3SDoug Rabson 	}
392dfdcada3SDoug Rabson 	if ((lock->lf_flags & F_REMOTE) && lock->lf_vnode) {
393dfdcada3SDoug Rabson 		vrele(lock->lf_vnode);
394dfdcada3SDoug Rabson 		lock->lf_vnode = NULL;
395dfdcada3SDoug Rabson 	}
396dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
397dfdcada3SDoug Rabson 	if (lockf_debug & 4)
398dfdcada3SDoug Rabson 		printf("Freed lock %p\n", lock);
399dfdcada3SDoug Rabson #endif
400dfdcada3SDoug Rabson 	free(lock, M_LOCKF);
4018af54d4cSKonstantin Belousov 	return (1);
402dfdcada3SDoug Rabson }
40392dc7331SDavid Greenman 
40492dc7331SDavid Greenman /*
40592dc7331SDavid Greenman  * Advisory record locking support
40692dc7331SDavid Greenman  */
40792dc7331SDavid Greenman int
408dfdcada3SDoug Rabson lf_advlockasync(struct vop_advlockasync_args *ap, struct lockf **statep,
409dfdcada3SDoug Rabson     u_quad_t size)
41092dc7331SDavid Greenman {
411dfdcada3SDoug Rabson 	struct lockf *state, *freestate = NULL;
412bc02f1d9SJeff Roberson 	struct flock *fl = ap->a_fl;
413dfdcada3SDoug Rabson 	struct lockf_entry *lock;
414bc02f1d9SJeff Roberson 	struct vnode *vp = ap->a_vp;
415dfdcada3SDoug Rabson 	caddr_t id = ap->a_id;
416dfdcada3SDoug Rabson 	int flags = ap->a_flags;
417dfdcada3SDoug Rabson 	int hash;
418dfdcada3SDoug Rabson 	struct lock_owner *lo;
419c4778eedSAndrey A. Chernov 	off_t start, end, oadd;
42092dc7331SDavid Greenman 	int error;
42192dc7331SDavid Greenman 
42292dc7331SDavid Greenman 	/*
423dfdcada3SDoug Rabson 	 * Handle the F_UNLKSYS case first - no need to mess about
424dfdcada3SDoug Rabson 	 * creating a lock owner for this one.
425dfdcada3SDoug Rabson 	 */
426dfdcada3SDoug Rabson 	if (ap->a_op == F_UNLCKSYS) {
427dfdcada3SDoug Rabson 		lf_clearremotesys(fl->l_sysid);
428dfdcada3SDoug Rabson 		return (0);
429dfdcada3SDoug Rabson 	}
430dfdcada3SDoug Rabson 
431dfdcada3SDoug Rabson 	/*
43292dc7331SDavid Greenman 	 * Convert the flock structure into a start and end.
43392dc7331SDavid Greenman 	 */
43492dc7331SDavid Greenman 	switch (fl->l_whence) {
43592dc7331SDavid Greenman 
43692dc7331SDavid Greenman 	case SEEK_SET:
43792dc7331SDavid Greenman 	case SEEK_CUR:
43892dc7331SDavid Greenman 		/*
43992dc7331SDavid Greenman 		 * Caller is responsible for adding any necessary offset
44092dc7331SDavid Greenman 		 * when SEEK_CUR is used.
44192dc7331SDavid Greenman 		 */
44292dc7331SDavid Greenman 		start = fl->l_start;
44392dc7331SDavid Greenman 		break;
44492dc7331SDavid Greenman 
44592dc7331SDavid Greenman 	case SEEK_END:
446c8e76343SAndrey A. Chernov 		if (size > OFF_MAX ||
447bc02f1d9SJeff Roberson 		    (fl->l_start > 0 && size > OFF_MAX - fl->l_start))
448bc02f1d9SJeff Roberson 			return (EOVERFLOW);
44992dc7331SDavid Greenman 		start = size + fl->l_start;
45092dc7331SDavid Greenman 		break;
45192dc7331SDavid Greenman 
45292dc7331SDavid Greenman 	default:
453bc02f1d9SJeff Roberson 		return (EINVAL);
45492dc7331SDavid Greenman 	}
455bc02f1d9SJeff Roberson 	if (start < 0)
456bc02f1d9SJeff Roberson 		return (EINVAL);
457f510e1c2SAndrey A. Chernov 	if (fl->l_len < 0) {
458bc02f1d9SJeff Roberson 		if (start == 0)
459bc02f1d9SJeff Roberson 			return (EINVAL);
460f510e1c2SAndrey A. Chernov 		end = start - 1;
46162be011eSAndrey A. Chernov 		start += fl->l_len;
462bc02f1d9SJeff Roberson 		if (start < 0)
463bc02f1d9SJeff Roberson 			return (EINVAL);
464dfdcada3SDoug Rabson 	} else if (fl->l_len == 0) {
465dfdcada3SDoug Rabson 		end = OFF_MAX;
466dfdcada3SDoug Rabson 	} else {
467c4778eedSAndrey A. Chernov 		oadd = fl->l_len - 1;
468bc02f1d9SJeff Roberson 		if (oadd > OFF_MAX - start)
469bc02f1d9SJeff Roberson 			return (EOVERFLOW);
47069cc1d0dSAndrey A. Chernov 		end = start + oadd;
471a88bd8aaSBruce Evans 	}
472*3bcc218fSKonstantin Belousov 
473*3bcc218fSKonstantin Belousov retry_setlock:
474*3bcc218fSKonstantin Belousov 
475a88bd8aaSBruce Evans 	/*
476a88bd8aaSBruce Evans 	 * Avoid the common case of unlocking when inode has no locks.
477a88bd8aaSBruce Evans 	 */
478842832aeSDoug Rabson 	VI_LOCK(vp);
479842832aeSDoug Rabson 	if ((*statep) == NULL) {
480a88bd8aaSBruce Evans 		if (ap->a_op != F_SETLK) {
481a88bd8aaSBruce Evans 			fl->l_type = F_UNLCK;
482842832aeSDoug Rabson 			VI_UNLOCK(vp);
483bc02f1d9SJeff Roberson 			return (0);
484a88bd8aaSBruce Evans 		}
485a88bd8aaSBruce Evans 	}
486842832aeSDoug Rabson 	VI_UNLOCK(vp);
487dfdcada3SDoug Rabson 
48892dc7331SDavid Greenman 	/*
489dfdcada3SDoug Rabson 	 * Map our arguments to an existing lock owner or create one
490dfdcada3SDoug Rabson 	 * if this is the first time we have seen this owner.
491bc02f1d9SJeff Roberson 	 */
492dfdcada3SDoug Rabson 	hash = lf_hash_owner(id, fl, flags);
493dfdcada3SDoug Rabson 	sx_xlock(&lf_lock_owners_lock);
494dfdcada3SDoug Rabson 	LIST_FOREACH(lo, &lf_lock_owners[hash], lo_link)
495dfdcada3SDoug Rabson 		if (lf_owner_matches(lo, id, fl, flags))
496dfdcada3SDoug Rabson 			break;
497dfdcada3SDoug Rabson 	if (!lo) {
498dfdcada3SDoug Rabson 		/*
499dfdcada3SDoug Rabson 		 * We initialise the lock with a reference
500dfdcada3SDoug Rabson 		 * count which matches the new lockf_entry
501dfdcada3SDoug Rabson 		 * structure created below.
502dfdcada3SDoug Rabson 		 */
503dfdcada3SDoug Rabson 		lo = malloc(sizeof(struct lock_owner), M_LOCKF,
504dfdcada3SDoug Rabson 		    M_WAITOK|M_ZERO);
505dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
506dfdcada3SDoug Rabson 		if (lockf_debug & 4)
507dfdcada3SDoug Rabson 			printf("Allocated lock owner %p\n", lo);
508dfdcada3SDoug Rabson #endif
509dfdcada3SDoug Rabson 
510dfdcada3SDoug Rabson 		lo->lo_refs = 1;
511dfdcada3SDoug Rabson 		lo->lo_flags = flags;
512dfdcada3SDoug Rabson 		lo->lo_id = id;
513dfdcada3SDoug Rabson 		if (flags & F_REMOTE) {
514dfdcada3SDoug Rabson 			lo->lo_pid = fl->l_pid;
515dfdcada3SDoug Rabson 			lo->lo_sysid = fl->l_sysid;
516dfdcada3SDoug Rabson 		} else if (flags & F_FLOCK) {
517dfdcada3SDoug Rabson 			lo->lo_pid = -1;
518dfdcada3SDoug Rabson 			lo->lo_sysid = 0;
519dfdcada3SDoug Rabson 		} else {
520dfdcada3SDoug Rabson 			struct proc *p = (struct proc *) id;
521dfdcada3SDoug Rabson 			lo->lo_pid = p->p_pid;
522dfdcada3SDoug Rabson 			lo->lo_sysid = 0;
523004e08beSKonstantin Belousov 		}
524dfdcada3SDoug Rabson 		lo->lo_vertex = NULL;
525dfdcada3SDoug Rabson 
526dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
527dfdcada3SDoug Rabson 		if (lockf_debug & 1) {
528dfdcada3SDoug Rabson 			printf("lf_advlockasync: new lock owner %p ", lo);
529dfdcada3SDoug Rabson 			lf_print_owner(lo);
530dfdcada3SDoug Rabson 			printf("\n");
531dfdcada3SDoug Rabson 		}
532dfdcada3SDoug Rabson #endif
533dfdcada3SDoug Rabson 
534dfdcada3SDoug Rabson 		LIST_INSERT_HEAD(&lf_lock_owners[hash], lo, lo_link);
535dfdcada3SDoug Rabson 	} else {
536bc02f1d9SJeff Roberson 		/*
537dfdcada3SDoug Rabson 		 * We have seen this lock owner before, increase its
538dfdcada3SDoug Rabson 		 * reference count to account for the new lockf_entry
539dfdcada3SDoug Rabson 		 * structure we create below.
54092dc7331SDavid Greenman 		 */
541dfdcada3SDoug Rabson 		lo->lo_refs++;
542dfdcada3SDoug Rabson 	}
543dfdcada3SDoug Rabson 	sx_xunlock(&lf_lock_owners_lock);
544dfdcada3SDoug Rabson 
545dfdcada3SDoug Rabson 	/*
546dfdcada3SDoug Rabson 	 * Create the lockf structure. We initialise the lf_owner
547dfdcada3SDoug Rabson 	 * field here instead of in lf_alloc_lock() to avoid paying
548dfdcada3SDoug Rabson 	 * the lf_lock_owners_lock tax twice.
549dfdcada3SDoug Rabson 	 */
550dfdcada3SDoug Rabson 	lock = lf_alloc_lock(NULL);
5518af54d4cSKonstantin Belousov 	lock->lf_refs = 1;
55292dc7331SDavid Greenman 	lock->lf_start = start;
55392dc7331SDavid Greenman 	lock->lf_end = end;
554dfdcada3SDoug Rabson 	lock->lf_owner = lo;
555dfdcada3SDoug Rabson 	lock->lf_vnode = vp;
556dfdcada3SDoug Rabson 	if (flags & F_REMOTE) {
557dfdcada3SDoug Rabson 		/*
558dfdcada3SDoug Rabson 		 * For remote locks, the caller may release its ref to
559dfdcada3SDoug Rabson 		 * the vnode at any time - we have to ref it here to
560dfdcada3SDoug Rabson 		 * prevent it from being recycled unexpectedly.
561dfdcada3SDoug Rabson 		 */
562dfdcada3SDoug Rabson 		vref(vp);
563dfdcada3SDoug Rabson 	}
564dfdcada3SDoug Rabson 
56559aff5fcSAlfred Perlstein 	/*
56659aff5fcSAlfred Perlstein 	 * XXX The problem is that VTOI is ufs specific, so it will
56759aff5fcSAlfred Perlstein 	 * break LOCKF_DEBUG for all other FS's other than UFS because
56859aff5fcSAlfred Perlstein 	 * it casts the vnode->data ptr to struct inode *.
56959aff5fcSAlfred Perlstein 	 */
57059aff5fcSAlfred Perlstein /*	lock->lf_inode = VTOI(ap->a_vp); */
57159aff5fcSAlfred Perlstein 	lock->lf_inode = (struct inode *)0;
57292dc7331SDavid Greenman 	lock->lf_type = fl->l_type;
573dfdcada3SDoug Rabson 	LIST_INIT(&lock->lf_outedges);
574dfdcada3SDoug Rabson 	LIST_INIT(&lock->lf_inedges);
575dfdcada3SDoug Rabson 	lock->lf_async_task = ap->a_task;
57692dc7331SDavid Greenman 	lock->lf_flags = ap->a_flags;
577dfdcada3SDoug Rabson 
57892dc7331SDavid Greenman 	/*
579dfdcada3SDoug Rabson 	 * Do the requested operation. First find our state structure
580dfdcada3SDoug Rabson 	 * and create a new one if necessary - the caller's *statep
581dfdcada3SDoug Rabson 	 * variable and the state's ls_threads count is protected by
582dfdcada3SDoug Rabson 	 * the vnode interlock.
58392dc7331SDavid Greenman 	 */
584bc02f1d9SJeff Roberson 	VI_LOCK(vp);
585eab626f1SKonstantin Belousov 	if (vp->v_iflag & VI_DOOMED) {
586eab626f1SKonstantin Belousov 		VI_UNLOCK(vp);
587eab626f1SKonstantin Belousov 		lf_free_lock(lock);
588eab626f1SKonstantin Belousov 		return (ENOENT);
589eab626f1SKonstantin Belousov 	}
590dfdcada3SDoug Rabson 
591dfdcada3SDoug Rabson 	/*
592dfdcada3SDoug Rabson 	 * Allocate a state structure if necessary.
593dfdcada3SDoug Rabson 	 */
594dfdcada3SDoug Rabson 	state = *statep;
595dfdcada3SDoug Rabson 	if (state == NULL) {
596dfdcada3SDoug Rabson 		struct lockf *ls;
597dfdcada3SDoug Rabson 
598dfdcada3SDoug Rabson 		VI_UNLOCK(vp);
599dfdcada3SDoug Rabson 
600dfdcada3SDoug Rabson 		ls = malloc(sizeof(struct lockf), M_LOCKF, M_WAITOK|M_ZERO);
601dfdcada3SDoug Rabson 		sx_init(&ls->ls_lock, "ls_lock");
602dfdcada3SDoug Rabson 		LIST_INIT(&ls->ls_active);
603dfdcada3SDoug Rabson 		LIST_INIT(&ls->ls_pending);
60460cdfde0SDoug Rabson 		ls->ls_threads = 1;
605dfdcada3SDoug Rabson 
606dfdcada3SDoug Rabson 		sx_xlock(&lf_lock_states_lock);
607dfdcada3SDoug Rabson 		LIST_INSERT_HEAD(&lf_lock_states, ls, ls_link);
608dfdcada3SDoug Rabson 		sx_xunlock(&lf_lock_states_lock);
609dfdcada3SDoug Rabson 
610dfdcada3SDoug Rabson 		/*
611dfdcada3SDoug Rabson 		 * Cope if we lost a race with some other thread while
612dfdcada3SDoug Rabson 		 * trying to allocate memory.
613dfdcada3SDoug Rabson 		 */
614dfdcada3SDoug Rabson 		VI_LOCK(vp);
615eab626f1SKonstantin Belousov 		if (vp->v_iflag & VI_DOOMED) {
616eab626f1SKonstantin Belousov 			VI_UNLOCK(vp);
617eab626f1SKonstantin Belousov 			sx_xlock(&lf_lock_states_lock);
618eab626f1SKonstantin Belousov 			LIST_REMOVE(ls, ls_link);
619eab626f1SKonstantin Belousov 			sx_xunlock(&lf_lock_states_lock);
620eab626f1SKonstantin Belousov 			sx_destroy(&ls->ls_lock);
621eab626f1SKonstantin Belousov 			free(ls, M_LOCKF);
622eab626f1SKonstantin Belousov 			lf_free_lock(lock);
623eab626f1SKonstantin Belousov 			return (ENOENT);
624eab626f1SKonstantin Belousov 		}
625dfdcada3SDoug Rabson 		if ((*statep) == NULL) {
62660cdfde0SDoug Rabson 			state = *statep = ls;
62760cdfde0SDoug Rabson 			VI_UNLOCK(vp);
628dfdcada3SDoug Rabson 		} else {
62960cdfde0SDoug Rabson 			state = *statep;
63060cdfde0SDoug Rabson 			state->ls_threads++;
63160cdfde0SDoug Rabson 			VI_UNLOCK(vp);
63260cdfde0SDoug Rabson 
633dfdcada3SDoug Rabson 			sx_xlock(&lf_lock_states_lock);
634dfdcada3SDoug Rabson 			LIST_REMOVE(ls, ls_link);
635dfdcada3SDoug Rabson 			sx_xunlock(&lf_lock_states_lock);
636dfdcada3SDoug Rabson 			sx_destroy(&ls->ls_lock);
637dfdcada3SDoug Rabson 			free(ls, M_LOCKF);
638dfdcada3SDoug Rabson 		}
63960cdfde0SDoug Rabson 	} else {
640dfdcada3SDoug Rabson 		state->ls_threads++;
641dfdcada3SDoug Rabson 		VI_UNLOCK(vp);
64260cdfde0SDoug Rabson 	}
643dfdcada3SDoug Rabson 
644dfdcada3SDoug Rabson 	sx_xlock(&state->ls_lock);
645b33d6177SKonstantin Belousov 	/*
646b33d6177SKonstantin Belousov 	 * Recheck the doomed vnode after state->ls_lock is
647b33d6177SKonstantin Belousov 	 * locked. lf_purgelocks() requires that no new threads add
648b33d6177SKonstantin Belousov 	 * pending locks when vnode is marked by VI_DOOMED flag.
649b33d6177SKonstantin Belousov 	 */
650b33d6177SKonstantin Belousov 	VI_LOCK(vp);
651b33d6177SKonstantin Belousov 	if (vp->v_iflag & VI_DOOMED) {
652f02c9d28SKonstantin Belousov 		state->ls_threads--;
653f02c9d28SKonstantin Belousov 		wakeup(state);
654b33d6177SKonstantin Belousov 		VI_UNLOCK(vp);
6555dd6aabaSKonstantin Belousov 		sx_xunlock(&state->ls_lock);
656b33d6177SKonstantin Belousov 		lf_free_lock(lock);
657b33d6177SKonstantin Belousov 		return (ENOENT);
658b33d6177SKonstantin Belousov 	}
659b33d6177SKonstantin Belousov 	VI_UNLOCK(vp);
660b33d6177SKonstantin Belousov 
66192dc7331SDavid Greenman 	switch (ap->a_op) {
66292dc7331SDavid Greenman 	case F_SETLK:
663dfdcada3SDoug Rabson 		error = lf_setlock(state, lock, vp, ap->a_cookiep);
664bc02f1d9SJeff Roberson 		break;
66592dc7331SDavid Greenman 
66692dc7331SDavid Greenman 	case F_UNLCK:
667dfdcada3SDoug Rabson 		error = lf_clearlock(state, lock);
668dfdcada3SDoug Rabson 		lf_free_lock(lock);
669bc02f1d9SJeff Roberson 		break;
67092dc7331SDavid Greenman 
67192dc7331SDavid Greenman 	case F_GETLK:
672dfdcada3SDoug Rabson 		error = lf_getlock(state, lock, fl);
673dfdcada3SDoug Rabson 		lf_free_lock(lock);
674dfdcada3SDoug Rabson 		break;
675dfdcada3SDoug Rabson 
676dfdcada3SDoug Rabson 	case F_CANCEL:
677dfdcada3SDoug Rabson 		if (ap->a_cookiep)
678dfdcada3SDoug Rabson 			error = lf_cancel(state, lock, *ap->a_cookiep);
679dfdcada3SDoug Rabson 		else
680dfdcada3SDoug Rabson 			error = EINVAL;
681dfdcada3SDoug Rabson 		lf_free_lock(lock);
682bc02f1d9SJeff Roberson 		break;
68392dc7331SDavid Greenman 
68492dc7331SDavid Greenman 	default:
685dfdcada3SDoug Rabson 		lf_free_lock(lock);
686013e6650SJeff Roberson 		error = EINVAL;
687bc02f1d9SJeff Roberson 		break;
68892dc7331SDavid Greenman 	}
689dfdcada3SDoug Rabson 
690dfdcada3SDoug Rabson #ifdef INVARIANTS
691dfdcada3SDoug Rabson 	/*
692dfdcada3SDoug Rabson 	 * Check for some can't happen stuff. In this case, the active
693dfdcada3SDoug Rabson 	 * lock list becoming disordered or containing mutually
694dfdcada3SDoug Rabson 	 * blocking locks. We also check the pending list for locks
695dfdcada3SDoug Rabson 	 * which should be active (i.e. have no out-going edges).
696dfdcada3SDoug Rabson 	 */
697dfdcada3SDoug Rabson 	LIST_FOREACH(lock, &state->ls_active, lf_link) {
698dfdcada3SDoug Rabson 		struct lockf_entry *lf;
699dfdcada3SDoug Rabson 		if (LIST_NEXT(lock, lf_link))
700dfdcada3SDoug Rabson 			KASSERT((lock->lf_start
701dfdcada3SDoug Rabson 				<= LIST_NEXT(lock, lf_link)->lf_start),
702dfdcada3SDoug Rabson 			    ("locks disordered"));
703dfdcada3SDoug Rabson 		LIST_FOREACH(lf, &state->ls_active, lf_link) {
704dfdcada3SDoug Rabson 			if (lock == lf)
705dfdcada3SDoug Rabson 				break;
706dfdcada3SDoug Rabson 			KASSERT(!lf_blocks(lock, lf),
707dfdcada3SDoug Rabson 			    ("two conflicting active locks"));
708dfdcada3SDoug Rabson 			if (lock->lf_owner == lf->lf_owner)
709dfdcada3SDoug Rabson 				KASSERT(!lf_overlaps(lock, lf),
710dfdcada3SDoug Rabson 				    ("two overlapping locks from same owner"));
711dfdcada3SDoug Rabson 		}
712dfdcada3SDoug Rabson 	}
713dfdcada3SDoug Rabson 	LIST_FOREACH(lock, &state->ls_pending, lf_link) {
714dfdcada3SDoug Rabson 		KASSERT(!LIST_EMPTY(&lock->lf_outedges),
715dfdcada3SDoug Rabson 		    ("pending lock which should be active"));
716dfdcada3SDoug Rabson 	}
717dfdcada3SDoug Rabson #endif
718dfdcada3SDoug Rabson 	sx_xunlock(&state->ls_lock);
719dfdcada3SDoug Rabson 
720dfdcada3SDoug Rabson 	/*
721dfdcada3SDoug Rabson 	 * If we have removed the last active lock on the vnode and
722dfdcada3SDoug Rabson 	 * this is the last thread that was in-progress, we can free
723dfdcada3SDoug Rabson 	 * the state structure. We update the caller's pointer inside
724dfdcada3SDoug Rabson 	 * the vnode interlock but call free outside.
725dfdcada3SDoug Rabson 	 *
726dfdcada3SDoug Rabson 	 * XXX alternatively, keep the state structure around until
727dfdcada3SDoug Rabson 	 * the filesystem recycles - requires a callback from the
728dfdcada3SDoug Rabson 	 * filesystem.
729dfdcada3SDoug Rabson 	 */
730dfdcada3SDoug Rabson 	VI_LOCK(vp);
731dfdcada3SDoug Rabson 
732dfdcada3SDoug Rabson 	state->ls_threads--;
733eab626f1SKonstantin Belousov 	wakeup(state);
734dfdcada3SDoug Rabson 	if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) {
735dfdcada3SDoug Rabson 		KASSERT(LIST_EMPTY(&state->ls_pending),
736dfdcada3SDoug Rabson 		    ("freeing state with pending locks"));
737dfdcada3SDoug Rabson 		freestate = state;
738dfdcada3SDoug Rabson 		*statep = NULL;
739dfdcada3SDoug Rabson 	}
740dfdcada3SDoug Rabson 
741bc02f1d9SJeff Roberson 	VI_UNLOCK(vp);
742dfdcada3SDoug Rabson 
743dfdcada3SDoug Rabson 	if (freestate) {
744dfdcada3SDoug Rabson 		sx_xlock(&lf_lock_states_lock);
745dfdcada3SDoug Rabson 		LIST_REMOVE(freestate, ls_link);
746dfdcada3SDoug Rabson 		sx_xunlock(&lf_lock_states_lock);
747dfdcada3SDoug Rabson 		sx_destroy(&freestate->ls_lock);
748dfdcada3SDoug Rabson 		free(freestate, M_LOCKF);
749004e08beSKonstantin Belousov 	}
750*3bcc218fSKonstantin Belousov 
751*3bcc218fSKonstantin Belousov 	if (error == EDOOFUS) {
752*3bcc218fSKonstantin Belousov 		KASSERT(ap->a_op == F_SETLK, ("EDOOFUS"));
753*3bcc218fSKonstantin Belousov 		goto retry_setlock;
754*3bcc218fSKonstantin Belousov 	}
755013e6650SJeff Roberson 	return (error);
75692dc7331SDavid Greenman }
75792dc7331SDavid Greenman 
758dfdcada3SDoug Rabson int
759dfdcada3SDoug Rabson lf_advlock(struct vop_advlock_args *ap, struct lockf **statep, u_quad_t size)
760dfdcada3SDoug Rabson {
761dfdcada3SDoug Rabson 	struct vop_advlockasync_args a;
762dfdcada3SDoug Rabson 
763dfdcada3SDoug Rabson 	a.a_vp = ap->a_vp;
764dfdcada3SDoug Rabson 	a.a_id = ap->a_id;
765dfdcada3SDoug Rabson 	a.a_op = ap->a_op;
766dfdcada3SDoug Rabson 	a.a_fl = ap->a_fl;
767dfdcada3SDoug Rabson 	a.a_flags = ap->a_flags;
768dfdcada3SDoug Rabson 	a.a_task = NULL;
769dfdcada3SDoug Rabson 	a.a_cookiep = NULL;
770dfdcada3SDoug Rabson 
771dfdcada3SDoug Rabson 	return (lf_advlockasync(&a, statep, size));
772dfdcada3SDoug Rabson }
773dfdcada3SDoug Rabson 
774eab626f1SKonstantin Belousov void
775eab626f1SKonstantin Belousov lf_purgelocks(struct vnode *vp, struct lockf **statep)
776eab626f1SKonstantin Belousov {
777eab626f1SKonstantin Belousov 	struct lockf *state;
778eab626f1SKonstantin Belousov 	struct lockf_entry *lock, *nlock;
779eab626f1SKonstantin Belousov 
780eab626f1SKonstantin Belousov 	/*
781eab626f1SKonstantin Belousov 	 * For this to work correctly, the caller must ensure that no
782eab626f1SKonstantin Belousov 	 * other threads enter the locking system for this vnode,
783eab626f1SKonstantin Belousov 	 * e.g. by checking VI_DOOMED. We wake up any threads that are
784eab626f1SKonstantin Belousov 	 * sleeping waiting for locks on this vnode and then free all
785eab626f1SKonstantin Belousov 	 * the remaining locks.
786eab626f1SKonstantin Belousov 	 */
787eab626f1SKonstantin Belousov 	VI_LOCK(vp);
788b33d6177SKonstantin Belousov 	KASSERT(vp->v_iflag & VI_DOOMED,
789b33d6177SKonstantin Belousov 	    ("lf_purgelocks: vp %p has not vgone yet", vp));
790eab626f1SKonstantin Belousov 	state = *statep;
791eab626f1SKonstantin Belousov 	if (state) {
792b33d6177SKonstantin Belousov 		*statep = NULL;
793eab626f1SKonstantin Belousov 		state->ls_threads++;
794eab626f1SKonstantin Belousov 		VI_UNLOCK(vp);
795eab626f1SKonstantin Belousov 
796eab626f1SKonstantin Belousov 		sx_xlock(&state->ls_lock);
797eab626f1SKonstantin Belousov 		sx_xlock(&lf_owner_graph_lock);
798eab626f1SKonstantin Belousov 		LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) {
799eab626f1SKonstantin Belousov 			LIST_REMOVE(lock, lf_link);
800eab626f1SKonstantin Belousov 			lf_remove_outgoing(lock);
801eab626f1SKonstantin Belousov 			lf_remove_incoming(lock);
802eab626f1SKonstantin Belousov 
803eab626f1SKonstantin Belousov 			/*
804eab626f1SKonstantin Belousov 			 * If its an async lock, we can just free it
805eab626f1SKonstantin Belousov 			 * here, otherwise we let the sleeping thread
806eab626f1SKonstantin Belousov 			 * free it.
807eab626f1SKonstantin Belousov 			 */
808eab626f1SKonstantin Belousov 			if (lock->lf_async_task) {
809eab626f1SKonstantin Belousov 				lf_free_lock(lock);
810eab626f1SKonstantin Belousov 			} else {
811eab626f1SKonstantin Belousov 				lock->lf_flags |= F_INTR;
812eab626f1SKonstantin Belousov 				wakeup(lock);
813eab626f1SKonstantin Belousov 			}
814eab626f1SKonstantin Belousov 		}
815eab626f1SKonstantin Belousov 		sx_xunlock(&lf_owner_graph_lock);
816eab626f1SKonstantin Belousov 		sx_xunlock(&state->ls_lock);
817eab626f1SKonstantin Belousov 
818eab626f1SKonstantin Belousov 		/*
819eab626f1SKonstantin Belousov 		 * Wait for all other threads, sleeping and otherwise
820eab626f1SKonstantin Belousov 		 * to leave.
821eab626f1SKonstantin Belousov 		 */
822eab626f1SKonstantin Belousov 		VI_LOCK(vp);
823eab626f1SKonstantin Belousov 		while (state->ls_threads > 1)
824eab626f1SKonstantin Belousov 			msleep(state, VI_MTX(vp), 0, "purgelocks", 0);
825eab626f1SKonstantin Belousov 		VI_UNLOCK(vp);
826eab626f1SKonstantin Belousov 
827eab626f1SKonstantin Belousov 		/*
828eab626f1SKonstantin Belousov 		 * We can just free all the active locks since they
829eab626f1SKonstantin Belousov 		 * will have no dependancies (we removed them all
830eab626f1SKonstantin Belousov 		 * above). We don't need to bother locking since we
831eab626f1SKonstantin Belousov 		 * are the last thread using this state structure.
832eab626f1SKonstantin Belousov 		 */
8339727972eSKonstantin Belousov 		KASSERT(LIST_EMPTY(&state->ls_pending),
8349727972eSKonstantin Belousov 		    ("lock pending for %p", state));
8359727972eSKonstantin Belousov 		LIST_FOREACH_SAFE(lock, &state->ls_active, lf_link, nlock) {
836eab626f1SKonstantin Belousov 			LIST_REMOVE(lock, lf_link);
837eab626f1SKonstantin Belousov 			lf_free_lock(lock);
838eab626f1SKonstantin Belousov 		}
839eab626f1SKonstantin Belousov 		sx_xlock(&lf_lock_states_lock);
840eab626f1SKonstantin Belousov 		LIST_REMOVE(state, ls_link);
841eab626f1SKonstantin Belousov 		sx_xunlock(&lf_lock_states_lock);
842eab626f1SKonstantin Belousov 		sx_destroy(&state->ls_lock);
843eab626f1SKonstantin Belousov 		free(state, M_LOCKF);
844eab626f1SKonstantin Belousov 	} else {
845eab626f1SKonstantin Belousov 		VI_UNLOCK(vp);
846eab626f1SKonstantin Belousov 	}
847eab626f1SKonstantin Belousov }
848eab626f1SKonstantin Belousov 
849dfdcada3SDoug Rabson /*
850dfdcada3SDoug Rabson  * Return non-zero if locks 'x' and 'y' overlap.
851dfdcada3SDoug Rabson  */
852dfdcada3SDoug Rabson static int
853dfdcada3SDoug Rabson lf_overlaps(struct lockf_entry *x, struct lockf_entry *y)
854dfdcada3SDoug Rabson {
855dfdcada3SDoug Rabson 
856dfdcada3SDoug Rabson 	return (x->lf_start <= y->lf_end && x->lf_end >= y->lf_start);
857dfdcada3SDoug Rabson }
858dfdcada3SDoug Rabson 
859dfdcada3SDoug Rabson /*
860dfdcada3SDoug Rabson  * Return non-zero if lock 'x' is blocked by lock 'y' (or vice versa).
861dfdcada3SDoug Rabson  */
862dfdcada3SDoug Rabson static int
863dfdcada3SDoug Rabson lf_blocks(struct lockf_entry *x, struct lockf_entry *y)
864dfdcada3SDoug Rabson {
865dfdcada3SDoug Rabson 
866dfdcada3SDoug Rabson 	return x->lf_owner != y->lf_owner
867dfdcada3SDoug Rabson 		&& (x->lf_type == F_WRLCK || y->lf_type == F_WRLCK)
868dfdcada3SDoug Rabson 		&& lf_overlaps(x, y);
869dfdcada3SDoug Rabson }
870dfdcada3SDoug Rabson 
871dfdcada3SDoug Rabson /*
872dfdcada3SDoug Rabson  * Allocate a lock edge from the free list
873dfdcada3SDoug Rabson  */
874dfdcada3SDoug Rabson static struct lockf_edge *
875dfdcada3SDoug Rabson lf_alloc_edge(void)
876dfdcada3SDoug Rabson {
877dfdcada3SDoug Rabson 
878dfdcada3SDoug Rabson 	return (malloc(sizeof(struct lockf_edge), M_LOCKF, M_WAITOK|M_ZERO));
879dfdcada3SDoug Rabson }
880dfdcada3SDoug Rabson 
881dfdcada3SDoug Rabson /*
882dfdcada3SDoug Rabson  * Free a lock edge.
883dfdcada3SDoug Rabson  */
884dfdcada3SDoug Rabson static void
885dfdcada3SDoug Rabson lf_free_edge(struct lockf_edge *e)
886dfdcada3SDoug Rabson {
887dfdcada3SDoug Rabson 
888dfdcada3SDoug Rabson 	free(e, M_LOCKF);
889dfdcada3SDoug Rabson }
890dfdcada3SDoug Rabson 
891dfdcada3SDoug Rabson 
892dfdcada3SDoug Rabson /*
893dfdcada3SDoug Rabson  * Ensure that the lock's owner has a corresponding vertex in the
894dfdcada3SDoug Rabson  * owner graph.
895dfdcada3SDoug Rabson  */
896dfdcada3SDoug Rabson static void
897dfdcada3SDoug Rabson lf_alloc_vertex(struct lockf_entry *lock)
898dfdcada3SDoug Rabson {
899dfdcada3SDoug Rabson 	struct owner_graph *g = &lf_owner_graph;
900dfdcada3SDoug Rabson 
901dfdcada3SDoug Rabson 	if (!lock->lf_owner->lo_vertex)
902dfdcada3SDoug Rabson 		lock->lf_owner->lo_vertex =
903dfdcada3SDoug Rabson 			graph_alloc_vertex(g, lock->lf_owner);
904dfdcada3SDoug Rabson }
905dfdcada3SDoug Rabson 
906dfdcada3SDoug Rabson /*
907dfdcada3SDoug Rabson  * Attempt to record an edge from lock x to lock y. Return EDEADLK if
908dfdcada3SDoug Rabson  * the new edge would cause a cycle in the owner graph.
909dfdcada3SDoug Rabson  */
910dfdcada3SDoug Rabson static int
911dfdcada3SDoug Rabson lf_add_edge(struct lockf_entry *x, struct lockf_entry *y)
912dfdcada3SDoug Rabson {
913dfdcada3SDoug Rabson 	struct owner_graph *g = &lf_owner_graph;
914dfdcada3SDoug Rabson 	struct lockf_edge *e;
915dfdcada3SDoug Rabson 	int error;
916dfdcada3SDoug Rabson 
917dfdcada3SDoug Rabson #ifdef INVARIANTS
918dfdcada3SDoug Rabson 	LIST_FOREACH(e, &x->lf_outedges, le_outlink)
919dfdcada3SDoug Rabson 		KASSERT(e->le_to != y, ("adding lock edge twice"));
920dfdcada3SDoug Rabson #endif
921dfdcada3SDoug Rabson 
922dfdcada3SDoug Rabson 	/*
923dfdcada3SDoug Rabson 	 * Make sure the two owners have entries in the owner graph.
924dfdcada3SDoug Rabson 	 */
925dfdcada3SDoug Rabson 	lf_alloc_vertex(x);
926dfdcada3SDoug Rabson 	lf_alloc_vertex(y);
927dfdcada3SDoug Rabson 
928dfdcada3SDoug Rabson 	error = graph_add_edge(g, x->lf_owner->lo_vertex,
929dfdcada3SDoug Rabson 	    y->lf_owner->lo_vertex);
930dfdcada3SDoug Rabson 	if (error)
931dfdcada3SDoug Rabson 		return (error);
932dfdcada3SDoug Rabson 
933dfdcada3SDoug Rabson 	e = lf_alloc_edge();
934dfdcada3SDoug Rabson 	LIST_INSERT_HEAD(&x->lf_outedges, e, le_outlink);
935dfdcada3SDoug Rabson 	LIST_INSERT_HEAD(&y->lf_inedges, e, le_inlink);
936dfdcada3SDoug Rabson 	e->le_from = x;
937dfdcada3SDoug Rabson 	e->le_to = y;
938dfdcada3SDoug Rabson 
939dfdcada3SDoug Rabson 	return (0);
940dfdcada3SDoug Rabson }
941dfdcada3SDoug Rabson 
942dfdcada3SDoug Rabson /*
943dfdcada3SDoug Rabson  * Remove an edge from the lock graph.
944dfdcada3SDoug Rabson  */
945dfdcada3SDoug Rabson static void
946dfdcada3SDoug Rabson lf_remove_edge(struct lockf_edge *e)
947dfdcada3SDoug Rabson {
948dfdcada3SDoug Rabson 	struct owner_graph *g = &lf_owner_graph;
949dfdcada3SDoug Rabson 	struct lockf_entry *x = e->le_from;
950dfdcada3SDoug Rabson 	struct lockf_entry *y = e->le_to;
951dfdcada3SDoug Rabson 
952dfdcada3SDoug Rabson 	graph_remove_edge(g, x->lf_owner->lo_vertex, y->lf_owner->lo_vertex);
953dfdcada3SDoug Rabson 	LIST_REMOVE(e, le_outlink);
954dfdcada3SDoug Rabson 	LIST_REMOVE(e, le_inlink);
955dfdcada3SDoug Rabson 	e->le_from = NULL;
956dfdcada3SDoug Rabson 	e->le_to = NULL;
957dfdcada3SDoug Rabson 	lf_free_edge(e);
958dfdcada3SDoug Rabson }
959dfdcada3SDoug Rabson 
960dfdcada3SDoug Rabson /*
961dfdcada3SDoug Rabson  * Remove all out-going edges from lock x.
962dfdcada3SDoug Rabson  */
963dfdcada3SDoug Rabson static void
964dfdcada3SDoug Rabson lf_remove_outgoing(struct lockf_entry *x)
965dfdcada3SDoug Rabson {
966dfdcada3SDoug Rabson 	struct lockf_edge *e;
967dfdcada3SDoug Rabson 
968dfdcada3SDoug Rabson 	while ((e = LIST_FIRST(&x->lf_outedges)) != NULL) {
969dfdcada3SDoug Rabson 		lf_remove_edge(e);
970dfdcada3SDoug Rabson 	}
971dfdcada3SDoug Rabson }
972dfdcada3SDoug Rabson 
973dfdcada3SDoug Rabson /*
974dfdcada3SDoug Rabson  * Remove all in-coming edges from lock x.
975dfdcada3SDoug Rabson  */
976dfdcada3SDoug Rabson static void
977dfdcada3SDoug Rabson lf_remove_incoming(struct lockf_entry *x)
978dfdcada3SDoug Rabson {
979dfdcada3SDoug Rabson 	struct lockf_edge *e;
980dfdcada3SDoug Rabson 
981dfdcada3SDoug Rabson 	while ((e = LIST_FIRST(&x->lf_inedges)) != NULL) {
982dfdcada3SDoug Rabson 		lf_remove_edge(e);
983dfdcada3SDoug Rabson 	}
984dfdcada3SDoug Rabson }
985dfdcada3SDoug Rabson 
986dfdcada3SDoug Rabson /*
987dfdcada3SDoug Rabson  * Walk the list of locks for the file and create an out-going edge
988dfdcada3SDoug Rabson  * from lock to each blocking lock.
989dfdcada3SDoug Rabson  */
990dfdcada3SDoug Rabson static int
991dfdcada3SDoug Rabson lf_add_outgoing(struct lockf *state, struct lockf_entry *lock)
992dfdcada3SDoug Rabson {
993dfdcada3SDoug Rabson 	struct lockf_entry *overlap;
994dfdcada3SDoug Rabson 	int error;
995dfdcada3SDoug Rabson 
996dfdcada3SDoug Rabson 	LIST_FOREACH(overlap, &state->ls_active, lf_link) {
997dfdcada3SDoug Rabson 		/*
998dfdcada3SDoug Rabson 		 * We may assume that the active list is sorted by
999dfdcada3SDoug Rabson 		 * lf_start.
1000dfdcada3SDoug Rabson 		 */
1001dfdcada3SDoug Rabson 		if (overlap->lf_start > lock->lf_end)
1002dfdcada3SDoug Rabson 			break;
1003dfdcada3SDoug Rabson 		if (!lf_blocks(lock, overlap))
1004dfdcada3SDoug Rabson 			continue;
1005dfdcada3SDoug Rabson 
1006dfdcada3SDoug Rabson 		/*
1007dfdcada3SDoug Rabson 		 * We've found a blocking lock. Add the corresponding
1008dfdcada3SDoug Rabson 		 * edge to the graphs and see if it would cause a
1009dfdcada3SDoug Rabson 		 * deadlock.
1010dfdcada3SDoug Rabson 		 */
1011dfdcada3SDoug Rabson 		error = lf_add_edge(lock, overlap);
1012dfdcada3SDoug Rabson 
1013dfdcada3SDoug Rabson 		/*
1014dfdcada3SDoug Rabson 		 * The only error that lf_add_edge returns is EDEADLK.
1015dfdcada3SDoug Rabson 		 * Remove any edges we added and return the error.
1016dfdcada3SDoug Rabson 		 */
1017dfdcada3SDoug Rabson 		if (error) {
1018dfdcada3SDoug Rabson 			lf_remove_outgoing(lock);
1019dfdcada3SDoug Rabson 			return (error);
1020dfdcada3SDoug Rabson 		}
1021dfdcada3SDoug Rabson 	}
1022dfdcada3SDoug Rabson 
1023dfdcada3SDoug Rabson 	/*
1024dfdcada3SDoug Rabson 	 * We also need to add edges to sleeping locks that block
1025dfdcada3SDoug Rabson 	 * us. This ensures that lf_wakeup_lock cannot grant two
1026dfdcada3SDoug Rabson 	 * mutually blocking locks simultaneously and also enforces a
1027dfdcada3SDoug Rabson 	 * 'first come, first served' fairness model. Note that this
1028dfdcada3SDoug Rabson 	 * only happens if we are blocked by at least one active lock
1029dfdcada3SDoug Rabson 	 * due to the call to lf_getblock in lf_setlock below.
1030dfdcada3SDoug Rabson 	 */
1031dfdcada3SDoug Rabson 	LIST_FOREACH(overlap, &state->ls_pending, lf_link) {
1032dfdcada3SDoug Rabson 		if (!lf_blocks(lock, overlap))
1033dfdcada3SDoug Rabson 			continue;
1034dfdcada3SDoug Rabson 		/*
1035dfdcada3SDoug Rabson 		 * We've found a blocking lock. Add the corresponding
1036dfdcada3SDoug Rabson 		 * edge to the graphs and see if it would cause a
1037dfdcada3SDoug Rabson 		 * deadlock.
1038dfdcada3SDoug Rabson 		 */
1039dfdcada3SDoug Rabson 		error = lf_add_edge(lock, overlap);
1040dfdcada3SDoug Rabson 
1041dfdcada3SDoug Rabson 		/*
1042dfdcada3SDoug Rabson 		 * The only error that lf_add_edge returns is EDEADLK.
1043dfdcada3SDoug Rabson 		 * Remove any edges we added and return the error.
1044dfdcada3SDoug Rabson 		 */
1045dfdcada3SDoug Rabson 		if (error) {
1046dfdcada3SDoug Rabson 			lf_remove_outgoing(lock);
1047dfdcada3SDoug Rabson 			return (error);
1048dfdcada3SDoug Rabson 		}
1049dfdcada3SDoug Rabson 	}
1050dfdcada3SDoug Rabson 
1051dfdcada3SDoug Rabson 	return (0);
1052dfdcada3SDoug Rabson }
1053dfdcada3SDoug Rabson 
1054dfdcada3SDoug Rabson /*
1055dfdcada3SDoug Rabson  * Walk the list of pending locks for the file and create an in-coming
1056dfdcada3SDoug Rabson  * edge from lock to each blocking lock.
1057dfdcada3SDoug Rabson  */
1058dfdcada3SDoug Rabson static int
1059dfdcada3SDoug Rabson lf_add_incoming(struct lockf *state, struct lockf_entry *lock)
1060dfdcada3SDoug Rabson {
1061dfdcada3SDoug Rabson 	struct lockf_entry *overlap;
1062dfdcada3SDoug Rabson 	int error;
1063dfdcada3SDoug Rabson 
1064dfdcada3SDoug Rabson 	LIST_FOREACH(overlap, &state->ls_pending, lf_link) {
1065dfdcada3SDoug Rabson 		if (!lf_blocks(lock, overlap))
1066dfdcada3SDoug Rabson 			continue;
1067dfdcada3SDoug Rabson 
1068dfdcada3SDoug Rabson 		/*
1069dfdcada3SDoug Rabson 		 * We've found a blocking lock. Add the corresponding
1070dfdcada3SDoug Rabson 		 * edge to the graphs and see if it would cause a
1071dfdcada3SDoug Rabson 		 * deadlock.
1072dfdcada3SDoug Rabson 		 */
1073dfdcada3SDoug Rabson 		error = lf_add_edge(overlap, lock);
1074dfdcada3SDoug Rabson 
1075dfdcada3SDoug Rabson 		/*
1076dfdcada3SDoug Rabson 		 * The only error that lf_add_edge returns is EDEADLK.
1077dfdcada3SDoug Rabson 		 * Remove any edges we added and return the error.
1078dfdcada3SDoug Rabson 		 */
1079dfdcada3SDoug Rabson 		if (error) {
1080dfdcada3SDoug Rabson 			lf_remove_incoming(lock);
1081dfdcada3SDoug Rabson 			return (error);
1082dfdcada3SDoug Rabson 		}
1083dfdcada3SDoug Rabson 	}
1084dfdcada3SDoug Rabson 	return (0);
1085dfdcada3SDoug Rabson }
1086dfdcada3SDoug Rabson 
1087dfdcada3SDoug Rabson /*
1088dfdcada3SDoug Rabson  * Insert lock into the active list, keeping list entries ordered by
1089dfdcada3SDoug Rabson  * increasing values of lf_start.
1090dfdcada3SDoug Rabson  */
1091dfdcada3SDoug Rabson static void
1092dfdcada3SDoug Rabson lf_insert_lock(struct lockf *state, struct lockf_entry *lock)
1093dfdcada3SDoug Rabson {
1094dfdcada3SDoug Rabson 	struct lockf_entry *lf, *lfprev;
1095dfdcada3SDoug Rabson 
1096dfdcada3SDoug Rabson 	if (LIST_EMPTY(&state->ls_active)) {
1097dfdcada3SDoug Rabson 		LIST_INSERT_HEAD(&state->ls_active, lock, lf_link);
1098dfdcada3SDoug Rabson 		return;
1099dfdcada3SDoug Rabson 	}
1100dfdcada3SDoug Rabson 
1101dfdcada3SDoug Rabson 	lfprev = NULL;
1102dfdcada3SDoug Rabson 	LIST_FOREACH(lf, &state->ls_active, lf_link) {
1103dfdcada3SDoug Rabson 		if (lf->lf_start > lock->lf_start) {
1104dfdcada3SDoug Rabson 			LIST_INSERT_BEFORE(lf, lock, lf_link);
1105dfdcada3SDoug Rabson 			return;
1106dfdcada3SDoug Rabson 		}
1107dfdcada3SDoug Rabson 		lfprev = lf;
1108dfdcada3SDoug Rabson 	}
1109dfdcada3SDoug Rabson 	LIST_INSERT_AFTER(lfprev, lock, lf_link);
1110dfdcada3SDoug Rabson }
1111dfdcada3SDoug Rabson 
1112dfdcada3SDoug Rabson /*
1113dfdcada3SDoug Rabson  * Wake up a sleeping lock and remove it from the pending list now
1114dfdcada3SDoug Rabson  * that all its dependancies have been resolved. The caller should
1115dfdcada3SDoug Rabson  * arrange for the lock to be added to the active list, adjusting any
1116dfdcada3SDoug Rabson  * existing locks for the same owner as needed.
1117dfdcada3SDoug Rabson  */
1118dfdcada3SDoug Rabson static void
1119dfdcada3SDoug Rabson lf_wakeup_lock(struct lockf *state, struct lockf_entry *wakelock)
1120dfdcada3SDoug Rabson {
1121dfdcada3SDoug Rabson 
1122dfdcada3SDoug Rabson 	/*
1123dfdcada3SDoug Rabson 	 * Remove from ls_pending list and wake up the caller
1124dfdcada3SDoug Rabson 	 * or start the async notification, as appropriate.
1125dfdcada3SDoug Rabson 	 */
1126dfdcada3SDoug Rabson 	LIST_REMOVE(wakelock, lf_link);
1127dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
1128dfdcada3SDoug Rabson 	if (lockf_debug & 1)
1129dfdcada3SDoug Rabson 		lf_print("lf_wakeup_lock: awakening", wakelock);
1130dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */
1131dfdcada3SDoug Rabson 	if (wakelock->lf_async_task) {
1132dfdcada3SDoug Rabson 		taskqueue_enqueue(taskqueue_thread, wakelock->lf_async_task);
1133dfdcada3SDoug Rabson 	} else {
1134dfdcada3SDoug Rabson 		wakeup(wakelock);
1135dfdcada3SDoug Rabson 	}
1136dfdcada3SDoug Rabson }
1137dfdcada3SDoug Rabson 
1138dfdcada3SDoug Rabson /*
1139dfdcada3SDoug Rabson  * Re-check all dependant locks and remove edges to locks that we no
1140dfdcada3SDoug Rabson  * longer block. If 'all' is non-zero, the lock has been removed and
1141dfdcada3SDoug Rabson  * we must remove all the dependancies, otherwise it has simply been
1142dfdcada3SDoug Rabson  * reduced but remains active. Any pending locks which have been been
1143dfdcada3SDoug Rabson  * unblocked are added to 'granted'
1144dfdcada3SDoug Rabson  */
1145dfdcada3SDoug Rabson static void
1146dfdcada3SDoug Rabson lf_update_dependancies(struct lockf *state, struct lockf_entry *lock, int all,
1147dfdcada3SDoug Rabson 	struct lockf_entry_list *granted)
1148dfdcada3SDoug Rabson {
1149dfdcada3SDoug Rabson 	struct lockf_edge *e, *ne;
1150dfdcada3SDoug Rabson 	struct lockf_entry *deplock;
1151dfdcada3SDoug Rabson 
1152dfdcada3SDoug Rabson 	LIST_FOREACH_SAFE(e, &lock->lf_inedges, le_inlink, ne) {
1153dfdcada3SDoug Rabson 		deplock = e->le_from;
1154dfdcada3SDoug Rabson 		if (all || !lf_blocks(lock, deplock)) {
1155dfdcada3SDoug Rabson 			sx_xlock(&lf_owner_graph_lock);
1156dfdcada3SDoug Rabson 			lf_remove_edge(e);
1157dfdcada3SDoug Rabson 			sx_xunlock(&lf_owner_graph_lock);
1158dfdcada3SDoug Rabson 			if (LIST_EMPTY(&deplock->lf_outedges)) {
1159dfdcada3SDoug Rabson 				lf_wakeup_lock(state, deplock);
1160dfdcada3SDoug Rabson 				LIST_INSERT_HEAD(granted, deplock, lf_link);
1161dfdcada3SDoug Rabson 			}
1162dfdcada3SDoug Rabson 		}
1163dfdcada3SDoug Rabson 	}
1164dfdcada3SDoug Rabson }
1165dfdcada3SDoug Rabson 
1166dfdcada3SDoug Rabson /*
1167dfdcada3SDoug Rabson  * Set the start of an existing active lock, updating dependancies and
1168dfdcada3SDoug Rabson  * adding any newly woken locks to 'granted'.
1169dfdcada3SDoug Rabson  */
1170dfdcada3SDoug Rabson static void
1171dfdcada3SDoug Rabson lf_set_start(struct lockf *state, struct lockf_entry *lock, off_t new_start,
1172dfdcada3SDoug Rabson 	struct lockf_entry_list *granted)
1173dfdcada3SDoug Rabson {
1174dfdcada3SDoug Rabson 
1175dfdcada3SDoug Rabson 	KASSERT(new_start >= lock->lf_start, ("can't increase lock"));
1176dfdcada3SDoug Rabson 	lock->lf_start = new_start;
1177dfdcada3SDoug Rabson 	LIST_REMOVE(lock, lf_link);
1178dfdcada3SDoug Rabson 	lf_insert_lock(state, lock);
1179dfdcada3SDoug Rabson 	lf_update_dependancies(state, lock, FALSE, granted);
1180dfdcada3SDoug Rabson }
1181dfdcada3SDoug Rabson 
1182dfdcada3SDoug Rabson /*
1183dfdcada3SDoug Rabson  * Set the end of an existing active lock, updating dependancies and
1184dfdcada3SDoug Rabson  * adding any newly woken locks to 'granted'.
1185dfdcada3SDoug Rabson  */
1186dfdcada3SDoug Rabson static void
1187dfdcada3SDoug Rabson lf_set_end(struct lockf *state, struct lockf_entry *lock, off_t new_end,
1188dfdcada3SDoug Rabson 	struct lockf_entry_list *granted)
1189dfdcada3SDoug Rabson {
1190dfdcada3SDoug Rabson 
1191dfdcada3SDoug Rabson 	KASSERT(new_end <= lock->lf_end, ("can't increase lock"));
1192dfdcada3SDoug Rabson 	lock->lf_end = new_end;
1193dfdcada3SDoug Rabson 	lf_update_dependancies(state, lock, FALSE, granted);
1194dfdcada3SDoug Rabson }
1195dfdcada3SDoug Rabson 
1196dfdcada3SDoug Rabson /*
1197dfdcada3SDoug Rabson  * Add a lock to the active list, updating or removing any current
1198dfdcada3SDoug Rabson  * locks owned by the same owner and processing any pending locks that
1199dfdcada3SDoug Rabson  * become unblocked as a result. This code is also used for unlock
1200dfdcada3SDoug Rabson  * since the logic for updating existing locks is identical.
1201dfdcada3SDoug Rabson  *
1202dfdcada3SDoug Rabson  * As a result of processing the new lock, we may unblock existing
1203dfdcada3SDoug Rabson  * pending locks as a result of downgrading/unlocking. We simply
1204dfdcada3SDoug Rabson  * activate the newly granted locks by looping.
1205dfdcada3SDoug Rabson  *
1206dfdcada3SDoug Rabson  * Since the new lock already has its dependancies set up, we always
1207dfdcada3SDoug Rabson  * add it to the list (unless its an unlock request). This may
1208dfdcada3SDoug Rabson  * fragment the lock list in some pathological cases but its probably
1209dfdcada3SDoug Rabson  * not a real problem.
1210dfdcada3SDoug Rabson  */
1211dfdcada3SDoug Rabson static void
1212dfdcada3SDoug Rabson lf_activate_lock(struct lockf *state, struct lockf_entry *lock)
1213dfdcada3SDoug Rabson {
1214dfdcada3SDoug Rabson 	struct lockf_entry *overlap, *lf;
1215dfdcada3SDoug Rabson 	struct lockf_entry_list granted;
1216dfdcada3SDoug Rabson 	int ovcase;
1217dfdcada3SDoug Rabson 
1218dfdcada3SDoug Rabson 	LIST_INIT(&granted);
1219dfdcada3SDoug Rabson 	LIST_INSERT_HEAD(&granted, lock, lf_link);
1220dfdcada3SDoug Rabson 
1221dfdcada3SDoug Rabson 	while (!LIST_EMPTY(&granted)) {
1222dfdcada3SDoug Rabson 		lock = LIST_FIRST(&granted);
1223dfdcada3SDoug Rabson 		LIST_REMOVE(lock, lf_link);
1224dfdcada3SDoug Rabson 
1225dfdcada3SDoug Rabson 		/*
1226dfdcada3SDoug Rabson 		 * Skip over locks owned by other processes.  Handle
1227dfdcada3SDoug Rabson 		 * any locks that overlap and are owned by ourselves.
1228dfdcada3SDoug Rabson 		 */
1229dfdcada3SDoug Rabson 		overlap = LIST_FIRST(&state->ls_active);
1230dfdcada3SDoug Rabson 		for (;;) {
1231dfdcada3SDoug Rabson 			ovcase = lf_findoverlap(&overlap, lock, SELF);
1232dfdcada3SDoug Rabson 
1233dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
1234dfdcada3SDoug Rabson 			if (ovcase && (lockf_debug & 2)) {
1235dfdcada3SDoug Rabson 				printf("lf_setlock: overlap %d", ovcase);
1236dfdcada3SDoug Rabson 				lf_print("", overlap);
1237dfdcada3SDoug Rabson 			}
1238dfdcada3SDoug Rabson #endif
1239dfdcada3SDoug Rabson 			/*
1240dfdcada3SDoug Rabson 			 * Six cases:
1241dfdcada3SDoug Rabson 			 *	0) no overlap
1242dfdcada3SDoug Rabson 			 *	1) overlap == lock
1243dfdcada3SDoug Rabson 			 *	2) overlap contains lock
1244dfdcada3SDoug Rabson 			 *	3) lock contains overlap
1245dfdcada3SDoug Rabson 			 *	4) overlap starts before lock
1246dfdcada3SDoug Rabson 			 *	5) overlap ends after lock
1247dfdcada3SDoug Rabson 			 */
1248dfdcada3SDoug Rabson 			switch (ovcase) {
1249dfdcada3SDoug Rabson 			case 0: /* no overlap */
1250dfdcada3SDoug Rabson 				break;
1251dfdcada3SDoug Rabson 
1252dfdcada3SDoug Rabson 			case 1: /* overlap == lock */
1253dfdcada3SDoug Rabson 				/*
1254dfdcada3SDoug Rabson 				 * We have already setup the
1255dfdcada3SDoug Rabson 				 * dependants for the new lock, taking
1256dfdcada3SDoug Rabson 				 * into account a possible downgrade
1257dfdcada3SDoug Rabson 				 * or unlock. Remove the old lock.
1258dfdcada3SDoug Rabson 				 */
1259dfdcada3SDoug Rabson 				LIST_REMOVE(overlap, lf_link);
1260dfdcada3SDoug Rabson 				lf_update_dependancies(state, overlap, TRUE,
1261dfdcada3SDoug Rabson 					&granted);
1262dfdcada3SDoug Rabson 				lf_free_lock(overlap);
1263dfdcada3SDoug Rabson 				break;
1264dfdcada3SDoug Rabson 
1265dfdcada3SDoug Rabson 			case 2: /* overlap contains lock */
1266dfdcada3SDoug Rabson 				/*
1267dfdcada3SDoug Rabson 				 * Just split the existing lock.
1268dfdcada3SDoug Rabson 				 */
1269dfdcada3SDoug Rabson 				lf_split(state, overlap, lock, &granted);
1270dfdcada3SDoug Rabson 				break;
1271dfdcada3SDoug Rabson 
1272dfdcada3SDoug Rabson 			case 3: /* lock contains overlap */
1273dfdcada3SDoug Rabson 				/*
1274dfdcada3SDoug Rabson 				 * Delete the overlap and advance to
1275dfdcada3SDoug Rabson 				 * the next entry in the list.
1276dfdcada3SDoug Rabson 				 */
1277dfdcada3SDoug Rabson 				lf = LIST_NEXT(overlap, lf_link);
1278dfdcada3SDoug Rabson 				LIST_REMOVE(overlap, lf_link);
1279dfdcada3SDoug Rabson 				lf_update_dependancies(state, overlap, TRUE,
1280dfdcada3SDoug Rabson 					&granted);
1281dfdcada3SDoug Rabson 				lf_free_lock(overlap);
1282dfdcada3SDoug Rabson 				overlap = lf;
1283dfdcada3SDoug Rabson 				continue;
1284dfdcada3SDoug Rabson 
1285dfdcada3SDoug Rabson 			case 4: /* overlap starts before lock */
1286dfdcada3SDoug Rabson 				/*
1287dfdcada3SDoug Rabson 				 * Just update the overlap end and
1288dfdcada3SDoug Rabson 				 * move on.
1289dfdcada3SDoug Rabson 				 */
1290dfdcada3SDoug Rabson 				lf_set_end(state, overlap, lock->lf_start - 1,
1291dfdcada3SDoug Rabson 				    &granted);
1292dfdcada3SDoug Rabson 				overlap = LIST_NEXT(overlap, lf_link);
1293dfdcada3SDoug Rabson 				continue;
1294dfdcada3SDoug Rabson 
1295dfdcada3SDoug Rabson 			case 5: /* overlap ends after lock */
1296dfdcada3SDoug Rabson 				/*
1297dfdcada3SDoug Rabson 				 * Change the start of overlap and
1298dfdcada3SDoug Rabson 				 * re-insert.
1299dfdcada3SDoug Rabson 				 */
1300dfdcada3SDoug Rabson 				lf_set_start(state, overlap, lock->lf_end + 1,
1301dfdcada3SDoug Rabson 				    &granted);
1302dfdcada3SDoug Rabson 				break;
1303dfdcada3SDoug Rabson 			}
1304dfdcada3SDoug Rabson 			break;
1305dfdcada3SDoug Rabson 		}
1306dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
1307dfdcada3SDoug Rabson 		if (lockf_debug & 1) {
1308dfdcada3SDoug Rabson 			if (lock->lf_type != F_UNLCK)
1309dfdcada3SDoug Rabson 				lf_print("lf_activate_lock: activated", lock);
1310dfdcada3SDoug Rabson 			else
1311dfdcada3SDoug Rabson 				lf_print("lf_activate_lock: unlocked", lock);
1312dfdcada3SDoug Rabson 			lf_printlist("lf_activate_lock", lock);
1313dfdcada3SDoug Rabson 		}
1314dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */
1315dfdcada3SDoug Rabson 		if (lock->lf_type != F_UNLCK)
1316dfdcada3SDoug Rabson 			lf_insert_lock(state, lock);
1317dfdcada3SDoug Rabson 	}
1318dfdcada3SDoug Rabson }
1319dfdcada3SDoug Rabson 
1320dfdcada3SDoug Rabson /*
1321dfdcada3SDoug Rabson  * Cancel a pending lock request, either as a result of a signal or a
1322dfdcada3SDoug Rabson  * cancel request for an async lock.
1323dfdcada3SDoug Rabson  */
1324dfdcada3SDoug Rabson static void
1325dfdcada3SDoug Rabson lf_cancel_lock(struct lockf *state, struct lockf_entry *lock)
1326dfdcada3SDoug Rabson {
1327dfdcada3SDoug Rabson 	struct lockf_entry_list granted;
1328dfdcada3SDoug Rabson 
1329dfdcada3SDoug Rabson 	/*
1330dfdcada3SDoug Rabson 	 * Note it is theoretically possible that cancelling this lock
1331dfdcada3SDoug Rabson 	 * may allow some other pending lock to become
1332dfdcada3SDoug Rabson 	 * active. Consider this case:
1333dfdcada3SDoug Rabson 	 *
1334dfdcada3SDoug Rabson 	 * Owner	Action		Result		Dependancies
1335dfdcada3SDoug Rabson 	 *
1336dfdcada3SDoug Rabson 	 * A:		lock [0..0]	succeeds
1337dfdcada3SDoug Rabson 	 * B:		lock [2..2]	succeeds
1338dfdcada3SDoug Rabson 	 * C:		lock [1..2]	blocked		C->B
1339dfdcada3SDoug Rabson 	 * D:		lock [0..1]	blocked		C->B,D->A,D->C
1340dfdcada3SDoug Rabson 	 * A:		unlock [0..0]			C->B,D->C
1341dfdcada3SDoug Rabson 	 * C:		cancel [1..2]
1342dfdcada3SDoug Rabson 	 */
1343dfdcada3SDoug Rabson 
1344dfdcada3SDoug Rabson 	LIST_REMOVE(lock, lf_link);
1345dfdcada3SDoug Rabson 
1346dfdcada3SDoug Rabson 	/*
1347dfdcada3SDoug Rabson 	 * Removing out-going edges is simple.
1348dfdcada3SDoug Rabson 	 */
1349dfdcada3SDoug Rabson 	sx_xlock(&lf_owner_graph_lock);
1350dfdcada3SDoug Rabson 	lf_remove_outgoing(lock);
1351dfdcada3SDoug Rabson 	sx_xunlock(&lf_owner_graph_lock);
1352dfdcada3SDoug Rabson 
1353dfdcada3SDoug Rabson 	/*
1354dfdcada3SDoug Rabson 	 * Removing in-coming edges may allow some other lock to
1355dfdcada3SDoug Rabson 	 * become active - we use lf_update_dependancies to figure
1356dfdcada3SDoug Rabson 	 * this out.
1357dfdcada3SDoug Rabson 	 */
1358dfdcada3SDoug Rabson 	LIST_INIT(&granted);
1359dfdcada3SDoug Rabson 	lf_update_dependancies(state, lock, TRUE, &granted);
1360dfdcada3SDoug Rabson 	lf_free_lock(lock);
1361dfdcada3SDoug Rabson 
1362dfdcada3SDoug Rabson 	/*
1363dfdcada3SDoug Rabson 	 * Feed any newly active locks to lf_activate_lock.
1364dfdcada3SDoug Rabson 	 */
1365dfdcada3SDoug Rabson 	while (!LIST_EMPTY(&granted)) {
1366dfdcada3SDoug Rabson 		lock = LIST_FIRST(&granted);
1367dfdcada3SDoug Rabson 		LIST_REMOVE(lock, lf_link);
1368dfdcada3SDoug Rabson 		lf_activate_lock(state, lock);
1369dfdcada3SDoug Rabson 	}
1370dfdcada3SDoug Rabson }
1371dfdcada3SDoug Rabson 
137292dc7331SDavid Greenman /*
137392dc7331SDavid Greenman  * Set a byte-range lock.
137492dc7331SDavid Greenman  */
137587b6de2bSPoul-Henning Kamp static int
1376dfdcada3SDoug Rabson lf_setlock(struct lockf *state, struct lockf_entry *lock, struct vnode *vp,
1377dfdcada3SDoug Rabson     void **cookiep)
137892dc7331SDavid Greenman {
137992dc7331SDavid Greenman 	static char lockstr[] = "lockf";
1380dfdcada3SDoug Rabson 	int priority, error;
138192dc7331SDavid Greenman 
138292dc7331SDavid Greenman #ifdef LOCKF_DEBUG
138392dc7331SDavid Greenman 	if (lockf_debug & 1)
138492dc7331SDavid Greenman 		lf_print("lf_setlock", lock);
138592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
138692dc7331SDavid Greenman 
138792dc7331SDavid Greenman 	/*
138892dc7331SDavid Greenman 	 * Set the priority
138992dc7331SDavid Greenman 	 */
139092dc7331SDavid Greenman 	priority = PLOCK;
139192dc7331SDavid Greenman 	if (lock->lf_type == F_WRLCK)
139292dc7331SDavid Greenman 		priority += 4;
1393c675522fSDoug Rabson 	if (!(lock->lf_flags & F_NOINTR))
139492dc7331SDavid Greenman 		priority |= PCATCH;
139592dc7331SDavid Greenman 	/*
139692dc7331SDavid Greenman 	 * Scan lock list for this file looking for locks that would block us.
139792dc7331SDavid Greenman 	 */
13988aec91b5SKonstantin Belousov 	if (lf_getblock(state, lock)) {
139992dc7331SDavid Greenman 		/*
140092dc7331SDavid Greenman 		 * Free the structure and return if nonblocking.
140192dc7331SDavid Greenman 		 */
1402dfdcada3SDoug Rabson 		if ((lock->lf_flags & F_WAIT) == 0
1403dfdcada3SDoug Rabson 		    && lock->lf_async_task == NULL) {
1404dfdcada3SDoug Rabson 			lf_free_lock(lock);
1405dfdcada3SDoug Rabson 			error = EAGAIN;
1406dfdcada3SDoug Rabson 			goto out;
140792dc7331SDavid Greenman 		}
140892dc7331SDavid Greenman 
1409dfdcada3SDoug Rabson 		/*
141006c85cefSDoug Rabson 		 * For flock type locks, we must first remove
141106c85cefSDoug Rabson 		 * any shared locks that we hold before we sleep
141206c85cefSDoug Rabson 		 * waiting for an exclusive lock.
141306c85cefSDoug Rabson 		 */
141406c85cefSDoug Rabson 		if ((lock->lf_flags & F_FLOCK) &&
141506c85cefSDoug Rabson 		    lock->lf_type == F_WRLCK) {
141606c85cefSDoug Rabson 			lock->lf_type = F_UNLCK;
141706c85cefSDoug Rabson 			lf_activate_lock(state, lock);
141806c85cefSDoug Rabson 			lock->lf_type = F_WRLCK;
141906c85cefSDoug Rabson 		}
142006c85cefSDoug Rabson 
142106c85cefSDoug Rabson 		/*
1422dfdcada3SDoug Rabson 		 * We are blocked. Create edges to each blocking lock,
1423dfdcada3SDoug Rabson 		 * checking for deadlock using the owner graph. For
1424dfdcada3SDoug Rabson 		 * simplicity, we run deadlock detection for all
1425dfdcada3SDoug Rabson 		 * locks, posix and otherwise.
1426dfdcada3SDoug Rabson 		 */
1427dfdcada3SDoug Rabson 		sx_xlock(&lf_owner_graph_lock);
1428dfdcada3SDoug Rabson 		error = lf_add_outgoing(state, lock);
1429dfdcada3SDoug Rabson 		sx_xunlock(&lf_owner_graph_lock);
1430dfdcada3SDoug Rabson 
1431dfdcada3SDoug Rabson 		if (error) {
1432dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
1433dfdcada3SDoug Rabson 			if (lockf_debug & 1)
1434dfdcada3SDoug Rabson 				lf_print("lf_setlock: deadlock", lock);
1435dfdcada3SDoug Rabson #endif
1436dfdcada3SDoug Rabson 			lf_free_lock(lock);
1437dfdcada3SDoug Rabson 			goto out;
143892dc7331SDavid Greenman 		}
1439dfdcada3SDoug Rabson 
144092dc7331SDavid Greenman 		/*
1441dfdcada3SDoug Rabson 		 * We have added edges to everything that blocks
1442dfdcada3SDoug Rabson 		 * us. Sleep until they all go away.
144392dc7331SDavid Greenman 		 */
1444dfdcada3SDoug Rabson 		LIST_INSERT_HEAD(&state->ls_pending, lock, lf_link);
144592dc7331SDavid Greenman #ifdef LOCKF_DEBUG
144692dc7331SDavid Greenman 		if (lockf_debug & 1) {
1447dfdcada3SDoug Rabson 			struct lockf_edge *e;
1448dfdcada3SDoug Rabson 			LIST_FOREACH(e, &lock->lf_outedges, le_outlink) {
1449dfdcada3SDoug Rabson 				lf_print("lf_setlock: blocking on", e->le_to);
1450dfdcada3SDoug Rabson 				lf_printlist("lf_setlock", e->le_to);
1451dfdcada3SDoug Rabson 			}
145292dc7331SDavid Greenman 		}
145392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1454dfdcada3SDoug Rabson 
1455dfdcada3SDoug Rabson 		if ((lock->lf_flags & F_WAIT) == 0) {
1456dfdcada3SDoug Rabson 			/*
1457dfdcada3SDoug Rabson 			 * The caller requested async notification -
1458dfdcada3SDoug Rabson 			 * this callback happens when the blocking
1459dfdcada3SDoug Rabson 			 * lock is released, allowing the caller to
1460dfdcada3SDoug Rabson 			 * make another attempt to take the lock.
1461dfdcada3SDoug Rabson 			 */
1462dfdcada3SDoug Rabson 			*cookiep = (void *) lock;
1463dfdcada3SDoug Rabson 			error = EINPROGRESS;
1464dfdcada3SDoug Rabson 			goto out;
1465dfdcada3SDoug Rabson 		}
1466dfdcada3SDoug Rabson 
14678af54d4cSKonstantin Belousov 		lock->lf_refs++;
1468dfdcada3SDoug Rabson 		error = sx_sleep(lock, &state->ls_lock, priority, lockstr, 0);
14698af54d4cSKonstantin Belousov 		if (lf_free_lock(lock)) {
1470*3bcc218fSKonstantin Belousov 			error = EDOOFUS;
14718af54d4cSKonstantin Belousov 			goto out;
14728af54d4cSKonstantin Belousov 		}
14738af54d4cSKonstantin Belousov 
147492dc7331SDavid Greenman 		/*
14751168ab08SBruce Evans 		 * We may have been awakened by a signal and/or by a
1476dfdcada3SDoug Rabson 		 * debugger continuing us (in which cases we must
1477dfdcada3SDoug Rabson 		 * remove our lock graph edges) and/or by another
1478dfdcada3SDoug Rabson 		 * process releasing a lock (in which case our edges
1479dfdcada3SDoug Rabson 		 * have already been removed and we have been moved to
1480eab626f1SKonstantin Belousov 		 * the active list). We may also have been woken by
1481eab626f1SKonstantin Belousov 		 * lf_purgelocks which we report to the caller as
1482eab626f1SKonstantin Belousov 		 * EINTR. In that case, lf_purgelocks will have
1483eab626f1SKonstantin Belousov 		 * removed our lock graph edges.
1484dfdcada3SDoug Rabson 		 *
1485dfdcada3SDoug Rabson 		 * Note that it is possible to receive a signal after
1486dfdcada3SDoug Rabson 		 * we were successfully woken (and moved to the active
1487dfdcada3SDoug Rabson 		 * list) but before we resumed execution. In this
1488dfdcada3SDoug Rabson 		 * case, our lf_outedges list will be clear. We
1489dfdcada3SDoug Rabson 		 * pretend there was no error.
1490dfdcada3SDoug Rabson 		 *
1491dfdcada3SDoug Rabson 		 * Note also, if we have been sleeping long enough, we
1492dfdcada3SDoug Rabson 		 * may now have incoming edges from some newer lock
1493dfdcada3SDoug Rabson 		 * which is waiting behind us in the queue.
149492dc7331SDavid Greenman 		 */
1495eab626f1SKonstantin Belousov 		if (lock->lf_flags & F_INTR) {
1496eab626f1SKonstantin Belousov 			error = EINTR;
1497eab626f1SKonstantin Belousov 			lf_free_lock(lock);
1498eab626f1SKonstantin Belousov 			goto out;
1499eab626f1SKonstantin Belousov 		}
1500dfdcada3SDoug Rabson 		if (LIST_EMPTY(&lock->lf_outedges)) {
1501dfdcada3SDoug Rabson 			error = 0;
1502dfdcada3SDoug Rabson 		} else {
1503dfdcada3SDoug Rabson 			lf_cancel_lock(state, lock);
1504dfdcada3SDoug Rabson 			goto out;
15051168ab08SBruce Evans 		}
1506dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
1507dfdcada3SDoug Rabson 		if (lockf_debug & 1) {
1508dfdcada3SDoug Rabson 			lf_print("lf_setlock: granted", lock);
1509dfdcada3SDoug Rabson 		}
1510dfdcada3SDoug Rabson #endif
1511dfdcada3SDoug Rabson 		goto out;
1512dfdcada3SDoug Rabson 	}
1513dfdcada3SDoug Rabson 	/*
1514dfdcada3SDoug Rabson 	 * It looks like we are going to grant the lock. First add
1515dfdcada3SDoug Rabson 	 * edges from any currently pending lock that the new lock
1516dfdcada3SDoug Rabson 	 * would block.
1517dfdcada3SDoug Rabson 	 */
1518dfdcada3SDoug Rabson 	sx_xlock(&lf_owner_graph_lock);
1519dfdcada3SDoug Rabson 	error = lf_add_incoming(state, lock);
1520dfdcada3SDoug Rabson 	sx_xunlock(&lf_owner_graph_lock);
15211168ab08SBruce Evans 	if (error) {
1522dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
1523dfdcada3SDoug Rabson 		if (lockf_debug & 1)
1524dfdcada3SDoug Rabson 			lf_print("lf_setlock: deadlock", lock);
1525dfdcada3SDoug Rabson #endif
1526dfdcada3SDoug Rabson 		lf_free_lock(lock);
1527dfdcada3SDoug Rabson 		goto out;
152892dc7331SDavid Greenman 	}
1529dfdcada3SDoug Rabson 
153092dc7331SDavid Greenman 	/*
153192dc7331SDavid Greenman 	 * No blocks!!  Add the lock.  Note that we will
153292dc7331SDavid Greenman 	 * downgrade or upgrade any overlapping locks this
153392dc7331SDavid Greenman 	 * process already owns.
153492dc7331SDavid Greenman 	 */
1535dfdcada3SDoug Rabson 	lf_activate_lock(state, lock);
1536dfdcada3SDoug Rabson 	error = 0;
1537dfdcada3SDoug Rabson out:
1538dfdcada3SDoug Rabson 	return (error);
153992dc7331SDavid Greenman }
154092dc7331SDavid Greenman 
154192dc7331SDavid Greenman /*
154292dc7331SDavid Greenman  * Remove a byte-range lock on an inode.
154392dc7331SDavid Greenman  *
154492dc7331SDavid Greenman  * Generally, find the lock (or an overlap to that lock)
154592dc7331SDavid Greenman  * and remove it (or shrink it), then wakeup anyone we can.
154692dc7331SDavid Greenman  */
154787b6de2bSPoul-Henning Kamp static int
1548dfdcada3SDoug Rabson lf_clearlock(struct lockf *state, struct lockf_entry *unlock)
154992dc7331SDavid Greenman {
1550dfdcada3SDoug Rabson 	struct lockf_entry *overlap;
155192dc7331SDavid Greenman 
1552dfdcada3SDoug Rabson 	overlap = LIST_FIRST(&state->ls_active);
1553dfdcada3SDoug Rabson 
1554dfdcada3SDoug Rabson 	if (overlap == NOLOCKF)
155592dc7331SDavid Greenman 		return (0);
155692dc7331SDavid Greenman #ifdef LOCKF_DEBUG
155792dc7331SDavid Greenman 	if (unlock->lf_type != F_UNLCK)
155892dc7331SDavid Greenman 		panic("lf_clearlock: bad type");
155992dc7331SDavid Greenman 	if (lockf_debug & 1)
156092dc7331SDavid Greenman 		lf_print("lf_clearlock", unlock);
156192dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
156292dc7331SDavid Greenman 
1563dfdcada3SDoug Rabson 	lf_activate_lock(state, unlock);
156492dc7331SDavid Greenman 
156592dc7331SDavid Greenman 	return (0);
156692dc7331SDavid Greenman }
156792dc7331SDavid Greenman 
156892dc7331SDavid Greenman /*
1569dfdcada3SDoug Rabson  * Check whether there is a blocking lock, and if so return its
1570dfdcada3SDoug Rabson  * details in '*fl'.
157192dc7331SDavid Greenman  */
157287b6de2bSPoul-Henning Kamp static int
1573dfdcada3SDoug Rabson lf_getlock(struct lockf *state, struct lockf_entry *lock, struct flock *fl)
157492dc7331SDavid Greenman {
1575dfdcada3SDoug Rabson 	struct lockf_entry *block;
157692dc7331SDavid Greenman 
157792dc7331SDavid Greenman #ifdef LOCKF_DEBUG
157892dc7331SDavid Greenman 	if (lockf_debug & 1)
157992dc7331SDavid Greenman 		lf_print("lf_getlock", lock);
158092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
158192dc7331SDavid Greenman 
1582dfdcada3SDoug Rabson 	if ((block = lf_getblock(state, lock))) {
158392dc7331SDavid Greenman 		fl->l_type = block->lf_type;
158492dc7331SDavid Greenman 		fl->l_whence = SEEK_SET;
158592dc7331SDavid Greenman 		fl->l_start = block->lf_start;
1586dfdcada3SDoug Rabson 		if (block->lf_end == OFF_MAX)
158792dc7331SDavid Greenman 			fl->l_len = 0;
158892dc7331SDavid Greenman 		else
158992dc7331SDavid Greenman 			fl->l_len = block->lf_end - block->lf_start + 1;
1590dfdcada3SDoug Rabson 		fl->l_pid = block->lf_owner->lo_pid;
1591dfdcada3SDoug Rabson 		fl->l_sysid = block->lf_owner->lo_sysid;
159292dc7331SDavid Greenman 	} else {
159392dc7331SDavid Greenman 		fl->l_type = F_UNLCK;
159492dc7331SDavid Greenman 	}
159592dc7331SDavid Greenman 	return (0);
159692dc7331SDavid Greenman }
159792dc7331SDavid Greenman 
159892dc7331SDavid Greenman /*
1599dfdcada3SDoug Rabson  * Cancel an async lock request.
1600dfdcada3SDoug Rabson  */
1601dfdcada3SDoug Rabson static int
1602dfdcada3SDoug Rabson lf_cancel(struct lockf *state, struct lockf_entry *lock, void *cookie)
1603dfdcada3SDoug Rabson {
1604dfdcada3SDoug Rabson 	struct lockf_entry *reallock;
1605dfdcada3SDoug Rabson 
1606dfdcada3SDoug Rabson 	/*
1607dfdcada3SDoug Rabson 	 * We need to match this request with an existing lock
1608dfdcada3SDoug Rabson 	 * request.
1609dfdcada3SDoug Rabson 	 */
1610dfdcada3SDoug Rabson 	LIST_FOREACH(reallock, &state->ls_pending, lf_link) {
1611dfdcada3SDoug Rabson 		if ((void *) reallock == cookie) {
1612dfdcada3SDoug Rabson 			/*
1613dfdcada3SDoug Rabson 			 * Double-check that this lock looks right
1614dfdcada3SDoug Rabson 			 * (maybe use a rolling ID for the cancel
1615dfdcada3SDoug Rabson 			 * cookie instead?)
1616dfdcada3SDoug Rabson 			 */
1617dfdcada3SDoug Rabson 			if (!(reallock->lf_vnode == lock->lf_vnode
1618dfdcada3SDoug Rabson 				&& reallock->lf_start == lock->lf_start
1619dfdcada3SDoug Rabson 				&& reallock->lf_end == lock->lf_end)) {
1620dfdcada3SDoug Rabson 				return (ENOENT);
1621dfdcada3SDoug Rabson 			}
1622dfdcada3SDoug Rabson 
1623dfdcada3SDoug Rabson 			/*
1624dfdcada3SDoug Rabson 			 * Make sure this lock was async and then just
1625dfdcada3SDoug Rabson 			 * remove it from its wait lists.
1626dfdcada3SDoug Rabson 			 */
1627dfdcada3SDoug Rabson 			if (!reallock->lf_async_task) {
1628dfdcada3SDoug Rabson 				return (ENOENT);
1629dfdcada3SDoug Rabson 			}
1630dfdcada3SDoug Rabson 
1631dfdcada3SDoug Rabson 			/*
1632dfdcada3SDoug Rabson 			 * Note that since any other thread must take
1633dfdcada3SDoug Rabson 			 * state->ls_lock before it can possibly
1634dfdcada3SDoug Rabson 			 * trigger the async callback, we are safe
1635dfdcada3SDoug Rabson 			 * from a race with lf_wakeup_lock, i.e. we
1636dfdcada3SDoug Rabson 			 * can free the lock (actually our caller does
1637dfdcada3SDoug Rabson 			 * this).
1638dfdcada3SDoug Rabson 			 */
1639dfdcada3SDoug Rabson 			lf_cancel_lock(state, reallock);
1640dfdcada3SDoug Rabson 			return (0);
1641dfdcada3SDoug Rabson 		}
1642dfdcada3SDoug Rabson 	}
1643dfdcada3SDoug Rabson 
1644dfdcada3SDoug Rabson 	/*
1645dfdcada3SDoug Rabson 	 * We didn't find a matching lock - not much we can do here.
1646dfdcada3SDoug Rabson 	 */
1647dfdcada3SDoug Rabson 	return (ENOENT);
1648dfdcada3SDoug Rabson }
1649dfdcada3SDoug Rabson 
1650dfdcada3SDoug Rabson /*
165192dc7331SDavid Greenman  * Walk the list of locks for an inode and
165292dc7331SDavid Greenman  * return the first blocking lock.
165392dc7331SDavid Greenman  */
1654dfdcada3SDoug Rabson static struct lockf_entry *
1655dfdcada3SDoug Rabson lf_getblock(struct lockf *state, struct lockf_entry *lock)
165692dc7331SDavid Greenman {
1657dfdcada3SDoug Rabson 	struct lockf_entry *overlap;
165892dc7331SDavid Greenman 
1659dfdcada3SDoug Rabson 	LIST_FOREACH(overlap, &state->ls_active, lf_link) {
166092dc7331SDavid Greenman 		/*
1661dfdcada3SDoug Rabson 		 * We may assume that the active list is sorted by
1662dfdcada3SDoug Rabson 		 * lf_start.
166392dc7331SDavid Greenman 		 */
1664dfdcada3SDoug Rabson 		if (overlap->lf_start > lock->lf_end)
1665dfdcada3SDoug Rabson 			break;
1666dfdcada3SDoug Rabson 		if (!lf_blocks(lock, overlap))
1667dfdcada3SDoug Rabson 			continue;
166892dc7331SDavid Greenman 		return (overlap);
166992dc7331SDavid Greenman 	}
167092dc7331SDavid Greenman 	return (NOLOCKF);
167192dc7331SDavid Greenman }
167292dc7331SDavid Greenman 
167392dc7331SDavid Greenman /*
1674dfdcada3SDoug Rabson  * Walk the list of locks for an inode to find an overlapping lock (if
1675dfdcada3SDoug Rabson  * any) and return a classification of that overlap.
1676dfdcada3SDoug Rabson  *
1677dfdcada3SDoug Rabson  * Arguments:
1678dfdcada3SDoug Rabson  *	*overlap	The place in the lock list to start looking
1679dfdcada3SDoug Rabson  *	lock		The lock which is being tested
1680dfdcada3SDoug Rabson  *	type		Pass 'SELF' to test only locks with the same
1681dfdcada3SDoug Rabson  *			owner as lock, or 'OTHER' to test only locks
1682dfdcada3SDoug Rabson  *			with a different owner
1683dfdcada3SDoug Rabson  *
1684dfdcada3SDoug Rabson  * Returns one of six values:
1685dfdcada3SDoug Rabson  *	0) no overlap
1686dfdcada3SDoug Rabson  *	1) overlap == lock
1687dfdcada3SDoug Rabson  *	2) overlap contains lock
1688dfdcada3SDoug Rabson  *	3) lock contains overlap
1689dfdcada3SDoug Rabson  *	4) overlap starts before lock
1690dfdcada3SDoug Rabson  *	5) overlap ends after lock
1691dfdcada3SDoug Rabson  *
1692dfdcada3SDoug Rabson  * If there is an overlapping lock, '*overlap' is set to point at the
1693dfdcada3SDoug Rabson  * overlapping lock.
169492dc7331SDavid Greenman  *
169592dc7331SDavid Greenman  * NOTE: this returns only the FIRST overlapping lock.  There
169692dc7331SDavid Greenman  *	 may be more than one.
169792dc7331SDavid Greenman  */
169887b6de2bSPoul-Henning Kamp static int
1699dfdcada3SDoug Rabson lf_findoverlap(struct lockf_entry **overlap, struct lockf_entry *lock, int type)
170092dc7331SDavid Greenman {
1701dfdcada3SDoug Rabson 	struct lockf_entry *lf;
170292dc7331SDavid Greenman 	off_t start, end;
1703dfdcada3SDoug Rabson 	int res;
170492dc7331SDavid Greenman 
1705dfdcada3SDoug Rabson 	if ((*overlap) == NOLOCKF) {
170692dc7331SDavid Greenman 		return (0);
1707dfdcada3SDoug Rabson 	}
170892dc7331SDavid Greenman #ifdef LOCKF_DEBUG
170992dc7331SDavid Greenman 	if (lockf_debug & 2)
171092dc7331SDavid Greenman 		lf_print("lf_findoverlap: looking for overlap in", lock);
171192dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
171292dc7331SDavid Greenman 	start = lock->lf_start;
171392dc7331SDavid Greenman 	end = lock->lf_end;
1714dfdcada3SDoug Rabson 	res = 0;
1715dfdcada3SDoug Rabson 	while (*overlap) {
1716dfdcada3SDoug Rabson 		lf = *overlap;
1717dfdcada3SDoug Rabson 		if (lf->lf_start > end)
1718dfdcada3SDoug Rabson 			break;
1719dfdcada3SDoug Rabson 		if (((type & SELF) && lf->lf_owner != lock->lf_owner) ||
1720dfdcada3SDoug Rabson 		    ((type & OTHERS) && lf->lf_owner == lock->lf_owner)) {
1721dfdcada3SDoug Rabson 			*overlap = LIST_NEXT(lf, lf_link);
172292dc7331SDavid Greenman 			continue;
172392dc7331SDavid Greenman 		}
172492dc7331SDavid Greenman #ifdef LOCKF_DEBUG
172592dc7331SDavid Greenman 		if (lockf_debug & 2)
172692dc7331SDavid Greenman 			lf_print("\tchecking", lf);
172792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
172892dc7331SDavid Greenman 		/*
172992dc7331SDavid Greenman 		 * OK, check for overlap
173092dc7331SDavid Greenman 		 *
173192dc7331SDavid Greenman 		 * Six cases:
173292dc7331SDavid Greenman 		 *	0) no overlap
173392dc7331SDavid Greenman 		 *	1) overlap == lock
173492dc7331SDavid Greenman 		 *	2) overlap contains lock
173592dc7331SDavid Greenman 		 *	3) lock contains overlap
173692dc7331SDavid Greenman 		 *	4) overlap starts before lock
173792dc7331SDavid Greenman 		 *	5) overlap ends after lock
173892dc7331SDavid Greenman 		 */
1739dfdcada3SDoug Rabson 		if (start > lf->lf_end) {
174092dc7331SDavid Greenman 			/* Case 0 */
174192dc7331SDavid Greenman #ifdef LOCKF_DEBUG
174292dc7331SDavid Greenman 			if (lockf_debug & 2)
174392dc7331SDavid Greenman 				printf("no overlap\n");
174492dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1745dfdcada3SDoug Rabson 			*overlap = LIST_NEXT(lf, lf_link);
174692dc7331SDavid Greenman 			continue;
174792dc7331SDavid Greenman 		}
1748dfdcada3SDoug Rabson 		if (lf->lf_start == start && lf->lf_end == end) {
174992dc7331SDavid Greenman 			/* Case 1 */
175092dc7331SDavid Greenman #ifdef LOCKF_DEBUG
175192dc7331SDavid Greenman 			if (lockf_debug & 2)
175292dc7331SDavid Greenman 				printf("overlap == lock\n");
175392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1754dfdcada3SDoug Rabson 			res = 1;
1755dfdcada3SDoug Rabson 			break;
175692dc7331SDavid Greenman 		}
1757dfdcada3SDoug Rabson 		if (lf->lf_start <= start && lf->lf_end >= end) {
175892dc7331SDavid Greenman 			/* Case 2 */
175992dc7331SDavid Greenman #ifdef LOCKF_DEBUG
176092dc7331SDavid Greenman 			if (lockf_debug & 2)
176192dc7331SDavid Greenman 				printf("overlap contains lock\n");
176292dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1763dfdcada3SDoug Rabson 			res = 2;
1764dfdcada3SDoug Rabson 			break;
176592dc7331SDavid Greenman 		}
1766dfdcada3SDoug Rabson 		if (start <= lf->lf_start && end >= lf->lf_end) {
176792dc7331SDavid Greenman 			/* Case 3 */
176892dc7331SDavid Greenman #ifdef LOCKF_DEBUG
176992dc7331SDavid Greenman 			if (lockf_debug & 2)
177092dc7331SDavid Greenman 				printf("lock contains overlap\n");
177192dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1772dfdcada3SDoug Rabson 			res = 3;
1773dfdcada3SDoug Rabson 			break;
177492dc7331SDavid Greenman 		}
1775dfdcada3SDoug Rabson 		if (lf->lf_start < start && lf->lf_end >= start) {
177692dc7331SDavid Greenman 			/* Case 4 */
177792dc7331SDavid Greenman #ifdef LOCKF_DEBUG
177892dc7331SDavid Greenman 			if (lockf_debug & 2)
177992dc7331SDavid Greenman 				printf("overlap starts before lock\n");
178092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1781dfdcada3SDoug Rabson 			res = 4;
1782dfdcada3SDoug Rabson 			break;
178392dc7331SDavid Greenman 		}
1784dfdcada3SDoug Rabson 		if (lf->lf_start > start && lf->lf_end > end) {
178592dc7331SDavid Greenman 			/* Case 5 */
178692dc7331SDavid Greenman #ifdef LOCKF_DEBUG
178792dc7331SDavid Greenman 			if (lockf_debug & 2)
178892dc7331SDavid Greenman 				printf("overlap ends after lock\n");
178992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
1790dfdcada3SDoug Rabson 			res = 5;
1791dfdcada3SDoug Rabson 			break;
179292dc7331SDavid Greenman 		}
179392dc7331SDavid Greenman 		panic("lf_findoverlap: default");
179492dc7331SDavid Greenman 	}
1795dfdcada3SDoug Rabson 	return (res);
179692dc7331SDavid Greenman }
179792dc7331SDavid Greenman 
179892dc7331SDavid Greenman /*
1799dfdcada3SDoug Rabson  * Split an the existing 'lock1', based on the extent of the lock
1800dfdcada3SDoug Rabson  * described by 'lock2'. The existing lock should cover 'lock2'
1801dfdcada3SDoug Rabson  * entirely.
1802dfdcada3SDoug Rabson  *
1803dfdcada3SDoug Rabson  * Any pending locks which have been been unblocked are added to
1804dfdcada3SDoug Rabson  * 'granted'
180592dc7331SDavid Greenman  */
180687b6de2bSPoul-Henning Kamp static void
1807dfdcada3SDoug Rabson lf_split(struct lockf *state, struct lockf_entry *lock1,
1808dfdcada3SDoug Rabson     struct lockf_entry *lock2, struct lockf_entry_list *granted)
180992dc7331SDavid Greenman {
1810dfdcada3SDoug Rabson 	struct lockf_entry *splitlock;
181192dc7331SDavid Greenman 
181292dc7331SDavid Greenman #ifdef LOCKF_DEBUG
181392dc7331SDavid Greenman 	if (lockf_debug & 2) {
181492dc7331SDavid Greenman 		lf_print("lf_split", lock1);
181592dc7331SDavid Greenman 		lf_print("splitting from", lock2);
181692dc7331SDavid Greenman 	}
181792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
181892dc7331SDavid Greenman 	/*
1819dfdcada3SDoug Rabson 	 * Check to see if we don't need to split at all.
182092dc7331SDavid Greenman 	 */
182192dc7331SDavid Greenman 	if (lock1->lf_start == lock2->lf_start) {
1822dfdcada3SDoug Rabson 		lf_set_start(state, lock1, lock2->lf_end + 1, granted);
182392dc7331SDavid Greenman 		return;
182492dc7331SDavid Greenman 	}
182592dc7331SDavid Greenman 	if (lock1->lf_end == lock2->lf_end) {
1826dfdcada3SDoug Rabson 		lf_set_end(state, lock1, lock2->lf_start - 1, granted);
182792dc7331SDavid Greenman 		return;
182892dc7331SDavid Greenman 	}
182992dc7331SDavid Greenman 	/*
183092dc7331SDavid Greenman 	 * Make a new lock consisting of the last part of
1831dfdcada3SDoug Rabson 	 * the encompassing lock.
183292dc7331SDavid Greenman 	 */
1833dfdcada3SDoug Rabson 	splitlock = lf_alloc_lock(lock1->lf_owner);
1834dfdcada3SDoug Rabson 	memcpy(splitlock, lock1, sizeof *splitlock);
18358af54d4cSKonstantin Belousov 	splitlock->lf_refs = 1;
1836dfdcada3SDoug Rabson 	if (splitlock->lf_flags & F_REMOTE)
1837dfdcada3SDoug Rabson 		vref(splitlock->lf_vnode);
1838dfdcada3SDoug Rabson 
1839dfdcada3SDoug Rabson 	/*
1840dfdcada3SDoug Rabson 	 * This cannot cause a deadlock since any edges we would add
1841dfdcada3SDoug Rabson 	 * to splitlock already exist in lock1. We must be sure to add
1842dfdcada3SDoug Rabson 	 * necessary dependancies to splitlock before we reduce lock1
1843dfdcada3SDoug Rabson 	 * otherwise we may accidentally grant a pending lock that
1844dfdcada3SDoug Rabson 	 * was blocked by the tail end of lock1.
1845dfdcada3SDoug Rabson 	 */
184692dc7331SDavid Greenman 	splitlock->lf_start = lock2->lf_end + 1;
1847dfdcada3SDoug Rabson 	LIST_INIT(&splitlock->lf_outedges);
1848dfdcada3SDoug Rabson 	LIST_INIT(&splitlock->lf_inedges);
1849dfdcada3SDoug Rabson 	sx_xlock(&lf_owner_graph_lock);
1850dfdcada3SDoug Rabson 	lf_add_incoming(state, splitlock);
1851dfdcada3SDoug Rabson 	sx_xunlock(&lf_owner_graph_lock);
1852dfdcada3SDoug Rabson 
1853dfdcada3SDoug Rabson 	lf_set_end(state, lock1, lock2->lf_start - 1, granted);
1854dfdcada3SDoug Rabson 
185592dc7331SDavid Greenman 	/*
185692dc7331SDavid Greenman 	 * OK, now link it in
185792dc7331SDavid Greenman 	 */
1858dfdcada3SDoug Rabson 	lf_insert_lock(state, splitlock);
1859dfdcada3SDoug Rabson }
1860dfdcada3SDoug Rabson 
1861c675522fSDoug Rabson struct lockdesc {
1862c675522fSDoug Rabson 	STAILQ_ENTRY(lockdesc) link;
1863dfdcada3SDoug Rabson 	struct vnode *vp;
1864dfdcada3SDoug Rabson 	struct flock fl;
1865dfdcada3SDoug Rabson };
1866c675522fSDoug Rabson STAILQ_HEAD(lockdesclist, lockdesc);
1867dfdcada3SDoug Rabson 
1868c675522fSDoug Rabson int
1869c675522fSDoug Rabson lf_iteratelocks_sysid(int sysid, lf_iterator *fn, void *arg)
1870dfdcada3SDoug Rabson {
1871dfdcada3SDoug Rabson 	struct lockf *ls;
1872dfdcada3SDoug Rabson 	struct lockf_entry *lf;
1873c675522fSDoug Rabson 	struct lockdesc *ldesc;
1874c675522fSDoug Rabson 	struct lockdesclist locks;
1875c675522fSDoug Rabson 	int error;
1876dfdcada3SDoug Rabson 
1877dfdcada3SDoug Rabson 	/*
1878dfdcada3SDoug Rabson 	 * In order to keep the locking simple, we iterate over the
1879dfdcada3SDoug Rabson 	 * active lock lists to build a list of locks that need
1880c675522fSDoug Rabson 	 * releasing. We then call the iterator for each one in turn.
1881dfdcada3SDoug Rabson 	 *
1882dfdcada3SDoug Rabson 	 * We take an extra reference to the vnode for the duration to
1883dfdcada3SDoug Rabson 	 * make sure it doesn't go away before we are finished.
1884dfdcada3SDoug Rabson 	 */
1885dfdcada3SDoug Rabson 	STAILQ_INIT(&locks);
1886dfdcada3SDoug Rabson 	sx_xlock(&lf_lock_states_lock);
1887dfdcada3SDoug Rabson 	LIST_FOREACH(ls, &lf_lock_states, ls_link) {
1888dfdcada3SDoug Rabson 		sx_xlock(&ls->ls_lock);
1889dfdcada3SDoug Rabson 		LIST_FOREACH(lf, &ls->ls_active, lf_link) {
1890dfdcada3SDoug Rabson 			if (lf->lf_owner->lo_sysid != sysid)
1891dfdcada3SDoug Rabson 				continue;
1892dfdcada3SDoug Rabson 
1893c675522fSDoug Rabson 			ldesc = malloc(sizeof(struct lockdesc), M_LOCKF,
1894dfdcada3SDoug Rabson 			    M_WAITOK);
1895c675522fSDoug Rabson 			ldesc->vp = lf->lf_vnode;
1896c675522fSDoug Rabson 			vref(ldesc->vp);
1897c675522fSDoug Rabson 			ldesc->fl.l_start = lf->lf_start;
1898dfdcada3SDoug Rabson 			if (lf->lf_end == OFF_MAX)
1899c675522fSDoug Rabson 				ldesc->fl.l_len = 0;
1900dfdcada3SDoug Rabson 			else
1901c675522fSDoug Rabson 				ldesc->fl.l_len =
1902dfdcada3SDoug Rabson 					lf->lf_end - lf->lf_start + 1;
1903c675522fSDoug Rabson 			ldesc->fl.l_whence = SEEK_SET;
1904c675522fSDoug Rabson 			ldesc->fl.l_type = F_UNLCK;
1905c675522fSDoug Rabson 			ldesc->fl.l_pid = lf->lf_owner->lo_pid;
1906c675522fSDoug Rabson 			ldesc->fl.l_sysid = sysid;
1907c675522fSDoug Rabson 			STAILQ_INSERT_TAIL(&locks, ldesc, link);
1908dfdcada3SDoug Rabson 		}
1909dfdcada3SDoug Rabson 		sx_xunlock(&ls->ls_lock);
1910dfdcada3SDoug Rabson 	}
1911dfdcada3SDoug Rabson 	sx_xunlock(&lf_lock_states_lock);
1912dfdcada3SDoug Rabson 
1913c675522fSDoug Rabson 	/*
1914c675522fSDoug Rabson 	 * Call the iterator function for each lock in turn. If the
1915c675522fSDoug Rabson 	 * iterator returns an error code, just free the rest of the
1916c675522fSDoug Rabson 	 * lockdesc structures.
1917c675522fSDoug Rabson 	 */
1918c675522fSDoug Rabson 	error = 0;
1919c675522fSDoug Rabson 	while ((ldesc = STAILQ_FIRST(&locks)) != NULL) {
1920dfdcada3SDoug Rabson 		STAILQ_REMOVE_HEAD(&locks, link);
1921c675522fSDoug Rabson 		if (!error)
1922c675522fSDoug Rabson 			error = fn(ldesc->vp, &ldesc->fl, arg);
1923c675522fSDoug Rabson 		vrele(ldesc->vp);
1924c675522fSDoug Rabson 		free(ldesc, M_LOCKF);
1925dfdcada3SDoug Rabson 	}
1926c675522fSDoug Rabson 
1927c675522fSDoug Rabson 	return (error);
1928c675522fSDoug Rabson }
1929c675522fSDoug Rabson 
1930c675522fSDoug Rabson int
1931c675522fSDoug Rabson lf_iteratelocks_vnode(struct vnode *vp, lf_iterator *fn, void *arg)
1932c675522fSDoug Rabson {
1933c675522fSDoug Rabson 	struct lockf *ls;
1934c675522fSDoug Rabson 	struct lockf_entry *lf;
1935c675522fSDoug Rabson 	struct lockdesc *ldesc;
1936c675522fSDoug Rabson 	struct lockdesclist locks;
1937c675522fSDoug Rabson 	int error;
1938c675522fSDoug Rabson 
1939c675522fSDoug Rabson 	/*
1940c675522fSDoug Rabson 	 * In order to keep the locking simple, we iterate over the
1941c675522fSDoug Rabson 	 * active lock lists to build a list of locks that need
1942c675522fSDoug Rabson 	 * releasing. We then call the iterator for each one in turn.
1943c675522fSDoug Rabson 	 *
1944c675522fSDoug Rabson 	 * We take an extra reference to the vnode for the duration to
1945c675522fSDoug Rabson 	 * make sure it doesn't go away before we are finished.
1946c675522fSDoug Rabson 	 */
1947c675522fSDoug Rabson 	STAILQ_INIT(&locks);
194828fe6a3fSKonstantin Belousov 	VI_LOCK(vp);
1949c675522fSDoug Rabson 	ls = vp->v_lockf;
195028fe6a3fSKonstantin Belousov 	if (!ls) {
195128fe6a3fSKonstantin Belousov 		VI_UNLOCK(vp);
1952c675522fSDoug Rabson 		return (0);
195328fe6a3fSKonstantin Belousov 	}
195428fe6a3fSKonstantin Belousov 	ls->ls_threads++;
195528fe6a3fSKonstantin Belousov 	VI_UNLOCK(vp);
1956c675522fSDoug Rabson 
1957c675522fSDoug Rabson 	sx_xlock(&ls->ls_lock);
1958c675522fSDoug Rabson 	LIST_FOREACH(lf, &ls->ls_active, lf_link) {
1959c675522fSDoug Rabson 		ldesc = malloc(sizeof(struct lockdesc), M_LOCKF,
1960c675522fSDoug Rabson 		    M_WAITOK);
1961c675522fSDoug Rabson 		ldesc->vp = lf->lf_vnode;
1962c675522fSDoug Rabson 		vref(ldesc->vp);
1963c675522fSDoug Rabson 		ldesc->fl.l_start = lf->lf_start;
1964c675522fSDoug Rabson 		if (lf->lf_end == OFF_MAX)
1965c675522fSDoug Rabson 			ldesc->fl.l_len = 0;
1966c675522fSDoug Rabson 		else
1967c675522fSDoug Rabson 			ldesc->fl.l_len =
1968c675522fSDoug Rabson 				lf->lf_end - lf->lf_start + 1;
1969c675522fSDoug Rabson 		ldesc->fl.l_whence = SEEK_SET;
1970c675522fSDoug Rabson 		ldesc->fl.l_type = F_UNLCK;
1971c675522fSDoug Rabson 		ldesc->fl.l_pid = lf->lf_owner->lo_pid;
1972c675522fSDoug Rabson 		ldesc->fl.l_sysid = lf->lf_owner->lo_sysid;
1973c675522fSDoug Rabson 		STAILQ_INSERT_TAIL(&locks, ldesc, link);
1974c675522fSDoug Rabson 	}
1975c675522fSDoug Rabson 	sx_xunlock(&ls->ls_lock);
197628fe6a3fSKonstantin Belousov 	VI_LOCK(vp);
197728fe6a3fSKonstantin Belousov 	ls->ls_threads--;
197828fe6a3fSKonstantin Belousov 	wakeup(ls);
197928fe6a3fSKonstantin Belousov 	VI_UNLOCK(vp);
1980c675522fSDoug Rabson 
1981c675522fSDoug Rabson 	/*
1982c675522fSDoug Rabson 	 * Call the iterator function for each lock in turn. If the
1983c675522fSDoug Rabson 	 * iterator returns an error code, just free the rest of the
1984c675522fSDoug Rabson 	 * lockdesc structures.
1985c675522fSDoug Rabson 	 */
1986c675522fSDoug Rabson 	error = 0;
1987c675522fSDoug Rabson 	while ((ldesc = STAILQ_FIRST(&locks)) != NULL) {
1988c675522fSDoug Rabson 		STAILQ_REMOVE_HEAD(&locks, link);
1989c675522fSDoug Rabson 		if (!error)
1990c675522fSDoug Rabson 			error = fn(ldesc->vp, &ldesc->fl, arg);
1991c675522fSDoug Rabson 		vrele(ldesc->vp);
1992c675522fSDoug Rabson 		free(ldesc, M_LOCKF);
1993c675522fSDoug Rabson 	}
1994c675522fSDoug Rabson 
1995c675522fSDoug Rabson 	return (error);
1996c675522fSDoug Rabson }
1997c675522fSDoug Rabson 
1998c675522fSDoug Rabson static int
1999c675522fSDoug Rabson lf_clearremotesys_iterator(struct vnode *vp, struct flock *fl, void *arg)
2000c675522fSDoug Rabson {
2001c675522fSDoug Rabson 
2002c675522fSDoug Rabson 	VOP_ADVLOCK(vp, 0, F_UNLCK, fl, F_REMOTE);
2003c675522fSDoug Rabson 	return (0);
2004c675522fSDoug Rabson }
2005c675522fSDoug Rabson 
2006c675522fSDoug Rabson void
2007c675522fSDoug Rabson lf_clearremotesys(int sysid)
2008c675522fSDoug Rabson {
2009c675522fSDoug Rabson 
2010c675522fSDoug Rabson 	KASSERT(sysid != 0, ("Can't clear local locks with F_UNLCKSYS"));
2011c675522fSDoug Rabson 	lf_iteratelocks_sysid(sysid, lf_clearremotesys_iterator, NULL);
2012dfdcada3SDoug Rabson }
2013dfdcada3SDoug Rabson 
2014dfdcada3SDoug Rabson int
2015dfdcada3SDoug Rabson lf_countlocks(int sysid)
2016dfdcada3SDoug Rabson {
2017dfdcada3SDoug Rabson 	int i;
2018dfdcada3SDoug Rabson 	struct lock_owner *lo;
2019dfdcada3SDoug Rabson 	int count;
2020dfdcada3SDoug Rabson 
2021dfdcada3SDoug Rabson 	count = 0;
2022dfdcada3SDoug Rabson 	sx_xlock(&lf_lock_owners_lock);
2023dfdcada3SDoug Rabson 	for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++)
2024dfdcada3SDoug Rabson 		LIST_FOREACH(lo, &lf_lock_owners[i], lo_link)
2025dfdcada3SDoug Rabson 			if (lo->lo_sysid == sysid)
2026dfdcada3SDoug Rabson 				count += lo->lo_refs;
2027dfdcada3SDoug Rabson 	sx_xunlock(&lf_lock_owners_lock);
2028dfdcada3SDoug Rabson 
2029dfdcada3SDoug Rabson 	return (count);
2030dfdcada3SDoug Rabson }
2031dfdcada3SDoug Rabson 
2032dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2033dfdcada3SDoug Rabson 
2034dfdcada3SDoug Rabson /*
2035dfdcada3SDoug Rabson  * Return non-zero if y is reachable from x using a brute force
2036dfdcada3SDoug Rabson  * search. If reachable and path is non-null, return the route taken
2037dfdcada3SDoug Rabson  * in path.
2038dfdcada3SDoug Rabson  */
2039dfdcada3SDoug Rabson static int
2040dfdcada3SDoug Rabson graph_reaches(struct owner_vertex *x, struct owner_vertex *y,
2041dfdcada3SDoug Rabson     struct owner_vertex_list *path)
2042dfdcada3SDoug Rabson {
2043dfdcada3SDoug Rabson 	struct owner_edge *e;
2044dfdcada3SDoug Rabson 
2045dfdcada3SDoug Rabson 	if (x == y) {
2046dfdcada3SDoug Rabson 		if (path)
2047dfdcada3SDoug Rabson 			TAILQ_INSERT_HEAD(path, x, v_link);
2048dfdcada3SDoug Rabson 		return 1;
2049dfdcada3SDoug Rabson 	}
2050dfdcada3SDoug Rabson 
2051dfdcada3SDoug Rabson 	LIST_FOREACH(e, &x->v_outedges, e_outlink) {
2052dfdcada3SDoug Rabson 		if (graph_reaches(e->e_to, y, path)) {
2053dfdcada3SDoug Rabson 			if (path)
2054dfdcada3SDoug Rabson 				TAILQ_INSERT_HEAD(path, x, v_link);
2055dfdcada3SDoug Rabson 			return 1;
2056dfdcada3SDoug Rabson 		}
2057dfdcada3SDoug Rabson 	}
2058dfdcada3SDoug Rabson 	return 0;
205992dc7331SDavid Greenman }
206092dc7331SDavid Greenman 
206192dc7331SDavid Greenman /*
2062dfdcada3SDoug Rabson  * Perform consistency checks on the graph. Make sure the values of
2063dfdcada3SDoug Rabson  * v_order are correct. If checkorder is non-zero, check no vertex can
2064dfdcada3SDoug Rabson  * reach any other vertex with a smaller order.
206592dc7331SDavid Greenman  */
206687b6de2bSPoul-Henning Kamp static void
2067dfdcada3SDoug Rabson graph_check(struct owner_graph *g, int checkorder)
206892dc7331SDavid Greenman {
2069dfdcada3SDoug Rabson 	int i, j;
207092dc7331SDavid Greenman 
2071dfdcada3SDoug Rabson 	for (i = 0; i < g->g_size; i++) {
2072dfdcada3SDoug Rabson 		if (!g->g_vertices[i]->v_owner)
2073dfdcada3SDoug Rabson 			continue;
2074dfdcada3SDoug Rabson 		KASSERT(g->g_vertices[i]->v_order == i,
2075dfdcada3SDoug Rabson 		    ("lock graph vertices disordered"));
2076dfdcada3SDoug Rabson 		if (checkorder) {
2077dfdcada3SDoug Rabson 			for (j = 0; j < i; j++) {
2078dfdcada3SDoug Rabson 				if (!g->g_vertices[j]->v_owner)
2079dfdcada3SDoug Rabson 					continue;
2080dfdcada3SDoug Rabson 				KASSERT(!graph_reaches(g->g_vertices[i],
2081dfdcada3SDoug Rabson 					g->g_vertices[j], NULL),
2082dfdcada3SDoug Rabson 				    ("lock graph vertices disordered"));
2083dfdcada3SDoug Rabson 			}
2084dfdcada3SDoug Rabson 		}
2085dfdcada3SDoug Rabson 	}
2086dfdcada3SDoug Rabson }
2087dfdcada3SDoug Rabson 
2088dfdcada3SDoug Rabson static void
2089dfdcada3SDoug Rabson graph_print_vertices(struct owner_vertex_list *set)
2090dfdcada3SDoug Rabson {
2091dfdcada3SDoug Rabson 	struct owner_vertex *v;
2092dfdcada3SDoug Rabson 
2093dfdcada3SDoug Rabson 	printf("{ ");
2094dfdcada3SDoug Rabson 	TAILQ_FOREACH(v, set, v_link) {
2095dfdcada3SDoug Rabson 		printf("%d:", v->v_order);
2096dfdcada3SDoug Rabson 		lf_print_owner(v->v_owner);
2097dfdcada3SDoug Rabson 		if (TAILQ_NEXT(v, v_link))
2098dfdcada3SDoug Rabson 			printf(", ");
2099dfdcada3SDoug Rabson 	}
2100dfdcada3SDoug Rabson 	printf(" }\n");
2101dfdcada3SDoug Rabson }
2102dfdcada3SDoug Rabson 
2103dfdcada3SDoug Rabson #endif
2104dfdcada3SDoug Rabson 
2105dfdcada3SDoug Rabson /*
2106dfdcada3SDoug Rabson  * Calculate the sub-set of vertices v from the affected region [y..x]
2107dfdcada3SDoug Rabson  * where v is reachable from y. Return -1 if a loop was detected
2108dfdcada3SDoug Rabson  * (i.e. x is reachable from y, otherwise the number of vertices in
2109dfdcada3SDoug Rabson  * this subset.
2110dfdcada3SDoug Rabson  */
2111dfdcada3SDoug Rabson static int
2112dfdcada3SDoug Rabson graph_delta_forward(struct owner_graph *g, struct owner_vertex *x,
2113dfdcada3SDoug Rabson     struct owner_vertex *y, struct owner_vertex_list *delta)
2114dfdcada3SDoug Rabson {
2115dfdcada3SDoug Rabson 	uint32_t gen;
2116dfdcada3SDoug Rabson 	struct owner_vertex *v;
2117dfdcada3SDoug Rabson 	struct owner_edge *e;
2118dfdcada3SDoug Rabson 	int n;
2119dfdcada3SDoug Rabson 
2120dfdcada3SDoug Rabson 	/*
2121dfdcada3SDoug Rabson 	 * We start with a set containing just y. Then for each vertex
2122dfdcada3SDoug Rabson 	 * v in the set so far unprocessed, we add each vertex that v
2123dfdcada3SDoug Rabson 	 * has an out-edge to and that is within the affected region
2124dfdcada3SDoug Rabson 	 * [y..x]. If we see the vertex x on our travels, stop
2125dfdcada3SDoug Rabson 	 * immediately.
2126dfdcada3SDoug Rabson 	 */
2127dfdcada3SDoug Rabson 	TAILQ_INIT(delta);
2128dfdcada3SDoug Rabson 	TAILQ_INSERT_TAIL(delta, y, v_link);
2129dfdcada3SDoug Rabson 	v = y;
2130dfdcada3SDoug Rabson 	n = 1;
2131dfdcada3SDoug Rabson 	gen = g->g_gen;
2132dfdcada3SDoug Rabson 	while (v) {
2133dfdcada3SDoug Rabson 		LIST_FOREACH(e, &v->v_outedges, e_outlink) {
2134dfdcada3SDoug Rabson 			if (e->e_to == x)
2135dfdcada3SDoug Rabson 				return -1;
2136dfdcada3SDoug Rabson 			if (e->e_to->v_order < x->v_order
2137dfdcada3SDoug Rabson 			    && e->e_to->v_gen != gen) {
2138dfdcada3SDoug Rabson 				e->e_to->v_gen = gen;
2139dfdcada3SDoug Rabson 				TAILQ_INSERT_TAIL(delta, e->e_to, v_link);
2140dfdcada3SDoug Rabson 				n++;
2141dfdcada3SDoug Rabson 			}
2142dfdcada3SDoug Rabson 		}
2143dfdcada3SDoug Rabson 		v = TAILQ_NEXT(v, v_link);
2144dfdcada3SDoug Rabson 	}
2145dfdcada3SDoug Rabson 
2146dfdcada3SDoug Rabson 	return (n);
2147dfdcada3SDoug Rabson }
2148dfdcada3SDoug Rabson 
2149dfdcada3SDoug Rabson /*
2150dfdcada3SDoug Rabson  * Calculate the sub-set of vertices v from the affected region [y..x]
2151dfdcada3SDoug Rabson  * where v reaches x. Return the number of vertices in this subset.
2152dfdcada3SDoug Rabson  */
2153dfdcada3SDoug Rabson static int
2154dfdcada3SDoug Rabson graph_delta_backward(struct owner_graph *g, struct owner_vertex *x,
2155dfdcada3SDoug Rabson     struct owner_vertex *y, struct owner_vertex_list *delta)
2156dfdcada3SDoug Rabson {
2157dfdcada3SDoug Rabson 	uint32_t gen;
2158dfdcada3SDoug Rabson 	struct owner_vertex *v;
2159dfdcada3SDoug Rabson 	struct owner_edge *e;
2160dfdcada3SDoug Rabson 	int n;
2161dfdcada3SDoug Rabson 
2162dfdcada3SDoug Rabson 	/*
2163dfdcada3SDoug Rabson 	 * We start with a set containing just x. Then for each vertex
2164dfdcada3SDoug Rabson 	 * v in the set so far unprocessed, we add each vertex that v
2165dfdcada3SDoug Rabson 	 * has an in-edge from and that is within the affected region
2166dfdcada3SDoug Rabson 	 * [y..x].
2167dfdcada3SDoug Rabson 	 */
2168dfdcada3SDoug Rabson 	TAILQ_INIT(delta);
2169dfdcada3SDoug Rabson 	TAILQ_INSERT_TAIL(delta, x, v_link);
2170dfdcada3SDoug Rabson 	v = x;
2171dfdcada3SDoug Rabson 	n = 1;
2172dfdcada3SDoug Rabson 	gen = g->g_gen;
2173dfdcada3SDoug Rabson 	while (v) {
2174dfdcada3SDoug Rabson 		LIST_FOREACH(e, &v->v_inedges, e_inlink) {
2175dfdcada3SDoug Rabson 			if (e->e_from->v_order > y->v_order
2176dfdcada3SDoug Rabson 			    && e->e_from->v_gen != gen) {
2177dfdcada3SDoug Rabson 				e->e_from->v_gen = gen;
2178dfdcada3SDoug Rabson 				TAILQ_INSERT_HEAD(delta, e->e_from, v_link);
2179dfdcada3SDoug Rabson 				n++;
2180dfdcada3SDoug Rabson 			}
2181dfdcada3SDoug Rabson 		}
2182dfdcada3SDoug Rabson 		v = TAILQ_PREV(v, owner_vertex_list, v_link);
2183dfdcada3SDoug Rabson 	}
2184dfdcada3SDoug Rabson 
2185dfdcada3SDoug Rabson 	return (n);
2186dfdcada3SDoug Rabson }
2187dfdcada3SDoug Rabson 
2188dfdcada3SDoug Rabson static int
2189dfdcada3SDoug Rabson graph_add_indices(int *indices, int n, struct owner_vertex_list *set)
2190dfdcada3SDoug Rabson {
2191dfdcada3SDoug Rabson 	struct owner_vertex *v;
2192dfdcada3SDoug Rabson 	int i, j;
2193dfdcada3SDoug Rabson 
2194dfdcada3SDoug Rabson 	TAILQ_FOREACH(v, set, v_link) {
2195dfdcada3SDoug Rabson 		for (i = n;
2196dfdcada3SDoug Rabson 		     i > 0 && indices[i - 1] > v->v_order; i--)
2197dfdcada3SDoug Rabson 			;
2198dfdcada3SDoug Rabson 		for (j = n - 1; j >= i; j--)
2199dfdcada3SDoug Rabson 			indices[j + 1] = indices[j];
2200dfdcada3SDoug Rabson 		indices[i] = v->v_order;
2201dfdcada3SDoug Rabson 		n++;
2202dfdcada3SDoug Rabson 	}
2203dfdcada3SDoug Rabson 
2204dfdcada3SDoug Rabson 	return (n);
2205dfdcada3SDoug Rabson }
2206dfdcada3SDoug Rabson 
2207dfdcada3SDoug Rabson static int
2208dfdcada3SDoug Rabson graph_assign_indices(struct owner_graph *g, int *indices, int nextunused,
2209dfdcada3SDoug Rabson     struct owner_vertex_list *set)
2210dfdcada3SDoug Rabson {
2211dfdcada3SDoug Rabson 	struct owner_vertex *v, *vlowest;
2212dfdcada3SDoug Rabson 
2213dfdcada3SDoug Rabson 	while (!TAILQ_EMPTY(set)) {
2214dfdcada3SDoug Rabson 		vlowest = NULL;
2215dfdcada3SDoug Rabson 		TAILQ_FOREACH(v, set, v_link) {
2216dfdcada3SDoug Rabson 			if (!vlowest || v->v_order < vlowest->v_order)
2217dfdcada3SDoug Rabson 				vlowest = v;
2218dfdcada3SDoug Rabson 		}
2219dfdcada3SDoug Rabson 		TAILQ_REMOVE(set, vlowest, v_link);
2220dfdcada3SDoug Rabson 		vlowest->v_order = indices[nextunused];
2221dfdcada3SDoug Rabson 		g->g_vertices[vlowest->v_order] = vlowest;
2222dfdcada3SDoug Rabson 		nextunused++;
2223dfdcada3SDoug Rabson 	}
2224dfdcada3SDoug Rabson 
2225dfdcada3SDoug Rabson 	return (nextunused);
2226dfdcada3SDoug Rabson }
2227dfdcada3SDoug Rabson 
2228dfdcada3SDoug Rabson static int
2229dfdcada3SDoug Rabson graph_add_edge(struct owner_graph *g, struct owner_vertex *x,
2230dfdcada3SDoug Rabson     struct owner_vertex *y)
2231dfdcada3SDoug Rabson {
2232dfdcada3SDoug Rabson 	struct owner_edge *e;
2233dfdcada3SDoug Rabson 	struct owner_vertex_list deltaF, deltaB;
2234dfdcada3SDoug Rabson 	int nF, nB, n, vi, i;
2235dfdcada3SDoug Rabson 	int *indices;
2236dfdcada3SDoug Rabson 
2237dfdcada3SDoug Rabson 	sx_assert(&lf_owner_graph_lock, SX_XLOCKED);
2238dfdcada3SDoug Rabson 
2239dfdcada3SDoug Rabson 	LIST_FOREACH(e, &x->v_outedges, e_outlink) {
2240dfdcada3SDoug Rabson 		if (e->e_to == y) {
2241dfdcada3SDoug Rabson 			e->e_refs++;
2242dfdcada3SDoug Rabson 			return (0);
224392dc7331SDavid Greenman 		}
224492dc7331SDavid Greenman 	}
224592dc7331SDavid Greenman 
224692dc7331SDavid Greenman #ifdef LOCKF_DEBUG
2247dfdcada3SDoug Rabson 	if (lockf_debug & 8) {
2248dfdcada3SDoug Rabson 		printf("adding edge %d:", x->v_order);
2249dfdcada3SDoug Rabson 		lf_print_owner(x->v_owner);
2250dfdcada3SDoug Rabson 		printf(" -> %d:", y->v_order);
2251dfdcada3SDoug Rabson 		lf_print_owner(y->v_owner);
2252dfdcada3SDoug Rabson 		printf("\n");
2253dfdcada3SDoug Rabson 	}
2254dfdcada3SDoug Rabson #endif
2255dfdcada3SDoug Rabson 	if (y->v_order < x->v_order) {
2256dfdcada3SDoug Rabson 		/*
2257dfdcada3SDoug Rabson 		 * The new edge violates the order. First find the set
2258dfdcada3SDoug Rabson 		 * of affected vertices reachable from y (deltaF) and
2259dfdcada3SDoug Rabson 		 * the set of affect vertices affected that reach x
2260dfdcada3SDoug Rabson 		 * (deltaB), using the graph generation number to
2261dfdcada3SDoug Rabson 		 * detect whether we have visited a given vertex
2262dfdcada3SDoug Rabson 		 * already. We re-order the graph so that each vertex
2263dfdcada3SDoug Rabson 		 * in deltaB appears before each vertex in deltaF.
2264dfdcada3SDoug Rabson 		 *
2265dfdcada3SDoug Rabson 		 * If x is a member of deltaF, then the new edge would
2266dfdcada3SDoug Rabson 		 * create a cycle. Otherwise, we may assume that
2267dfdcada3SDoug Rabson 		 * deltaF and deltaB are disjoint.
2268dfdcada3SDoug Rabson 		 */
2269dfdcada3SDoug Rabson 		g->g_gen++;
2270dfdcada3SDoug Rabson 		if (g->g_gen == 0) {
2271dfdcada3SDoug Rabson 			/*
2272dfdcada3SDoug Rabson 			 * Generation wrap.
2273dfdcada3SDoug Rabson 			 */
2274dfdcada3SDoug Rabson 			for (vi = 0; vi < g->g_size; vi++) {
2275dfdcada3SDoug Rabson 				g->g_vertices[vi]->v_gen = 0;
2276dfdcada3SDoug Rabson 			}
2277dfdcada3SDoug Rabson 			g->g_gen++;
2278dfdcada3SDoug Rabson 		}
2279dfdcada3SDoug Rabson 		nF = graph_delta_forward(g, x, y, &deltaF);
2280dfdcada3SDoug Rabson 		if (nF < 0) {
2281dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2282dfdcada3SDoug Rabson 			if (lockf_debug & 8) {
2283dfdcada3SDoug Rabson 				struct owner_vertex_list path;
2284dfdcada3SDoug Rabson 				printf("deadlock: ");
2285dfdcada3SDoug Rabson 				TAILQ_INIT(&path);
2286dfdcada3SDoug Rabson 				graph_reaches(y, x, &path);
2287dfdcada3SDoug Rabson 				graph_print_vertices(&path);
2288dfdcada3SDoug Rabson 			}
2289dfdcada3SDoug Rabson #endif
2290dfdcada3SDoug Rabson 			return (EDEADLK);
2291dfdcada3SDoug Rabson 		}
2292dfdcada3SDoug Rabson 
2293dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2294dfdcada3SDoug Rabson 		if (lockf_debug & 8) {
2295dfdcada3SDoug Rabson 			printf("re-ordering graph vertices\n");
2296dfdcada3SDoug Rabson 			printf("deltaF = ");
2297dfdcada3SDoug Rabson 			graph_print_vertices(&deltaF);
2298dfdcada3SDoug Rabson 		}
2299dfdcada3SDoug Rabson #endif
2300dfdcada3SDoug Rabson 
2301dfdcada3SDoug Rabson 		nB = graph_delta_backward(g, x, y, &deltaB);
2302dfdcada3SDoug Rabson 
2303dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2304dfdcada3SDoug Rabson 		if (lockf_debug & 8) {
2305dfdcada3SDoug Rabson 			printf("deltaB = ");
2306dfdcada3SDoug Rabson 			graph_print_vertices(&deltaB);
2307dfdcada3SDoug Rabson 		}
2308dfdcada3SDoug Rabson #endif
2309dfdcada3SDoug Rabson 
2310dfdcada3SDoug Rabson 		/*
2311dfdcada3SDoug Rabson 		 * We first build a set of vertex indices (vertex
2312dfdcada3SDoug Rabson 		 * order values) that we may use, then we re-assign
2313dfdcada3SDoug Rabson 		 * orders first to those vertices in deltaB, then to
2314dfdcada3SDoug Rabson 		 * deltaF. Note that the contents of deltaF and deltaB
2315dfdcada3SDoug Rabson 		 * may be partially disordered - we perform an
2316dfdcada3SDoug Rabson 		 * insertion sort while building our index set.
2317dfdcada3SDoug Rabson 		 */
2318dfdcada3SDoug Rabson 		indices = g->g_indexbuf;
2319dfdcada3SDoug Rabson 		n = graph_add_indices(indices, 0, &deltaF);
2320dfdcada3SDoug Rabson 		graph_add_indices(indices, n, &deltaB);
2321dfdcada3SDoug Rabson 
2322dfdcada3SDoug Rabson 		/*
2323dfdcada3SDoug Rabson 		 * We must also be sure to maintain the relative
2324dfdcada3SDoug Rabson 		 * ordering of deltaF and deltaB when re-assigning
2325dfdcada3SDoug Rabson 		 * vertices. We do this by iteratively removing the
2326dfdcada3SDoug Rabson 		 * lowest ordered element from the set and assigning
2327dfdcada3SDoug Rabson 		 * it the next value from our new ordering.
2328dfdcada3SDoug Rabson 		 */
2329dfdcada3SDoug Rabson 		i = graph_assign_indices(g, indices, 0, &deltaB);
2330dfdcada3SDoug Rabson 		graph_assign_indices(g, indices, i, &deltaF);
2331dfdcada3SDoug Rabson 
2332dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2333dfdcada3SDoug Rabson 		if (lockf_debug & 8) {
2334dfdcada3SDoug Rabson 			struct owner_vertex_list set;
2335dfdcada3SDoug Rabson 			TAILQ_INIT(&set);
2336dfdcada3SDoug Rabson 			for (i = 0; i < nB + nF; i++)
2337dfdcada3SDoug Rabson 				TAILQ_INSERT_TAIL(&set,
2338dfdcada3SDoug Rabson 				    g->g_vertices[indices[i]], v_link);
2339dfdcada3SDoug Rabson 			printf("new ordering = ");
2340dfdcada3SDoug Rabson 			graph_print_vertices(&set);
2341dfdcada3SDoug Rabson 		}
2342dfdcada3SDoug Rabson #endif
2343dfdcada3SDoug Rabson 	}
2344dfdcada3SDoug Rabson 
2345dfdcada3SDoug Rabson 	KASSERT(x->v_order < y->v_order, ("Failed to re-order graph"));
2346dfdcada3SDoug Rabson 
2347dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2348dfdcada3SDoug Rabson 	if (lockf_debug & 8) {
2349dfdcada3SDoug Rabson 		graph_check(g, TRUE);
2350dfdcada3SDoug Rabson 	}
2351dfdcada3SDoug Rabson #endif
2352dfdcada3SDoug Rabson 
2353dfdcada3SDoug Rabson 	e = malloc(sizeof(struct owner_edge), M_LOCKF, M_WAITOK);
2354dfdcada3SDoug Rabson 
2355dfdcada3SDoug Rabson 	LIST_INSERT_HEAD(&x->v_outedges, e, e_outlink);
2356dfdcada3SDoug Rabson 	LIST_INSERT_HEAD(&y->v_inedges, e, e_inlink);
2357dfdcada3SDoug Rabson 	e->e_refs = 1;
2358dfdcada3SDoug Rabson 	e->e_from = x;
2359dfdcada3SDoug Rabson 	e->e_to = y;
2360dfdcada3SDoug Rabson 
2361dfdcada3SDoug Rabson 	return (0);
2362dfdcada3SDoug Rabson }
2363dfdcada3SDoug Rabson 
2364dfdcada3SDoug Rabson /*
2365dfdcada3SDoug Rabson  * Remove an edge x->y from the graph.
2366dfdcada3SDoug Rabson  */
2367dfdcada3SDoug Rabson static void
2368dfdcada3SDoug Rabson graph_remove_edge(struct owner_graph *g, struct owner_vertex *x,
2369dfdcada3SDoug Rabson     struct owner_vertex *y)
2370dfdcada3SDoug Rabson {
2371dfdcada3SDoug Rabson 	struct owner_edge *e;
2372dfdcada3SDoug Rabson 
2373dfdcada3SDoug Rabson 	sx_assert(&lf_owner_graph_lock, SX_XLOCKED);
2374dfdcada3SDoug Rabson 
2375dfdcada3SDoug Rabson 	LIST_FOREACH(e, &x->v_outedges, e_outlink) {
2376dfdcada3SDoug Rabson 		if (e->e_to == y)
2377dfdcada3SDoug Rabson 			break;
2378dfdcada3SDoug Rabson 	}
2379dfdcada3SDoug Rabson 	KASSERT(e, ("Removing non-existent edge from deadlock graph"));
2380dfdcada3SDoug Rabson 
2381dfdcada3SDoug Rabson 	e->e_refs--;
2382dfdcada3SDoug Rabson 	if (e->e_refs == 0) {
2383dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2384dfdcada3SDoug Rabson 		if (lockf_debug & 8) {
2385dfdcada3SDoug Rabson 			printf("removing edge %d:", x->v_order);
2386dfdcada3SDoug Rabson 			lf_print_owner(x->v_owner);
2387dfdcada3SDoug Rabson 			printf(" -> %d:", y->v_order);
2388dfdcada3SDoug Rabson 			lf_print_owner(y->v_owner);
2389dfdcada3SDoug Rabson 			printf("\n");
2390dfdcada3SDoug Rabson 		}
2391dfdcada3SDoug Rabson #endif
2392dfdcada3SDoug Rabson 		LIST_REMOVE(e, e_outlink);
2393dfdcada3SDoug Rabson 		LIST_REMOVE(e, e_inlink);
2394dfdcada3SDoug Rabson 		free(e, M_LOCKF);
2395dfdcada3SDoug Rabson 	}
2396dfdcada3SDoug Rabson }
2397dfdcada3SDoug Rabson 
2398dfdcada3SDoug Rabson /*
2399dfdcada3SDoug Rabson  * Allocate a vertex from the free list. Return ENOMEM if there are
2400dfdcada3SDoug Rabson  * none.
2401dfdcada3SDoug Rabson  */
2402dfdcada3SDoug Rabson static struct owner_vertex *
2403dfdcada3SDoug Rabson graph_alloc_vertex(struct owner_graph *g, struct lock_owner *lo)
2404dfdcada3SDoug Rabson {
2405dfdcada3SDoug Rabson 	struct owner_vertex *v;
2406dfdcada3SDoug Rabson 
2407dfdcada3SDoug Rabson 	sx_assert(&lf_owner_graph_lock, SX_XLOCKED);
2408dfdcada3SDoug Rabson 
2409dfdcada3SDoug Rabson 	v = malloc(sizeof(struct owner_vertex), M_LOCKF, M_WAITOK);
2410dfdcada3SDoug Rabson 	if (g->g_size == g->g_space) {
2411dfdcada3SDoug Rabson 		g->g_vertices = realloc(g->g_vertices,
2412dfdcada3SDoug Rabson 		    2 * g->g_space * sizeof(struct owner_vertex *),
2413dfdcada3SDoug Rabson 		    M_LOCKF, M_WAITOK);
2414dfdcada3SDoug Rabson 		free(g->g_indexbuf, M_LOCKF);
2415dfdcada3SDoug Rabson 		g->g_indexbuf = malloc(2 * g->g_space * sizeof(int),
2416dfdcada3SDoug Rabson 		    M_LOCKF, M_WAITOK);
2417dfdcada3SDoug Rabson 		g->g_space = 2 * g->g_space;
2418dfdcada3SDoug Rabson 	}
2419dfdcada3SDoug Rabson 	v->v_order = g->g_size;
2420dfdcada3SDoug Rabson 	v->v_gen = g->g_gen;
2421dfdcada3SDoug Rabson 	g->g_vertices[g->g_size] = v;
2422dfdcada3SDoug Rabson 	g->g_size++;
2423dfdcada3SDoug Rabson 
2424dfdcada3SDoug Rabson 	LIST_INIT(&v->v_outedges);
2425dfdcada3SDoug Rabson 	LIST_INIT(&v->v_inedges);
2426dfdcada3SDoug Rabson 	v->v_owner = lo;
2427dfdcada3SDoug Rabson 
2428dfdcada3SDoug Rabson 	return (v);
2429dfdcada3SDoug Rabson }
2430dfdcada3SDoug Rabson 
2431dfdcada3SDoug Rabson static void
2432dfdcada3SDoug Rabson graph_free_vertex(struct owner_graph *g, struct owner_vertex *v)
2433dfdcada3SDoug Rabson {
2434dfdcada3SDoug Rabson 	struct owner_vertex *w;
2435dfdcada3SDoug Rabson 	int i;
2436dfdcada3SDoug Rabson 
2437dfdcada3SDoug Rabson 	sx_assert(&lf_owner_graph_lock, SX_XLOCKED);
2438dfdcada3SDoug Rabson 
2439dfdcada3SDoug Rabson 	KASSERT(LIST_EMPTY(&v->v_outedges), ("Freeing vertex with edges"));
2440dfdcada3SDoug Rabson 	KASSERT(LIST_EMPTY(&v->v_inedges), ("Freeing vertex with edges"));
2441dfdcada3SDoug Rabson 
2442dfdcada3SDoug Rabson 	/*
2443dfdcada3SDoug Rabson 	 * Remove from the graph's array and close up the gap,
2444dfdcada3SDoug Rabson 	 * renumbering the other vertices.
2445dfdcada3SDoug Rabson 	 */
2446dfdcada3SDoug Rabson 	for (i = v->v_order + 1; i < g->g_size; i++) {
2447dfdcada3SDoug Rabson 		w = g->g_vertices[i];
2448dfdcada3SDoug Rabson 		w->v_order--;
2449dfdcada3SDoug Rabson 		g->g_vertices[i - 1] = w;
2450dfdcada3SDoug Rabson 	}
2451dfdcada3SDoug Rabson 	g->g_size--;
2452dfdcada3SDoug Rabson 
2453dfdcada3SDoug Rabson 	free(v, M_LOCKF);
2454dfdcada3SDoug Rabson }
2455dfdcada3SDoug Rabson 
2456dfdcada3SDoug Rabson static struct owner_graph *
2457dfdcada3SDoug Rabson graph_init(struct owner_graph *g)
2458dfdcada3SDoug Rabson {
2459dfdcada3SDoug Rabson 
2460dfdcada3SDoug Rabson 	g->g_vertices = malloc(10 * sizeof(struct owner_vertex *),
2461dfdcada3SDoug Rabson 	    M_LOCKF, M_WAITOK);
2462dfdcada3SDoug Rabson 	g->g_size = 0;
2463dfdcada3SDoug Rabson 	g->g_space = 10;
2464dfdcada3SDoug Rabson 	g->g_indexbuf = malloc(g->g_space * sizeof(int), M_LOCKF, M_WAITOK);
2465dfdcada3SDoug Rabson 	g->g_gen = 0;
2466dfdcada3SDoug Rabson 
2467dfdcada3SDoug Rabson 	return (g);
2468dfdcada3SDoug Rabson }
2469dfdcada3SDoug Rabson 
2470dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG
2471dfdcada3SDoug Rabson /*
2472dfdcada3SDoug Rabson  * Print description of a lock owner
2473dfdcada3SDoug Rabson  */
2474dfdcada3SDoug Rabson static void
2475dfdcada3SDoug Rabson lf_print_owner(struct lock_owner *lo)
2476dfdcada3SDoug Rabson {
2477dfdcada3SDoug Rabson 
2478dfdcada3SDoug Rabson 	if (lo->lo_flags & F_REMOTE) {
2479dfdcada3SDoug Rabson 		printf("remote pid %d, system %d",
2480dfdcada3SDoug Rabson 		    lo->lo_pid, lo->lo_sysid);
2481dfdcada3SDoug Rabson 	} else if (lo->lo_flags & F_FLOCK) {
2482dfdcada3SDoug Rabson 		printf("file %p", lo->lo_id);
2483dfdcada3SDoug Rabson 	} else {
2484dfdcada3SDoug Rabson 		printf("local pid %d", lo->lo_pid);
2485dfdcada3SDoug Rabson 	}
2486dfdcada3SDoug Rabson }
2487dfdcada3SDoug Rabson 
248892dc7331SDavid Greenman /*
248992dc7331SDavid Greenman  * Print out a lock.
249092dc7331SDavid Greenman  */
2491013e6650SJeff Roberson static void
2492dfdcada3SDoug Rabson lf_print(char *tag, struct lockf_entry *lock)
249392dc7331SDavid Greenman {
249492dc7331SDavid Greenman 
2495d974cf4dSBruce Evans 	printf("%s: lock %p for ", tag, (void *)lock);
2496dfdcada3SDoug Rabson 	lf_print_owner(lock->lf_owner);
249759aff5fcSAlfred Perlstein 	if (lock->lf_inode != (struct inode *)0)
2498dfdcada3SDoug Rabson 		printf(" in ino %ju on dev <%s>,",
2499a7a00d05SMaxime Henrion 		    (uintmax_t)lock->lf_inode->i_number,
2500dfdcada3SDoug Rabson 		    devtoname(lock->lf_inode->i_dev));
2501dfdcada3SDoug Rabson 	printf(" %s, start %jd, end ",
250292dc7331SDavid Greenman 	    lock->lf_type == F_RDLCK ? "shared" :
250392dc7331SDavid Greenman 	    lock->lf_type == F_WRLCK ? "exclusive" :
2504a7a00d05SMaxime Henrion 	    lock->lf_type == F_UNLCK ? "unlock" : "unknown",
2505dfdcada3SDoug Rabson 	    (intmax_t)lock->lf_start);
2506dfdcada3SDoug Rabson 	if (lock->lf_end == OFF_MAX)
2507dfdcada3SDoug Rabson 		printf("EOF");
250859aff5fcSAlfred Perlstein 	else
2509dfdcada3SDoug Rabson 		printf("%jd", (intmax_t)lock->lf_end);
2510dfdcada3SDoug Rabson 	if (!LIST_EMPTY(&lock->lf_outedges))
2511dfdcada3SDoug Rabson 		printf(" block %p\n",
2512dfdcada3SDoug Rabson 		    (void *)LIST_FIRST(&lock->lf_outedges)->le_to);
251392dc7331SDavid Greenman 	else
251492dc7331SDavid Greenman 		printf("\n");
251592dc7331SDavid Greenman }
251692dc7331SDavid Greenman 
2517013e6650SJeff Roberson static void
2518dfdcada3SDoug Rabson lf_printlist(char *tag, struct lockf_entry *lock)
251992dc7331SDavid Greenman {
2520dfdcada3SDoug Rabson 	struct lockf_entry *lf, *blk;
2521dfdcada3SDoug Rabson 	struct lockf_edge *e;
252292dc7331SDavid Greenman 
252359aff5fcSAlfred Perlstein 	if (lock->lf_inode == (struct inode *)0)
252459aff5fcSAlfred Perlstein 		return;
252559aff5fcSAlfred Perlstein 
252697eb8cfaSPoul-Henning Kamp 	printf("%s: Lock list for ino %ju on dev <%s>:\n",
2527a7a00d05SMaxime Henrion 	    tag, (uintmax_t)lock->lf_inode->i_number,
252897eb8cfaSPoul-Henning Kamp 	    devtoname(lock->lf_inode->i_dev));
2529a365ea5fSDoug Rabson 	LIST_FOREACH(lf, &lock->lf_vnode->v_lockf->ls_active, lf_link) {
2530d974cf4dSBruce Evans 		printf("\tlock %p for ",(void *)lf);
2531dfdcada3SDoug Rabson 		lf_print_owner(lock->lf_owner);
2532a7a00d05SMaxime Henrion 		printf(", %s, start %jd, end %jd",
253392dc7331SDavid Greenman 		    lf->lf_type == F_RDLCK ? "shared" :
253492dc7331SDavid Greenman 		    lf->lf_type == F_WRLCK ? "exclusive" :
253592dc7331SDavid Greenman 		    lf->lf_type == F_UNLCK ? "unlock" :
2536a7a00d05SMaxime Henrion 		    "unknown", (intmax_t)lf->lf_start, (intmax_t)lf->lf_end);
2537dfdcada3SDoug Rabson 		LIST_FOREACH(e, &lf->lf_outedges, le_outlink) {
2538dfdcada3SDoug Rabson 			blk = e->le_to;
2539d974cf4dSBruce Evans 			printf("\n\t\tlock request %p for ", (void *)blk);
2540dfdcada3SDoug Rabson 			lf_print_owner(blk->lf_owner);
2541a7a00d05SMaxime Henrion 			printf(", %s, start %jd, end %jd",
2542996c772fSJohn Dyson 			    blk->lf_type == F_RDLCK ? "shared" :
2543996c772fSJohn Dyson 			    blk->lf_type == F_WRLCK ? "exclusive" :
2544996c772fSJohn Dyson 			    blk->lf_type == F_UNLCK ? "unlock" :
2545a7a00d05SMaxime Henrion 			    "unknown", (intmax_t)blk->lf_start,
2546a7a00d05SMaxime Henrion 			    (intmax_t)blk->lf_end);
2547dfdcada3SDoug Rabson 			if (!LIST_EMPTY(&blk->lf_inedges))
2548996c772fSJohn Dyson 				panic("lf_printlist: bad list");
2549996c772fSJohn Dyson 		}
255092dc7331SDavid Greenman 		printf("\n");
255192dc7331SDavid Greenman 	}
255292dc7331SDavid Greenman }
255392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */
2554